EDA for IC system design, verification, and testing - Scheffer, Louis Kossuth.; Lavagno, Luciano,; Martin, Grant (CRC Press ; Taylor and Francis, 2006)