Login / Signup

Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems.

Iñigo UgartePablo Sanchez
Published in: MEMOCODE (2005)
Keyphrases
  • extended abstract
  • functional verification
  • computing systems
  • low cost
  • evaluation metrics
  • hardware and software
  • query processing
  • distributed systems
  • hardware implementation
  • field programmable gate array