Login / Signup
On the synthesis of synchronizable finite state machines with partial scan.
Hiroshi Youra
Tomoo Inoue
Toshimitsu Masuzawa
Hideo Fujiwara
Published in:
Systems and Computers in Japan (1998)
Keyphrases
</>
finite state machines
model checking
finite state automata
functional decomposition
digital circuits
hidden markov models
regular expressions
scan data
program synthesis
data mining
semi automatic
texture synthesis
partial information