Averant近發(fā)布了其形式特性驗(yàn)證工具版本Solidify 5.0，聲稱在形式驗(yàn)證領(lǐng)域取得數(shù)項(xiàng)技術(shù)進(jìn)展。新特性包括驗(yàn)證管理、層次驗(yàn)證和覆蓋擴(kuò)展。 

       Solidify是包含多語言支持、源代碼調(diào)試和仿真接口的靜態(tài)功能特性驗(yàn)證工具。它接受RTL源代碼和驗(yàn)證特性，提供特性分析、調(diào)試尋跡、仿真測試平臺、仿真監(jiān)視器和覆蓋報(bào)告等功能。在4.0升級版本中，Averant增添了新的Guided Proof System (GPS)，據(jù)稱能實(shí)現(xiàn)快速“錯(cuò)誤搜尋”。 

       新的5.0版本中將GPS升級，添加了驗(yàn)證管理功能。自動(dòng)化的層次驗(yàn)證令用戶能在一級層次內(nèi)驗(yàn)證特性，然后到下一層。Averant表示這種新方法令驗(yàn)證方法更嚴(yán)密。 

       Solidify 5.0據(jù)稱是支持SystemVerilog斷言(SVA) 和特性規(guī)范語言(PSL)“isunknown”結(jié)構(gòu)的特性校驗(yàn)器。此外，新版本還能利用多CPU工作站。Solidify 5.0將于7月上市。