Logic synthesis method for FPGAs with embedded memory blocks | IEEE Conference Publication | IEEE Xplore