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

Estándar No.

IEEE Std 1647-2016

Fecha de publicación

2017

Organización

Institute of Electrical and Electronics Engineers (IEEE)

Estado

ser reemplazado 2019-08

Remplazado por

IEEE Std 1647-2019

Ultima versión

IEEE Std 1647-2019

Reemplazar

IEEE Std 1647-2011 - Redline

Alcance

El lenguaje de verificación funcional e es un lenguaje de programación específico de 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 el diseño debe soportar. Una típica v...

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