EECS 298-11: CAD Seminar
Friday, February 7, 1997, 11am
^^^^^^                    ^^^^
Cory Hall--Hogan Room

                 Equivalence Checking in Practice
                         Andreas Kuehlmann 
                  IBM T.J. Watson Research Center
                         Yorktown Heights

In this seminar we will discuss the verification tool Verity, the third
generation Boolean Equivalence checker used at IBM. The first part of
the presentation will give some overview information about the tool
structure and it application in practice. In the second part we will
present a new engine for equivalence checking which is specifically
targeted to large combinational circuits with some structural
similarities. The approach combines the application of BDDs with circuit
graph hashing, automatic insertion of multiple cut frontiers, and a
controlled elimination of false negative verification results caused by
the cuts.