Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout - Singh, Leena; Drucker, Leonard; Khan, Neyaz (Springer US, 2004)