MAC có dấu, pipeline 3 tầng
Module cần viết: mac_pipe · 7 case (2 mẫu) · giới hạn 4 s/case · ~30 phút
MAC (multiply-accumulate: acc += a × b) là khối tính toán chủ lực của DSP, bộ lọc FIR và các bộ tăng tốc AI. Để chạy ở tần số cao, phép nhân và phép cộng được tách thành các tầng pipeline. Cái khó của pipeline là giữ cho dữ liệu và tín hiệu điều khiển luôn đi cùng nhau.
module mac_pipe (
input logic clk,
input logic rst_n, // reset bất đồng bộ: mọi thanh ghi = 0
input logic in_valid,
input logic signed [7:0] a,
input logic signed [7:0] b,
input logic clr, // đi kèm mẫu này: tổng bắt đầu lại từ chính tích của mẫu này
output logic out_valid,
output logic signed [19:0] acc
);
Ba tầng:
| Tầng | Ở sườn lên |
|---|---|
| 1 | chốt a, b, clr, in_valid |
| 2 | prod = a × b (có dấu, 16 bit); chuyển tiếp clr, valid |
| 3 | nếu valid: acc = clr ? prod : acc + prod; out_valid = valid |
Một mẫu vào ở sườn k thì acc của nó (và out_valid = 1) có mặt sau sườn k + 2, tức đọc được ở nhịp sau sườn thứ ba tính từ lúc đặt dữ liệu. Nhịp in_valid = 0 đi qua pipeline như một "bọt": không làm đổi acc, và có out_valid = 0 ở đầu ra. acc giữ nguyên giữa các mẫu.
Testbench đặt đầu vào và đọc ngõ ra ở sườn xuống của clock.
Các case
- Một mẫu: 3 × 4mẫu
- clr bắt đầu một tổng mớimẫu
Cùng 5 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.