Advances in Quantum Computing Fault Tolerance and Testing

Abstract

We study recent developments in quantum computing (QC)

Partially redundant logic detection using symbolic equivalence checking in reversible and irreversible logic circuits

“…While several researchers have recently dealt with the testability issues of reversible logic [3], to the best of our knowledge, this paper is the first investigation of reversible logic verification for structural modification detection using equivalence checking. To facilitate our research, we have developed similar symbolic equivalence checking programs for irreversible classical logic (CMBtest) and reversible logic (DQMMceq) that automatically compare a benchmark file with a controlled modified version.…”