diff options
author | Tristan Gingold <tgingold@free.fr> | 2021-06-30 06:43:56 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2021-06-30 06:44:42 +0200 |
commit | e45c19474897208c723af863db0d3337bf44928b (patch) | |
tree | 3a0d648030760db5c149b20a44fc41f0c76b0e6e /src/synth/netlists-memories.ads | |
parent | 5b57b698d71cd83de7c2d6afbdce77853e24f59c (diff) | |
download | ghdl-e45c19474897208c723af863db0d3337bf44928b.tar.gz ghdl-e45c19474897208c723af863db0d3337bf44928b.tar.bz2 ghdl-e45c19474897208c723af863db0d3337bf44928b.zip |
synth: minor renaming in netlists-memories
Diffstat (limited to 'src/synth/netlists-memories.ads')
-rw-r--r-- | src/synth/netlists-memories.ads | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/src/synth/netlists-memories.ads b/src/synth/netlists-memories.ads index c7d891acf..eb704f224 100644 --- a/src/synth/netlists-memories.ads +++ b/src/synth/netlists-memories.ads @@ -19,19 +19,20 @@ with Netlists.Builders; use Netlists.Builders; package Netlists.Memories is - -- Try to convert dyn_insert/dyn_extract to memory ports. - procedure Extract_Memories2 (Ctxt : Context_Acc; M : Module); - - -- Count the number of memidx in a memory address. - function Count_Memidx (Addr : Net) return Natural; - -- True iff a RAM can be infered from VAL (the input of an assignment). -- TODO: handle partial write (offset) -- TODO: directly check with assignment target. function Can_Infere_RAM (Val : Net; Prev_Val : Net) return Boolean; - -- Transform VAL to a RAM. + -- Pre-transform VAL to a RAM: try to merge Mux2 into the dyn_insert. function Infere_RAM (Ctxt : Context_Acc; Val : Net; Tail : Net; Clk : Net; En : Net) return Net; + + -- Try to convert dyn_insert/dyn_extract to memory ports. + procedure Extract_Memories (Ctxt : Context_Acc; M : Module); + + -- Count the number of memidx in a memory address. + function Count_Memidx (Addr : Net) return Natural; + end Netlists.Memories; |