Abstract.
Verifying that an implementation of a combinational circuit meets its golden specification is an important step in the design process. As inputs and outputs can be swapped by synthesis tools or by interaction of the designer, the correspondence between the inputs and the outputs of the synthesized circuit and the inputs and the outputs of the golden specification has to be restored before checking equivalence. In this paper, we review the main approaches to this isomorphism problem and show how to apply OBDDs in order to obtain efficient methods.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Published online: 15 May 2001
Rights and permissions
About this article
Cite this article
Mohnke, J., Molitor, P. & Malik, S. Application of BDDs in Boolean matching techniques for formal logic combinational verification. STTT 3, 207–216 (2001). https://doi.org/10.1007/s100090100039
Issue Date:
DOI: https://doi.org/10.1007/s100090100039