Mô hình bộ nhớ thưa bằng associative array
Class cần viết: sparse_mem · cần máy chấm có SystemVerilog · 6 case (2 mẫu) · giới hạn 4 s/case · ~20 phút
Một DUT có không gian địa chỉ 32 bit (4 GB), nhưng test chỉ chạm vài nghìn địa chỉ. Mô hình tham chiếu không thể khai báo mảng 4 G phần tử. Associative array chỉ cấp chỗ cho các địa chỉ đã ghi, nên đây là cách chuẩn để viết memory model trong testbench.
Viết class sparse_mem:
| Thành phần | Yêu cầu |
|---|---|
function void write(bit [31:0] addr, bit [31:0] data) |
ghi (ghi đè nếu đã có) |
function bit [31:0] read(bit [31:0] addr) |
trả dữ liệu đã ghi; địa chỉ chưa ghi (hoặc đã xoá) trả 32'hDEAD_BEEF |
function void erase(bit [31:0] addr) |
xoá địa chỉ (không có thì bỏ qua) |
function int unsigned num_entries() |
số địa chỉ khác nhau đang có dữ liệu |
function int unsigned count_in_range(bit [31:0] lo, bit [31:0] hi) |
số địa chỉ đang có dữ liệu nằm trong [lo, hi] (gồm cả lo và hi; giả sử lo <= hi) |
Ví dụ:
sparse_mem m = new();
m.write(32'h1000, 5); m.write(32'h1000, 6); // ghi đè
m.read(32'h1000); // 6
m.read(32'h2000); // 32'hDEAD_BEEF
m.num_entries(); // 1Chỉ viết class. Testbench import package chứa class của bạn.
Đề này cần máy chấm có engine SystemVerilog.
Các case
- Ghi rồi đọc lại; đọc địa chỉ chưa ghimẫu
- Ghi đè cùng địa chỉmẫu
Cùng 4 case ẩn kiểm các yêu cầu còn lại của đề. Case ẩn chỉ báo đúng/sai, không nói chi tiết: tự tìm chỗ sai từ đề, hoặc mở gợi ý.
Testbench có mô hình tham chiếu riêng, độc lập với lời giải mẫu. Lời giải mẫu đã chạy qua mọi case trên simulator thật, và 3 bản lỗi mẫu đều bị ít nhất một case bắt. Case mẫu sai sẽ cho biết chỗ sai đầu tiên (giá trị mong đợi so với giá trị nhận được); case ẩn chỉ báo đúng/sai.