diff options
Diffstat (limited to 'src/synth/netlists-memories.adb')
| -rw-r--r-- | src/synth/netlists-memories.adb | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/src/synth/netlists-memories.adb b/src/synth/netlists-memories.adb index b19c4fda2..c682610cb 100644 --- a/src/synth/netlists-memories.adb +++ b/src/synth/netlists-memories.adb @@ -1251,9 +1251,8 @@ package body Netlists.Memories is O := Get_Output (Inst, 0); when others => if Flag_Memory_Verbose then - Info_Msg_Synth - (+Last, "gate %i cannot be part of a memory", - (1 => +Inst)); + Info_Msg_Synth (+Last, "gate %i cannot be part of a memory", + (1 => +Inst)); end if; return No_Instance; end case; @@ -1402,8 +1401,8 @@ package body Netlists.Memories is end Validate_RAM_Multiple; -- Test if V is part of the conjunction CONJ generated by mux2 controls. - function Test_In_Conjuction (Conj : Net; V : Net; Negate : Boolean) - return Boolean + function In_Conjunction (Conj : Net; V : Net; Negate : Boolean) + return Boolean is Inst : Instance; N : Net; @@ -1427,7 +1426,7 @@ package body Netlists.Memories is end if; N := Get_Input_Net (Inst, 1); end loop; - end Test_In_Conjuction; + end In_Conjunction; -- Subroutine of Reduce_Extract_Muxes. -- MUX is a mux2 that is removed if possible. @@ -1465,7 +1464,7 @@ package body Netlists.Memories is loop -- Get the enable of Dyn_Insert_En parent. N := Get_Input_Net (P, 3); - if not Test_In_Conjuction (N, Sel, Port = 0) then + if not In_Conjunction (N, Sel, Port = 0) then if Flag_Memory_Verbose then Info_Msg_Synth (+Mux, "mux %i before extract is required", @@ -2620,7 +2619,7 @@ package body Netlists.Memories is end; end Reduce_Muxes; - -- Remove the mux2 MUX (by adding enable to dyn_insert). + -- Remove the mux2 HEAD (by adding enable to dyn_insert). -- Return the new head. procedure Reduce_Muxes_Mux2 (Ctxt : Context_Acc; Clk : Net; |