TY  - BOOK
AU  - Iman, Sasan
TI  - The E Hardware Verification Language
SN  - 9781402080234
U1  - 004 
PY  - 2004///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - Computers Computer Engineering
N1  - index
N2  - 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.)
ER  -