High-Level Test Synthesis Of Digital Vlsi Circuits door Mike Tien-Chien Lee