IEEE Std 1647-2006
Estándar IEEE para el lenguaje de verificación funcional 'e'

Estándar No.

IEEE Std 1647-2006

Fecha de publicación

2006

Organización

Institute of Electrical and Electronics Engineers (IEEE)

Estado

 2008-08

Remplazado por

IEEE STD 1647-2008

Ultima versión

IEEE Std 1647-2019

Alcance

El lenguaje de verificación funcional e es un lenguaje de programación específico de la 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, incluido los tipos de condiciones erróneas que el diseño debe soportar.Una verificación típica...

IEEE Std 1647-2006 Historia

• 2019 IEEE Std 1647-2019 Estándar IEEE para el lenguaje de verificación funcional e
• 2017 IEEE Std 1647-2016 Estándar IEEE para el lenguaje de verificación funcional e - Redline
• 2011 IEEE Std 1647-2011 Estándar IEEE para el lenguaje de verificación funcional e
• 2008 IEEE STD 1647-2008 Estándar IEEE para el lenguaje de verificación funcional e
• 2006 IEEE Std 1647-2006 Estándar IEEE para el lenguaje de verificación funcional 'e'