Robert Wille, Hongyan Zhang, Rolf Drechsler. ATPG for Reversible Circuits Using Simulation, Boolean Satisfiability, and Pseudo Boolean Optimization. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2011, 4-6 July 2011, Chennai, India. pages 120-125, IEEE Computer Society, 2011. [doi]
Abstract is missing.