IEEE以超快速度批准特色规格语言标准

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的扩充。

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