Andrews, Jason R. <br/><br/>
Co-verification of hardware and software for ARM SoC design/ 
Jason R. Andrews 
 - Amsterdam:  Elsevier Inc.  c2012. 
 - xxiii, 260 pages :  illustrations ;  24 cm. 
 - Embedded Technology Series .
<br/><br/>Includes index.