Autor der Publikation

Software synthesis from synchronous specifications using logic simulation techniques.

, und . DAC, Seite 319-324. ACM, (2002)

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

Permissible Observability Relations in FSM Networks., und . DAC, Seite 677-683. ACM Press, (1994)A Fully Implicit Algorithm for Exact State Minimization., , , und . DAC, Seite 684-690. ACM Press, (1994)Exact Required Time Analysis via False Path Detection., und . DAC, Seite 220-225. ACM Press, (1997)Solving the State Assignment Problem for Signal Transition Graphs., , , und . DAC, Seite 568-572. IEEE Computer Society Press, (1992)Equivalence of Robust Delay-Fault and Single Stuck-Fault Test Generation., , und . DAC, Seite 173-176. IEEE Computer Society Press, (1992)Logic Synthesis for Programmable Gate Arrays., , , , und . DAC, Seite 620-625. IEEE Computer Society Press, (1990)An Improved Synthesis Algorithm for Multiplexor-Based PGA's., , und . DAC, Seite 380-386. IEEE Computer Society Press, (1992)Timing Analysis in Precharge/Unate Networks., und . DAC, Seite 124-129. IEEE Computer Society Press, (1990)Two-Level Minimization of Multivalued Functions with Large Offsets., , , und . IEEE Trans. Computers, 42 (11): 1325-1342 (1993)Scalable don't-care-based logic optimization and resynthesis., , , und . FPGA, Seite 151-160. ACM, (2009)