An Analysis of U.S. Patent #5,243,538 “Comparison and Verification System for Logic Circuits and Method Thereof,” (1994)

by Randal E. Bryant

Active Bibliography

879 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
1 Formal Methods for Functional Verification – Randal E. Bryant, James H. Kukula
105 Binary Decision Diagrams and Beyond: Enabling Technologies for Formal Verification – Randal E. Bryant - 1995
233 On the Complexity of VLSI Implementations and Graph Representations of Boolean Functions with Application to Integer Multiplication – Randal E. Bryant - 1998
15 Techniques For Efficient Formal Verification Using Binary Decision Diagrams – Alan John Hu, David L. Dill, Vaughan R. Pratt - 1995
1 Combining Top-down and Bottom-up approaches for ROBDD Construction – Jawahar Jain, Amit Narayan, Claudionor Coelho, Sunil P. Khatri, Robert K. Brayton, Masahiro Fujita
A Survey of Verification Techniques for Cache Coherence Protocols – Fong Pong, Michel Dubois - 1996
38 Verification Techniques for Cache Coherence Protocols. – Fong Pong, Michel Dubois - 1997
19 Verity -- a Formal Verification Program for Custom CMOS Circuits – Andreas Kuehlmann , Arvind Srinivasan, David P. Lapotin - 1994
6 Differential BDDs – Anuchit Anuchitanukul, Zohar Manna, Tomás E. Uribe - 1995
21 DDD-FM9001: Derivation of a Verified Microprocessor – Bhaskar Bose - 1994
19 Dependability Assessment Using Binary Decision Diagrams (BDDs) – Stacy A. Doyle, Joanne Bechta Dugan
53 SCIP: solving constraint integer programs – Tobias Achterberg - 2009
22 Binary Decision Diagrams – Fabio Somenzi - 1999
1 METAPRIME, an Interactive Fault Tree Analyser – Olivier Coudert, Jean Christophe Madre, Member Ieee, Member Ieee - 1994
1 BDD path length minimization based on initial variable ordering – P. W. C. Prasad, M. Raseen, A. Assi, S.M.N.A. Senanayake - 2005
Formal Presentation of two . . . – B. I. Mills, P. W. C. Prasad, Ali Assi - 2006
12 Fault Tree Analysis: 1020 Prime Implicants and Beyond – Olivier Coudert, Jean Christophe Madre - 1993
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
6 Minimizing ROBDD Sizes of Incompletely Specified Boolean Functions by Exploiting Strong Symmetries – Christoph Scholl, Stephan Melchior, Günter Hotz, Paul Molitor - 1997