An optimized testable architecture for finite state machines.

Ting-Yu Kuo Chun-Yeh Liu Kewal K. Saluja

Published in: VTS (1995)

Keyphrases

finite state machines
finite state automata
model checking
regular expressions
management system
real time
digital circuits
hidden markov models
domain knowledge
software architecture
network architecture
data flow
static analysis
relational data
functional units
functional decomposition