Nhân số có dấu với số không dấu: $signed(b) cũng sai
Module cần viết: mixmul · 6 case (2 mẫu) · giới hạn 4 s/case · ~20 phút
Trong DSP, tín hiệu thường có dấu còn hệ số (độ lợi, trọng số, hệ số trộn) lại không dấu. Phép nhân hỗn hợp có dấu × không dấu là một trong những chỗ Verilog "lừa" người viết nhiều nhất: code trông đúng, lint im lặng, simulator không cảnh báo.
module mixmul (
input logic signed [7:0] a, // có dấu: −128..127
input logic [7:0] b, // không dấu: 0..255
output logic signed [16:0] p // giá trị đúng của a × b
);
Dải kết quả: −128 × 255 = −32 640 đến 127 × 255 = 32 385, cần 17 bit có dấu.
Ví dụ: a = −3, b = 200 → p = −600; a = −1, b = 255 → p = −255; a = 127, b = 128 → p = 16 256.
Mạch tổ hợp; testbench đọc p 1 ns sau khi đổi đầu vào.
Các case
- a dương, b < 128mẫu
- a âm, b < 128mẫ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.