IEEE組織最近批準(zhǔn)了用于復(fù)雜軟件驗(yàn)證的特色規(guī)格語言(Property Specification Language，PSL)標(biāo)準(zhǔn)，其速度之快，可能是IEEE歷來標(biāo)準(zhǔn)化流程時(shí)間方面的最新紀(jì)錄。

該標(biāo)準(zhǔn)被稱為IEEE 1850，僅在一年之前才踏入IEEE標(biāo)準(zhǔn)化之路。

1850工作小組主席Harry Foster表示：“這個(gè)流程快得不可思議。這可能是IEEE批準(zhǔn)最快的一個(gè)標(biāo)準(zhǔn)。”IEEE將PSL宣稱為幫助軟件開發(fā)商節(jié)省驗(yàn)證時(shí)間、成效和成本同時(shí)改進(jìn)品質(zhì)的一種語言。

它采用特色、聲明和其它方法，指定了電子系統(tǒng)的設(shè)計(jì)行為。

IEEE 1850定義了用于特色基驗(yàn)證的Accellera PSL 1.1規(guī)格。新標(biāo)準(zhǔn)解決了幾大技術(shù)問題，增添了與混合語言設(shè)計(jì)諸如VHDL、Verilog、SystemVerilog、OSCI SystemC和其它系統(tǒng)設(shè)計(jì)語言相容的介面。Foster指出，Accellera PSL 1.1與IEEE 1850之間的變化大多數(shù)都很小，最重要的變化是增加了支援SystemC的擴(kuò)充。

其它增強(qiáng)內(nèi)容包括增加了一種特色和子特色的復(fù)制方法，以及修訂了一些參考手冊說明的文字。