Testing of Reversible Circuits

Reversible circuits rely on an entirely different computing paradigm allowing to perform computations not only from the primary inputs to the primary outputs but also vice versa. Recently, first physical realizations based on this paradigm have been introduced in the domain of quantum computation and low-power circuits. This puts key test challenges for the future on the table. This thesis contributes to efficient testing methods (Automatic Test Pattern Generation and fault diagnosis) for reversible circuits. Formal methods like Boolean satisfiability are exploited.