Tests: Show (non-)per-instance coverage

test_regress/t/t_assert_cover.v

@@ -19,6 +19,9 @@ module t (/*AUTOARG*/
 	      .toggle			(toggle),
 	      .cyc			(cyc[31:0]));
 
+   Sub sub1 (.*);
+   Sub sub2 (.*);
+
    always @ (posedge clk) begin
       if (cyc!=0) begin
 	 cyc <= cyc + 1;
@@ -142,3 +145,14 @@ module Test
 `endif
 
 endmodule
+
+module Sub
+  (
+   input clk,
+   input integer cyc
+   );
+
+   // Simple cover, per-instance
+   pi_sub:
+     cover property (@(posedge clk) cyc == 3);
+endmodule