Computer-aided design-verification vector generation | IEEE Conference Publication | IEEE Xplore