T4: Verification. - Rajesh Raina; Jacob A. Abraham; A. K. Pujari (VLSI Design, 1997)