Validation coverage analysis for complex digital designs | IEEE Conference Publication | IEEE Xplore