TY - BOOK AU - Andrews,Jason R. TI - CO-VERIFICATION OF HARDWARE AND SOFTWARE FOR ARM SOC DESIGN SN - 0750677309 U1 - 005.14 PY - 2005/// CY - PB - Elsevier, Amsterdam KW - Integrated Circuits -- Verification KW - Computer Software -- Verification KW - Systems On A Chip N1 - With Cd-Rom ER -