Utilizing Output Signatures to
Christopher W. Leigeber, Travis E. Doom · 2001
The importance of functional logic verification has grown considerab1.v and spans many fields of interest, such as design verification, reengineering, and technology mapping. We present an iterative algorithm that eficiently creates and utilizes function signatures to identify functional correspondence, thus reducing the complexity of determining a semantic matching between a library circuit and a circuit under test. Previous approaches to this problem have been unable to limit certain types of correspondence between symmetric functions. 7'he reduction of extraneous correspondences is crucial, as the verification of each match is computationally expensive. By utilizing ourpur signatures, we will demonstrate an algorithm that is effective at handling many cases of circuit symmetry.