aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/netlists-folds.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/synth/netlists-folds.ads')
-rw-r--r--src/synth/netlists-folds.ads5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/synth/netlists-folds.ads b/src/synth/netlists-folds.ads
index 5eb04a21f..c0590d73b 100644
--- a/src/synth/netlists-folds.ads
+++ b/src/synth/netlists-folds.ads
@@ -94,4 +94,9 @@ package Netlists.Folds is
Id : Compare_Module_Id;
L, R : Net) return Net;
+ -- INST is a dyn_insert gate that will be converted to a dyn_insert_en
+ -- by using SEL as enable input.
+ -- The old dyn_insert gate is removed.
+ function Add_Enable_To_Dyn_Insert
+ (Ctxt : Context_Acc; Inst : Instance; Sel : Net) return Instance;
end Netlists.Folds;