43 search results - page 2 / 9 » Equivalence Checking of Reversible Circuits |
DSD
2007
IEEE
13 years 9 months ago
2007
IEEE
We compare the complexity of "internal" and "external" equivalence checking. The former is meant for proving the correctness of a synthesis transformation by w...
DAC
1997
ACM
13 years 9 months ago
1997
ACM
This paper presents a verification technique which is specifically targeted to formally comparing large combinational circuits with some structural similarities. The approach co...
ICCAD
2007
IEEE
14 years 2 months ago
2007
IEEE
Among the post-CMOS technologies currently under investigation, quantum computing (QC) holds a special place. QC offers not only extremely small size and low power, but also expon...
DATE
1999
IEEE
13 years 9 months ago
1999
IEEE
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been pro...
ICCD
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...