Login / Signup

Extracting Exact Finite State Machines from Behavioral SystemC Descriptions.

Vikram Singh SaunPreeti Ranjan Panda
Published in: VLSI Design (2005)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • high level
  • hidden markov models
  • regular expressions
  • automatically extracting
  • domain knowledge
  • test set
  • digital circuits