Sciweavers

Share
GLVLSI
2005
IEEE

On equivalence checking and logic synthesis of circuits with a common specification

9 years 8 months ago
On equivalence checking and logic synthesis of circuits with a common specification
In this paper we develop a theory of equivalence checking (EC) and logic synthesis of circuits with a common specification (CS). We show that two combinational circuits N1, N2 have a CS iff they can be partitioned into subcircuits that are connected “in the same way” and are toggle equivalent. This fact allows one to represent a specification of a circuit implicitly as a partitioning into subcircuits. We give an efficient procedure for checking if circuits N1, N2 have the same predefined specification. As a “by-product”, this procedure performs EC of N1 and N2. We show how, given a circuit N1 with a predefined specification, one can efficiently build a circuit N2 satisfying the same specification. We give experimental evidence that EC of N1, N2 is hard if their CS is unknown. Categories and Subject Descriptors B.6.3 [Logic Design]: Design Aids – automatic synthesis, optimization, verification. General Terms. Algorithms, Theory, Design,Verification Keywords. common specificati...
Eugene Goldberg
Added 24 Jun 2010
Updated 24 Jun 2010
Type Conference
Year 2005
Where GLVLSI
Authors Eugene Goldberg
Comments (0)
books