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

igo Ugarte, Pablo Sanchez

Browse the full MEMOCODE paper archive.