Verity: A Boolean Equivalence Checking Tool

Abstract

In this seminar we will present the verification tool Verity, the standard Boolean Equivalence Checking tool used at IBM. The first part of the talk will define different models of equivalence checking and discuss their application in practical design methodologies. The second part of the presentation will cover the algorithmic components of the tool including the functional extraction scheme, the different verification engines as well as the debugging mechanism. In the last part we will share some practical experience and discuss an outlook of relevant future work.