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

• Type: Conference
• Year: 2005
• Where: GLVLSI
• Authors: Eugene Goldberg
• Keywords: Common Specification, GLVLSI 2005, Logic Synthesis, Procedure Performs Ec, VLSI