Verification of Desynchronized Circuits.

Sudarshan K. Srinivasan, Raj S. Katti

Browse the full ISCAS paper archive.