Esterel, Генератор HDL Опции

[Anafema]

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

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

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

[ЮВГ]

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

По моим данным в SCADE фирмы Esterel никогда не было кодогенератора VHDL, только C и Ada.

[Anafema]

По моим данным в SCADE фирмы Esterel никогда не было кодогенератора VHDL, только C и Ada.

Встроенной функции нет, есть дополнительный пакет. Это точно.

http://www.eeherald.com/section/news/nw10000761.html вот, например. Вообще много инфрмации про их синхронный язык и как его туда обратно из HDL и обратно трансформируют.

[ЮВГ]

Встроенной функции нет, есть дополнительный пакет. Это точно.

Позвольте не согласиться. SCADE имеет возможность моделировать (обмениваться моделями) совместно с другими системами через Functional Mock-up Interface (FMI). Вы можете работать совместно с моделями Simplorer от ANSYS, Open source Modelica, проверить реальные сигналы через NI VeriStand supports FMI through the use of the FMI add-on for NI VeriStand from Dofware. Может сложиться так, что Вам придется переползти на SystemC.