EDA for IC System Design, Verification, and Testing - Prabhat Mishra; Enrico Macii; Kenneth L. McMillan; Alain Clouard; John Sanguinetti; Franz E. Marschner; Marco Di Natale; Ralph H. Otten; Grant Martin; Ahmed Jerraya; Robert F. Damiano; Stephen A. Edwards; Kwang-Ting(Tim) Cheng; Marcello Coppola; Limor Fix; Steven Howard Leibson; Bozena Kaminska; Bernd Koenemann; Gaurav Singh; John Wilson; Miltos D. Grammatikakis; Wayne Wolf; Sumit Gupta; Sandeep Shukla; Vivek Tiwari; Renu Mehra; Massimo Poncino; Shuvra S. Bhattacharyya; Mike Bershteyn; Raul Camposano; Iuliana Bacivarov; Nikil Dutt; Li-Chung Wang; Harry D. Foster; Jean-Philippe Strassen; Frank Ghenassia; Laurent Maillet-Contoz; Joseph Tobin Buck; Naehyuck Chang; Louis Scheffer; Luciano Lavagno; Ray Turner; Rajesh Gupta (Taylor and Francis, 2006)