File: t_param_unreachable.v

package info (click to toggle)
verilator 5.038-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 162,552 kB
  • sloc: cpp: 139,204; python: 20,931; ansic: 10,222; yacc: 6,000; lex: 1,925; makefile: 1,260; sh: 494; perl: 282; fortran: 22
file content (34 lines) | stat: -rw-r--r-- 1,009 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
// DESCRIPTION: Verilator: Verilog Test module
// This file ONLY is placed under the Creative Commons Public Domain, for
// any use, without warranty, 2020 by Pierre-Henri Horrein
// SPDX-License-Identifier: CC0-1.0

module t (input clk);

   parameter DEPTH = 1;
   reg [DEPTH-1:0] shiftreg_gen;
   reg [DEPTH-1:0] shiftreg;
   reg my_sr_input = '1;

   // shiftreg_gen is generated: it should not raise any warning or error
   always_ff @(posedge clk) begin
      shiftreg_gen[0] <= my_sr_input;
   end
   if (DEPTH > 1) begin
      always_ff @(posedge clk) begin
         shiftreg_gen[DEPTH-1:1] <= shiftreg_gen[DEPTH-2:0];
      end
   end
   // shiftreg is not generated: it can raise a warning
   always_ff @(posedge clk) begin
      shiftreg[0] <= my_sr_input;
      /* verilator lint_off SELRANGE */
      if (DEPTH > 1) shiftreg[DEPTH-1:1] <= shiftreg[DEPTH-2:0];
      /* verilator lint_on SELRANGE */
   end

   initial begin
      $write("*-* All Finished *-*\n");
      $finish;
   end
endmodule