Login / Signup
Finite State Machine Synthesis for At-Speed Oscillation Testability.
Katherine Shu-Min Li
Chung-Len Lee
Tagin Jiang
Chauchin Su
Jwu E. Chen
Published in:
Asian Test Symposium (2005)
Keyphrases
</>
finite state machines
finite state automata
model checking
functional decomposition
high speed
real time
state machine
digital circuits
hidden markov models
regular expressions
state transition
program synthesis
texture synthesis
cellular automaton
power dissipation
test data generation