module x_detector ( input [1:0] a, output eq_logic, output eq_case ); assign eq_logic = (a == 2'bx1); // logical equality assign eq_case = (a === 2'bx1); // case equality endmodule
==
!=
x/z
x
===
!==
0,1,x,z