High-level testing for digital VLSI-a survey | IEEE Conference Publication | IEEE Xplore