TY - GEN AU - Palnitkar, Samir TI - Design verification with e T2 - Prentice Hall modern semiconductor design series SN - 0131413090 (alk. paper) AV - TK7885.7 .P33 2004 PY - 2004/// CY - Upper Saddle River, NJ PB - Prentice Hall PTR KW - Computer hardware description languages KW - Integrated circuits KW - Verification KW - Design and construction N1 - Includes bibliographical references (p. 353-354) and index ER -