IEEE Std 1850-2005
Estándar IEEE para lenguaje de especificación de propiedades (PSL)

Estándar No.

IEEE Std 1850-2005

Fecha de publicación

2005

Organización

Institute of Electrical and Electronics Engineers (IEEE)

Estado

 2010-04

Remplazado por

IEEE Std 1850-2010

Ultima versión

IEEE Std 1850-2010

Alcance

El lenguaje de especificación de propiedades (PSL) del IEEE se define en este estándar. PSL es una notación formal para la especificación del comportamiento del sistema electrónico, compatible con múltiples lenguajes de diseño de sistemas electrónicos, incluidos IEEE Std 1076TM (VHDLreg), IEEE Std 1364TM (Verilogreg), IEEE P1666TM (SystemCreg) e IEEE P1800TM (SystemVerilogreg), lo que permite una especificación y verificación común...

IEEE Std 1850-2005 Historia

• 2010 IEEE Std 1850-2010 Estándar IEEE para lenguaje de especificación de propiedades (PSL)
• 2005 IEEE Std 1850-2005 Estándar IEEE para lenguaje de especificación de propiedades (PSL)