diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-08-19 21:02:24 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-08-20 04:13:12 +0200 |
| commit | fcd68928a4366c35748f488f949d5eada82998dd (patch) | |
| tree | 1293db893401181d17da9a3fb92a61401e09c882 /src/synth/synth-stmts.ads | |
| parent | 008d54327842b999f3ea442de5d9e312ab94b5f1 (diff) | |
| download | ghdl-fcd68928a4366c35748f488f949d5eada82998dd.tar.gz ghdl-fcd68928a4366c35748f488f949d5eada82998dd.tar.bz2 ghdl-fcd68928a4366c35748f488f949d5eada82998dd.zip | |
synth: handle verification units.
Diffstat (limited to 'src/synth/synth-stmts.ads')
| -rw-r--r-- | src/synth/synth-stmts.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/synth/synth-stmts.ads b/src/synth/synth-stmts.ads index 85f3eaa9f..cdd26e8eb 100644 --- a/src/synth/synth-stmts.ads +++ b/src/synth/synth-stmts.ads @@ -41,6 +41,9 @@ package Synth.Stmts is procedure Synth_Concurrent_Statements (Syn_Inst : Synth_Instance_Acc; Stmts : Node); + procedure Synth_Verification_Unit + (Syn_Inst : Synth_Instance_Acc; Unit : Node); + -- For iterators. function In_Range (Rng : Discrete_Range_Type; V : Int64) return Boolean; procedure Update_Index (Rng : Discrete_Range_Type; Idx : in out Int64); |