Verification of Asynchronous Circuits with Bounded Inertial Gate Delays. - J. Gong; Eddie M. C. Wong (Asian Test Symposium, 1998)