Skip to main content
Presentation
Utilizing Output Signatures to Enhance Semantic Matching
Proceedings of the 44th IEEE Midwest Symposium on Circuits and Systems
  • Christopher W. Leigeber
  • Travis E. Doom, Wright State University - Main Campus
Document Type
Conference Proceeding
Publication Date
8-1-2001
Disciplines
Abstract

The 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.

Comments

Presented at the 44th IEEE 2001 Midwest Symposium on Circuits and Systems, Dayton, OH, August 14-17, 2001.

DOI
10.1109/MWSCAS.2001.986281
Citation Information
Christopher 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/