Rashinkar, Prakash <br/><br/>
System-On-A-Chip Verification 

 - New Delhi  Springer  2009 
 - xviii,375 
<br/><br/><label>ISBN: </label>NMIT004050