TY - BOOK AU - Scheffer, Louis Kossuth. AU - Lavagno, Luciano, AU - Martin, Grant TI - EDA for IC system design, verification, and testing SN - 0849379237 PY - 2006/// CY - Boca Raton PB - CRC Taylor & Francis KW - Integrated circuits KW - Computer-aided design KW - Data processing KW - Verification N1 - Companion volume of: EDA for IC implementation, circuit design, and process technology; Includes bibliographical references and index ER -