Reliable verification using symbolic simulation with scalar values.
Chris WilsonDavid L. DillPublished in: DAC (2000)
Keyphrases
- simulation model
- model checking
- attribute values
- formal verification
- face verification
- neural network
- constraint satisfaction problems
- colored petri nets
- simulation environment
- parameter values
- simulation study
- control system
- bayesian networks
- high quality
- image sequences
- image processing
- e learning
- search engine
- artificial intelligence