ATPG for Reversible Circuits Using Simulation, Boolean Satisfiability, and Pseudo Boolean Optimization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Robert Wille' in GoogleThis author has not been identified. Look up 'Hongyan Zhang' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL