IEEE Std 1647-2019
Estándar IEEE para el lenguaje de verificación funcional e
- Estándar No.
- IEEE Std 1647-2019
- Fecha de publicación
- 2019
- Organización
- Institute of Electrical and Electronics Engineers (IEEE)
- Ultima versión
- IEEE Std 1647-2019
- 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-2019 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'
