Autor der Publikation

Exhaustive simulation need not require an exponential number of tests.

. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 12 (11): 1635-1641 (1993)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

On Communicating Finite-State Machines, und . J. ACM, 30 (2): 323-342 (April 1983)Detecting Sneak Paths in Transistor Networks.. IEEE Trans. Computers, 35 (3): 274-278 (1986)BooleDozer: Logic synthesis for ASICs., , , , , , , , , und . IBM J. Res. Dev., 40 (4): 407-430 (1996)On typing in prolog.. ACM SIGPLAN Notices, 21 (1): 28-30 (1986)A note on data abstractions.. ACM SIGPLAN Notices, 13 (1): 21-24 (1978)Synthesis of Pseudo-Random Pattern Testable Designs., und . ITC, Seite 501-508. IEEE Computer Society, (1989)Inaccuracies in power estimation during logic synthesis., und . ICCAD, Seite 388-394. IEEE Computer Society / ACM, (1996)Efficient use of large don't cares in high-level and logic synthesis., , , , und . ICCAD, Seite 272-278. IEEE Computer Society / ACM, (1995)Verification of large synthesized designs.. ICCAD, Seite 534-537. IEEE Computer Society / ACM, (1993)In the Driver's Seat of BooleDozer., , , und . ICCD, Seite 518-521. IEEE Computer Society, (1994)