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

Estándar No.

IEEE Std 1647-2011

Fecha de publicación

2011

Organización

Institute of Electrical and Electronics Engineers (IEEE)

Estado

 2017-01

Remplazado por

IEEE Std 1647-2016

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 de hardware o software 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 debe soportar el diseño.Un v...

IEEE Std 1647-2011 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'