Speed tunable finite state machine compiler: Zephcad.

Hitomi Sato Yoshihide Sugiura Masahiro Fujita

Published in: Microprocess. Microsystems (1990)

Keyphrases

finite state machines
model checking
high speed
finite state automata
programming language
state machine
general purpose
digital circuits
regular expressions
real time
software systems
state transition