1573222

IEEE 1647-2008

IEEE Standard for the Functional Verification Language e

standard by IEEE, 08/03/2008

This document has been replaced. View the most recent version.

View all product details

Historical

Track It

Language:
    • Available Formats
    • Options
    • Availability
    • Priced From ( in USD )

Customers Who Bought This Also Bought

 

About This Item

 

Full Description

Scope

The scope of this standard is the definition of 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 c) e language libraries This revision extends the standard to cover novel verification-related features.

Purpose

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. The revision project extends the standard to include novel verification related features. The revision project extends the standard to include novel verification related features.

Abstract

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.
 

Product Details

Published:
08/03/2008
ISBN(s):
9780738154251, 9780738169552, 9780738154244
Number of Pages:
455
File Size:
1 file , 3.9 MB
Redline File Size:
3 files , 13 MB
Product Code(s):
STDSURL95795, STDSU95795
Note:
This product is unavailable in Russia, Belarus
 

Document History

  1. IEEE 1647-2019


    IEEE Standard for the Functional Verification Language e

    • Most Recent

  2. IEEE 1647-2016


    IEEE Standard for the Functional Verification Language e

    • Historical Version

  3. IEEE 1647-2011


    IEEE Standard for the Functional Verification Language e

    • Historical Version

  4. IEEE 1647-2008

    👀currently
    viewing


    IEEE Standard for the Functional Verification Language e

    • Historical Version

  5. IEEE 1647-2006


    IEEE Standard for the Functional Verification Language "e"

    • Historical Version