( en | de | ru )

 

Disambiguierung von "Bryant, Randal E."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Verification of a Superscalar Execution Unit.

, , und . DAC, Seite 161-166. ACM Press, (1997)

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.

Randal Sivertson

Jennifer Bryant

Doreen Bryant

Melchior Bryant

Thomas Bryant

 

Weitere Publikationen von Autoren mit dem selben Namen

TLSim and EVC: a term-level symbolic simulator and an efficient decision procedure for the logic of equality with uninterpreted functions and memories., und . Int. J. Embed. Syst., 1 (1/2): 134-149 (2005)An efficient graph representation for arithmetic circuitverification., und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 20 (12): 1443-1454 (2001)On the Complexity of VLSI Implementations and Graph Representations of Boolean Functions with Application to Integer Multiplication.. IEEE Trans. Computers, 40 (2): 205-213 (1991)Automatic Clock Abstraction from Sequential Circuits., , und . DAC, Seite 707-711. ACM Press, (1995)Bit-Level Analysis of an SRT Divider Circuit.. DAC, Seite 661-665. ACM Press, (1996)Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods., und . CAV, Volume 2725 von Lecture Notes in Computer Science, Seite 154-166. Springer, (2003)Revisiting Positive Equality., , , und . TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2004)A Performance Study of BDD-Based Model Checking., , , , , , , und . FMCAD, Volume 1522 von Lecture Notes in Computer Science, Seite 255-289. Springer, (1998)Modeling and Verification of Out-of-Order Microprocessors in UCLID., , und . FMCAD, Volume 2517 von Lecture Notes in Computer Science, Seite 142-159. Springer, (2002)SetA*: An Efficient BDD-Based Heuristic Search Algorithm., , und . AAAI/IAAI, Seite 668-673. AAAI Press / The MIT Press, (2002)