An Equivalence Verification Methodology for Asynchronous Sleep Convention Logic Circuits.

Mousam Hossain, Ashiq A. Sakib, Sudarshan K. Srinivasan, Scott C. Smith

Browse the full ISCAS paper archive.