module x_detector (
input [1:0] a,
output eq_logic, // logical equality result
output eq_case // case equality result
);
// Logical equality (==)
// Result can be 0, 1, or X
assign eq_logic = (a == 2'bx1);
// Case equality (===)
// Result is always 0 or 1
assign eq_case = (a === 2'bx1);
endmodule