TY  - BOOK
AU  - "Andrews, Jason R"
TI  - Co-Verification of Hardware and Software for ARM Soc Design
CY  - Newnes
N1  - includes index and biblioraphy
ER  -