Binary Synthesis with multiple memory banks targeting array references