El lenguaje de verificación funcional electrónico es un lenguaje de programación específico de aplicación, destinado a automatizar la tarea de verificar un diseño electrónico con respecto a su especificación. Los entornos de verificación escritos en e proporcionan un modelo del entorno en el que se espera que funcione el diseño, incluidos los tipos de condiciones erróneas que el diseño debe soportar. Un entorno de verificación típico es capaz de generar entradas de prueba controladas por el usuario con características estadísticamente interesantes. Un entorno así puede comprobar la validez de las respuestas del diseño. Las métricas de cobertura funcional se utilizan para controlar el esfuerzo de verificación y medir la calidad del diseño. Los entornos de verificación se pueden utilizar durante todo el ciclo de diseño, desde un modelo arquitectónico de alto nivel hasta un sistema completamente realizado. Este estándar contiene una definición de la sintaxis y la semántica del lenguaje electrónico, y cómo los desarrolladores de herramientas y los ingenieros de verificación deben utilizarlas.
IEEE 1647-2006 Historia
1970IEEE 1647-2019 Estándar IEEE para el lenguaje de verificación funcional e
1970IEEE 1647-2016 Estándar IEEE para el lenguaje de verificación funcional e
2011IEEE 1647-2011 Lenguaje de verificación funcional 'e'
2008IEEE 1647-2008 Estándar IEEE para el lenguaje de verificación funcional e
2006IEEE 1647-2006 Lenguaje de verificación funcional 'e'