Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits.

David M. Goldschlag

Published in: Formal Methods Syst. Des. (1994)

Keyphrases

delay insensitive
asynchronous circuits
model checking
low power
database
databases
real world
multiscale
desirable properties
theorem prover
nuclear power plant