"Andrews, Jason R" Co-Verification of Hardware and Software for ARM Soc Design - \\200800ENGGPSX - Newnes 2008 London - 260p. includes index and biblioraphy