TY - BOOK AU - Pradhan Dhiraj K Ed. AU - Harris Ian G Ed. TI - Practical design verification SN - 978052185971 (hbd) U1 - D65,2, P9 TB PY - 2009/// CY - Cambridge PB - Cambridge University Press KW - Integrated circuits-verification N1 - Includes bibliographical references.; References 263-268p.; Index 269-276p ER -