UVM Transaction-Level Modeling (TLM)介紹

驗(yàn)證生產(chǎn)力的關(guān)鍵之一是 在一個(gè)合適的抽象級(jí)別上考慮驗(yàn)證問(wèn)題 。也就是說(shuō)，在驗(yàn)證DUT時(shí)應(yīng)該創(chuàng)建一個(gè)支持適當(dāng)抽象級(jí)別的驗(yàn)證環(huán)境。雖然DUT實(shí)際接口都是信號(hào)級(jí)的，但有必要在transaction level管理絕大多數(shù)的驗(yàn)證任務(wù)，如激勵(lì)生成、功能比對(duì)和覆蓋率收集等。

UVM提供了一組transaction level通信接口，你可以使用它們來(lái)連接transaction level的組件。TLM接口的使用將每個(gè)驗(yàn)證組件與驗(yàn)證環(huán)境中其他組件隔離開(kāi)。 TLM+factory機(jī)制通過(guò)支持組件替換來(lái)促進(jìn)重用 ，因?yàn)樘鎿Q前和替換后的驗(yàn)證組件具有相同的接口。

TLM還允許UVM驗(yàn)證環(huán)境與驗(yàn)證開(kāi)發(fā)的transaction-level model進(jìn)行組合（而不是DUT本身）。

例如可以用驗(yàn)證開(kāi)發(fā)的model1（ functional model ）去驗(yàn)證model2（ cycle-accurate model ），也可以同時(shí)使用model1+model2驗(yàn)證DUT。model1和model2分別是在不同階段以不同精細(xì)度對(duì)RTL的建模。在前期可以通過(guò)驗(yàn)證環(huán)境+model1+model2，保證驗(yàn)證環(huán)境的穩(wěn)定，等到RTL ready后使用model1和model2驗(yàn)證RTL，快速實(shí)現(xiàn)驗(yàn)證收斂。當(dāng)然，這其中同樣存在著 transaction-level和pin-level轉(zhuǎn)換的事情要去做。

組件之間定義清晰的TLM接口語(yǔ)義也為實(shí)現(xiàn)mixed-language驗(yàn)證環(huán)境提供了支持。此外，可以理解任何帶有TLM接口的驗(yàn)證組件（ verification components ）都可以非常方便地集成到已有的驗(yàn)證環(huán)境。