Verification of Asynchronous Circuits with Bounded Inertial Gate Delays.

J. Gong Eddie M. C. Wong

Published in: Asian Test Symposium (1998)

Keyphrases

asynchronous circuits
delay insensitive
model checking
process algebra
dynamic model
information systems
kalman filter
data sets
databases
image sequences