凌陽(yáng)科技采用SpringSoft功能驗(yàn)證系統(tǒng) 提高多媒體IC驗(yàn)證質(zhì)量
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ì)量符合客戶的期望?!?/FONT>
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ì)量與完整性?!?/FONT>