Desynchronization: design for verification.

Sudarshan K. Srinivasan, Raj S. Katti

Browse the full FMCAD paper archive.