Scoreboard UVM không theo thứ tự (khớp theo id)
Class cần viết: ooo_sb · cần máy chấm có UVM · 6 case (2 mẫu) · giới hạn 15 s/case · ~40 phút
Scoreboard theo thứ tự chỉ dùng được khi DUT trả kết quả đúng thứ tự nhận. Bus hiện đại thì không như vậy: AXI cho phép các giao dịch khác ID hoàn thành theo thứ tự bất kỳ, chỉ các giao dịch cùng ID mới phải giữ thứ tự. Scoreboard cho những DUT này phải ghép gói theo ID.
Gói pkt_pkg (đã import sẵn) có class pkt với bit [7:0] id, bit [31:0] data và convert2string().
`uvm_analysis_imp_decl(_exp)
`uvm_analysis_imp_decl(_act)
class ooo_sb extends uvm_scoreboard;
uvm_analysis_imp_exp #(pkt, ooo_sb) exp_imp; // gói MONG ĐỢI (từ model)
uvm_analysis_imp_act #(pkt, ooo_sb) act_imp; // gói THỰC TẾ (từ monitor)
int unsigned n_match, n_mismatch, n_missing, n_extra;
function void write_exp(pkt t);
function void write_act(pkt t);
function void check_phase(uvm_phase phase);
endclass
Quy tắc:
- Gói mong đợi thứ k của một id ghép với gói thực tế thứ k của cùng id đó, bất kể gói của các id khác tới xen giữa thế nào. Phía nào tới trước thì chờ phía kia.
- Ghép được một cặp:
databằng nhau thìn_match++; khác thìn_mismatch++và một`uvm_error("SB", …). check_phase: mỗi gói mong đợi còn chờ thìn_missing++, mỗi gói thực tế còn chờ thìn_extra++. Mỗi gói còn lại tương ứng một`uvm_error("SB", …).
Ví dụ: mong đợi (1,A) (2,B) (1,C), thực tế (2,B) (1,A) (1,C) cho 3 cặp khớp. Thực tế (1,C) (2,B) (1,A) thì làn id 1 ghép A với C và C với A, nên có 2 cặp lệch.
Các case
- Ba id, gói thực tế về ngược thứ tựmẫu
- Cùng id: khớp theo thứ tự trong idmẫ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à 4 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.