Functional Verification closure using Optimal Test scenarios for Digital designs | IEEE Conference Publication | IEEE Xplore