Sequence với randomize() with: local:: và giá trị trả về

Sequence UVM hiếm khi tự đặt mọi trường của giao dịch. Thường nó randomize giao dịch kèm vài ràng buộc lấy từ cấu hình của chính sequence. Cách viết đó có một cái bẫy về phạm vi tên mà rất nhiều testbench thật mắc phải.

Giao dịch đã cho sẵn (gói rseq_pkg):

class wr_item extends uvm_sequence_item;
  rand bit [15:0] addr;
  rand bit [7:0]  data;
  rand bit [3:0]  len;
  constraint c_len { len inside {[1:8]}; }
endclass

Viết class range_seq extends uvm_sequence #(wr_item) với các trường (đã có trong starter, test đặt chúng trước khi start):

bit [15:0]   addr    = 16'h0000;   // địa chỉ gốc
int unsigned count   = 4;
bit [3:0]    max_len = 8;
int unsigned n_rand_fail;          // số lần randomize thất bại

body() gửi tối đa count giao dịch. Giao dịch thứ i (i = 0..count−1) được randomize với ràng buộc thêm:

• addr của giao dịch = addr của sequence + 16·i;
• len ≤ max_len (vẫn ≥ 1 theo c_len); data tự do.

Nếu randomize thất bại (ví dụ max_len = 0), tăng n_rand_fail và không gửi giao dịch đó.

Đề cần máy chấm có engine UVM hỗ trợ đầy đủ randomize.