Potrebujeme váš súhlas na využitie jednotlivých dát, aby sa vám okrem iného mohli ukazovať informácie týkajúce sa vašich záujmov. Súhlas udelíte kliknutím na tlačidlo „OK“.
IEEE Standard for the Functional Verification Language e
NORMA vydaná dňa 9.8.2019
Označenie normy: IEEE 1647-2019
Dátum vydania normy: 9.8.2019
Kód tovaru: NS-968000
Počet strán: 622
Približná hmotnosť: 1897 g (4.18 libier)
Krajina: Medzinárodná technická norma
Kategória: Technické normy IEEE
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-5977-8, 978-1-5044-5978-5
Number of Pages: 622
Product Code: STD23758, STDPD23758
Keywords: assertion, concurrent programming, constraint, dynamic verification, functional coverage, functional verification, IEEE 1647, simulation, temporal logic, test generation
Category: Database/information Systems|Design Automation
Chcete mať istotu, že používate len platné technické normy?
Ponúkame Vám riešenie, ktoré Vám zaistí mesačný prehľad o aktuálnosti noriem, ktoré používate.
Chcete vedieť viac informácií ? Pozrite sa na túto stránku.
Posledná aktualizácia: 2024-05-01 (Počet položiek: 2 896 514)
© Copyright 2024 NORMSERVIS s.r.o.