We need your consent to use the individual data so that you can see information about your interests, among other things. Click "OK" to give your consent.
IEEE Approved Standard for the Functional Verification Language e
Translate name
STANDARD published on 11.9.2019
Availability | Sold out |
Price | ON REQUEST excl. VAT |
ON REQUEST |
Designation standards: IEEE 1647-2019
Publication date standards: 11.9.2019
SKU: NS-953163
Approximate weight : 300 g (0.66 lbs)
Country: International technical standard
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.
ISBN: 978-1-5044-5914-3
Number of Pages: 652
Product Code: STDAPE23732
Keywords: assertion, concurrent programming, constraint, dynamic verification, functional coverage, functional verification, simulation, temporal logic, test generation
Category: Database/information Systems|Design Automation
Draft Number: P1647/D3, Apr 2019 - APPROVED DRAFT
Do you want to make sure you use only the valid technical standards?
We can offer you a solution which will provide you a monthly overview concerning the updating of standards which you use.
Would you like to know more? Look at this page.
Latest update: 2024-04-22 (Number of items: 2 895 429)
© Copyright 2024 NORMSERVIS s.r.o.