Cadence推出首個(gè)TLM驅(qū)動(dòng)式設(shè)計(jì)與驗(yàn)證解決方案提升基于RTL流程的開發(fā)效率
2009-08-11
作者:Cadence設(shè)計(jì)系統(tǒng)公司
??? Cadence設(shè)計(jì)系統(tǒng)公司推出首個(gè)TLM驅(qū)動(dòng)式協(xié)同設(shè)計(jì)與驗(yàn)證解決方案和方法學(xué),使SoC設(shè)計(jì)師們可以盡享事務(wù)級(jí)建模(TLM)的好處。這一Cadence解決方案包含集成了新式存儲(chǔ)器編譯器并支持C/C++的C-to-Silicon Compiler、具有最新TLM/RTL指標(biāo)驅(qū)動(dòng)式驗(yàn)證和可視化源碼級(jí)調(diào)試功能的Incisive Enterprise Simulator、Calypto時(shí)序邏輯等效性檢查、第一版TLM驅(qū)動(dòng)式設(shè)計(jì)與驗(yàn)證方法學(xué)以及客戶適用服務(wù)。 新解決方案可實(shí)現(xiàn)對(duì)基于TLM的SoC IP進(jìn)行設(shè)計(jì)、綜合與驗(yàn)證,從而加快設(shè)計(jì)創(chuàng)建,提升功能驗(yàn)證效率,并提供更多機(jī)會(huì)來(lái)重復(fù)利用相關(guān)的設(shè)計(jì)和驗(yàn)證IP。
?
?? “我們已使用了多年的高階綜合與TLM驗(yàn)證,此類驗(yàn)證方法學(xué)已被證明是非常具有挑戰(zhàn)性的?!备皇客ㄎ㈦娮庸煞萦邢薰緢D形技術(shù)中心硬件開發(fā)經(jīng)理Raimund Soenning表示。 “Cadence這一方法學(xué)可從容應(yīng)對(duì)我們遇到的挑戰(zhàn),它從TLM到RTL使用了指標(biāo)驅(qū)動(dòng)式驗(yàn)證,并將二者混合。 使用這個(gè)全面的Cadence方法學(xué),我們發(fā)現(xiàn)了大量重復(fù)利用設(shè)計(jì)和驗(yàn)證IP的機(jī)會(huì)?!?
??? 這個(gè)新型TLM驅(qū)動(dòng)式設(shè)計(jì)和驗(yàn)證方法學(xué)包含了面向虛擬平臺(tái)和高階綜合的SystemC建模準(zhǔn)則,并定義了對(duì)TLM、TLM/RTL和RTL進(jìn)行基于OVM的多語(yǔ)言功能驗(yàn)證的過程。 該方法學(xué)將通過手冊(cè)、自助式教程和上機(jī)實(shí)驗(yàn)課程的形式提供。 新解決方案包含以下能力:從C/C++遷移從而實(shí)現(xiàn)傳統(tǒng)設(shè)計(jì)源碼到SystemC TLM的自動(dòng)轉(zhuǎn)換;整合了流行存儲(chǔ)器編譯器的高階綜合技術(shù),并針對(duì)各種架構(gòu)進(jìn)行了優(yōu)化;以及對(duì)SystemC和已綜合的RTL代碼進(jìn)行并行式分析與追蹤。
?? “事務(wù)級(jí)設(shè)計(jì)和驗(yàn)證已經(jīng)成為現(xiàn)實(shí),”Brian Bailey咨詢公司的Brian Bailey表示。 “各個(gè)單獨(dú)功能已經(jīng)開發(fā)出來(lái)了,而Cadence邁出了使它們?cè)谝粋€(gè)統(tǒng)一方法學(xué)中協(xié)同工作的第一步?!?
??? 新型TLM驅(qū)動(dòng)式方法學(xué)提高了工作效率、設(shè)計(jì)質(zhì)量和項(xiàng)目時(shí)間表的可預(yù)測(cè)性。 與先前技術(shù)不同,這一新型綜合性解決方案使用戶能夠?qū)⒒赥LM的設(shè)計(jì)和驗(yàn)證IP作為黃金源碼加以重復(fù)利用。
??? “Cadence具有得天獨(dú)厚的優(yōu)勢(shì)對(duì)TLM/RTL設(shè)計(jì)和驗(yàn)證環(huán)境進(jìn)行整合,以便排除用戶使用的關(guān)鍵障礙?!?Cadence設(shè)計(jì)系統(tǒng)公司系統(tǒng)軟件部副總裁兼總經(jīng)理Michael McNamara表示, “著眼于客戶的完整需求,我們正在履行提升系統(tǒng)級(jí)設(shè)計(jì)效率的全面承諾?!?