ATPG for Reversible Circuits Using Simulation, Boolean Satisfiability, and Pseudo Boolean Optimization

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.