000			01118nam a2200193 4500
005			20250630101136.0
008			250630b |||||||| |||| 00| 0 eng d
020			_a9781402080234 _qhbk
041			_aeng
082			_a004 _bIMA
100			_aIman, Sasan
245			_aThe E Hardware Verification Language _c/Sasan Iman
260			_aBoston _bKluwer Academic Publishers _c2004
300			_axv, 349 pages _bill; _c23cm.
504			_aindex
520			_aThis 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.).
650			_aComputers Computer Engineering
942			_cENGLISH
999			_c574286 _d574286