Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits.

David M. Goldschlag

Published in: CAV (1991)

Keyphrases

delay insensitive
asynchronous circuits
model checking
low power
high speed
desirable properties
real time
databases
machine learning
website
case study
wireless sensor networks
structural properties