發布日期：2022-07-15 點擊率：27
在近期舉行的設計自動化研討會(DAC)上,私人控股的EDA供應商Averant公司展位前掛出了一幅含有牙刷和牙線的宣傳畫,附帶的文字說明是“牙刷牙線并用,效果才會最佳。”該公司的高層表示,其寓意是要突出仿真與形式驗證之間的關系。該公司認為,設計師需要同時采用這兩種技術,才能獲得足夠的設計收斂。
“你可以把刷牙看成是隨機仿真。”Averant公司銷售副總裁Larry Lapides說道。就像牙醫說笑應該只清潔你想保留的牙齒一樣,設計師也應該只對希望取得成功的設計進行靜態驗證,Lapides指出。
Averant借助DAC的東風,推出了下一代Solidify工具。該工具可以使設計師更好地控制整個形式驗證過程。Lapides及Averant公司總裁Ramin Hojati宣稱,Solidify 4.0是業界首個經過指導驗證的系統,能讓設計師在設計周期早期執行快速“缺陷搜尋”操作,稍后再做更徹底的斷言檢驗。
“許多時候設計師會生成成千上成萬條特性語句,在一臺計算機上需要運行一整晚的時間。”Hojati表示,“設計師有時候也真的想知道某條屬性語句是否馬上要通過,從而不得不在上面花費很多時間。Solidify工具能讓設計師在確定需要花多少時間方面擁有更大的靈活性。”
新工具的增強功能
據Hojati分析,在設計周期早期的缺陷搜尋階段,用戶在一臺計算機上處理100條特性語句可能只需數秒時間。稍后當重點轉移到全面徹底的檢驗時,用戶可能需要數天和數臺計算機才能完成對這些特性的處理。通過有效地權衡完成度與精度和CPU時間之間的關系,Solidify可以提供早期反饋信息,同時盡可能充分地利用可用計算能力,他指出。
Solidify 4.0還包括其它一些增強功能,例如支持完整的SystemVerilog Assertion(SVA)語言。另外也支持在線SVA的使用、通過綁定命令連接的驗證知識產權(IP)以及用SVA實現的開放式Verilog庫(OVL),Averant表示。
Hojati和Lapides宣稱,Solidify 4.0還提供另外一項業界首創功能:能夠在包括SVA、PSL、OVA、OVL和HPL在內的多個特性語言之間進行轉換。這樣,設計團隊就能自由地選擇能夠最佳地滿足他們需要的特性語言,還能實現驗證IP的保存與復用。
“Solidify 4.0可以讀取四種語言,輸出四種語言。”Hojati表示,“這點很有價值。用戶可以對他們的IP安全性更加自信。”
其它增強功能包括擴展調試功能和時鐘交叉檢查以及對1.1版PSL的支持,Averant公司表示。Hojati解釋說,擴展調試功能雖然類似于已有的商用調試器,但Solidify能讓用戶無須轉離他們自己的設計環境。
Solidify現在可以在同一設計中處理各種混合的Verilog描述,還支持Liberty的單元格式。Solidify 4.0可以運行在Linux、Windows和Solaris平臺。Hojati透露,Averant公司“對產品做了少許的重新配置”,增加了類似于仿真中代碼覆蓋的特性代碼覆蓋,據稱這是靜態驗證領域中的獨創之舉。
Lapides認為,由于人們對形式驗證在什么地方適合總體驗證方法學有誤解,致使形式驗證工具市場的發展受到了阻礙。“驗證方法學確實在向覆蓋驗證發展,總體目標是100%的功能覆蓋。”Lapides表示,“雖然人們明白缺陷搜尋越早越好,但對于獨立工具而言卻屬于次要價值。”
作者:麥戴倫
