Login / Signup

On the reuse of RTL assertions in SystemC TLM verification.

Nicola BombieriFranco FummiValerio GuarnieriGraziano PravadelliFrancesco StefanniTara GhasempouriMichele LoraGiovanni AuditoreMirella Negro Marcigaglia
Published in: LATW (2014)
Keyphrases
  • knowledge base
  • software reuse
  • concurrent systems
  • learning objects
  • face verification
  • signature verification
  • real time
  • real world
  • website
  • decision trees
  • high security
  • verification method
  • functional verification