module error_checker_xz (bus, all_known, has_unknown, bus_if_known);
input [7:0] bus;
output all_known;
output has_unknown;
output [7:0] bus_if_known;
wire check = (^(bus ^ bus)) === 1'bx;
assign all_known = ~check;
assign has_unknown = check;
assign bus_if_known = all_known ? bus : 8'b0;
endmodule