( en | de | ru )

 

Disambiguierung von "Brayton, Robert K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
VIS: A System for Verification and Synthesis.

, , , , , , , , , , , , , , , und . CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 428-432. Springer, (1996)

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 Saam

Robert K Müller

Robert K Müller

Robert K Dudler

Robert K G Köhler

 

Weitere Publikationen von Autoren mit dem selben Namen

Timed Boolean functions - a unified formalism for exact timing analysis., und . The Kluwer international series in engineering and computer science Kluwer, (1994)NSF Workshop on EDA: Past, Present, and Future (Part 1)., und . IEEE Des. Test Comput., 27 (2): 68-74 (2010)Explicit and implicit algorithms for binate covering problems., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 16 (7): 677-691 (1997)Theory of safe replacements for sequential circuits., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 20 (2): 249-265 (2001)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)