OCCOM-efficient computation of observability-based code coverage metrics for functional verification | IEEE Journals & Magazine | IEEE Xplore