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