Autor der Publikation

A Robust Solution to the Timing Convergence Problem in High-Performance Design.

, , , , , und . ICCD, Seite 250-257. IEEE Computer Society, (1999)

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

Verification: what works and what doesn't., , , , , , und . DAC, Seite 274. ACM, (2004)Benchmarking Parallel Processing Platforms: An Applications Perspective., , , und . IEEE Trans. Parallel Distributed Syst., 4 (8): 947-954 (1993)In the Driver's Seat of BooleDozer., , , und . ICCD, Seite 518-521. IEEE Computer Society, (1994)Dual Global Flow., und . ICCD, Seite 49-53. IEEE Computer Society, (1991)A Robust Solution to the Timing Convergence Problem in High-Performance Design., , , , , und . ICCD, Seite 250-257. IEEE Computer Society, (1999)VLSI logic and fault simulation on general-purpose parallel computers., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 12 (3): 446-460 (1993)BDDMAP: A Technology Mapper Based on a New Covering Algorithm., , , und . DAC, Seite 484-487. IEEE Computer Society Press, (1992)Checking satisfiability of a conjunction of BDDs., und . DAC, Seite 818-823. ACM, (2003)A practical and efficient method for compare-point matching., , , und . DAC, Seite 305-310. ACM, (2002)The EVE companion simulator., , , und . EURO-DAC, Seite 290-295. IEEE Computer Society, (1990)