Formal Derivation of a Loadable Asynchronous Counter.

Mark B. Josephs

Published in: MPC (1998)

Keyphrases

formal model
asynchronous communication
data sets
knowledge base
three dimensional
multiscale
formal specification
formal models
asynchronous circuits