Institute of Electrical and Electronics Engineers (IEEE)
Alcance
El alcance de este estándar es la definición del lenguaje de verificación funcional e. Este estándar tiene como objetivo servir como fuente autorizada para la definición de (a) la sintaxis y la semántica de las construcciones del lenguaje e (b) la interacción del lenguaje e con los lenguajes de simulación estándar. (c) Bibliotecas de idiomas electrónicos Esta revisión amplía el estándar para cubrir características novedosas relacionadas con la verificación.