Mô hình thanh ghi UVM (RAL): vị trí trường, RO, W1C và offset theo byte
Class cần viết: dev_blk · cần máy chấm có UVM · 6 case (2 mẫu) · giới hạn 20 s/case · ~35 phút
Mô hình thanh ghi UVM (RAL) là "bản sao phần mềm" của tập thanh ghi trong DUT. Scoreboard, sequence cấu hình và kiểm tra reset đều dựa vào nó. Mô hình sai một bit thì mọi kiểm tra phía sau đều sai theo. Bài này dựng một block hai thanh ghi và kiểm mirror (giá trị mô hình tin là đang có trong DUT) qua predict(), không cần bus.
| Thanh ghi | Offset | Trường | Bit | Truy cập | Reset |
|---|---|---|---|---|---|
ctrl |
0x00 | en |
0 | RW | 0 |
mode |
2:1 | RW | 1 | ||
irq_en |
8 | RW | 0 | ||
status |
0x04 | busy |
0 | RO (phần cứng đổi) | 0 |
err |
7:4 | W1C (ghi 1 để xoá; phần cứng đổi) | 0 |
Các bit không có trong bảng không tồn tại (luôn đọc 0). Thanh ghi rộng 32 bit; map dùng địa chỉ theo byte, 4 byte mỗi thanh ghi, little-endian, base 0.
Viết ba class (tên trường như bảng):
ctrl_reg extends uvm_regvàstatus_reg extends uvm_reg: tạo vàconfigurecácuvm_reg_fieldtrongbuild();dev_blk extends uvm_reg_blockvớirand ctrl_reg ctrl; rand status_reg status;.build()tạo, configure và build hai thanh ghi, tạodefault_map, thêm hai thanh ghi vào map theo offset, rồilock_model().
Testbench gọi blk.build(); blk.reset(); rồi dùng predict(…, .kind(UVM_PREDICT_WRITE)) (mô phỏng một lần ghi), predict(…, .kind(UVM_PREDICT_READ)) (một lần đọc trả về giá trị đó) và so get_mirrored_value() với mô hình riêng. Đề chấm bằng simulator có UVM.
Các case
- Giá trị sau resetmẫu
- Ghi ctrl: chỉ các trường tồn tạimẫ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.