CVC: The C to RTL compiler for callback-based verification model.

Yasuhiro Ito Yutaka Sugawara Mary Inaba Kei Hiraki

Published in: FPL (2008)

Keyphrases

statistical model
computational model
probabilistic model
experimental data
sensitivity analysis
formal model
neural network
similarity measure
multi agent systems
cost function
management system
programming language
parameter estimation
model checking
constraint programming
colored petri nets