Login / Signup

Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard.

Franco CarbognaniChristopher K. LennardC. Norris IpAllan CochranePaul Bates
Published in: DATE (2003)
Keyphrases
  • probabilistic model
  • model checking
  • machine learning
  • three dimensional
  • experimental data
  • statistical models
  • neural network model