EDA for IC system design, verification, and testing. (2005)