IEEE组织批准软件验证特色规格语言新标准

    陆扬

　　【eNet硅谷动力消息】据海外媒体报道，IEEE组织最近批准了用于复杂软件验证的特色规格语言(Property Specification Language，PSL)标准，其速度之快，可能是IEEE历来标准化流程时间方面的最新纪录。该标准被称为IEEE 1850，仅在一年之前才踏入IEEE标准化之路。

　　1850工作小组主席Harry Foster表示：“这个流程快得不可思议。这可能是IEEE批准最快的一个标准。”

　　IEEE将PSL宣称为帮助软件

　　IEEE 1850定义了用于特色基验证的Accellera PSL 1.1规格。新标准解决了几大技术问题，增添了与混合语言设计诸如VHDL、Verilog、SystemVerilog、OSCI SystemC和其它系统设计语言兼容的接口。Foster指出，Accellera PSL 1.1与IEEE 1850之间的变化大多数都很小，最重要的变化是增加了支持SystemC的扩充。

　　其它增强内容包括增加了一种特色和子特色的复制方法，以及修订了一些参考手册说明的文字。