Utilizing Output Signatures to Enhance Semantic MatchingProceedings of the 44th IEEE Midwest Symposium on Circuits and Systems
Document TypeConference Proceeding
Find this in a LibraryCatalog Record
AbstractThe importance of functional logic verification has grown considerably and spans many fields of interest, such as design verification, reengineering, and technology mapping. We present an iterative algorithm that efficiently 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. The reduction of extraneous correspondences is crucial, as the verification of each match is computationally expensive. By utilizing output signatures, we will demonstrate an algorithm that is effective at handling many cases of circuit symmetry.
Citation InformationChristopher W. Leigeber and Travis E. Doom. "Utilizing Output Signatures to Enhance Semantic Matching" Proceedings of the 44th IEEE Midwest Symposium on Circuits and Systems Vol. 2 (2001) p. 686 - 689 ISSN: 078037150X
Available at: http://works.bepress.com/travis_doom/16/