Heterogeneous technology mapping for FPGAs with dual-port embedded memory arrays