驗(yàn)證環(huán)境用戶需要?jiǎng)?chuàng)建許多測試用例來驗(yàn)證一個(gè)DUT的功能是否正確，驗(yàn)證環(huán)境開發(fā)者應(yīng)該通過以下方式提高測試用例的開發(fā)效率：

在數(shù)據(jù)項(xiàng)類中加入旋鈕，以簡化測試用例開發(fā)控制

創(chuàng)建一些可重用的sequences library。

聲明自定義的Sequences

Sequences是由幾個(gè)數(shù)據(jù)項(xiàng)組成的，它們共同構(gòu)成一個(gè)數(shù)據(jù)pattern以觸發(fā)有趣的DUT場景。

驗(yàn)證組件可以包括一個(gè)基本sequences library（而不是單一的數(shù)據(jù)項(xiàng)），測試用例編寫者（驗(yàn)證環(huán)境使用者）可以調(diào)用它。這種方法加強(qiáng)了對常見數(shù)據(jù)pattern的復(fù)用，并減少了測試用例的代碼長度。此外，一個(gè)Sequences可以調(diào)用其他Sequences，從而創(chuàng)造更復(fù)雜的場景。

UVM類庫提供了uvm_sequence基類。你應(yīng)該直接或間接地從這個(gè)類派生出所有的Sequences類。要?jiǎng)?chuàng)建一個(gè)用戶定義的Sequences：

從uvm_sequence基類派生出一個(gè)Sequences，并指定request和response數(shù)據(jù)項(xiàng)類型參數(shù)。在下面的例子中，只指定了request類型，即simple_item，所以response數(shù)據(jù)項(xiàng)類型也是simple_item 。

使用`uvm_object_utils宏來向factory注冊Sequences類型。

如果Sequences需要訪問其相關(guān)sequencer，使用'uvm_declare_p_sequencer宏來聲明sequencer指針。

實(shí)現(xiàn)Sequences的body任務(wù)來觸發(fā)特定的DUT場景。在body任務(wù)中，你可以發(fā)送數(shù)據(jù)項(xiàng)或者調(diào)用其他Sequences。

下面例子中的simple_seq_do類定義了一個(gè)簡單的Sequences。它是由uvm_sequence派生出來的，并 使 用 了 `uvm_object_utils 宏 。這個(gè)例子還定義了一個(gè)simple_sequencer類，simple_seq_do序列可以在該simple_sequencer上運(yùn)行。

發(fā)送Sequence Items或者Subsequences的基本流程

要 發(fā) 送 一 個(gè)sequence item，sequence的body（）任務(wù) 需 要create() 該 sequence item ， 對 該sequence item調(diào) 用start_item()，然后隨機(jī)化該sequence item（可選的），最后對該sequence item調(diào)用finish_item()。

要發(fā)送一個(gè)subsequence，parent sequence的body()任務(wù)需要create該subsequence，對其進(jìn)行隨機(jī)化（可選的），最后對該subsequence調(diào)用start()。如果subsequence有一個(gè)相應(yīng)的response，parent sequence可以調(diào)用get_response()。

上圖顯示了在uvm_do宏中實(shí)現(xiàn)的發(fā)送sequence items和sequences的完整流程。uvm_do宏會(huì)更根據(jù)傳遞的類型create一個(gè)對象，并且根據(jù)發(fā)送sequence items和sequences執(zhí)行對應(yīng)的流程。

uvm_do宏不會(huì)執(zhí)行subsequences的pre_body()和post_body()方法。

?

審核編輯：劉清