Adding synchronous and LSSD modes to asynchronous circuits.

Kees van Berkel Ad M. G. Peeters Frank te Beest

Published in: Microprocess. Microsystems (2003)

Keyphrases

asynchronous circuits
process algebra
delay insensitive
model checking
knowledge base
metadata
case study
expert systems
probabilistic model