Co-Verification of Hardware and Software for ARM SoC Design - Andrews, Jason R. ((Embedded Technology Series))