Tests: Update tests to include parameterized modules (#7655)

test_regress/t/t_cover_per_instance.dat.out

@@ -0,0 +1,20 @@
+# SystemC::Coverage-3
+C '
ft/t_cover_per_instance.v
l16
n27
tline
pagev_line/child
oblock
S16
htb.dut.u_a' 1
+C '
ft/t_cover_per_instance.v
l16
n27
tline
pagev_line/child
oblock
S16
htb.dut.u_b' 1
+C '
ft/t_cover_per_instance.v
l16
n27
tline
pagev_line/child__W3
oblock
S16
htb.dut.u_wide' 1
+C '
ft/t_cover_per_instance.v
l18
n3
tline
pagev_line/child
oblock
S18
htb.dut.u_a' 9
+C '
ft/t_cover_per_instance.v
l18
n3
tline
pagev_line/child
oblock
S18
htb.dut.u_b' 9
+C '
ft/t_cover_per_instance.v
l18
n3
tline
pagev_line/child__W3
oblock
S18
htb.dut.u_wide' 9
+C '
ft/t_cover_per_instance.v
l19
n5
tbranch
pagev_branch/child
oif
S19-20
htb.dut.u_a' 4
+C '
ft/t_cover_per_instance.v
l19
n5
tbranch
pagev_branch/child
oif
S19-20
htb.dut.u_b' 1
+C '
ft/t_cover_per_instance.v
l19
n5
tbranch
pagev_branch/child__W3
oif
S19-20
htb.dut.u_wide' 2
+C '
ft/t_cover_per_instance.v
l19
n6
tbranch
pagev_branch/child
oelse
S21-22
htb.dut.u_a' 5
+C '
ft/t_cover_per_instance.v
l19
n6
tbranch
pagev_branch/child
oelse
S21-22
htb.dut.u_b' 8
+C '
ft/t_cover_per_instance.v
l19
n6
tbranch
pagev_branch/child__W3
oelse
S21-22
htb.dut.u_wide' 7
+C '
ft/t_cover_per_instance.v
l30
n19
tline
pagev_line/t
oblock
S30
htb.dut' 1
+C '
ft/t_cover_per_instance.v
l55
n3
tline
pagev_line/t
oblock
S55-56
htb.dut' 9
+C '
ft/t_cover_per_instance.v
l61
n13
tline
pagev_line/tb
oblock
S61
htb' 1
+C '
ft/t_cover_per_instance.v
l67
n3
tline
pagev_line/tb
oblock
S67
htb' 17
+C '
ft/t_cover_per_instance.v
l69
n3
tline
pagev_line/tb
oblock
S69
htb' 9
+C '
ft/t_cover_per_instance.v
l70
n5
tbranch
pagev_branch/tb
oif
S70-72
htb' 1
+C '
ft/t_cover_per_instance.v
l70
n6
tbranch
pagev_branch/tb
oelse
htb' 8

test_regress/t/t_cover_per_instance.out

@@ -5,34 +5,43 @@
         // SPDX-FileCopyrightText: 2026 Wilson Snyder
         // SPDX-License-Identifier: CC0-1.0
         
-        module child (
+        module child #(
+            parameter int WIDTH = 1
+        ) (
             input clk,
             input en
         );
         `ifdef INLINE_CHILD  //verilator inline_module
         `else  //verilator no_inline_module
         `endif
-%000001   reg [3:0] count = 0;
+%000001   reg [WIDTH-1:0] count = '0;
 -000001  point: type=line comment=block hier=tb.dut.u_a
 -000001  point: type=line comment=block hier=tb.dut.u_b
+-000001  point: type=line comment=block hier=tb.dut.u_wide
         
 %000009   always @(posedge clk) begin
 -000009  point: type=line comment=block hier=tb.dut.u_a
 -000009  point: type=line comment=block hier=tb.dut.u_b
+-000009  point: type=line comment=block hier=tb.dut.u_wide
 %000008     if (en) begin
 -000004  point: type=branch comment=if hier=tb.dut.u_a
 -000001  point: type=branch comment=if hier=tb.dut.u_b
+-000002  point: type=branch comment=if hier=tb.dut.u_wide
 -000005  point: type=branch comment=else hier=tb.dut.u_a
 -000008  point: type=branch comment=else hier=tb.dut.u_b
+-000007  point: type=branch comment=else hier=tb.dut.u_wide
 %000004       count <= count + 1'b1;
 -000004  point: type=branch comment=if hier=tb.dut.u_a
 -000001  point: type=branch comment=if hier=tb.dut.u_b
+-000002  point: type=branch comment=if hier=tb.dut.u_wide
 %000008     end else begin
 -000005  point: type=branch comment=else hier=tb.dut.u_a
 -000008  point: type=branch comment=else hier=tb.dut.u_b
+-000007  point: type=branch comment=else hier=tb.dut.u_wide
 %000008       count <= count;
 -000005  point: type=branch comment=else hier=tb.dut.u_a
 -000008  point: type=branch comment=else hier=tb.dut.u_b
+-000007  point: type=branch comment=else hier=tb.dut.u_wide
             end
           end
         endmodule
@@ -57,6 +66,15 @@
               .en(cyc == 0)
           );
         
+          // Parameterized u_wide should preserve a useful per-instance hierarchy and
+          // parameter-specialized coverage bucket for downstream coverage tools.
+          child #(
+              .WIDTH(3)
+          ) u_wide (
+              .clk(clk),
+              .en(cyc < 2)
+          );
+        
 %000009   always @(posedge clk) begin
 -000009  point: type=line comment=block hier=tb.dut
 %000009     cyc <= cyc + 1'b1;

test_regress/t/t_cover_per_instance.v

@@ -4,14 +4,16 @@
 // SPDX-FileCopyrightText: 2026 Wilson Snyder
 // SPDX-License-Identifier: CC0-1.0
 
-module child (
+module child #(
+    parameter int WIDTH = 1
+) (
     input clk,
     input en
 );
 `ifdef INLINE_CHILD  //verilator inline_module
 `else  //verilator no_inline_module
 `endif
-  reg [3:0] count = 0;
+  reg [WIDTH-1:0] count = '0;
 
   always @(posedge clk) begin
     if (en) begin
@@ -41,6 +43,15 @@ module t (
       .en(cyc == 0)
   );
 
+  // Parameterized u_wide should preserve a useful per-instance hierarchy and
+  // parameter-specialized coverage bucket for downstream coverage tools.
+  child #(
+      .WIDTH(3)
+  ) u_wide (
+      .clk(clk),
+      .en(cyc < 2)
+  );
+
   always @(posedge clk) begin
     cyc <= cyc + 1'b1;
   end

test_regress/t/t_cover_per_instance_inline.py

@@ -28,6 +28,8 @@ test.execute(all_run_flags=[" +verilator+coverage+file+" + test.obj_dir + "/cove
 
 cov = test.obj_dir + "/coverage.dat"
 
+test.files_identical(cov, "t/t_cover_per_instance.dat.out")
+
 test.run(cmd=[
     os.environ["VERILATOR_ROOT"] + "/bin/verilator_coverage",
     "--annotate-points",

test_regress/t/t_cover_per_instance_noinline.py

@@ -27,6 +27,8 @@ test.execute(all_run_flags=[" +verilator+coverage+file+" + test.obj_dir + "/cove
 
 cov = test.obj_dir + "/coverage.dat"
 
+test.files_identical(cov, "t/t_cover_per_instance.dat.out")
+
 test.run(cmd=[
     os.environ["VERILATOR_ROOT"] + "/bin/verilator_coverage",
     "--annotate-points",