Institute of Electrical and Electronics Engineers (IEEE)
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...