TY - BOOK AU - DHIRAJ K PRADHAN.; IAN G HARRIS TI - PRACTICAL DESIGN VERIFICATION SN - 9780521859721 U1 - 621.381548 PB - CAMBRIDGE UNIVERSITY PRESS. KW - ELECTRONICS ER -