Đếm số bit 0 đứng đầu (leading zero count)
Module cần viết: lzc16 · 6 case (2 mẫu) · giới hạn 4 s/case · ~15 phút
Đếm số bit 0 liên tiếp tính từ MSB (leading zero count, LZC). LZC dùng để chuẩn hoá số dấu phẩy động (dịch trái cho tới khi bit cao nhất là 1), tính floor(log2(x)), và tìm phần tử đầu tiên trong bộ ưu tiên.
module lzc16 (
input logic [15:0] x,
output logic [4:0] n, // số bit 0 đứng trước bit 1 cao nhất; x = 0 → 16
output logic zero // 1 khi x == 0
);| x | n | zero |
|---|---|---|
16'h8000 |
0 | 0 |
16'h00F0 |
8 | 0 |
16'h0001 |
15 | 0 |
16'h0000 |
16 | 1 |
Mạch tổ hợp. Testbench đọc ngõ ra 1 ns sau khi đổi x.
Các case
- 8000, 0001, 00F0, FFFFmẫu
- x = 0: n = 16, zero = 1mẫ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.