Login / Signup

OCCOM-efficient computation of observability-based code coveragemetrics for functional verification.

Farzan FallahSrinivas DevadasKurt Keutzer
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2001)
Keyphrases
  • efficient computation
  • functional verification
  • computational efficiency
  • formal verification
  • source code
  • window search
  • hardware software
  • data sets
  • query processing
  • low cost