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ì)來重復(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à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ā)出來了,,而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ì)效率的全面承諾,?!?