New architecture of the object-oriented functional coverage mechanism for digital verification | IEEE Conference Publication | IEEE Xplore