思源科技（Springsoft）於日前宣布，Certitude功能驗證系統已獲富士通半導體選用。Certitude軟體將協助該公司汽車事業部的設計工程師，能夠提高驗證環境與智慧財產(IP)設計元件的品質，這是開發各種汽車電子應用所需微控制器(MCU)解決方案的關鍵。

日本的設計團隊原本使用Certitude系統，來評估現有暫存器RTL模擬式驗證環境的品質、提升內部IP品質，以及篩檢第三方IP設計是否符合該公司汽車應用所需「FR」產品系列(32bit RISC CPU)的品質要求。基於目前為止的正向成果，富士通半導體將擴大部署Certitude軟體以供德國蘭根與慕尼黑團隊使用，著手開發新一代汽車半導體產品。

富士通半導體設計團隊，使用Certitude先進的變異基礎測試技術、智慧型偵測演算法，以及獨家反覆式的開發方法，以取得徹底驗證的早期指標，快速找出和修正錯誤，以及提高testbench穩固性，以滿足嚴格的汽車品質標準。此系統容易與思源科技屢獲嘉獎的Verdi自動化偵錯系統整合，讓工程師們能夠增強具體化、周延性以及驗證結果的偵錯。