Verification of asynchronous interface circuits with bounded wire delays.

Srinivas Devadas, Kurt Keutzer, Sharad Malik, Albert R. Wang

Browse the full ICCAD paper archive.