So sánh có bit don't-care: ==, ===, ==? và giá trị X

Scoreboard hay so sánh giá trị mong đợi với giá trị thực tế, trong đó một số bit của giá trị mong đợi là "không quan tâm" (ví dụ phần padding hay trường dự trữ), được đánh dấu bằng X. Viết sai phép so sánh 4 trạng thái thì checker trả về X, và trong if thì X bị coi là sai. Lỗi bị nuốt, test vẫn xanh.

Đề này chấm bằng simulator 4 trạng thái. X và Z là giá trị thật trong mô phỏng.

module xcmp (
  input  logic [7:0] exp,     // bit X hoặc Z = không quan tâm
  input  logic [7:0] act,     // giá trị thực tế, có thể có X/Z (DUT chưa reset, bus thả nổi…)
  output logic       match,   // 1 nếu mọi bit ĐÃ BIẾT (0/1) của exp đều bằng đúng bit đó của act
  output logic [7:0] mism     // bit i = 1 nếu exp[i] đã biết và act[i] khác exp[i] (kể cả act[i] là X/Z)
);

• exp[i] là 0 hoặc 1: bit đó phải khớp chính xác. act[i] là X hay Z đều tính là không khớp.
• exp[i] là X hoặc Z: bỏ qua bit đó, mism[i] = 0.
• match và mọi bit của mism phải luôn là 0 hoặc 1, không bao giờ là X.

Ví dụ: exp = 8'b1x0z_0101, act = 8'b1100_0101 → match = 1. act = 8'b1x00_0101 → vẫn khớp (bit 6 không quan tâm). act = 8'b1100_01x1 → match = 0, mism = 8'b0000_0010.

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