Published Articles >> Table of Contents >> Abstract

Design Automation and Test in Europe (DATE '98)   p. 803
Combinational Verification based on High-Level Functional Specifications
Evguenii I. Goldberg, Cadence Berkeley Laboratories
Yuji Kukimoto, University of California, Berkeley
Robert K. Brayton, University of California, Berkeley

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DATE.1998.655950
Send link to a friend

Abstract
We present a new combinational verification technique where the functional specification of a circuit under verification is utilized to simplify the verification task. The main idea is to assign to each primary input a general function, called a coordinate function, instead of a single variable function as in most BDD-based techniques. BDDs of intermediate nodes are then constructed based on these coordinate functions in a topological order from primary inputs to primary outputs. Coordinate functions depend on primary input variables and extra variables. Therefore combinational verification is performed not over the set of primary input variables but over the extended set of variables. Coordinate functions are chosen in such a way that in the process of computing intermediate functions the dependency on the primary input variables is gradually replaced with that on the extra variables, thereby making boolean functions associated with primary outputs simple functions only in terms of the extra variables. We show that such a smart choice of coordinate functions is possible with the help of the high-level functional specification of the circuit.
Back to Top Additional Information
Index Terms- Combinational verification, BDDs, Domain transformations Citation:  Evguenii I. Goldberg, Yuji Kukimoto, Robert K. Brayton, "Combinational Verification based on High-Level Functional Specifications," date, p. 803,  Design Automation and Test in Europe (DATE '98),  1998