Search the Library Catalogue
The E Hardware Verification Language
Iman, Sasan
The E Hardware Verification Language /Sasan Iman - Boston Kluwer Academic Publishers 2004 - xv, 349 pages ill; 23cm.
Includes index
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.).
9781402080234
Computers Computer Engineering
004 / IMA
The E Hardware Verification Language /Sasan Iman - Boston Kluwer Academic Publishers 2004 - xv, 349 pages ill; 23cm.
Includes index
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.).
9781402080234
Computers Computer Engineering
004 / IMA