The E Hardware Verification Language /Sasan Iman

By:

Iman, Sasan

Language: English Publication details: Boston Kluwer Academic Publishers 2004Description: xv, 349 pages ill; 23cmISBN:

9781402080234

Subject(s):

Computers Computer Engineering

DDC classification:

004 IMA

Summary: 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.).

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Barcode
English Books	Anna Centenary Library 3RD FLOOR, A WING	004 IMA (Browse shelf(Opens below))	Available	208503

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.).

There are no comments on this title.

to post a comment.

The E Hardware Verification Language /Sasan Iman

Find us on the map