IEEE 1647 2008
$102.92
IEEE Standard for the Functional Verification Language e
| Published By | Publication Date | Number of Pages |
| IEEE | 2008 | 464 |
Revision Standard – Inactive – 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.
Related products
-
IEEE 1641-2004
IEEE Standard for Signal and Test Definition Published By Publication Date Number of Pages IEEEā¦
-
IEEE 1547 2003
IEEE Standard for Interconnecting Distributed Resources with Electric Power Systems Published By Publication Date Numberā¦
-
IEEE 1667-2009
IEEE Standard for Authentication in Host Attachments of Transient Storage Devices Published By Publication Dateā¦
-
IEEE 1244.1 2000
IEEE Standard for Media Management System (MMS) Architecture Published By Publication Date Number of Pagesā¦
-
IEEE 1547-2018
IEEE Standard for Interconnection and Interoperability of Distributed Energy Resources with Associated Electric Power Systemsā¦
-
IEEE C57.12.23-2002
IEEE Standard for Underground Type, Self-Cooled, Single-Phase, Distribution Transformers with Separable Insulated High-Voltage Connectors; Highā¦
-
IEEE 1667 2018
IEEE Standard for Discovery, Authentication, and Authorization in Host Attachments of Storage Devices Published Byā¦
-
IEEE 1547.2-2023
IEEE Application Guide for IEEE Std 1547ā¢ā2018, IEEE Standard for Interconnection and Interoperability of Distributedā¦
-
IEEE 1647-2006
IEEE Standard for the Functional Verification Language ‘e’ Published By Publication Date Number of Pagesā¦
-
IEEE 1547.2-2023
IEEE Application Guide for IEEE Std 1547ā¢ā2018, IEEE Standard for Interconnection and Interoperability of Distributedā¦
-
IEEE 1547.2-2023
IEEE Application Guide for IEEE Std 1547ā¢ā2018, IEEE Standard for Interconnection and Interoperability of Distributedā¦
-
IEEE 1667 2007
Standard Protocol for Authentication in Host Attachments of Transient Storage Devices Published By Publication Dateā¦
-
IEEE 1147-2005
IEEE Guide for the Rehabilitation of Hydroelectric Power Plants (Superseded) Published By Publication Date Numberā¦
-
IEEE 1657 2009
IEEE Recommended Practice for Personnel Qualifications for Installation and Maintenance of Stationary Batteries Published Byā¦
-
IEEE 1641.1a-2018
IEEE Guide for the Use of IEEE Std 1641(TM), IEEE Standard for Signal and Testā¦
-
IEEE C57.12.23-2009
IEEE Standard for Submersible Single-Phase Transformers: 167 kVA and Smaller; High Voltage 25 000 Vā¦
-
IEEE 1547.2-2023
IEEE Application Guide for IEEE Std 1547ā¢ā2018, IEEE Standard for Interconnection and Interoperability of Distributedā¦
-
IEEE 1646 2005
IEEE Standard Communication Delivery Time Performance Requirements for Electric Power Substation Automation Published By Publicationā¦
-
IEEE 1147 2006
IEEE Guide for the Rehabilitation of Hydroelectric Power Plants Published By Publication Date Number ofā¦
-
IEEE 1647-2006
IEEE Standard for the Functional Verification Language ‘e’ Published By Publication Date Number of Pagesā¦
-
IEEE 1657 2018
IEEE Recommended Practice for Personnel Qualifications for Installation and Maintenance of Stationary Batteries Published Byā¦
-
IEEE C57.12.38-2009
IEEE Standard for Pad-Mounted-Type, Self-Cooled, Single-Phase Distribution Transformers; High Voltage, 34 500 GrdY/19 920 Vā¦
-
IEEE 1547-2018
IEEE Standard for Interconnection and Interoperability of Distributed Energy Resources with Associated Electric Power Systemsā¦
-
IEEE 1547.2 2009
IEEE Application Guide for IEEE Std 1547(TM), IEEE Standard for Interconnecting Distributed Resources with Electricā¦
-
IEEE 1247-2005
IEEE Standard for Interrupter Switches for Alternating Current, Rated Above 1000 Volts Published By Publicationā¦
-
IEEE 1647 2006
Standard for the Functional Verification Language ‘e’ Published By Publication Date Number of Pages IEEEā¦
-
IEEE 1641 2005
IEEE Standard for Signal and Test Definition Published By Publication Date Number of Pages IEEEā¦
-
IEEE 1667-2006
IEEE Standard Protocol for Authentication in Host Attachments of Transient Storage Devices Published By Publicationā¦
-
IEEE 1647-2008
IEEE Standard for the Functional Verification Language e Published By Publication Date Number of Pagesā¦
-
IEEE 1641.1-2006
IEEE Guide for the Use of IEEE Std 1641, Standard for Signal and Test Definitionā¦
-
IEEE 1641.1a 2018
IEEE Guide for the Use of IEEE Std 1641(TM), IEEE Standard for Signal and Testā¦
-
IEEE 1641.1 2007
IEEE Guide for the Use of IEEE Std 1641, Standard for Signal and Test Definitionā¦
-
IEEE 1547.2-2023
IEEE Application Guide for IEEE Std 1547ā¢ā2018, IEEE Standard for Interconnection and Interoperability of Distributedā¦
-
IEEE ISO IEC 14575 2001
ISO/IEC 14575:2000 (IEEE Std 1355-1995) Information Technology — Microprocessor systems — Heterogeneous InterConnect (HIC) (Low-Cost,ā¦
-
IEEE 1547 2018
IEEE 1547-2018: IEEE Standard for Interconnection and Interoperability of Distributed Energy Resources with Associated Electricā¦
-
IEEE 1247 2006
IEEE Standard for Interrupter Switches for Alternating Current, Rated Above 1000 Volts Published By Publicationā¦
-
IEEE 1547-2003
IEEE Standard for Interconnecting Distributed Resources with Electric Power Systems Published By Publication Date Numberā¦
-
IEEE 1244.1-2000
IEEE Standard for Media Management System (MMS) Architecture Published By Publication Date Number of Pagesā¦
-
IEEE 1617 2008
IEEE Guide for Detection, Mitigation, and Control of Concentric Neutral Corrosion in Medium-Voltage Underground Cablesā¦
-
IEEE C57.12.23 2009
IEEE Standard for Submersible Single-Phase Transformers: 167 kVA and Smaller; High Voltage 25 000 Vā¦
