Vasudevan, Srivatsa. <br/><br/>
Effective functional verification :  principles and processes / 
by Srivatsa Vasudevan. 
 - Dordrecht :  Springer,  2006. 
 - xxiv, 256 p. :  ill. ;  25 cm. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>0387286012 9780387286013 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Verification.