module assert_no_x (clk, reset_, test);
    parameter msg = "assert_no_x_msg";
    input clk;
    input reset_;
    input test;
    always @(posedge clk) begin
        if(reset_ === 1) begin
            if(!((test === 1'b1) || (test === 1'b0))) begin
                $display("%c[1;31m",27);
                $display("%s %m",msg);
                $display("%c[0m",27);
                $finish;
            end
        end
    end
endmodule