High-Level Decision Diagrams based coverage metrics for verification and test | IEEE Conference Publication | IEEE Xplore