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

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

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

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

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

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

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

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

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

此外，新增連接到Verdi環境的按鈕，使分析與偵錯流程更容易。對于任何未發現的故障，信號數據可以批次轉換成為SpringSoft的FSDB (Fast Signal Database) 格式，然后由Verdi系統顯示波形。工程師能夠比較有缺陷和完美設計的結果、標示差異，然后自動跳躍到相關源代碼，以便運用Verdi系統的結構式分析 與追蹤功能，進一步調查和偵錯。