diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-02-12 05:53:22 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-02-14 13:52:33 +0100 |
| commit | 2c88f7c0f5a9859eeb118147444afbd47c71c2a8 (patch) | |
| tree | 57ac7d5a8585649939f6ccfbce0d1350e699ccf7 /src/vhdl/simulate/execution.ads | |
| parent | 48e27ae110b44f1feb73f906e322e8d59c7c2c98 (diff) | |
| download | ghdl-2c88f7c0f5a9859eeb118147444afbd47c71c2a8.tar.gz ghdl-2c88f7c0f5a9859eeb118147444afbd47c71c2a8.tar.bz2 ghdl-2c88f7c0f5a9859eeb118147444afbd47c71c2a8.zip | |
simul: preliminary work to support PSL.
Diffstat (limited to 'src/vhdl/simulate/execution.ads')
| -rw-r--r-- | src/vhdl/simulate/execution.ads | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/vhdl/simulate/execution.ads b/src/vhdl/simulate/execution.ads index 17d05f4a0..080ee59ca 100644 --- a/src/vhdl/simulate/execution.ads +++ b/src/vhdl/simulate/execution.ads @@ -88,6 +88,13 @@ package Execution is Expr_Type : Iir) return Iir_Value_Literal_Acc; + procedure Execute_Failed_Assertion + (Instance: Block_Instance_Acc; + Label : String; + Stmt : Iir; + Default_Msg : String; + Default_Severity : Natural); + function Execute_Resolution_Function (Block: Block_Instance_Acc; Imp : Iir; Arr : Iir_Value_Literal_Acc) return Iir_Value_Literal_Acc; |