Synthesis for FPGAs with Embedded Memory Blocks