驗證生產(chǎn)力的關(guān)鍵之一是在一個合適的抽象級別上考慮驗證問題。也就是說,在驗證DUT時應(yīng)該創(chuàng)建一個支持適當(dāng)抽象級別的驗證環(huán)境。雖然DUT實際接口都是信號級的,但有必要在transaction level管理絕大多數(shù)的驗證任務(wù),如激勵生成、功能比對和覆蓋率收集等。
UVM提供了一組transaction level通信接口,你可以使用它們來連接transaction level的組件。TLM接口的使用將每個驗證組件與驗證環(huán)境中其他組件隔離開。TLM+factory機制通過支持組件替換來促進重用,因為替換前和替換后的驗證組件具有相同的接口。
TLM還允許UVM驗證環(huán)境與驗證開發(fā)的transaction-levelmodel進行組合(而不是DUT本身)。
例如可以用驗證開發(fā)的model1(functional model)去驗證model2(cycle-accuratemodel),也可以同時使用model1+model2驗證DUT。model1和model2分別是在不同階段以不同精細度對RTL的建模。在前期可以通過驗證環(huán)境+model1+model2,保證驗證環(huán)境的穩(wěn)定,等到RTL ready后使用model1和model2驗證RTL,快速實現(xiàn)驗證收斂。當(dāng)然,這其中同樣存在著transaction-level和pin-level轉(zhuǎn)換的事情要去做。
組件之間定義清晰的TLM接口語義也為實現(xiàn)mixed-language驗證環(huán)境提供了支持。此外,可以理解任何帶有TLM接口的驗證組件(verification components)都可以非常方便地集成到已有的驗證環(huán)境。
?
審核編輯:理清
聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請聯(lián)系本站處理。
舉報投訴
原文標(biāo)題:UVM Transaction-Level Modeling (TLM)概述
文章出處:【微信號:芯片驗證工程師,微信公眾號:芯片驗證工程師】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。
相關(guān)推薦
的transaction,以及創(chuàng)建用于產(chǎn)生事物的事物發(fā)生器sequence。 在uvm驗證平臺中穿梭各個組件之間的基本信息單元是一個被稱為transaction的數(shù)據(jù)對象,也就是我們前面所說的事物
發(fā)表于 01-26 10:05
// UVM_NONE - Report is always printed. Verbosity level setting can not disable it. // UVM_LOW - Report
發(fā)表于 03-17 16:41
opened exciting new design flow possibilities. System level support for bittrue modeling enables a designer to use a single envi
發(fā)表于 07-01 18:21
?6次下載
have opened exciting new design flow possibilities. System level support for bittrue modeling enables a designer to use a
發(fā)表于 07-09 13:49
?10次下載
TLM是transaction Level Modeling(事務(wù)級建模)的縮寫。簡單來說,一個transaction就是把具有某一特定功能
發(fā)表于 09-19 10:24
?4291次閱讀
sequence作為UVM幾個核心機制之一,它有效地將transaction的產(chǎn)生從driver中剝離出來,并且通過和sequencer相互配合,成功地將driver的負擔(dān)降低至僅聚焦于根據(jù)協(xié)議將
發(fā)表于 09-22 09:26
?2397次閱讀
UVM 中的事務(wù)是一個具有信號屬性(例如地址和數(shù)據(jù))以及錯誤、延遲等額外信息的類。總之,這個所謂事務(wù)封裝了所有和DUT激勵項相關(guān)的信息.
發(fā)表于 03-08 13:41
?705次閱讀
UVM類庫提供了通用的代碼功能,如component hierarchy、transaction level model(TLM),configuration database等等,使
發(fā)表于 05-22 10:14
?2106次閱讀
驗證生產(chǎn)力的關(guān)鍵之一是 **在一個合適的抽象級別上考慮驗證問題** 。也就是說,在驗證DUT時應(yīng)該創(chuàng)建一個支持適當(dāng)抽象級別的驗證環(huán)境。雖然DUT實際接口都是信號級的,但有必要在transaction level管理絕大多數(shù)的驗證任務(wù),如激勵生成、功能比對和覆蓋率收集等。
發(fā)表于 05-22 16:19
?925次閱讀
在UVM中,transaction 是一個類對象,它包含了建模兩個驗證組件之間的通信所需的任何信息。
發(fā)表于 05-24 09:17
?1777次閱讀
如下圖所示,UVM中的TLM接口為組件之間Transaction的發(fā)送和接收提供了一套統(tǒng)一的通信方法。
發(fā)表于 05-29 09:31
?640次閱讀
TLM接口的使用將驗證環(huán)境中的每個組件與其他組件隔離。驗證環(huán)境實例化一個組件,并完成其ports/exports的連接,不需要進一步了解驗證組件具體的實現(xiàn)。
發(fā)表于 05-29 14:51
?654次閱讀
Driver的作用是從sequencer中獲得數(shù)據(jù)項,按照接口協(xié)議將數(shù)據(jù)項驅(qū)動到總線上。UVM類庫提供了uvm_driver基類,所有的Driver類都應(yīng)該直接或間接地從該類中擴展出來。Driver有一個TLM port,通過它
發(fā)表于 05-30 16:17
?794次閱讀
uvm_do宏及其變體提供了創(chuàng)建、隨機化和發(fā)送transaction items或者sequence的方法。
發(fā)表于 06-09 09:36
?4954次閱讀
提高驗證生產(chǎn)力的關(guān)鍵之一就是在合適的**抽象層次**思考問題和完成驗證工作,為此UVM提供了 **事務(wù)級別(transaction level)** 的通信接口 **(Transaction-
發(fā)表于 06-25 11:42
?555次閱讀
評論