Login / Signup

Simulation Meets Verification: Checking Temporal Properties in SystemC.

Dirk W. HoffmannJürgen RufThomas KropfWolfgang Rosenstiel
Published in: EUROMICRO (2000)
Keyphrases
  • temporal properties
  • model checking
  • verification method
  • formal methods
  • temporal logic
  • formal specification
  • machine learning
  • case based reasoning
  • knowledge acquisition
  • simulation model