data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v
1: b'%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:15: Operator NOT expects 3 bits on the LHS, but LHS\'s VARREF \'din\' generates 2 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n        c = ~(din);\n            ^\n                ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:19: Operator ASSIGN expects 32 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:0] = c;\n                       ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:21: Operator ASSIGN expects 31 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:1] = c;\n                       ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:23: Operator ASSIGN expects 30 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:2] = c;\n                       ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:25: Operator ASSIGN expects 29 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:3] = c;\n                       ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:27: Operator ASSIGN expects 28 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:4] = c;\n                       ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:29: Operator ASSIGN expects 27 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:5] = c;\n                       ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:31: Operator ASSIGN expects 26 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:6] = c;\n                       ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:33: Operator ASSIGN expects 25 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:7] = c;\n                       ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:35: Operator ASSIGN expects 24 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:8] = c;\n                       ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:37: Operator ASSIGN expects 23 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:9] = c;\n                       ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:39: Operator ASSIGN expects 22 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:10] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:41: Operator ASSIGN expects 21 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:11] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:43: Operator ASSIGN expects 20 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:12] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:45: Operator ASSIGN expects 19 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:13] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:47: Operator ASSIGN expects 18 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:14] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:49: Operator ASSIGN expects 17 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:15] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:51: Operator ASSIGN expects 16 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:16] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:53: Operator ASSIGN expects 15 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:17] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:55: Operator ASSIGN expects 14 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:18] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:57: Operator ASSIGN expects 13 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:19] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:59: Operator ASSIGN expects 12 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:20] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:61: Operator ASSIGN expects 11 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:21] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:63: Operator ASSIGN expects 10 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:22] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:65: Operator ASSIGN expects 9 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:23] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:67: Operator ASSIGN expects 8 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:24] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:69: Operator ASSIGN expects 7 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:25] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:71: Operator ASSIGN expects 6 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:26] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:73: Operator ASSIGN expects 5 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:27] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:75: Operator ASSIGN expects 4 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:28] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:79: Operator ASSIGN expects 2 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:30] = c;\n                        ^\n%Warning-WIDTH: data/full_repos/permissive/441359809/src/yosys/tests/various/dynamic_part_select/multiple_blocking_gate.v:81: Operator ASSIGN expects 1 bits on the Assign RHS, but Assign RHS\'s VARREF \'c\' generates 3 bits.\n                                                                                                                            : ... In instance multiple_blocking_gate\n            dout[31:31] = c;\n                        ^\n%Error: Exiting due to 32 warning(s)\n'
module multiple_blocking_gate (clk, ctrl, din, sel, dout);
   input wire clk;
   input wire [4:0] ctrl;
   input wire [1:0] din;
   input wire [0:0] sel;
   output reg [31:0] dout;
   reg [5:0] 	     a;
   reg [0:0] 	     b;
   reg [2:0] 	     c;
   always @(posedge clk)
     begin
        a = (ctrl)+(1);
        b = (sel)-(1);
        c = ~(din);
        dout = (dout)+(1);
        case (({(a)*(b)})+(0))
          0:
            dout[31:0] = c;
          1:
            dout[31:1] = c;
          2:
            dout[31:2] = c;
          3:
            dout[31:3] = c;
          4:
            dout[31:4] = c;
          5:
            dout[31:5] = c;
          6:
            dout[31:6] = c;
          7:
            dout[31:7] = c;
          8:
            dout[31:8] = c;
          9:
            dout[31:9] = c;
          10:
            dout[31:10] = c;
          11:
            dout[31:11] = c;
          12:
            dout[31:12] = c;
          13:
            dout[31:13] = c;
          14:
            dout[31:14] = c;
          15:
            dout[31:15] = c;
          16:
            dout[31:16] = c;
          17:
            dout[31:17] = c;
          18:
            dout[31:18] = c;
          19:
            dout[31:19] = c;
          20:
            dout[31:20] = c;
          21:
            dout[31:21] = c;
          22:
            dout[31:22] = c;
          23:
            dout[31:23] = c;
          24:
            dout[31:24] = c;
          25:
            dout[31:25] = c;
          26:
            dout[31:26] = c;
          27:
            dout[31:27] = c;
          28:
            dout[31:28] = c;
          29:
            dout[31:29] = c;
          30:
            dout[31:30] = c;
          31:
            dout[31:31] = c;
        endcase
     end
endmodule
module multiple_blocking_gate (clk, ctrl, din, sel, dout);

   input wire clk;
   input wire [4:0] ctrl;
   input wire [1:0] din;
   input wire [0:0] sel;
   output reg [31:0] dout;
   reg [5:0] 	     a;
   reg [0:0] 	     b;
   reg [2:0] 	     c;
   always @(posedge clk)
     begin
        a = (ctrl)+(1);
        b = (sel)-(1);
        c = ~(din);
        dout = (dout)+(1);
        case (({(a)*(b)})+(0))
          0:
            dout[31:0] = c;
          1:
            dout[31:1] = c;
          2:
            dout[31:2] = c;
          3:
            dout[31:3] = c;
          4:
            dout[31:4] = c;
          5:
            dout[31:5] = c;
          6:
            dout[31:6] = c;
          7:
            dout[31:7] = c;
          8:
            dout[31:8] = c;
          9:
            dout[31:9] = c;
          10:
            dout[31:10] = c;
          11:
            dout[31:11] = c;
          12:
            dout[31:12] = c;
          13:
            dout[31:13] = c;
          14:
            dout[31:14] = c;
          15:
            dout[31:15] = c;
          16:
            dout[31:16] = c;
          17:
            dout[31:17] = c;
          18:
            dout[31:18] = c;
          19:
            dout[31:19] = c;
          20:
            dout[31:20] = c;
          21:
            dout[31:21] = c;
          22:
            dout[31:22] = c;
          23:
            dout[31:23] = c;
          24:
            dout[31:24] = c;
          25:
            dout[31:25] = c;
          26:
            dout[31:26] = c;
          27:
            dout[31:27] = c;
          28:
            dout[31:28] = c;
          29:
            dout[31:29] = c;
          30:
            dout[31:30] = c;
          31:
            dout[31:31] = c;
        endcase
     end
endmodule