diff options
Diffstat (limited to 'pyGHDL/libghdl/vhdl/nodes.py')
| -rw-r--r-- | pyGHDL/libghdl/vhdl/nodes.py | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/pyGHDL/libghdl/vhdl/nodes.py b/pyGHDL/libghdl/vhdl/nodes.py index d7fcdf202..bd26406d2 100644 --- a/pyGHDL/libghdl/vhdl/nodes.py +++ b/pyGHDL/libghdl/vhdl/nodes.py @@ -1002,6 +1002,23 @@ class Iir_Kinds: Iir_Kind.Psl_Restrict_Directive, ] + Psl_Property_Directive = [ + Iir_Kind.Psl_Assert_Directive, + Iir_Kind.Psl_Assume_Directive, + ] + + Psl_Sequence_Directive = [ + Iir_Kind.Psl_Cover_Directive, + Iir_Kind.Psl_Restrict_Directive, + ] + + Psl_Directive = [ + Iir_Kind.Psl_Assert_Directive, + Iir_Kind.Psl_Assume_Directive, + Iir_Kind.Psl_Cover_Directive, + Iir_Kind.Psl_Restrict_Directive, + ] + Generate_Statement = [ Iir_Kind.If_Generate_Statement, Iir_Kind.Case_Generate_Statement, |