TY - BOOK AU - Andrews, Jason R. TI - Co-verification of hardware and software for ARM SoC design PY - 2012/// CY - Amsterdam PB - Elsevier Inc. N1 - Includes index ER -