Synthesizing SRAM Memory