IEEE standard for the functional verification language e / sponsor, Design Automation Standards Committee of the IEEE Computer Society.

Format:

Book

Contributor:

IEEE Xplore (Online service)

IEEE Computer Society. Design Automation Standards Committee.

Institute of Electrical and Electronics Engineers.

IEEE-SA Standards Board.

Series:

IEEE Std

Language:

English

Subjects (All):

Programming languages (Electronic computers)--Standards.

Programming languages (Electronic computers).

Integrated circuits--Verification--Standards.

Integrated circuits.

Integrated circuits--Verification.

Physical Description:

1 online resource (xiv, 448 pages) : illustrations

Other Title:

Standard for the functional verification language e

IEEE Std 1647-2008 (Revision of IEEE Std 1647-2006)

Place of Publication:

New York, N.Y. : Institute of Electrical and Electronics Engineers, 2008.

System Details:

text file

Summary:

The e functional verification language is an application-specific programming language, aimed at automating the task of verifying a hardware or software design with respect to its specification. Verification environments written in e provide a model of the environment in which the design is expected to function, including the kinds of erroneous conditions the design needs to withstand. A typical verification environment is capable of generating user-controlled test inputs with statistically interesting characteristics. Such an environment can check the validity of the design responses. Functional coverage metrics are used to control the verification effort and gauge the quality of the design. e verification environments can be used throughout the design cycle, from a high-level architectural model to a fully realized system. A definition of the e language syntax and semantics and how tool developers and verification engineers should use them are contained in this standard.

Notes:

"IEEE Std 1647-2008 (Revision of IEEE Std 1647-2006)."

"Approved 9 May 2008, IEEE-SA Standards Board."

"Published 3 August 2008 ; STD95795, STDPD95795"--Page [ii].

Includes bibliographical references.

ISBN:

9780738154244

0738154245

9780738154251

0738154253

OCLC:

244985148

Access Restriction:

Restricted for use by site license.