Issue#1411: Adding parsing for PSL. (#1412)

* Issue#1411:  Adding parsing for PSL.

* Fixing cover_assertion classification.

Author: jeremiah-c-leary

docs/overview.rst

@@ -64,5 +64,5 @@ Known Limitations
 VSG is a continual work in progress.
 As such, this version has the following known limitations:
 
-* Parser will not process embedded PSL
+* Minumal support for embedded PSL
 * Parser will not process VHDL 2019

tests/vhdlFile/psl/classification_results.txt

@@ -0,0 +1,114 @@
+
+-- verification_unit
+vunit identifier ( something ) {
+  something
+  something
+}
+
+vpkg identifier ( something ) {
+  something
+  something
+}
+
+vprop identifier ( something ) {
+  something
+  something
+}
+
+vmode identifier ( something ) {
+  something
+  something
+}
+
+entity fifo is
+
+  default clock is rising_edge(i_clk);
+
+  sequence identifier something something;
+
+  property identifier something something;
+
+  begin
+
+    -- Unlabeled
+    assert something something [report something];
+
+    assume something something;
+
+    restrict something something;
+
+    restrict! something something;
+
+    cover something something report something;
+
+    fairness something something;
+
+    strong fairness something something;
+
+    -- labeled
+    label1: assert something something [report something];
+
+    label1: assume something something;
+
+    label1: restrict something something;
+
+    label1: restrict! something something;
+
+    label1: cover something something report something;
+
+    label1: fairness something something;
+
+    label1: strong fairness something something;
+
+end entity fifo;
+
+
+architecture rtl of fifo is
+
+  default clock is rising_edge(i_clk);
+
+  sequence identifier something something;
+
+  property identifier something something;
+
+begin
+
+  -- Unlabeled
+  assert something something [report something];
+
+  assume something something;
+
+  restrict something something;
+
+  restrict! something something;
+
+  cover something something report something;
+
+  fairness something something;
+
+  strong fairness something something;
+
+  -- labeled
+  label1: assert something something [report something];
+
+  label1: assume something something;
+
+  label1: restrict something something;
+
+  label1: restrict! something something;
+
+  label1: cover something something report something;
+
+  label1: fairness something something;
+
+  label1: strong fairness something something;
+
+end architecture rtl;
+
+package my_pkg is
+
+  sequence identifier something something;
+
+  property identifier something something;
+
+end package my_pkg;

tests/vhdlFile/psl/classification_test_input.vhd

@@ -452,6 +452,24 @@ def __init__(self):
         super().__init__(")")
 
 
+class open_curly(item):
+    """
+    unique_id = parser : open_curly
+    """
+
+    def __init__(self):
+        super().__init__("{")
+
+
+class close_curly(item):
+    """
+    unique_id = parser : close_curly
+    """
+
+    def __init__(self):
+        super().__init__("}")
+
+
 class equal_sign(item):
     """
     unique_id = parser : equal_sign

vsg/parser.py

@@ -0,0 +1,30 @@
+# -*- coding: utf-8 -*-
+
+from vsg import parser
+
+
+class assert_keyword(parser.keyword):
+    """
+    unique_id = psl_assert_directive : assert_keyword
+    """
+
+    def __init__(self, sString):
+        super().__init__(sString)
+
+
+class todo(parser.todo):
+    """
+    unique_id = psl_assert_directive : todo
+    """
+
+    def __init__(self, sString):
+        super().__init__(sString)
+
+
+class semicolon(parser.semicolon):
+    """
+    unique_id = psl_assert_directive : semicolon
+    """
+
+    def __init__(self, sString):
+        super().__init__()

vsg/token/psl/assert_directive.py

@@ -0,0 +1,30 @@
+# -*- coding: utf-8 -*-
+
+from vsg import parser
+
+
+class assume_keyword(parser.keyword):
+    """
+    unique_id = psl_assume_directive : assume_keyword
+    """
+
+    def __init__(self, sString):
+        super().__init__(sString)
+
+
+class todo(parser.todo):
+    """
+    unique_id = psl_assume_directive : todo
+    """
+
+    def __init__(self, sString):
+        super().__init__(sString)
+
+
+class semicolon(parser.semicolon):
+    """
+    unique_id = psl_assume_directive : semicolon
+    """
+
+    def __init__(self, sString):
+        super().__init__()

vsg/token/psl/assume_directive.py

@@ -0,0 +1,39 @@
+# -*- coding: utf-8 -*-
+
+from vsg import parser
+
+
+class default_keyword(parser.keyword):
+    """
+    unique_id = psl_clock_declaration : default_keyword
+    """
+
+    def __init__(self, sString):
+        super().__init__(sString)
+
+
+class clock_keyword(parser.keyword):
+    """
+    unique_id = psl_clock_declaration : clock_keyword
+    """
+
+    def __init__(self, sString):
+        super().__init__(sString)
+
+
+class todo(parser.todo):
+    """
+    unique_id = psl_clock_declaration : todo
+    """
+
+    def __init__(self, sString):
+        super().__init__(sString)
+
+
+class semicolon(parser.semicolon):
+    """
+    unique_id = psl_clock_declaration : semicolon
+    """
+
+    def __init__(self, sString):
+        super().__init__()

vsg/token/psl/clock_declaration.py

@@ -0,0 +1,30 @@
+# -*- coding: utf-8 -*-
+
+from vsg import parser
+
+
+class cover_keyword(parser.keyword):
+    """
+    unique_id = psl_cover_directive : cover_keyword
+    """
+
+    def __init__(self, sString):
+        super().__init__(sString)
+
+
+class todo(parser.todo):
+    """
+    unique_id = psl_cover_directive : todo
+    """
+
+    def __init__(self, sString):
+        super().__init__(sString)
+
+
+class semicolon(parser.semicolon):
+    """
+    unique_id = psl_cover_directive : semicolon
+    """
+
+    def __init__(self, sString):
+        super().__init__()

vsg/token/psl/cover_directive.py

@@ -0,0 +1,39 @@
+# -*- coding: utf-8 -*-
+
+from vsg import parser
+
+
+class strong_keyword(parser.keyword):
+    """
+    unique_id = psl_fairness_directive : strong_keyword
+    """
+
+    def __init__(self, sString):
+        super().__init__(sString)
+
+
+class fairness_keyword(parser.keyword):
+    """
+    unique_id = psl_fairness_directive : fairness_keyword
+    """
+
+    def __init__(self, sString):
+        super().__init__(sString)
+
+
+class todo(parser.todo):
+    """
+    unique_id = psl_fairness_directive : todo
+    """
+
+    def __init__(self, sString):
+        super().__init__(sString)
+
+
+class semicolon(parser.semicolon):
+    """
+    unique_id = psl_fairness_directive : semicolon
+    """
+
+    def __init__(self, sString):
+        super().__init__()

vsg/token/psl/fairness_statement.py

@@ -0,0 +1,30 @@
+# -*- coding: utf-8 -*-
+
+from vsg import parser
+
+
+class property_keyword(parser.keyword):
+    """
+    unique_id = psl_property_declaration : property_keyword
+    """
+
+    def __init__(self, sString):
+        super().__init__(sString)
+
+
+class todo(parser.todo):
+    """
+    unique_id = psl_property_declaration : todo
+    """
+
+    def __init__(self, sString):
+        super().__init__(sString)
+
+
+class semicolon(parser.semicolon):
+    """
+    unique_id = psl_property_declaration : semicolon
+    """
+
+    def __init__(self, sString):
+        super().__init__()