00868nam a2200217 a 4500 1/35392 080916s2003 njua bi 001 0 eng 0131413090 (alk. paper) 37906 DLC DLC DLC GR-PeUP 621.39'2 PAL Palnitkar, Samir. Design verification with e / Samir Palnitkar. Upper Saddle River, NJ : Prentice Hall PTR, 2004. xl, 363 σ. : εικ. ; 24 εκ. Περιέχει βιβλιογραφία και ευρετήριο. Computer hardware description languages. Integrated circuits Verification. Integrated circuits Design and construction. INST UNIPILB MAIN 20080916 621.39'2 PAL 00156296 00156296 LOAN 0 1 /webopac/covers/02/37906_0131413090.jpg (alk. paper)