diff options
| -rw-r--r-- | src/synth/synth-decls.adb | 3 | ||||
| -rw-r--r-- | src/vhdl/vhdl-parse.adb | 9 |
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; |