Chia cho 10 không dùng phép chia: nhân với hằng số kỳ diệu
Module cần viết: div10 · 6 case (2 mẫu) · giới hạn 4 s/case · ~25 phút
Bộ chia tổ hợp rất đắt. Khi số chia là hằng số, compiler (và kỹ sư RTL) thay phép chia bằng một phép nhân với nghịch đảo rồi dịch phải. Đổi số nhị phân sang thập phân để hiển thị (chia cho 10) là ví dụ kinh điển. Chọn sai hằng số hoặc sai độ rộng thì kết quả sai ở vài giá trị hiếm gặp, loại lỗi mà test ngẫu nhiên dễ bỏ sót.
module div10 (
input logic [15:0] x,
output logic [15:0] q, // x / 10 (lấy phần nguyên)
output logic [3:0] r // x % 10
);
Không dùng / hay %. Mạch tổ hợp; testbench đọc ngõ ra 1 ns sau khi đổi x.
Các case
- Số nhỏmẫu
- 65535 và các bội của 10mẫ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.