data/full_repos/permissive/441359809/src/yosys/tests/simple/muxtree.v
1: b'%Warning-MULTITOP: data/full_repos/permissive/441359809/src/yosys/tests/simple/muxtree.v:56: Multiple top level modules\n                                                                                           : ... Suggest see manual; fix the duplicates, or use --top-module to select top.\n                   ... Use "/* verilator lint_off MULTITOP */" and lint_on around source to disable this message.\n                                                                                           : ... Top module \'usb_tx_phy\'\nmodule usb_tx_phy(clk, rst, DataOut_i, TxValid_i, hold_reg);\n       ^~~~~~~~~~\n                                                                                           : ... Top module \'default_cases\'\nmodule default_cases(a, y);\n       ^~~~~~~~~~~~~\n                                                                                           : ... Top module \'select_leaves\'\nmodule select_leaves(input R, C, D, output reg Q);\n       ^~~~~~~~~~~~~\n%Error: Exiting due to 1 warning(s)\n'
module default_cases(a, y);

input [2:0] a;
output reg [3:0] y;

always @* begin
	case (a)
		3'b000, 3'b111: y <= 0;
		default: y <= 4;
		3'b001: y <= 1;
		3'b010: y <= 2;
		3'b100: y <= 3;
	endcase
end

endmodule
module default_cases(a, y);


input [2:0] a;
output reg [3:0] y;

always @* begin
	case (a)
		3'b000, 3'b111: y <= 0;
		default: y <= 4;
		3'b001: y <= 1;
		3'b010: y <= 2;
		3'b100: y <= 3;
	endcase
end

endmodule