EDA for IC system design, verification, and testing Vol. 1 - Scheffer; Lavagno; Martin (Electronic design automation for integrated circuits handbook, 2006)