TY - BOOK AU - ANDREWS , JASON R TI - CO VERIFICATION OF HARDWARE AND SOFTWARE: FOR ARM SOC DESIGN SN - 9780750677301 U1 - 004 PY - 2005/// CY - New Delhi PB - Elsevier KW - VERIFICATION OF HARDWARE AND SOFTWARE KW - COMPUTER SCIENCE ER -