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). permitiendo así una especificación común y un flujo de verificación para multilenguaje y mezcla...