IEEE - The Institute of Electrical and Electronics Engineers@ Inc.
Ultima versión
IEEE 1850-2010
Alcance
Este estándar define el lenguaje de especificación de propiedades (PSL) @ que describe formalmente el comportamiento del sistema electrónico. Este estándar especifica la sintaxis y la semántica de PSL y también aclara cómo interactúa PSL con varios lenguajes de diseño de sistemas electrónicos estándar. Propósito El propósito de este estándar es proporcionar un lenguaje bien definido para la especificación formal del comportamiento del sistema electrónico, uno que sea compatible con múltiples lenguajes de diseño de sistemas electrónicos, incluido el estándar IEEE 1076. (¿VHDL?)@1 ¿Estándar IEEE 1364? (¿Verilog?) @ IEEE Std 1800? (¿SystemVerilog?) @ y IEEE Std 1666? (SystemC?)@ para facilitar una especificación común y un flujo de verificación para diseños multilingües y mixtos. Este estándar crea un estándar IEEE actualizado basado en IEEE Std 1850-2005. El estándar actualizado perfeccionará el estándar IEEE@ abordando erratas@ problemas técnicos menores@ y extensiones propuestas específicamente relacionadas con la reutilización de propiedades y la usabilidad mejorada de la simulación. 1La información sobre referencias se puede encontrar en la Cláusula 2.
IEEE 1850-2010 Historia
2010IEEE 1850-2010 Lenguaje de especificación de propiedades (PSL) (IEEE Computer Society)
2005IEEE 1850-2005 Estándar para el lenguaje de especificación de propiedades (PSL) (Documento de la IEEE Computer Society)