A Framework for the Functional Verification of SystemC Models.

Francesco Bruschi Fabrizio Ferrandi Donatella Sciuto

Published in: Int. J. Parallel Program. (2005)

Keyphrases

functional verification
probabilistic model
modeling framework
low cost
bayesian framework