EDA for IC system design, verification, and testing (Taylor & Francis, 2006)