Login / Signup

State assignment and testability of PLA-based finite state machines.

Giacomo BuonannoMicaela Serra
Published in: Microprocess. Microprogramming (1992)
Keyphrases
  • finite state machines
  • state transition
  • finite state automata
  • hidden markov models
  • model checking
  • cellular automaton
  • real time
  • state space
  • regular expressions