diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/vhdl/simulate/simul-annotations.adb | 3 | ||||
| -rw-r--r-- | src/vhdl/simulate/simul-elaboration.adb | 3 | ||||
| -rw-r--r-- | src/vhdl/simulate/simul-execution.adb | 2 |
3 files changed, 8 insertions, 0 deletions
diff --git a/src/vhdl/simulate/simul-annotations.adb b/src/vhdl/simulate/simul-annotations.adb index fb03495e4..4c6e6e80b 100644 --- a/src/vhdl/simulate/simul-annotations.adb +++ b/src/vhdl/simulate/simul-annotations.adb @@ -717,6 +717,9 @@ package body Simul.Annotations is when Iir_Kind_Nature_Declaration => null; + when Iir_Kind_Psl_Default_Clock => + null; + when others => Error_Kind ("annotate_declaration", Decl); end case; diff --git a/src/vhdl/simulate/simul-elaboration.adb b/src/vhdl/simulate/simul-elaboration.adb index 7cfb0c352..55e40bfa9 100644 --- a/src/vhdl/simulate/simul-elaboration.adb +++ b/src/vhdl/simulate/simul-elaboration.adb @@ -2684,6 +2684,9 @@ package body Simul.Elaboration is when Iir_Kinds_Branch_Quantity_Declaration => Elaborate_Branch_Quantity_Declaration (Instance, Decl); + when Iir_Kind_Psl_Default_Clock => + null; + when others => Error_Kind ("elaborate_declaration", Decl); end case; diff --git a/src/vhdl/simulate/simul-execution.adb b/src/vhdl/simulate/simul-execution.adb index ae3818792..bdcb42ebc 100644 --- a/src/vhdl/simulate/simul-execution.adb +++ b/src/vhdl/simulate/simul-execution.adb @@ -4021,6 +4021,8 @@ package body Simul.Execution is Disconnect_Signal (Rdest); Release (Marker, Expr_Pool); return; + elsif Get_Kind (Wf) = Iir_Kind_Unaffected_Waveform then + return; end if; Transactions.Stmt := Stmt; |