Unified Methods For Vlsi Simulation And Test Generation by Kwang-Ting Cheng, Vishwani D. Agrawal & Kwang-Ting (Tim) Cheng