CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models.

Sonali Dutta Moshe Y. Vardi Deian Tabakov

Published in: DIFTS@FMCAD (2013)

Keyphrases

dynamic environments
software tools
data sets
neural network
prior knowledge
probabilistic model
real world
information systems
case study
database systems
markov random field
parameter estimation
experimental data
user friendly
mathematical models
modeling tool