From 10d6f0c3520c2ebb93091f635014c6cd4c35631f Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 17 Apr 2023 09:25:19 +0200
Subject: synth: preliminary support of flat netlists
---
src/synth/synth-flags.ads | 5 +++++
1 file changed, 5 insertions(+)
(limited to 'src/synth/synth-flags.ads')
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;
--
cgit v1.2.3