Goal-directed vector generation using sample ICs | IEEE Conference Publication | IEEE Xplore