vhdl: handle PSL keywords as vhdl08 reserved words; switch to PSL scanner mode.

2 files changed, 12 insertions, 0 deletions

diff --git a/src/synth/synth-decls.adb b/src/synth/synth-decls.adb
index 53a5b0c5f..31540cf7d 100644
--- a/src/synth/synth-decls.adb
+++ b/src/synth/synth-decls.adb
@@ -466,6 +466,9 @@ package body Synth.Decls is
             null;
          when Iir_Kind_File_Declaration =>
             null;
+         when Iir_Kind_Psl_Default_Clock =>
+            --  Ignored; directly used by PSL directives.
+            null;
          when others =>
             Error_Kind ("synth_declaration", Decl);
       end case;
diff --git a/src/vhdl/vhdl-parse.adb b/src/vhdl/vhdl-parse.adb
index e10786022..cf2a1968e 100644
--- a/src/vhdl/vhdl-parse.adb
+++ b/src/vhdl/vhdl-parse.adb
@@ -8632,6 +8632,9 @@ package body Vhdl.Parse is
    begin
       Res := Create_Iir (Iir_Kind_Psl_Assume_Directive);
 
+      --  Accept PSL tokens
+      Vhdl.Scanner.Flag_Psl := True;
+
       --  Skip 'assume'
       Scan;
 
@@ -8651,6 +8654,9 @@ package body Vhdl.Parse is
    begin
       Res := Create_Iir (Iir_Kind_Psl_Cover_Directive);
 
+      --  Accept PSL tokens
+      Vhdl.Scanner.Flag_Psl := True;
+
       --  Skip 'cover'
       Scan;
 
@@ -8667,6 +8673,9 @@ package body Vhdl.Parse is
    begin
       Res := Create_Iir (Iir_Kind_Psl_Restrict_Directive);
 
+      --  Accept PSL tokens
+      Vhdl.Scanner.Flag_Psl := True;
+
       --  Skip 'restrict'
       Scan;