psl: cover directive works on a sequence, not on a property.

1 files changed, 16 insertions, 8 deletions

diff --git a/src/vhdl/nodes_meta.adb b/src/vhdl/nodes_meta.adb
index d5a3c62a0..b868751f5 100644
--- a/src/vhdl/nodes_meta.adb
+++ b/src/vhdl/nodes_meta.adb
@@ -312,6 +312,7 @@ package body Nodes_Meta is
       Field_Suspend_Flag => Type_Boolean,
       Field_Is_Ref => Type_Boolean,
       Field_Psl_Property => Type_PSL_Node,
+      Field_Psl_Sequence => Type_PSL_Node,
       Field_Psl_Declaration => Type_PSL_Node,
       Field_Psl_Expression => Type_PSL_Node,
       Field_Psl_Boolean => Type_PSL_Node,
@@ -916,6 +917,8 @@ package body Nodes_Meta is
             return "is_ref";
          when Field_Psl_Property =>
             return "psl_property";
+         when Field_Psl_Sequence =>
+            return "psl_sequence";
          when Field_Psl_Declaration =>
             return "psl_declaration";
          when Field_Psl_Expression =>
@@ -2038,6 +2041,8 @@ package body Nodes_Meta is
             return Attr_None;
          when Field_Psl_Property =>
             return Attr_None;
+         when Field_Psl_Sequence =>
+            return Attr_None;
          when Field_Psl_Declaration =>
             return Attr_None;
          when Field_Psl_Expression =>
@@ -3473,7 +3478,7 @@ package body Nodes_Meta is
       Field_Report_Expression,
       Field_Parent,
       --  Iir_Kind_Psl_Cover_Statement
-      Field_Psl_Property,
+      Field_Psl_Sequence,
       Field_Label,
       Field_PSL_Clock,
       Field_PSL_NFA,
@@ -5960,6 +5965,8 @@ package body Nodes_Meta is
       case F is
          when Field_Psl_Property =>
             return Get_Psl_Property (N);
+         when Field_Psl_Sequence =>
+            return Get_Psl_Sequence (N);
          when Field_Psl_Declaration =>
             return Get_Psl_Declaration (N);
          when Field_Psl_Expression =>
@@ -5980,6 +5987,8 @@ package body Nodes_Meta is
       case F is
          when Field_Psl_Property =>
             Set_Psl_Property (N, V);
+         when Field_Psl_Sequence =>
+            Set_Psl_Sequence (N, V);
          when Field_Psl_Declaration =>
             Set_Psl_Declaration (N, V);
          when Field_Psl_Expression =>
@@ -9762,15 +9771,14 @@ package body Nodes_Meta is
 
    function Has_Psl_Property (K : Iir_Kind) return Boolean is
    begin
-      case K is
-         when Iir_Kind_Psl_Assert_Statement
-           | Iir_Kind_Psl_Cover_Statement =>
-            return True;
-         when others =>
-            return False;
-      end case;
+      return K = Iir_Kind_Psl_Assert_Statement;
    end Has_Psl_Property;
 
+   function Has_Psl_Sequence (K : Iir_Kind) return Boolean is
+   begin
+      return K = Iir_Kind_Psl_Cover_Statement;
+   end Has_Psl_Sequence;
+
    function Has_Psl_Declaration (K : Iir_Kind) return Boolean is
    begin
       return K = Iir_Kind_Psl_Declaration;