專業(yè)IC設計軟件全球供貨商SpringSoft(SpringSoft, Inc.)今天發(fā)表Certitude™功能驗證品管系統(tǒng)最新版本,，擁有功能強大的方法與易于使用的優(yōu)勢,。Certitude系統(tǒng)運用獨家自動化技術消除驗證不確定性,，并加速復雜IP與系統(tǒng)芯片(SoC)設計的功能收斂。這種自動化技術能夠確保驗證環(huán)境的完整性并找出可能縱容bug肆虐的安全漏洞,。
　　Certitude系統(tǒng)中嶄新的優(yōu)先順位式偵測技術讓工程師們能夠迅速找出和修理最嚴重的問題,，使仿真與CPU資源的運用優(yōu)化。這種優(yōu)先順位式作法讓使用者能夠更早而且更頻繁地執(zhí)行Certitude系統(tǒng),，為驗證環(huán)境提供快速的改善,，并指導測試與檢查程序的開發(fā)。
　　新版軟件也具備與本公司屢獲佳績的Verdi™ 自動化偵錯系統(tǒng)整合的簡化設定與按鈕,，以增強可視化,、源代碼追蹤和分析結果的理解,。這些功能提供更順暢、更高度自動化的驗證品管流程,，讓工程師們更容易改善內部IP的驗證,、評估第三方IP的質量以及進行SoC驗證環(huán)境的品管工作。
　　SpringSoft產品營銷處長George Bakewell表示：「由于驗證環(huán)境變得比設計本身更復雜,，功能驗證品管套用自動化突變技術獲得驗證品管的客觀數據,。最新版Certitude讓這種做法更上層樓,。先進偵測技術,、智能型作業(yè)與漸進式使用模型的強力組合，讓更廣泛的用戶與驗證應用軟件都能享受絕佳的功能驗證品管,。
　　詳盡的白皮書說明功能驗證品管技術的演進以及最佳實務的應用,，請至SpringSoft網站查詢和下載：www.springsoft.com/whitepapers/functional-qualification
更早、更快速的故障偵測方法
　　SpringSoft研究發(fā)現(xiàn),，某些人為投入到RTL程序代碼中的故障會揭露驗證中的重大漏洞,，并產生更容易分析的結果。在最新版的軟件中,，運用多年來研究并依據數千次Certitude執(zhí)行結果所開發(fā)的規(guī)則,，將故障分割成許多優(yōu)先排序的個案。然后按照優(yōu)先順位自動品管,，優(yōu)先揭露最大的弱點并盡早提供改善整體驗證環(huán)境的建議,。
　　這些優(yōu)先順位算法提供了有效率的漸進式執(zhí)行方法 – 執(zhí)行功能驗證品管、修理問題然后重新執(zhí)行 – 自動累積長時間的品管數據,，以驅動測試開發(fā)與檢查程序的產生,。早期偵測到的故障不必重新品管，除非相關的RTL程序代碼改變,，節(jié)省寶貴的時間與耗用資源,。
完善整合使結果分析更容易
　　最新版系統(tǒng)包括一個新的工具程序，可自動產生編譯妥當可供Verdi系統(tǒng)使用的Certitude配置文件,。這個工具程序巧妙地運用SpringSoft知識數據庫(KDB),，建立能夠由Certitude使用者修改的樣板，以提供更詳細且微調的參數,。直覺式報表提供故障狀態(tài)信息,，并顯示故障在哪里投入到RTL程序中。
　　此外,，新增連接到Verdi環(huán)境的按鈕,，使分析與偵錯流程更容易。對于任何未發(fā)現(xiàn)的故障,，信號數據可以批次轉換成為SpringSoft的FSDB (Fast Signal Database) 格式,，然后由Verdi系統(tǒng)顯示波形,。工程師能夠比較有缺陷和完美設計的結果、標示差異,，然后自動跳躍到相關源代碼,，以便運用Verdi系統(tǒng)的結構式分析與追蹤功能，進一步調查和偵錯,。
關于SpringSoft
　　SpringSoft為提供全球專業(yè)自動化技術之領導廠商,，所提供產品能加速工程師對于復雜的數字、邏輯,、混合信號集成電路 (ICs),、特殊應用集成電路 (ASICs)、微處理器,、及系統(tǒng)單芯片 (SoCs) 之設計,、驗證及偵錯。其獲獎無數的產品包括有Novas驗證強化和 Laker 定制IC 設計解決方案,，已有超過400個整合組件制造(IDM),、無晶圓廠半導體公司、晶圓代工廠,、及電子系統(tǒng)代工 (OEMs) 領導廠商使用,。總部設在臺灣新竹及美國加州圣荷西,，SpringSoft為亞洲最大且第一家掛牌上市之電子設計自動化廠商,，并且以客戶服務在業(yè)界著稱，其400多位員工分布于世界各地數個研發(fā)及技術服務據點,。更多信息,，請洽SpringSoft網站：http://www.springsoft.com
　　Verdi、Siloti與Certitude為SpringSoft, Inc.的商標,。所有其他商標或注冊商標皆為各該擁有者的財產,。