E (verification language)
- E (verification language)
e is a verification language used in Specman Elite to allow high-level verification of RTL designs and to analyze functional coverage. It started as the property of Cadence, but as of 2006, became standardized as IEEE 1647.
e attempts to provide a high level of reuse from the use of 'eVC's or 'e Verification Components'.
Sources
*http://www.ieee1647.org/
*http://www.cadence.com/products/functional_ver/specman_elite/index.aspx
*http://www.us.design-reuse.com/articles/article5646.html
*Writing Testbenches: Functional Verification of HDL Models; Janick Bergeron; Second Edition, Kluwer Academic Publishers, 2003, ISBN: 1-4020-7401-8
*http://www.amiq.ro/eparser.html
Wikimedia Foundation.
2010.
Look at other dictionaries:
Hardware verification language — A Hardware Verification Language, or HVL, is a programming language used to verify the designs of electronic circuits written in a hardware description language. HVLs typically include features of a high level programming language like C++ or… … Wikipedia
Language, Truth, and Logic — is a work of philosophy by Alfred Jules Ayer, published in 1936 when Ayer was only 26 (though it was in fact completed by age 24). It was crucial in bringing some of the ideas of the Vienna Circle and the logical empiricists to the attention of… … Wikipedia
Verification and validation — IV V redirects here. For NASA s IV V Facility, see Independent Verification and Validation Facility. Verification and validation is the process of checking that a product, service, or system meets specifications and that it fulfills its intended… … Wikipedia
verification principle — (or verifiability principle ) The principle central to logical positivism, according to which the meaning of a statement is its method of verification. Sentences apparently expressing propositions that admit of no verification (such as those of… … Philosophy dictionary
Language — This article is about the properties of language in general. For other uses, see Language (disambiguation). Cuneiform is one of the first known forms of written language, but spoken language is believed to predate writing by tens of thousands of… … Wikipedia
language, philosophy of — Philosophical study of the nature and use of natural languages and the relations between language, language users, and the world. It encompasses the philosophical study of linguistic meaning (see semantics), the philosophical study of language… … Universalium
Language C++ — C++ Apparu en 1985 (dernière révision en 2003) Auteur Bjarne Stroustrup … Wikipédia en Français
Language internaute — Jargon informatique Le jargon informatique est un pseudo langage propre aux représentants des professions gravitant autour de l informatique. Discutant essentiellement par messages courts, ces personnes utilisent en excès des abréviations,… … Wikipédia en Français
Hardware description language — In electronics, a hardware description language or HDL is any language from a class of computer languages and/or programming languages for formal description of electronic circuits. It can describe the circuit s operation, its design and… … Wikipedia
Asic verification — is today’s most challenging problem for ASIC designers. As chip sizes have skyrocketed and use of IP has increased, the need to fully verify the design functionality has become critical. However, verification is a function of both design size and … Wikipedia
