??? Cadence設(shè)計系統(tǒng)公司推出首個TLM驅(qū)動式協(xié)同設(shè)計與驗證解決方案和方法學，使SoC設(shè)計師們可以盡享事務(wù)級建模（TLM）的好處。這一Cadence解決方案包含集成了新式存儲器編譯器并支持C/C++的C-to-Silicon Compiler、具有最新TLM/RTL指標驅(qū)動式驗證和可視化源碼級調(diào)試功能的Incisive Enterprise Simulator、Calypto時序邏輯等效性檢查、第一版TLM驅(qū)動式設(shè)計與驗證方法學以及客戶適用服務(wù)。 新解決方案可實現(xiàn)對基于TLM的SoC IP進行設(shè)計、綜合與驗證，從而加快設(shè)計創(chuàng)建，提升功能驗證效率，并提供更多機會來重復(fù)利用相關(guān)的設(shè)計和驗證IP。

?

?? “我們已使用了多年的高階綜合與TLM驗證，此類驗證方法學已被證明是非常具有挑戰(zhàn)性的。”富士通微電子股份有限公司圖形技術(shù)中心硬件開發(fā)經(jīng)理Raimund Soenning表示。 “Cadence這一方法學可從容應(yīng)對我們遇到的挑戰(zhàn)，它從TLM到RTL使用了指標驅(qū)動式驗證，并將二者混合。 使用這個全面的Cadence方法學，我們發(fā)現(xiàn)了大量重復(fù)利用設(shè)計和驗證IP的機會。”

??? 這個新型TLM驅(qū)動式設(shè)計和驗證方法學包含了面向虛擬平臺和高階綜合的SystemC建模準則，并定義了對TLM、TLM/RTL和RTL進行基于OVM的多語言功能驗證的過程。 該方法學將通過手冊、自助式教程和上機實驗課程的形式提供。 新解決方案包含以下能力：從C/C++遷移從而實現(xiàn)傳統(tǒng)設(shè)計源碼到SystemC TLM的自動轉(zhuǎn)換；整合了流行存儲器編譯器的高階綜合技術(shù)，并針對各種架構(gòu)進行了優(yōu)化；以及對SystemC和已綜合的RTL代碼進行并行式分析與追蹤。

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

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

??? “Cadence具有得天獨厚的優(yōu)勢對TLM/RTL設(shè)計和驗證環(huán)境進行整合，以便排除用戶使用的關(guān)鍵障礙。” Cadence設(shè)計系統(tǒng)公司系統(tǒng)軟件部副總裁兼總經(jīng)理Michael McNamara表示， “著眼于客戶的完整需求，我們正在履行提升系統(tǒng)級設(shè)計效率的全面承諾。”