Optimized coverage-directed random simulation | IEEE Conference Publication | IEEE Xplore