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

Browsing Anna Centenary Library shelves, Shelving location: 3RD FLOOR, A WING Close shelf browser (Hides shelf browser)

Previous			No cover image available					Next
Previous	004 GUN Icdl : international computer driving license	004 HEL Sci: Scalable Coherent Interface : Architecture And Software For High-performance Compute Clusters	004 HEL Synapseehr 1.1 : an electronic charting simulation	004 IMA The E Hardware Verification Language	004 LEO Computing introduction explorations in language, logic, and machines	004 LEO;1 Computing introduction explorations in language, logic, and machines	004 LON Words and Power, Computers, Language, and U.S. Cold War Values	Next

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

Browsing Anna Centenary Library shelves, Shelving location: 3RD FLOOR, A WING Close shelf browser (Hides shelf browser)

Find us on the map