TLM驅動(dòng)式的新方案探討

對TLM IP的功能驗證可應對驗證吞吐量的爆發(fā)

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

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

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

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

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

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

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

支持TLM和RTL混合驗證

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

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

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

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

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

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

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

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