Login / Signup
Provably Correct Synthesis of Asynchronous Circuits.
Scott F. Smith
Amy E. Zwarico
Published in:
Designing Correct Circuits (1992)
Keyphrases
</>
asynchronous circuits
provably correct
formal methods
model checking
delay insensitive
situation calculus
process algebra
databases
error estimates
interval arithmetic
case study
knowledge based systems
knowledge representation
software engineering
program synthesis