How do you plan to solve it?
module x_detector ( input [1:0] a, output eq_logic, output eq_case ); assign eq_logic= (a==2'bx1); assign eq_case=(a===2'bx1); // TODO: implement both comparisons endmodule