IEC 62531:2012(E) (IEEE Std 1850-2010) - Redline
IEC 62531:2012(E) (IEEE Std 1850-2010): Estándar para el lenguaje de especificación de propiedades (PSL): línea roja

Estándar No.

IEC 62531:2012(E) (IEEE Std 1850-2010) - Redline

Fecha de publicación

2012

Organización

Institute of Electrical and Electronics Engineers (IEEE)

Alcance

Se define el lenguaje de especificación de propiedades (PSL) de IEEE. PSL es una notación formal para la especificación del comportamiento de sistemas electrónicos, 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 varios idiomas y mezclas...