第2章一個簡單的UVM驗證平臺

2.4 UVM的終極大作：sequence

2.4.1 在驗證平臺中加入sequencer

sequence機制作用：用于產(chǎn)生激勵。其分為兩部分，一是sequence，二是sequencer。

在定義driver時指明此driver要驅(qū)動的transaction的類型，這樣定義的好處是可以直接使用uvm_driver中的某些 預(yù)先定義好的成員變量 ，如uvm_driver中有成員變量 req ，它的類型就是傳遞給uvm_driver的參數(shù)。由此帶來的變化如下：（不需要定義中間變量tr了）

2.4.2 sequence機制

三者關(guān)系：

每一個sequence都有一個body任務(wù)，當一個sequence啟動之后，會自動執(zhí)行body中的代碼。body中uvm_do這個宏的作用如下：

1. 創(chuàng)建一個my_transaction的實例m_trans；
2. 將其隨機化；
3. 最終將其送給sequencer。

如果不使用uvm_do宏，也可以直接使用start_item與finish_item的方式產(chǎn)生transaction。

sequencer負責(zé)協(xié)調(diào)sequence和driver的請求

• sequencer和driver之間
  • 將兩者連接：drv.seq_item_port.connect(sqr.seq_item_export);
  • 在driver中通過get_next_item任務(wù)來得到一個新的req，并且驅(qū)動它，驅(qū)動完成后調(diào)用item_done通知sequencer（完成握手）。
  • 
• sequencer和sequence之間：
  • sequence中的uvm_do宏發(fā)送transaction后，會一直等待，直到driver返回item_done信號。
  • 在某個component（如my_sequencer、 my_env）的main_phase中啟動這個sequence，即可讓sequence向sequencer發(fā)送transaction。
  • 
  • 

get_next_item和try_next_item的比較

• get_next_item是阻塞的，它會一直等到有新的transaction才會返回；
• try_next_item則是非阻塞的，它嘗試著詢問sequencer是否有新的transaction，如果有，則得到此transaction，否則就直接返回。其行為更加接近真實driver的行為

2.4.3 default_sequence的使用

引入default_sequence的原因：

• 在某個component的build_phase階段使用config_db與default sequence替代了在某個component的main_phase階段利用seq.start(i_agt.sqr)啟動sequence，將objection與sequence完全聯(lián)系起來，增加了可移植性。

如何使用default_sequence：

• 方法一：在某個component（如my_env）的build_phase中設(shè)置如下代碼
• 
• 方法二：在top_tb中設(shè)置
• 

使用default_sequence時 如何提起和撤銷objection ？

• 因為在sequencer在啟動default_sequence時，uvm_sequence的內(nèi)置變量starting_phase會自動執(zhí)行如下內(nèi)容：
• 
• 所以可以在sequence中使用借助starting_phase來提起和撤銷objection。
• 

2.5 建造測試用例

2.5.1 加入base_test

對my_env進一步封裝，添加一些公司個性化內(nèi)容，舉例如下：

• 在report_phase中根據(jù)UVM_ERROR的數(shù)量來打印不同的信息。它在main_phase結(jié)束之后執(zhí)行。
• 設(shè)置整個驗證平臺的超時退出時間
• 通過config_db設(shè)置驗證平臺中某些參數(shù)的值

2.5.2 UVM中測試用例的啟動

通過傳遞參數(shù)變量值啟動的原因：

• 保證后加的測試用例不影響已經(jīng)建好的測試用例

如何使用：

• 定義不同的base_test，讓run_test()使用缺省模式，然后通過在命令中傳遞參數(shù)變量來實現(xiàn)一次編譯執(zhí)行多個用例，如下：
• +UVM_TEST_NAME=my_case0