Login / Signup
A synthesis for testability scheme for finite state machines using clock control.
Kent L. Einspahr
Shashank K. Mehta
Sharad C. Seth
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1999)
Keyphrases
</>
finite state machines
finite state automata
control system
control method
hidden markov models
model based predictive control
real time
high speed
model checking
control strategy
mutation testing
domain specific
program synthesis
functional decomposition