Co-Verification of Hardware and Software for Arm Soc Design by Jason Andrews