Shortening the verification cycle with synthesizable abstract models.

Alon Gluska Lior Libis

Published in: DAC (2009)

Keyphrases

probabilistic model
real time
high level
data sets
statistical model
statistical models
decision trees
graphical models
model selection
experimental data
integrated circuit
formal verification
accurate models