Covergroup thật: bin[] hay bin, ignore_bins, cross và phần trăm tổng
Class cần viết: bus_cov · cần máy chấm có SystemVerilog · 6 case (2 mẫu) · giới hạn 4 s/case · ~25 phút
Bài sv-cov-manual tự viết lại ngữ nghĩa coverage; bài này dùng covergroup thật. Con số coverage là thứ quyết định khi nào ngừng viết test, nên mỗi bin khai báo sai là một con số sai trong báo cáo.
Viết class bus_cov chứa covergroup cg (đặt option.per_instance = 1) lấy mẫu bằng cg.sample(addr, kind, len) với bit [7:0] addr, bit [1:0] kind, bit [3:0] len:
| Tên | Loại | Bin |
|---|---|---|
cp_addr |
coverpoint addr | low = 0..15, mid = 16..239, high = 240..255 (đúng 3 bin) |
cp_kind |
coverpoint kind | bin tự động cho mỗi giá trị, trừ 3 (dự phòng, không tính) → 3 bin |
cp_len |
coverpoint len | one = {1}, và mỗi giá trị 2, 4, 8 một bin riêng → 4 bin |
x_kl |
cross cp_kind × cp_len | 3 × 4 = 12 bin |
Method:
function new(); // tạo cg
function void sample(bit [7:0] addr, bit [1:0] kind, bit [3:0] len);
function real pct(string which); // "addr", "kind", "len", "cross": get_inst_coverage() của mục đó;
// giá trị khác: coverage của cả covergroup (get_inst_coverage())Ví dụ: sau các mẫu (addr, kind, len) = (5, 0, 1) và (250, 3, 4): pct("addr") = 66.67, pct("kind") = 33.33, pct("len") = 50, pct("cross") = 8.33 (chỉ (0, one) trúng; mẫu kind = 3 không tính).
Testbench có mô hình coverage riêng và so mọi con số với sai số 0.01. Đề cần simulator hỗ trợ đầy đủ randomize/covergroup của IEEE 1800.
Các case
- cp_addr: ba bin khoảngmẫu
- cp_kind: giá trị 3 bị bỏ quamẫ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à 5 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.