( en | de | ru )

 

Disambiguation of "Bryant, Randal E."

Author of the publication

copydeleteadd this publication to your clipboard
Fast Incremental Circuit Analysis Using Extracted Hierarchy.

, and . DAC, page 495-500. ACM, (1988)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Randal Sivertson

Jennifer Bryant

Doreen Bryant

Melchior Bryant

Thomas Bryant

 

Other publications of authors with the same name

Bit-Level Analysis of an SRT Divider Circuit.. DAC, page 661-665. ACM Press, (1996)Automatic Clock Abstraction from Sequential Circuits., , and . DAC, page 707-711. ACM Press, (1995)Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation., and . ASIAN, volume 1345 of Lecture Notes in Computer Science, page 18-31. Springer, (1997)SetA*: An Efficient BDD-Based Heuristic Search Algorithm., , and . AAAI/IAAI, page 668-673. AAAI Press / The MIT Press, (2002)Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis., and . DATE, page 10816-10821. IEEE Computer Society, (2003)Silicon Compilers: How Well Have They Done, and Where Are They Headed?. IFIP Congress, page 379. North-Holland/IFIP, (1989)Modeling and Verification of Out-of-Order Microprocessors in UCLID., , and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 142-159. Springer, (2002)Clausal Proofs for Pseudo-Boolean Reasoning., , and . TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 443-461. Springer, (2022)Learning conditional abstractions., , and . FMCAD, page 116-124. FMCAD Inc., (2011)A Performance Study of BDD-Based Model Checking., , , , , , , and . FMCAD, volume 1522 of Lecture Notes in Computer Science, page 255-289. Springer, (1998)