Login / Signup

An Approach for Self-Checking Realization of Interacting Finite State Machines.

Fadi BusabaParag K. Lala
Published in: VLSI Design (1994)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • state transition
  • digital circuits
  • hidden markov models
  • regular expressions
  • relational databases
  • co occurrence
  • cellular automata