Iman, Sasan <br/><br/>
The E Hardware Verification Language 
/Sasan Iman 
 - Boston  Kluwer Academic Publishers  2004 
 - xv, 349 pages  ill;  23cm. 
<br/><br/>Includes index 
<br/><br/> This book provides a detailed coverage of the e-hardware verification language (HVL), state of the art in verification methodologies, and the use of eHVL as a facilitating verification tool in implementing a state of the art verification environment. To this end, the book provides a comprehensive description of the new concepts introduced by the e-language, e-language syntax, and its associated semantics. In addition, the book describes architectural views and requirements of verification environments (i.e. randomly generated environments, coverage driven verification environments, etc.). 
<br/><br/><label>ISBN: </label>9781402080234 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computers Computer Engineering
<br/><br/><label>Dewey Class. No.: </label>004  / IMA