diff options
Diffstat (limited to 'src/synth/netlists-memories.ads')
-rw-r--r-- | src/synth/netlists-memories.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/synth/netlists-memories.ads b/src/synth/netlists-memories.ads index f4639c5a6..339b2cd21 100644 --- a/src/synth/netlists-memories.ads +++ b/src/synth/netlists-memories.ads @@ -23,6 +23,7 @@ with Netlists.Builders; use Netlists.Builders; package Netlists.Memories is -- Try to convert dyn_insert/dyn_extract to memory ports. procedure Extract_Memories (Ctxt : Context_Acc; M : Module); + procedure Extract_Memories2 (Ctxt : Context_Acc; M : Module); -- Count the number of memidx in a memory address. function Count_Memidx (Addr : Net) return Natural; |