Login / Signup

Synthesis for Logical Initializability of Synchronous Finite State Machines.

Montek SinghSteven M. Nowick
Published in: VLSI Design (1997)
Keyphrases
  • finite state machines
  • finite state automata
  • model checking
  • functional decomposition
  • program synthesis
  • hidden markov models
  • data model
  • positive and negative
  • logical representation
  • logical operations