Instance array is supported in vparser but not supported in dataflow analyzer.

Author: shtaxxx

pyverilog/testcode/instance_array.v

@@ -0,0 +1,33 @@
+module TOP
+  (
+   input [3:0] VAL,
+   output [3:0] LED0,
+   output [3:0] LED1,
+   output [3:0] LED2
+   );
+
+  SUB 
+    # (.MODE(0))
+    inst_sub0 (VAL[0], LED0[0]),
+    inst_sub1 (VAL[1], LED0[1]),
+    inst_sub2 (VAL[2], LED0[2]),
+    inst_sub3 (VAL[3], LED0[3]);
+  
+  SUB 
+    # (.MODE(0))
+    inst_sub4[3:0] (VAL, LED1),
+    inst_sub5[3:0] (VAL, LED2);
+    
+endmodule
+
+module SUB #
+  (
+   parameter MODE = 0
+   )
+  (
+   input VAL,
+   output LED
+   );
+  assign LED = ~VAL & MODE;
+endmodule
+

pyverilog/vparser/ast.py

@@ -589,15 +589,17 @@ def children(self):
 
 class Instance(Node):
     attr_names = ('name', 'module')
-    def __init__(self, module, name, portlist, parameterlist):
+    def __init__(self, module, name, portlist, parameterlist, array=None):
         self.module = module
         self.name = name
         self.portlist = portlist
         self.parameterlist = parameterlist
+        self.array = array
     def children(self):
         nodelist = []
         if self.portlist: nodelist.extend(self.portlist)
         if self.parameterlist: nodelist.extend(self.parameterlist)
+        if self.array: nodelist.append(self.array)
         return tuple(nodelist)
 
 class ParamArg(Node):

pyverilog/vparser/parser.py

@@ -1314,15 +1314,15 @@ def p_forever_statement(self, p):
     def p_instance(self, p):
         'instance : ID parameterlist instance_bodylist SEMICOLON'
         instancelist = []
-        for instance_name, instance_ports in p[3]:
-            instancelist.append( Instance(p[1], instance_name, instance_ports, p[2]) )
+        for instance_name, instance_ports, instance_array in p[3]:
+            instancelist.append( Instance(p[1], instance_name, instance_ports, p[2], instance_array) )
         p[0] = InstanceList( tuple(instancelist) )
 
     def p_instance_or(self, p):
         'instance : SENS_OR parameterlist instance_bodylist SEMICOLON'
         instancelist = []
-        for instance_name, instance_ports in p[3]:
-            instancelist.append( Instance(p[1], instance_name, instance_ports, p[2]) )
+        for instance_name, instance_ports, instance_array in p[3]:
+            instancelist.append( Instance(p[1], instance_name, instance_ports, p[2], instance_array) )
         p[0] = InstanceList( tuple(instancelist) )
 
     def p_instance_bodylist(self, p):
@@ -1335,7 +1335,11 @@ def p_instance_bodylist_one(self, p):
 
     def p_instance_body(self, p):
         'instance_body : ID LPAREN instance_ports RPAREN'
-        p[0] = (p[1], p[3],)
+        p[0] = (p[1], p[3], None)
+
+    def p_instance_body_array(self, p):
+        'instance_body : ID width LPAREN instance_ports RPAREN'
+        p[0] = (p[1], p[4], p[2])
 
     def p_parameterlist(self, p):
         'parameterlist : DELAY LPAREN param_args RPAREN'