( en | de | ru )

 

Disambiguierung von "Brayton, Robert K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Combinational techniques for sequential equivalence checking.

, , , und . FMCAD, Seite 145-149. IEEE, (2010)

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

VIS: A System for Verification and Synthesis., , , , , , , , , und 6 andere Autor(en). CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 428-432. Springer, (1996)Timed Boolean functions - a unified formalism for exact timing analysis., und . The Kluwer international series in engineering and computer science Kluwer, (1994)Semi-detailed bus routing with variation reduction., und . ISPD, Seite 143-150. ACM, (2007)Scalable don't-care-based logic optimization and resynthesis., , , und . FPGA, Seite 151-160. ACM, (2009)Improvements to technology mapping for LUT-based FPGAs., , und . FPGA, Seite 41-49. ACM, (2006)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)