High-level test generation for VLSI | IEEE Journals & Magazine | IEEE Xplore