為了實現(xiàn)驗證目標，測試用例開發(fā)者需要控制測試激勵的生成以覆蓋特定的場景。測試用例開發(fā)者可以用下面這些方法控制測試激勵的創(chuàng)建：

添加約束條件來控制單個數(shù)據(jù)項。

使用UVM sequences來控制多個數(shù)據(jù)項的順序。這種方法提供了更多的靈活性和控制。

約束數(shù)據(jù)項

默認情況下，sequencers會生成完全隨機的數(shù)據(jù)項。測試用例編寫者可以控制生成的數(shù)據(jù)項數(shù)量，并向數(shù)據(jù)項添加約束。為了約束數(shù)據(jù)項，需要：

識別驗證組件中的數(shù)據(jù)項類和它們的字段。

創(chuàng)建一個數(shù)據(jù)項類的派生，增加或覆蓋默認約束。

在測試用例中，調(diào)整環(huán)境以使用新定義的數(shù)據(jù)項。

使用命令行選項指定測試用例名稱來運行仿真。

數(shù)據(jù)項類的定義

派生類中的幾個字段來自于DUT規(guī)格。例如，一個幀（frame）應(yīng)該有一個payload被發(fā)送到DUT。其他字段的存在是為了幫助測試用例開發(fā)者控制激勵數(shù)據(jù)的生成。例如，字段parity_type不被發(fā)送到DUT，但它允許測試用例開發(fā)者輕松地指定和控制奇偶分布。這樣的控制字段被稱為 "旋鈕knobs"。

驗證組件的文檔應(yīng)該列出數(shù)據(jù)項的旋鈕、它們的作用和合法范圍。

數(shù)據(jù)項約束可以來自DUT的規(guī)范，例如一個合法的幀必須有不等于0的error_bits_c。數(shù)據(jù)項中不同類型的約束對數(shù)據(jù)項的生成進行約束。例如，在約束塊default_parity_type中，奇偶校驗位被約束為90％合法（good parity）和10％非法（bad parity）。

創(chuàng)建一個特定的測試用例

在測試用例中，用戶可能希望改變數(shù)據(jù)項的生成方式。例如，測試用例開發(fā)者可能希望有short delays，這可以通過派生一個新的數(shù)據(jù)項類并根據(jù)需要添加約束或其他類成員來實現(xiàn)。

UVM類庫的factory機制可以用來將派生類（short_delay_frame）引入到環(huán)境中。

調(diào)用factory函數(shù)set_type_override_by_type()，指示環(huán)境使用short-delay幀。有時，測試用例可能想向某一個接口發(fā)送特殊的流量，同時繼續(xù)向其他接口發(fā)送常規(guī)流量。這可以通過在一個UVM組件中使用set_inst_override_by_type()來實現(xiàn)。

set_inst_override_by_type("uart_env0.master.sequencer.*",
uart_frame::get_type(), short_delay_frame::get_type());

通配符也可以用來覆蓋一些組件的實例，例如：

set_inst_override_by_type("uart_env*.master.sequencer.*",
uart_frame::get_type(), short_delay_frame::get_type());

責(zé)任編輯：彭菁