From cb5690c37d52124316603f868fb165d15a5e0c8c Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Wed, 6 May 2020 08:19:53 +0200 Subject: synth: add Id_Enable gate (for sequential assertions). --- src/synth/netlists-builders.ads | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/synth/netlists-builders.ads') diff --git a/src/synth/netlists-builders.ads b/src/synth/netlists-builders.ads index e9b350a74..dc45caf04 100644 --- a/src/synth/netlists-builders.ads +++ b/src/synth/netlists-builders.ads @@ -161,6 +161,7 @@ package Netlists.Builders is function Build_Isignal (Ctxt : Context_Acc; Name : Sname; Init : Net) return Net; function Build_Port (Ctxt : Context_Acc; N : Net) return Net; + function Build_Enable (Ctxt : Context_Acc) return Net; function Build_Assert (Ctxt : Context_Acc; Name : Sname; Cond : Net) return Instance; @@ -238,6 +239,7 @@ private M_Isignal : Module; M_Port : Module; M_Inout : Module; + M_Enable : Module; M_Dff : Module; M_Idff : Module; M_Adff : Module; -- cgit v1.2.3