Cohesive Coverage Management for Simulation and Formal Property Verification | IEEE Conference Publication | IEEE Xplore