On Complexity of Internal and External Equivalence Checking

We compare the complexity of "internal" and "external" equivalence checking. The former is meant for proving the correctness of a synthesis transformation by which circuit N2 is obtained from

• Type: Conference
• Year: 2007
• Where: DSD
• Authors: Eugene Goldberg, Kanupriya Gulati
• Keywords: DSD 2007, Equivalence Checking, Hardware, Synthesis Transformation