Verification of Desynchronized Circuits

Sudarshan K. Srinivasan, Raj S. Katti. Verification of Desynchronized Circuits. In International Symposium on Circuits and Systems (ISCAS 2009), 24-17 May 2009, Taipei, Taiwan. pages 1509-1512, IEEE, 2009. [doi]

Abstract

Abstract is missing.