Synthesizing "Verification Aware" Models: Why and How?

Malay K. Ganai Akira Mukaiyama Aarti Gupta Kazutoshi Wakabayashi

Published in: VLSI Design (2007)

Keyphrases

probabilistic model
statistical model
experimental data
relational databases
real world
image processing
multiscale
evolutionary algorithm
data model
mobile robot
model selection
model checking
neural network model
computational models