TY - BOOK AU - Pradhan,Dhiraj K. AU - Harris,Ian G. TI - Practical design verification SN - 0521859727 AV - TK7874.58 .P73 2009 PY - 2009/// CY - Cambridge PB - Cambridge University Press KW - Integrated circuits KW - Verification ER -