Chercher dans:
Panier (0)
Standard

IEEE 1647-2006

Révisé

Note: Version actuelle: IEEE 1647-2019

Aperçu

Amendements et versions existants ou nouveaux doivent être achetés séparément.

Langue
Format

Résumé

New IEEE Standard - Superseded. The e functional verification language is an application-specific programming language, aimed at automating the task of verifying an electronic 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. This standard contains a definition of the e language syntax and semantics, and how tool developers and verification engineers should use them.

Spécifications des produits

  • Standard de IEEE
  • Publié:
  • Type de document: IS
  • Pages
  • Editeur: IEEE
  • Distributeur: IEEE
  • ICS: 35.060
  • Comité national: IEEE Computer Society / Design Automation

Relations produit

  • Révisé par: IEEE 1647-2008
  • Référence: ISO/IEC 8859-1:1998-
  • Référence: ISO/IEC 9945:2003
  • Référence: ISO/IEC 9899:1999-