( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms.

, , , и . ICCAD, стр. 464-467. IEEE Computer Society, (1991)

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.

Wolfdieter Bernard

Bernard Teissier

Bernard Burke

Bernard Roxel

Bernard Schröer

 

Другие публикации лиц с тем же именем

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