Отправлено xdan 20 февраля 2005 г. 22:26 В ответ на: Исследование оптимизационных процедур при синтезе логических структур отправлено vardas 20 февраля 2005 г. 04:38

Если я правильно вас понял, то это средство синтеза - преобразует формальное текстовое описание в описание на базе логических элементов + оптимизатор результирующей логики:

www.synopsys.com
www.synplicity.com
www.mentor.com

Они этим вроде как занимаются, причем это у них не плохо получается может что и найдете у них на сайтах.