Formal meaning of coverage metrics in simulation-based hardware design verification | IEEE Conference Publication | IEEE Xplore