"Palnitkar, Samir" <br/><br/>
Design Verification With E 

 - \\200800ENGGPCX 
 - Pearson   2008  New Delhi  
 - 362p. 
<br/><br/> includes index and biblioraphy