Login / Signup
Implicit State Transition Graphs: Applications to Sequential Logic Synthesis and Test.
Pranav Ashar
Abhijit Ghosh
Srinivas Devadas
A. Richard Newton
Published in:
ICCAD (1990)
Keyphrases
</>
state transition
logic synthesis
input output
state transitions
black box
state space
state transition model
hidden markov models
markov chain
test cases
finite state machines
probability distribution
quantum computing
database
multi valued
transition model
data model