EDA for IC system design, verification, and testing - Scheffer, Lou; Lavagno, Luciano, 1959-; Martin, Grant (Grant Edmund) (Electronic design automation for integrated circuits handbook, 2006)