Login / Signup
Easily testable PLA-based finite state machines.
Srinivas Devadas
Hi-Keung Tony Ma
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1990)
Keyphrases
</>
finite state machines
finite state automata
model checking
regular expressions
state transition
digital circuits
hidden markov models
mutation testing
database
positive and negative