diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-10-02 18:38:40 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-10-02 18:38:40 +0200 |
| commit | 336dbeaa305bdfe968a500161f561b35a9c495c0 (patch) | |
| tree | 4a56436f5e17ba6fd7b62d4507d3c8a725492767 /src/synth/netlists-builders.ads | |
| parent | bfad2a487e2e6f6476e9417d70dff73656041883 (diff) | |
| download | ghdl-336dbeaa305bdfe968a500161f561b35a9c495c0.tar.gz ghdl-336dbeaa305bdfe968a500161f561b35a9c495c0.tar.bz2 ghdl-336dbeaa305bdfe968a500161f561b35a9c495c0.zip | |
netlists: add memidx1 and memidx2 gates.
Diffstat (limited to 'src/synth/netlists-builders.ads')
| -rw-r--r-- | src/synth/netlists-builders.ads | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/synth/netlists-builders.ads b/src/synth/netlists-builders.ads index 5a658c14f..a00014168 100644 --- a/src/synth/netlists-builders.ads +++ b/src/synth/netlists-builders.ads @@ -136,6 +136,12 @@ package Netlists.Builders is (Ctxt : Context_Acc; I : Net; V : Net; P : Net; Step : Uns32; Off : Uns32) return Net; + function Build_Memidx1 + (Ctxt : Context_Acc; I : Net; Step : Uns32; Max : Uns32) return Net; + function Build_Memidx2 + (Ctxt : Context_Acc; I : Net; Add : Net; Step : Uns32; Max : Uns32) + return Net; + function Build_Output (Ctxt : Context_Acc; W : Width) return Net; function Build_Signal (Ctxt : Context_Acc; Name : Sname; W : Width) return Net; @@ -204,6 +210,8 @@ private M_Extract : Module; M_Dyn_Extract : Module; M_Dyn_Insert : Module; + M_Memidx1 : Module; + M_Memidx2 : Module; M_Assert : Module; M_Assume : Module; M_Cover : Module; |