Modified Condition Decision Coverage: A Hardware Verification Perspective | IEEE Conference Publication | IEEE Xplore