( en | de | ru )

 

Disambiguation of "Plessier, Bernard"

Author of the publication

copydeleteadd this publication to your clipboard
Symmetry detection and dynamic variable ordering of decision diagrams.

, , and . ICCAD, page 628-631. IEEE Computer Society / ACM, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bernard Willkofer

Dirk Bernard

Bernard Broermann

Bernard Andreae

Bernard Schmidtmann

 

Other publications of authors with the same name

Verification of systems containing counters., , and . ICCAD, page 179-182. IEEE Computer Society / ACM, (1992)Algorithms for Approximate FSM Traversal., , , , and . DAC, page 25-30. ACM Press, (1993)Results on the Interface between Formal Verification and ATPG., , , , , and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 615-628. DIMACS/AMS, (1990)Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms., , , and . ICCAD, page 464-467. IEEE Computer Society, (1991)Symmetry detection and dynamic variable ordering of decision diagrams., , and . ICCAD, page 628-631. IEEE Computer Society / ACM, (1994)Variable Ordering and Selection for FSM Traversal., , , and . ICCAD, page 476-479. IEEE Computer Society, (1991)Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms., , and . Formal Methods Syst. Des., 4 (2): 167-185 (1994)Formal verification of digital systems by automatic reduction of data paths., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 16 (10): 1136-1156 (1997)Algorithms for approximate FSM traversal based on state space decomposition., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 15 (12): 1465-1478 (1996)ATPG Aspects of FSM Verification., , , , , and . ICCAD, page 134-137. IEEE Computer Society, (1990)