e (verification language)

From Wikipedia, the free encyclopedia

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'.

[edit] 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