Login / Signup

An Approach To The Synthesis Of Synchronizable Finite State Machines With Partial Scan.

Tomoo InoueToshimitsu MasuzawaHiroshi YouraHideo Fujiwara
Published in: Asian Test Symposium (1996)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • functional decomposition
  • regular expressions
  • digital circuits
  • partial information
  • metadata
  • natural language processing
  • uniform distribution