Sign in

Reusing RTL Assertion Checkers for Verification of SystemC TLM Models.

Nicola BombieriFranco FummiValerio GuarnieriGraziano PravadelliFrancesco StefanniTara GhasempouriMichele LoraGiovanni AuditoreMirella Negro Marcigaglia
Published in: J. Electron. Test. (2015)
Keyphrases
  • prior knowledge
  • complex systems
  • statistical models
  • data sets
  • statistical model
  • database
  • real time
  • databases
  • expert systems
  • least squares
  • neural network model
  • accurate models
  • verification method