Здравствуйте! Я занимаюсь разработкой HDL-описаний для электроники по всяким разным ИСО и МЭКам. При этом для разработки стоящих в паралель процессоров, которые выполняют аналогичные алгоритмы, используется САПР ESTEREL. В нем можно строить довольно удобные интерфейсы для тестирования построенных программ. Недавно выяснилось, что в нем есть отдельный тул, который позволяет генерировать код на VHDL, но каких-либо вменяемых примеров соответствия нет. При том что САПР куплен легально у меня нет возможности проконсультироваться у службы поддержки.

Сейчас для сравнения алгоритмов, приведения в соответствие приходится очень много колдовать, часто возникают нюансы, которые на первый взгляд незаметно.

Вопрос такой, может кто-нибудь пользовался этим генератором? Как с соотвествием между выполнением функций?