( en | de | ru )

 

Disambiguierung von "Brayton, Robert K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions.

, , und . DAC, Seite 128-134. ACM Press, (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.

Robert K Müller

Robert K Saam

Robert K Müller

Robert K Dudler

Robert K G Köhler

 

Weitere Publikationen von Autoren mit dem selben Namen

A new algorithm for the largest compositionally progressive solution of synchronous language equations., , , , und . ACM Great Lakes Symposium on VLSI, Seite 441-444. ACM, (2007)Scalable and scalably-verifiable sequential synthesis., , , und . ICCAD, Seite 234-241. IEEE Computer Society, (2008)Combinational and sequential mapping with priority cuts., , , und . ICCAD, Seite 354-361. IEEE Computer Society, (2007)Synthesis methodology for built-in at-speed testing., , und . ICCAD, Seite 183-188. IEEE Computer Society, (2005)Component-Based Design by Solving Language Equations., , , , und . Proc. IEEE, 103 (11): 2152-2167 (2015)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)