minor AlwaysKW coverage improvements

src/Convert/AlwaysKW.hs

@@ -212,7 +212,6 @@ ports = filter ((/= Local) . snd) . map port
 
 port :: Decl -> PortDir
 port (Variable d _ x _ _) = (x, d)
-port (Net  d _ _ _ x _ _) = (x, d)
 port _ = ("", Local)
 
 -- get a list of non-local variables referenced within a module item, and

test/core/always_sense.sv

@@ -1,6 +1,7 @@
+`include "always_sense.vh"
 module mod(
-    input wire inp1, inp2,
+    input wire `INPUTS,
-    output reg out1, out2, out3, out4, out5, out6, out7, out8, out9, outA, outB
+    output reg `OUTPUTS
 );
     localparam ZERO = 0;
 
@@ -75,4 +76,10 @@ module mod(
     endfunction
     always_comb
         outB = h(ZERO);
+    function automatic i;
+        input reg x; // ignored
+        i = s[ONE];
+    endfunction
+    always_comb
+        asgn(.i(i(ZERO)), .o(outC));
 endmodule

test/core/always_sense.v

@@ -1,6 +1,7 @@
+`include "always_sense.vh"
 module mod(
-    input wire inp1, inp2,
+    input wire `INPUTS,
-    output reg out1, out2, out3, out4, out5, out6, out7, out8, out9, outA, outB
+    output reg `OUTPUTS
 );
     localparam ZERO = 0;
 
@@ -73,4 +74,10 @@ module mod(
     endfunction
     always @(s[0])
         outB = h(ZERO);
+    function automatic i;
+        input reg x; // ignored
+        i = s[1];
+    endfunction
+    always @(s[1])
+        asgn(outC, i(ZERO));
 endmodule

test/core/always_sense.vh

@@ -0,0 +1,2 @@
+`define INPUTS inp1, inp2
+`define OUTPUTS out1, out2, out3, out4, out5, out6, out7, out8, out9, outA, outB, outC

test/core/always_sense_tb.v

@@ -1,10 +1,10 @@
+`include "always_sense.vh"
 module top;
-    reg inp1, inp2;
+    reg `INPUTS;
-    wire out1, out2, out3, out4, out5, out6, out7, out8, out9, outA, outB;
+    wire `OUTPUTS;
-    mod m(inp1, inp2, out1, out2, out3, out4, out5, out6, out7, out8, out9, outA, outB);
+    mod m(`INPUTS, `OUTPUTS);
     initial begin
-        $monitor(inp1, inp2,
+        $monitor(`INPUTS, `OUTPUTS);
-            out1, out2, out3, out4, out5, out6, out7, out8, out9, outA, outB);
         repeat (2) begin
             #1 inp1 = 0;
             #1 inp2 = 0;