IEEE 1647-2016

IEEE Standard for the Functional Verification Language e

IEEE , 01/06/2017

Publisher: IEEE

File Format: PDF

$180.00$360.00


This standard defines the e functional verification language. This standard aims to serve as an authoritative source for the definition of (a) syntax and semantics of e language constructs, (b) the e language interaction with standard simulation languages, and (c) e language libraries. This standard serves the community involved with functional verification of electronic designs using the e language. It provides an implementation-independent definition of the e language and facilitates the development of e language based design automation tools. Revision Standard - Superseded. 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.

IEEE 1647-2016 History

IEEE 1647-2019

IEEE 1647-2019

$181.00 $362.00

IEEE 1647-2016

IEEE 1647-2016

$180.00 $360.00

IEEE 1647-2011

IEEE 1647-2011

$228.00 $457.00

IEEE 1647-2008

IEEE 1647-2008

$94.00 $188.00

IEEE 1647-2006

IEEE 1647-2006

$70.00 $141.00

More IEEE Standards PDF

IEC 60794-2-23 Ed. 1.0 b:2024
IEEE 3219-2023

IEEE 3219-2023

$28.00 $56.00

IEEE 3182-2024

IEEE 3182-2024

$28.00 $56.00

IEC 62382 Ed. 3.0 b:2024

IEC 62382 Ed. 3.0 b:2024

$122.00 $245.00