Login / Signup

Easily testable PLA-based finite state machines.

Srinivas DevadasHi-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