Hiệu tuyệt đối không dấu: (a - b < 0) không bao giờ đúng

Tính khoảng cách giữa hai số không dấu 8 bit: một khối nhỏ hay gặp trong bộ so khớp ngưỡng, bộ dò lỗi cảm biến và câu phỏng vấn "viết abs(a - b) bằng Verilog". Bài ngắn, nhưng cách viết tự nhiên nhất lại sai.

module absdiff (
  input  logic [7:0] a,
  input  logic [7:0] b,
  input  logic [7:0] tol,
  output logic [7:0] d,      // |a − b|, luôn vừa 8 bit (0..255)
  output logic       lt,     // 1 khi a < b
  output logic       near    // 1 khi |a − b| <= tol
);

Ví dụ: a = 10, b = 3 → d = 7, lt = 0; a = 3, b = 10 → d = 7, lt = 1; a = 0, b = 250, tol = 10 → d = 250, near = 0.

Mạch tổ hợp; testbench đọc ngõ ra 1 ns sau khi đổi đầu vào.