Login / Signup

Coverage Metrics for Functional Validation of Hardware Designs.

Serdar TasiranKurt Keutzer
Published in: IEEE Des. Test Comput. (2001)
Keyphrases
  • hardware designs
  • model based diagnosis
  • data sets
  • search space
  • dynamic programming
  • software systems
  • evaluation metrics
  • test suite
  • software quality