Synthesis of Asynchronous State Machines Using A Local Clock.

Steven M. Nowick David L. Dill

Published in: ICCD (1991)

Keyphrases

state machines
state machine
petri net

recurrent networks
high speed
power consumption

low level
fault tolerant
database

real time
sequence diagrams