data/full_repos/permissive/184332405/andornot.v
data/verilator_xmls/e2ae62f0-27f1-4e20-aa21-1499a6b2a43e.xml
module andornot( s, a, b, ctrl);
input [7:0] a;
input [7:0] b;
input [1:0] ctrl;
output reg [7:0] s;

initial begin
	s = 0;
end

always @( ctrl or a or b ) begin
	case (ctrl)
		2'b00: s = a & b;
		2'b01: s = a | b;
		2'b10: s = ~a;
		2'b11: s = ~(a & b);
		default: s = 0;
	endcase
end

endmodule
module andornot( s, a, b, ctrl);

input [7:0] a;
input [7:0] b;
input [1:0] ctrl;
output reg [7:0] s;

initial begin
	s = 0;
end

always @( ctrl or a or b ) begin
	case (ctrl)
		2'b00: s = a & b;
		2'b01: s = a | b;
		2'b10: s = ~a;
		2'b11: s = ~(a & b);
		default: s = 0;
	endcase
end

endmodule