module error_checker_xz (
input [7:0] bus,
output reg all_known,
output reg has_unknown,
output reg [7:0] bus_if_known
);
always @(*) begin
all_known = 1'b0;
has_unknown = 1'b0;
bus_if_known = 8'h00;
if (^bus === 1'bX) begin
has_unknown = 1'b1;
bus_if_known = 8'h00;
end
else begin
all_known = 1'b1;
bus_if_known = bus;
end
end
endmodule