Institute of Electrical and Electronics Engineers (IEEE)
Последняя версия
IEC 62531:2012*IEEE Std 1850:2010
сфера применения
Определен язык спецификации свойств IEEE (PSL).PSL — это формальная запись для спецификации поведения электронной системы, совместимая с несколькими языками проектирования электронных систем, включая IEEE Std 1076 (VHDL), IEEE Std 1354 (Verilog), IEEE Std 16 66. (SystemC) и IEEE Std 1800 (SystemVerilog), тем самым обеспечивая единый процесс спецификации и проверки для многоязычных и смешанных приложений.