Search scope:
Shopping cart (0)
Standard

IEEE 1647-2019

Current
Preview

Existing or new amendments and versions must be purchased separately.

Language
Services

Abstract

Revision Standard - Active. 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.

Products specifications

  • Standard from IEEE
  • Published:
  • Document type: IS
  • Pages
  • Publisher: IEEE
  • Distributor: IEEE
  • ICS: 35.060
  • National Committee: IEEE Computer Society / Design Automation

Product Relations

  • Refers: IEEE 754-2019
  • Revises: IEEE 1647-2016
  • Refers: IEEE 61691-1-1-2011
  • Refers: IEEE 1364-2005
  • Refers: ISO/IEC/IEEE 9945, Information technology--Portable Operating System Interface (POSIX(R)) Base Specifications, Issue 7.
  • Refers: ISO/IEC 9899, Information technology--Programming languages--C.
  • Refers: IEC/IEEE 61691-1-1, Behavioral languages--Part 1-1: VHDL language reference manual
  • Refers: ISO/IEC 8859-1, Information technology--8-bit single-byte coded graphic character sets--Part 1: Latin Alphabet No. 1.