Correct Compilation of Specifications to Deterministic Asynchronous Circuits.

Scott F. Smith Amy E. Zwarico

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

Keyphrases

asynchronous circuits
delay insensitive
process algebra
model checking
decomposable negation normal form
black box
decision trees
temporal logic