Инструмент для создания микропрограмных автоматов, Подскажите Опции

[Stas]

Имею большой автомат состояний (FSM) в девайсе Stratix II, работающий на частоте 333 MHz, хочу сделать то же самое микропрограмным автоматом на модуле памяти M512 или M4K, вроде как должно получится быстрей и ресурсов меньше занимать. Те мне надо подсказать пакет, который бы на описание состояний генерировал содержание памяти в *.hex. Кто в чем делает такие штуки??

[Gate]

mentor precision в доках хвастается тем, что умеет делать fsm на блоках встроенной памяти - автоматически, задав специальную опцию при синтезе.

[CaPpuCcino]

mentor precision в доках хвастается тем, что умеет делать fsm на блоках встроенной памяти - автоматически, задав специальную опцию при синтезе.

можно, пожалуйста, уточнить в каких именно доках(?), хотя бы на какой продукт. спасибо