??? Cadence設(shè)計(jì)系統(tǒng)公司推出首個(gè)TLM驅(qū)動(dòng)式協(xié)同設(shè)計(jì)與驗(yàn)證解決方案和方法學(xué)，使SoC設(shè)計(jì)師們可以盡享事務(wù)級建模（TLM）的好處。這一Cadence解決方案包含集成了新式存儲(chǔ)器編譯器并支持C/C++的C-to-Silicon Compiler、具有最新TLM/RTL指標(biāo)驅(qū)動(dòng)式驗(yàn)證和可視化源碼級調(diào)試功能的Incisive Enterprise Simulator、Calypto時(shí)序邏輯等效性檢查、第一版TLM驅(qū)動(dòng)式設(shè)計(jì)與驗(yàn)證方法學(xué)以及客戶適用服務(wù)。 新解決方案可實(shí)現(xiàn)對基于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)對我們遇到的挑戰(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)則，并定義了對TLM、TLM/RTL和RTL進(jìn)行基于OVM的多語言功能驗(yàn)證的過程。 該方法學(xué)將通過手冊、自助式教程和上機(jī)實(shí)驗(yàn)課程的形式提供。 新解決方案包含以下能力：從C/C++遷移從而實(shí)現(xiàn)傳統(tǒng)設(shè)計(jì)源碼到SystemC TLM的自動(dòng)轉(zhuǎn)換；整合了流行存儲(chǔ)器編譯器的高階綜合技術(shù)，并針對各種架構(gòu)進(jìn)行了優(yōu)化；以及對SystemC和已綜合的RTL代碼進(jìn)行并行式分析與追蹤。

?? “事務(wù)級設(shè)計(jì)和驗(yàn)證已經(jīng)成為現(xiàn)實(shí)，”Brian Bailey咨詢公司的Brian Bailey表示。 “各個(gè)單獨(dú)功能已經(jīng)開發(fā)出來了，而Cadence邁出了使它們在一個(gè)統(tǒng)一方法學(xué)中協(xié)同工作的第一步。”

??? 新型TLM驅(qū)動(dòng)式方法學(xué)提高了工作效率、設(shè)計(jì)質(zhì)量和項(xiàng)目時(shí)間表的可預(yù)測性。 與先前技術(shù)不同，這一新型綜合性解決方案使用戶能夠?qū)⒒赥LM的設(shè)計(jì)和驗(yàn)證IP作為黃金源碼加以重復(fù)利用。

??? “Cadence具有得天獨(dú)厚的優(yōu)勢對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)級設(shè)計(jì)效率的全面承諾?！?