Standard

IEEE 1647

Revised

Note: This standard has a new edition: IEEE 1647

Singles purchase not accessible

This standard can not be purchased as a single sales.

Abstract

The scope of this standard is the definition of the e functional verification language. The e functional verification language is an application-specific programming language, aimed at automating the task of verifying electronic designs with respect to their specifications.This standard aims to serve as an authoritative source for the definition of the following: a) syntax and semantics of e language constructs b) the e language interaction with standard simulation languages c) e language libraries

Document information

  • Standard from IEEE_AC
  • Published:
  • Version: 0
  • Document type: IS
  • Additional information
    • IEEE Computer Society