Adding basic support for CASEZ statements

Author: Peter Birch

pyverilog/vparser/ast.py

@@ -882,6 +882,10 @@ class CasexStatement(CaseStatement):
     pass
 
 
+class CasezStatement(CaseStatement):
+    pass
+
+
 class UniqueCaseStatement(CaseStatement):
     pass
 

pyverilog/vparser/lexer.py

@@ -56,7 +56,7 @@ def token(self):
         'INPUT', 'INOUT', 'OUTPUT', 'TRI', 'REG', 'LOGIC', 'WIRE', 'INTEGER', 'REAL', 'SIGNED',
         'PARAMETER', 'LOCALPARAM', 'SUPPLY0', 'SUPPLY1',
         'ASSIGN', 'ALWAYS', 'ALWAYS_FF', 'ALWAYS_COMB', 'ALWAYS_LATCH', 'SENS_OR', 'POSEDGE', 'NEGEDGE', 'INITIAL',
-        'IF', 'ELSE', 'FOR', 'WHILE', 'CASE', 'CASEX', 'UNIQUE', 'ENDCASE', 'DEFAULT',
+        'IF', 'ELSE', 'FOR', 'WHILE', 'CASE', 'CASEX', 'CASEZ', 'UNIQUE', 'ENDCASE', 'DEFAULT',
         'WAIT', 'FOREVER', 'DISABLE', 'FORK', 'JOIN',
     )
 

pyverilog/vparser/parser.py

@@ -1413,6 +1413,7 @@ def p_basic_statement(self, p):
         """basic_statement : if_statement
         | case_statement
         | casex_statement
+        | casez_statement
         | unique_case_statement
         | for_statement
         | while_statement
@@ -1656,6 +1657,11 @@ def p_casex_statement(self, p):
         p[0] = CasexStatement(p[3], p[5], lineno=p.lineno(1))
         p.set_lineno(0, p.lineno(1))
 
+    def p_casez_statement(self, p):
+        'casez_statement : CASEZ LPAREN case_comp RPAREN casecontent_statements ENDCASE'
+        p[0] = CasezStatement(p[3], p[5], lineno=p.lineno(1))
+        p.set_lineno(0, p.lineno(1))
+
     def p_unique_case_statement(self, p):
         'unique_case_statement : UNIQUE CASE LPAREN case_comp RPAREN casecontent_statements ENDCASE'
         p[0] = UniqueCaseStatement(p[3], p[5], lineno=p.lineno(1))
@@ -2092,6 +2098,7 @@ def p_function_calc(self, p):
         | while_statement
         | case_statement
         | casex_statement
+        | casez_statement
         | block
         | namedblock
         """
@@ -2161,6 +2168,7 @@ def p_task_calc(self, p):
         | while_statement
         | case_statement
         | casex_statement
+        | casez_statement
         | block
         | namedblock
         """