Merge pull request #1927 from YosysHQ/eddie/design_remove_assert
[yosys.git] / tests / opt / opt_share_mux_tree.v
1 module opt_share_test(
2 input [15:0] a,
3 input [15:0] b,
4 input [15:0] c,
5 input [1:0] sel,
6 output reg [15:0] res
7 );
8
9 always @* begin
10 case(sel)
11 0: res = a + b;
12 1: res = a - b;
13 2: res = a + c;
14 default: res = 16'bx;
15 endcase
16 end
17
18 endmodule