Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems | IEEE Conference Publication | IEEE Xplore