IEEE Std 1850-2010
Estándar IEEE para lenguaje de especificación de propiedades (PSL)
- Estándar No.
- IEEE Std 1850-2010
- Fecha de publicación
- 2010
- Organización
- Institute of Electrical and Electronics Engineers (IEEE)
- Ultima versión
- IEEE Std 1850-2010
- Alcance
- Se define el lenguaje de especificación de propiedades (PSL) del IEEE. 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 1076¿ (VHDL®), IEEE Std 1354 (Verilog®), IEEE Std 1666¿ (SystemC®) e IEEE Std. 1800¿ (SystemVerilog®), lo que permite una especificación común y un flujo de verificación para multilenguaje...
IEEE Std 1850-2010 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)
