Institute of Electrical and Electronics Engineers (IEEE)
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 el diseño debe soportar.Un ve típico...