Verification of Building Blocks for Asynchronous Circuits

Freek Verbeek Julien Schmaltz

Published in: ACL2 (2013)

Keyphrases

building blocks
asynchronous circuits
model checking
delay insensitive
process algebra
data sets
website
database
low cost
distributed systems
software components
back end
formal specification