diff options
| author | Tristan Gingold <tgingold@free.fr> | 2023-01-12 18:24:24 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2023-01-12 18:24:24 +0100 |
| commit | 768c62a76be455d299a065e5516fb8b7a917c019 (patch) | |
| tree | 891c81c489597d70f58035d6e519d4488dff4ee3 /src/vhdl | |
| parent | 00607141b93dbbd38f83c2faeb88db80df1a7739 (diff) | |
| download | ghdl-768c62a76be455d299a065e5516fb8b7a917c019.tar.gz ghdl-768c62a76be455d299a065e5516fb8b7a917c019.tar.bz2 ghdl-768c62a76be455d299a065e5516fb8b7a917c019.zip | |
simul: handle PSL aborts
Diffstat (limited to 'src/vhdl')
| -rw-r--r-- | src/vhdl/translate/trans-chap9.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/vhdl/translate/trans-chap9.adb b/src/vhdl/translate/trans-chap9.adb index 469dc6c20..7dcec16a3 100644 --- a/src/vhdl/translate/trans-chap9.adb +++ b/src/vhdl/translate/trans-chap9.adb @@ -389,9 +389,13 @@ package body Trans.Chap9 is begin Start_Declare_Stmt; New_Var_Decl (Var_I, Wki_I, O_Storage_Local, Ghdl_Index_Type); + + -- Set true to the first state. New_Assign_Stmt (New_Indexed_Element (Get_Var (Info.Psl_Vect_Var), New_Lit (Ghdl_Index_0)), New_Lit (Std_Boolean_True_Node)); + + -- Set flase to the other states. New_Assign_Stmt (New_Obj (Var_I), New_Lit (Ghdl_Index_1)); Start_Loop_Stmt (Label); Gen_Exit_When |