凌陽(yáng)科技采用SpringSoft功能驗(yàn)證系統(tǒng) 提高多媒體IC驗(yàn)證質(zhì)量

　　專業(yè)IC設(shè)計(jì)軟件全球供貨商SpringSoft今天宣布，Sunplus凌陽(yáng)科技采用Certitude™功能驗(yàn)證系統(tǒng)。Certitude軟件使凌陽(yáng)科技能夠提高硬件驗(yàn)證的效率，并產(chǎn)生高質(zhì)量的多媒體IC設(shè)計(jì)解決方案。

　　凌陽(yáng)科技驗(yàn)證工程師面臨驗(yàn)證驅(qū)動(dòng)新一代高分辨率家庭娛樂(lè)產(chǎn)品所需越來(lái)越復(fù)雜IC的嚴(yán)峻挑戰(zhàn)。SpringSoft的Certitude軟件可檢查出驗(yàn)證環(huán)境的主要漏洞，此漏洞可能使bug在RTL設(shè)計(jì)中(register transfer level，緩存器轉(zhuǎn)移層級(jí)) 中無(wú)法被發(fā)現(xiàn)。通過(guò)將Certitude自動(dòng)化技術(shù)與分析功能整合到硬件驗(yàn)證環(huán)境中，凌陽(yáng)科技工程師能夠運(yùn)用功能驗(yàn)證方法以提高成果質(zhì)量。

　　凌陽(yáng)科技研發(fā)副總余兆良博士表示：「隨著更新一代設(shè)計(jì)的誕生，本公司功能豐富的多媒體IC的驗(yàn)證工作越來(lái)越困難。由于Certitude，我們能夠很快地判斷是否有關(guān)鍵缺陷，然后建立更卓越的驗(yàn)證環(huán)境，以確保設(shè)計(jì)質(zhì)量符合客戶的期望?！?/p>

　　SpringSoft產(chǎn)品營(yíng)銷協(xié)理George Bakewell指出：「運(yùn)用既有程序與功能涵蓋技術(shù)來(lái)判斷貴公司的驗(yàn)證環(huán)境是否足以掌握大部分的RTL bug，是一大挑戰(zhàn)。這些技術(shù)無(wú)法提供足夠的數(shù)據(jù)，幫助工程師們客觀地衡量自己的環(huán)境質(zhì)量。凌陽(yáng)科技了解運(yùn)用功能驗(yàn)證來(lái)分析自己的驗(yàn)證成效的價(jià)值所在，尤其是對(duì)于尖端設(shè)計(jì)而言。Certitude為凌陽(yáng)工程師們提供以RTL為基礎(chǔ)的工具與數(shù)據(jù)，以提高驗(yàn)證的質(zhì)量與完整性?！?/p>

　　關(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)量效率、找出重大缺陷，進(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)證工作。