EDA for IC System Design, Verification, and Testing - Scheffer, Louis; Lavagno, Luciano; Martin, Grant (Taylor & Francis, 2006)