Advanced verification techniques: a systemC based approach for successful tapeout by Singh, Leena, Drucker, Leonard, Khann, Neyaz 0 Type: Book