diff options
| author | Tristan Gingold <tgingold@free.fr> | 2023-04-17 09:25:19 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2023-04-17 09:26:57 +0200 |
| commit | 10d6f0c3520c2ebb93091f635014c6cd4c35631f (patch) | |
| tree | af1db89e5b129da38eb4736bd58fac340c3f6719 /src/synth/synth-flags.ads | |
| parent | 5c0ea8c8b107c5f0be4dff9fbc5d31c43b592b3d (diff) | |
| download | ghdl-10d6f0c3520c2ebb93091f635014c6cd4c35631f.tar.gz ghdl-10d6f0c3520c2ebb93091f635014c6cd4c35631f.tar.bz2 ghdl-10d6f0c3520c2ebb93091f635014c6cd4c35631f.zip | |
synth: preliminary support of flat netlists
Diffstat (limited to 'src/synth/synth-flags.ads')
| -rw-r--r-- | src/synth/synth-flags.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/synth/synth-flags.ads b/src/synth/synth-flags.ads index aa3a0b8aa..541663543 100644 --- a/src/synth/synth-flags.ads +++ b/src/synth/synth-flags.ads @@ -74,6 +74,11 @@ package Synth.Flags is -- Synthesize PSL and assertions. Flag_Formal : Boolean := True; + -- True to keep hierarchy: an module/entity instantiation is synthesized + -- as an instantiation. + -- If false, the netlist is flat. + Flag_Keep_Hierarchy : Boolean := True; + -- If true, automatically add a cover on PSL asserts to know if the -- asserted has been started. Flag_Assert_Cover : Boolean := True; |