Hardware Verification Using Symbolic State Transition Graphs.
Pinhong ChenJyuo-Min ShyuLiang-Gee ChenPublished in: ICCD (1993)
Keyphrases
- state transition
- state transitions
- state transition model
- hidden markov models
- state space
- input output
- hardware designs
- markov chain
- black box
- low cost
- finite state machines
- probability distribution
- model checking
- hardware and software
- real time
- graph matching
- computer systems
- object oriented
- random walk
- digital circuits
- transition model
- database
- hardware implementation
- graph mining
- high level
- decision trees
- bayesian networks