diff options
author | Tristan Gingold <tgingold@free.fr> | 2022-08-20 21:37:25 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2022-08-20 21:37:44 +0200 |
commit | 50cc406f59c3b9b063b47b4fada0d6a5e590f03c (patch) | |
tree | f815aadf154b0f26b85e79d990c8b49fb337e3d7 /src/synth/synth-vhdl_stmts.ads | |
parent | c28f780bc65b54989cccf83b0637113be3964b51 (diff) | |
download | ghdl-50cc406f59c3b9b063b47b4fada0d6a5e590f03c.tar.gz ghdl-50cc406f59c3b9b063b47b4fada0d6a5e590f03c.tar.bz2 ghdl-50cc406f59c3b9b063b47b4fada0d6a5e590f03c.zip |
simul-vhdl_simul: add support for PSL directives
Diffstat (limited to 'src/synth/synth-vhdl_stmts.ads')
-rw-r--r-- | src/synth/synth-vhdl_stmts.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/synth/synth-vhdl_stmts.ads b/src/synth/synth-vhdl_stmts.ads index f41c8ca0c..3922b9242 100644 --- a/src/synth/synth-vhdl_stmts.ads +++ b/src/synth/synth-vhdl_stmts.ads @@ -105,6 +105,12 @@ package Synth.Vhdl_Stmts is Stmt : Node); procedure Execute_Report_Statement (Inst : Synth_Instance_Acc; Stmt : Node); + procedure Exec_Failed_Assertion (Syn_Inst : Synth_Instance_Acc; + Stmt : Node; + Stmt_Msg : String; + Default_Rep : String; + Default_Severity : Natural); + procedure Init_For_Loop_Statement (Inst : Synth_Instance_Acc; Stmt : Node; Val : out Valtyp); |