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