富士通半導(dǎo)體選用Certitude? 功能驗(yàn)證品管系統(tǒng)

　　IC設(shè)計(jì)軟件全球供貨商SpringSoft今天宣布，Certitude™ 功能驗(yàn)證品管系統(tǒng)獲富士通半導(dǎo)體有限公司(Fujitsu Semiconductor, FSL)選用。Certitude軟件讓該公司汽車(chē)事業(yè)部的設(shè)計(jì)工程師能夠提高驗(yàn)證環(huán)境與知識(shí)產(chǎn)權(quán)(IP)設(shè)計(jì)組件的質(zhì)量，這是開(kāi)發(fā)各種汽車(chē)電子應(yīng)用所需微控制器(MCU)解決方案的關(guān)鍵。

　　日本的設(shè)計(jì)團(tuán)隊(duì)原本使用Certitude系統(tǒng)來(lái)評(píng)估現(xiàn)有緩存器RTL仿真式驗(yàn)證環(huán)境的質(zhì)量、提升內(nèi)部IP質(zhì)量，以及篩檢第三方IP設(shè)計(jì)是否合乎該公司汽車(chē)應(yīng)用所需「FR」產(chǎn)品系列(32bit RISC CPU)的質(zhì)量要求?；谀壳盀橹沟恼虺晒?，富士通半導(dǎo)體將擴(kuò)大部署Certitude軟件以供德國(guó)蘭根與慕尼黑團(tuán)隊(duì)使用，著手開(kāi)發(fā)新一代汽車(chē)半導(dǎo)體產(chǎn)品。

　　富士通半導(dǎo)體汽車(chē)事業(yè)部總經(jīng)理Yasuaki Dokko先生表示：「供應(yīng)裝置給汽車(chē)市場(chǎng)時(shí)，我們目前的驗(yàn)證環(huán)境足以滿(mǎn)足目前所需的質(zhì)量。但藉由使用Certitude我們更能夠客觀地衡量自身驗(yàn)證環(huán)境的質(zhì)量，做更進(jìn)一步的改善。將Certitude系統(tǒng)引進(jìn)到我們的『Cedar』 ASIC 設(shè)計(jì)服務(wù)流程及以覆蓋率驅(qū)動(dòng)的驗(yàn)證環(huán)境里，我們可以得到更扎實(shí)可靠的驗(yàn)證。我們相信這可以幫助我們提供更高質(zhì)量的產(chǎn)品給客戶(hù)。

　　富士通半導(dǎo)體設(shè)計(jì)團(tuán)隊(duì)使用Certitude先進(jìn)的突變基礎(chǔ)測(cè)試(mutation-based testing)技術(shù)、智能型偵測(cè)算法，以及獨(dú)家回歸式開(kāi)發(fā)方法(iterative methodology)，以取得徹底驗(yàn)證的早期指標(biāo)，快速查找和修正錯(cuò)誤，以及提高testbench穩(wěn)固性，以滿(mǎn)足嚴(yán)格的汽車(chē)質(zhì)量標(biāo)準(zhǔn)。此系統(tǒng)容易與SpringSoft屢獲嘉獎(jiǎng)的Verdi™ 自動(dòng)化偵錯(cuò)系統(tǒng)整合，讓工程師們能夠增強(qiáng)具體化、周延性以及驗(yàn)證結(jié)果的偵錯(cuò)。

　　SpringSoft產(chǎn)品營(yíng)銷(xiāo)處長(zhǎng)George Bakewell表示：「對(duì)于富士通半導(dǎo)體的汽車(chē)設(shè)計(jì)團(tuán)隊(duì)而言，確保嵌入式IP與微控制器解決方案的最高質(zhì)量是最重要的，這需要最新的驗(yàn)證環(huán)境與技術(shù)。Certitude為以RTL為基礎(chǔ)的工具和作法提供順暢、高度自動(dòng)化的驗(yàn)證流程，盡早找出最大的問(wèn)題、更快速揭露驗(yàn)證工作的主要漏洞，以及產(chǎn)生比傳統(tǒng)涵蓋方法更完整而且客觀的結(jié)果?！?/p>