IEEE 1850-2005 Estándar para el lenguaje de especificación de propiedades (PSL) (Documento de la IEEE Computer Society) normas y especificaciones

Estándar No.: IEEE 1850-2005
Fecha de publicación: 2005
Organización: IEEE - The Institute of Electrical and Electronics Engineers@ Inc.
Estado: 2011-01
Remplazado por: IEEE 1850-2010
Ultima versión: IEEE 1850-2010

Alcance: Prólogo El lenguaje de especificación de propiedades (PSL) IEEE Std 1850 se basa en el lenguaje de especificación de propiedades Accellera (Accellera PSL)@ un lenguaje para la especificación formal del comportamiento de sistemas electrónicos@ que fue desarrollado por Accellera@ un consorcio de automatización de diseño electrónico (EDA)@ semiconductor@ y empresas de sistemas. IEEE Std 1850 PSL perfecciona Accellera PSL versión 1.1 @ abordando erratas y algunos problemas técnicos menores y aclarando cómo PSL interactúa con varios lenguajes de diseño de sistemas electrónicos estándar. 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.

IEEE 1850-2005 Historia

2010 IEEE 1850-2010 Lenguaje de especificación de propiedades (PSL) (IEEE Computer Society)
2005 IEEE 1850-2005 Estándar para el lenguaje de especificación de propiedades (PSL) (Documento de la IEEE Computer Society)