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.

[Anafema]

Позвольте не согласиться. 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.

Пока непонятно, чем это противоречит тому, что есть кодогенератор, как дополнительный пакет. То что можно проверять через VeriStand я уже почитала.

А что вы предлагаете мне на SystemC делать? HDL из него генерировать?

[ЮВГ]

Пока непонятно, чем это противоречит тому, что есть кодогенератор, как дополнительный пакет.

Фирма Esterel для своего SCADE не выпускает дополнительных пакетов с поддержкой VHDL, Verilog и т.п. Как и ANSYS.

[Anafema]

Фирма Esterel для своего SCADE не выпускает дополнительных пакетов с поддержкой VHDL, Verilog и т.п. Как и ANSYS.

Может я совсем сошла с ума, на сайте у самого Esterel действительно не нашла, но DASC или Synopsys. Что же на самом деле?