Andrews, Jason R Co-Verification of Hardware and Software for ARM Soc Design - New Delhi Newnes 2006 - 260 ISBN: 9788131212585