data/full_repos/permissive/454159683/detpar4b/detpar4b.v
data/verilator_xmls/028c68ec-22e2-4d12-88e5-9801e70495ac.xml
module detpar4b(input [3:0] num, output reg out);








	always @(num)
	begin
		casez(num)
			4'b???1:
				out = 0;
			default:
				out = 1;
		endcase
	end
endmodule
module detpar4b(input [3:0] num, output reg out);









	always @(num)
	begin
		casez(num)
			4'b???1:
				out = 0;
			default:
				out = 1;
		endcase
	end
endmodule