TY - BOOK AU - Singh, Leena AU - Khan, Neyaz AU - Drucker, Leonard TI - Advanced Verification Techniques: a system C based approach for successful tapeout SN - 140207672X U1 - 621.3815 SIN PY - 2004/// CY - Boston PB - Kluwer Academic Publishers KW - Integrated circuits -- Verification ER -