High Performance BDD Package Based on Exploiting Memory Hierarchy (1996)
Rajeev Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto Sangiovanni-vincentelli
The success of binary decision diagram (BDD) based algorithms for synthesis and/or verification depend on the availability of a high performance package to manipulate very large BDDs. State-ofthe...
Binary Decision Diagrams on Network of Workstations (1996)
Rajeev Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto Sangiovanni-vincentelli
The success of all binary decision diagram (BDD) based synthesis and verification algorithms depend on the ability to efficiently manipulate very large BDDs. We present algorithms for manipulation of...
ESPRESSO-SIGNATURE: A New Exact Minimizer for Logic Functions (1996)
Patrick C. Mcgeer, Jagesh V. Sanghavi, Robert K. Brayton
We present a new algorithm for exact two-level logic optimization. We represent a set of primes by the cube of their intersection. Therefore, the unique set of sets of primes which forms the covering...
A New Exact Minimizer for Two-Level Logic Synthesis (1993)
Robert K. Brayton, Patrick C. Mcgeer, Jagesh V. Sanghavi
We present a new algorithm for exact two-level logic optimization. It differs from the classical approach; rather than generating the set of all prime implicants of a function, and then deriving a...