Andrews, Jason R Co Verification of Hardware and Software for ARM Soc Design - Bengaluru EBPB 2017 - 266p. ISBN: 9788131212585