專業IC設計軟件全球供貨商SpringSoft今天宣布，Certitude™ 功能驗證品管系統獲富士通半導體有限公司(Fujitsu Semiconductor, FSL)選用。Certitude軟件讓該公司汽車事業部的設計工程師能夠提高驗證環境與知識產權(IP)設計組件的質量，這是開發各種汽車電子應用所需微控制器(MCU)解決方案的關鍵。
日本的設計團隊原本使用Certitude系統來評估現有緩存器RTL仿真式驗證環境的質量、提升內部IP質量，以及篩檢第三方IP設計是否合乎該公司汽車應用所需「FR」產品系列(32bit RISC CPU)的質量要求。基于目前為止的正向成果，富士通半導體將擴大部署Certitude軟件以供德國蘭根與慕尼黑團隊使用，著手開發新一代汽車半導體產品。
富士通半導體汽車事業部總經理Yasuaki Dokko先生表示：「供應裝置給汽車市場時，我們目前的驗證環境足以滿足目前所需的質量。但藉由使用Certitude我們更能夠客觀地衡量自身驗證環境的質量，做更進一步的改善。將Certitude系統引進到我們的『Cedar』 ASIC 設計服務流程及以覆蓋率驅動的驗證環境里，我們可以得到更扎實可靠的驗證。我們相信這可以幫助我們提供更高質量的產品給客戶。
富士通半導體設計團隊使用Certitude先進的突變基礎測試(mutation-based testing)技術、智能型偵測算法，以及獨家回歸式開發方法(iterative methodology)，以取得徹底驗證的早期指標，快速查找和修正錯誤，以及提高testbench穩固性，以滿足嚴格的汽車質量標準。此系統容易與SpringSoft屢獲嘉獎的Verdi™ 自動化偵錯系統整合，讓工程師們能夠增強具體化、周延性以及驗證結果的偵錯。
SpringSoft產品營銷處長George Bakewell表示：「對于富士通半導體的汽車設計團隊而言，確保嵌入式IP與微控制器解決方案的最高質量是最重要的，這需要最新的驗證環境與技術。Certitude為以RTL為基礎的工具和作法提供順暢、高度自動化的驗證流程，盡早找出最大的問題、更快速揭露驗證工作的主要漏洞，以及產生比傳統涵蓋方法更完整而且客觀的結果。」
關于Certitude功能驗證品管系統
Certitude™ 功能驗證品管系統消除驗證的不確定性，并加速復雜IP與SoC設計的功能收斂；獨家自動化技術結合突變分析技術與靜態分析，以評量效率、找出重大缺點，進而提高HDL仿真驗證環境的質量。Certitude系統具備與既有工具流程的相互操作性，并且與現有全部功能驗證方法完全兼容，也是SpringSoft的Novas™ 功能驗證強化產品系列中不可或缺的一環，讓工程師們能夠以更短的時間完成更多驗證工作。有關Certitude產品詳情，請上網查詢：http://www.springsoft.com/products/functional-qualification/certitude。
