99精品在线观看-99精品在线免费观看-99精品在线视频观看-99精品这里只有精品高清视频-99九九精品国产高清自在线

SpringSoft發表Certitude功能驗證品管系統最新版本，擁有功能強大的方法與易于使用的優勢。Certitude系統運用獨家自動 化技術消除驗證不確定性，并加速復雜IP與系統芯片(SoC)設計的功能收斂。這種自動化技術能夠確保驗證環境的完整性并找出可能縱容bug肆虐的安全漏 洞。

Certitude系統中嶄新的優先順位式偵測技術讓工程師們能夠迅速找出和修理最嚴重的問題，使仿真與CPU資源的運用優化。這種優 先順位式作法讓使用者能夠更早而且更頻繁地執行Certitude系統，為驗證環境提供快速的改善，并指導測試與檢查程序的開發。

新版軟件 也具備與本公司屢獲佳績的Verdi™ 自動化偵錯系統整合的簡化設定與按鈕，以增強可視化、源代碼追蹤和分析結果的理解。這些功能提供更順暢、更高度自動化的驗證品管流程，讓工程師們更容易改 善內部IP的驗證、評估第三方IP的質量以及進行SoC驗證環境的品管工作。

SpringSoft產品營銷處長George Bakewell表示：「由于驗證環境變得比設計本身更復雜，功能驗證品管套用自動化突變技術獲得驗證品管的客觀數據。最新版Certitude讓這種做 法更上層樓。先進偵測技術、智能型作業與漸進式使用模型的強力組合，讓更廣泛的用戶與驗證應用軟件都能享受絕佳的功能驗證品管?！?/p>

更早、更 快速的故障偵測方法

SpringSoft研究發現，某些人為投入到RTL程序代碼中的故障會揭露驗證中的重大漏洞，并產生更容易分析的結 果。在最新版的軟件中，運用多年來研究并依據數千次Certitude執行結果所開發的規則，將故障分割成許多優先排序的個案。然后按照優先順位自動品 管，優先揭露最大的弱點并盡早提供改善整體驗證環境的建議。

這些優先順位算法提供了有效率的漸進式執行方法 – 執行功能驗證品管、修理問題然后重新執行 – 自動累積長時間的品管數據，以驅動測試開發與檢查程序的產生。早期偵測到的故障不必重新品管，除非相關的RTL程序代碼改變，節省寶貴的時間與耗用資源。

完 善整合使結果分析更容易

最新版系統包括一個新的工具程序，可自動產生編譯妥當可供Verdi系統使用的Certitude配置文件。這個工 具程序巧妙地運用SpringSoft知識數據庫(KDB)，建立能夠由Certitude使用者修改的樣板，以提供更詳細且微調的參數。直覺式報表提供 故障狀態信息，并顯示故障在哪里投入到RTL程序中。