Test vector generation for high-speed digital integrated circuits | IEEE Conference Publication | IEEE Xplore