Trung bình 4 số: bẫy độ rộng biểu thức
Module cần viết: avg4 · 6 case (2 mẫu) · giới hạn 4 s/case · ~15 phút
Một đồng nghiệp viết bộ lấy trung bình 4 mẫu 8 bit cho bộ lọc nhiễu và nói "code ngắn, chạy đúng rồi". Starter chính là code đó. Nó đúng với mọi test anh ấy thử… nhưng sai ở đâu đó. Tìm ra và sửa.
module avg4 (
input logic [7:0] a, b, c, d, // số không dấu
output logic [7:0] avg_floor, // ⌊(a + b + c + d) / 4⌋
output logic [7:0] avg_round // (a + b + c + d) / 4 làm tròn: phần lẻ ≥ 0.5 thì làm tròn lên
);
Ví dụ: 1, 2, 3, 4 có tổng 10, trung bình 2.5 → avg_floor = 2, avg_round = 3. 255, 255, 255, 255 → cả hai bằng 255.
Mạch tổ hợp, không dùng /. Testbench đọc ngõ ra 1 ns sau khi đổi đầu vào.
Các case
- Số nhỏ: 1, 2, 3, 4mẫu
- Bốn số 255mẫ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.