CLASS: a CAD system for automatic synthesis and verification of asynchronous finite state machines.

Published in: Integr. (1993)

Keyphrases

finite state machines
model checking
asynchronous circuits
finite state automata
class labels
regular languages
digital circuits
database
video sequences
hidden markov models
object oriented
pattern matching
test generation