TLM驅(qū)動式新方案探討

　　TLM IP驗證相對RTL驗證具有很多優(yōu)勢。首先，仿真運行更快——相對RTL仿真有數(shù)量級的提升，從而允許驗證更多功能性實例。同時，在TLM抽象級別上進(jìn)行的調(diào)試比RTL調(diào)試更容易、更快速。

　　通過在更高抽象級別上編碼，TLM IP需要的代碼行更少，bug也更少。功能性bug在設(shè)計早期就能被發(fā)現(xiàn)和解決。因而可大幅減少驗證工作的總體投入。

　　在TLM抽象級別上，定位和理解bug更容易，修正bug也更容易，原因是需要處理的詳情更少。TLM流程允許在最合適的抽象級別來驗證各關(guān)注重點，如TLM用來驗證功能、信號級驗證用于驗證接口等。

　　TLM驗證流程始自算法功能驗證，允許用軟件進(jìn)行功能驗證，然后轉(zhuǎn)向TLM功能驗證(見圖2)。通過C-to-Silicon Compiler的編譯，用戶可轉(zhuǎn)向微架構(gòu)RTL驗證和RTL到門級等效性檢查。除支持仿真很快的非定時建模外，TLM還允許用戶進(jìn)行改進(jìn)，逐漸包含微架構(gòu)詳情，并改進(jìn)時序精確性。

　　軟硬件協(xié)同驗證及早期軟件開發(fā)

　　TLM模型抽象級別高、執(zhí)行快，足夠執(zhí)行切實可行的軟硬件協(xié)同仿真。設(shè)計師能將嵌入式軟件與TLM硬件模型進(jìn)行協(xié)同仿真，來檢查軟硬件依賴性，并對依賴于硬件的軟件進(jìn)行早期調(diào)試。有可能將這些技術(shù)當(dāng)做對軟硬件交互的隨機(jī)化激勵與覆蓋進(jìn)行應(yīng)用。

　　用于早期軟件開發(fā)和調(diào)試的虛擬平臺可能包含由SystemC TLM模型組成的子系統(tǒng)。得益于它們的快速執(zhí)行，為創(chuàng)建硬件設(shè)計而開發(fā)的模型也可用來加速軟件設(shè)計。

　　支持TLM和RTL混合驗證

　　在SoC級別需要TLM和RTL混合功能驗證，是因為有大量將被復(fù)用的遺留RTL IP，且仍有必要針對設(shè)計各部分進(jìn)行詳細(xì)RTL功能驗證。某些驗證任務(wù)將只能在RTL上才能完成，包括針對存儲器存取順序或狀態(tài)遷移覆蓋等屬性的微架構(gòu)結(jié)構(gòu)驗證。

　　由于大部分驗證工具如驗證計劃(vPlan)、開放驗證方法學(xué)(OVM)驗證組件、testbench、序列、測試、檢查和覆蓋等在各種抽象級別都能復(fù)用，因此TLM/RTL混合信號驗證也變得更容易實現(xiàn)。功能驗證規(guī)劃與管理跨TLM與RTL兩個級別，允許團(tuán)隊在混合級別設(shè)計中的各級別上對驗證進(jìn)行跟蹤和控制，并在需要時對結(jié)果進(jìn)行整合，確保了整體品質(zhì)。

　　用于SystemVerilog的OVM已得到擴(kuò)充，可支持包括e與SystemC在內(nèi)的多種語言。OVM庫也支持TLM。目前，OVM方法學(xué)描述正在進(jìn)行擴(kuò)充，以顯示怎樣在一個綜合性回歸解決方案中整合TLM和RTL模型。這將有助于創(chuàng)建工作于多語言、TLM/RTL混合驗證環(huán)境的驗證IP(VIP)。

　　多級功能驗證testbench基于事務(wù)，當(dāng)它連接到基于RTL的IP、總線或接口時，需要一個事務(wù)處理器在事務(wù)級域和管腳精確的RTL域之間進(jìn)行轉(zhuǎn)換。類似地，需要事務(wù)處理器將TLM IP塊連接到RTL IP塊上的總線或接口?；赥LM的方法學(xué)必須考慮，這些事務(wù)處理器該怎樣工作，以獲得混合TLM/RTL驗證的最大收益。有些事務(wù)處理器可通過購買取得，而有些則是專有的，由項目團(tuán)隊創(chuàng)建，并作為驗證庫組件進(jìn)行管理。

　　很多項目實現(xiàn)TLM僅僅是為了新IP，從而逐漸建立起一個TLM IP庫，許多團(tuán)隊針對新的IP采用了TLM的方法學(xué)，并且逐漸豐富TLM IP庫，而有些團(tuán)隊在事關(guān)成敗的關(guān)鍵項目中采用了TLM方法學(xué)，用于所有重要的IP模塊。最終，SoC的所有IP黃金源碼都來自于TLM級。在這些情況下，品質(zhì)、效率及容易調(diào)試的優(yōu)點將比TLM/RTL混合項目中更加明顯。SoC TLM功能驗證，包括SoC級架構(gòu)分析和優(yōu)化，將可能實現(xiàn)。

　　從TLM到RTL驗證進(jìn)行VIP復(fù)用

　　VIP復(fù)用現(xiàn)已成為主流，因為創(chuàng)建高質(zhì)量驗證環(huán)境的時間經(jīng)常超過創(chuàng)建設(shè)計IP本身的時間。標(biāo)準(zhǔn)協(xié)議的廣泛使用推動了商業(yè)VIP市場的快速發(fā)展。當(dāng)前，大部分VIP是寄存器傳輸級的。由TLM得到的VIP也將有一定需求，但必須可復(fù)用于TLM/RTL混合功能驗證。

　　在RTL功能驗證中，使用約束隨機(jī)激勵生成的先進(jìn)testbench占據(jù)了主導(dǎo)地位。由TLM得到的VIP在用于TLM、TLM/RTL混合及RTL功能驗證的testbench中應(yīng)該都是可操作的。這樣的VIP需允許指標(biāo)驅(qū)動式驗證的應(yīng)用，因為客戶會在驗證抽象的所有級別上使用覆蓋指標(biāo)。最后，對于和架構(gòu)及軟件工程團(tuán)隊工作密切相關(guān)的驗證團(tuán)隊，輔助的嵌入式軟件和定向測試也是必需的。