MEGACHIPS采用SpringSoft CERTITUDE系統(tǒng)執(zhí)行LSI驗(yàn)證

SpringSoft宣布，日商MegaChips采用Certitude™功能驗(yàn)證品管系統(tǒng)作為其功能驗(yàn)證方法之一環(huán)。MegaChips為游戲機(jī)、數(shù)字相機(jī)、視聽(tīng)設(shè)備與數(shù)字廣播電視系統(tǒng)等各式各樣的數(shù)字應(yīng)用開(kāi)發(fā)LSI產(chǎn)品的系統(tǒng)芯片設(shè)計(jì)公司。Certitude軟件讓MegaChips設(shè)計(jì)團(tuán)隊(duì)能夠完善自己的LSI驗(yàn)證環(huán)境，實(shí)現(xiàn)絕佳的設(shè)計(jì)質(zhì)量。

完整驗(yàn)證復(fù)雜且高度整合LSI設(shè)計(jì)所需的測(cè)試模式不斷地增加，使功能驗(yàn)證流程面臨莫大的壓力。為了克服這項(xiàng)挑戰(zhàn)，MegaChips采用SpringSoft的Certitude系統(tǒng)，找出可能導(dǎo)致RTL偵錯(cuò)的重大驗(yàn)證漏洞。借由在設(shè)計(jì)的初期使用Certitude自動(dòng)化技術(shù)與分析功能，MegaChips設(shè)計(jì)團(tuán)隊(duì)能夠提高自己硬件驗(yàn)證環(huán)境的效率，并且更快速實(shí)現(xiàn)高質(zhì)量設(shè)計(jì)。

MegaChips董事、第一LSI事業(yè)部執(zhí)行長(zhǎng)兼總經(jīng)理Tetsuo Furuichi表示：「只需1個(gè)小時(shí)，Certitude就能夠找出程序代碼覆蓋率工具無(wú)法發(fā)覺(jué)的問(wèn)題。因?yàn)榉奖愫糜?，而且容易整合到自己既有的設(shè)計(jì)流程中，我們希望持續(xù)運(yùn)用Certitude以實(shí)現(xiàn)更高的驗(yàn)證效率。」

SpringSoft產(chǎn)品營(yíng)銷處長(zhǎng)George Bakewell指出：「MegaChips親身體驗(yàn)Certitude技術(shù)在極短的時(shí)間內(nèi)就為該公司的LSI驗(yàn)證團(tuán)隊(duì)實(shí)現(xiàn)大幅的成效提升。工程師們展現(xiàn)的自信與提供的回饋，就是功能驗(yàn)證在強(qiáng)化驗(yàn)證作業(yè)方面具備絕佳價(jià)值的鐵證。」

關(guān)于Certitude功能驗(yàn)證品管系統(tǒng)
Certitude™ 功能驗(yàn)證品管系統(tǒng)消除驗(yàn)證的不確定性，并加速?gòu)?fù)雜IP與SoC設(shè)計(jì)的功能收斂；獨(dú)家自動(dòng)化技術(shù)結(jié)合變異分析技術(shù)與靜態(tài)分析，以評(píng)量效率、找出重大缺點(diǎn)，進(jìn)而提高HDL仿真驗(yàn)證環(huán)境的質(zhì)量。Certitude系統(tǒng)具備與既有工具流程的相互操作性，并且與現(xiàn)有全部功能驗(yàn)證方法完全兼容，也是SpringSoft的Novas™ 功能驗(yàn)證強(qiáng)化產(chǎn)品系列中不可或缺的一環(huán)，讓工程師們能夠以更短的時(shí)間完成更多驗(yàn)證工作。