Цитата
Synplify не имеет временных параметров моделей памяти
Имеет, смотрите внимательнее.
В любом случае синтезатор выдает лишь ориентировочные задержки, т.к. задуржки на LUT соизмеримы с задержками на соединениях.
Цитата
не умеет нормально синтезировать аппаратные умножители
Читайте документацию. Особенно раздел "Altera Constraints and Attributes", "Stratix, Cyclone, and Hardcopy DSP Block Inference". На чистом hdl без аттрибутов далеко не продвинитесь.
PS:attribute syn_ramstyle of mem : signal is "block_ram,no_rw_check";