Цитата(Anafema @ May 15 2015, 14:26)
Здравствуйте! Я занимаюсь разработкой HDL-описаний для электроники по всяким разным ИСО и МЭКам. При этом для разработки стоящих в паралель процессоров, которые выполняют аналогичные алгоритмы, используется САПР ESTEREL. В нем можно строить довольно удобные интерфейсы для тестирования построенных программ. Недавно выяснилось, что в нем есть отдельный тул, который позволяет генерировать код на VHDL, но каких-либо вменяемых примеров соответствия нет. При том что САПР куплен легально у меня нет возможности проконсультироваться у службы поддержки.
Сейчас для сравнения алгоритмов, приведения в соответствие приходится очень много колдовать, часто возникают нюансы, которые на первый взгляд незаметно.
Вопрос такой, может кто-нибудь пользовался этим генератором? Как с соотвествием между выполнением функций?
По средствам ESTEREL не подскажу, судя по всему он уже стар.
А относительно автоматизации тестирования - вместо стандартных тестбенчей использовать Python Cocotb (http://cocotb.readthedocs.org/en/latest/introduction.html), или посмотреть аналогичное для других ЯП - попробовать дотянуться до ESTEREL - сравнивать входные данные и результаты, или дергать API САПРА.
Для Python пример взаимодействия с GNU ping -
http://cocotb.readthedocs.org/en/latest/ping_tun_tap.htmlРаботать можно с чем угодно, продумав его взаимодействие с Python кодом.
Сам сейчас работаю подобным образом.
Ну или смотреть в сторону System C / High-level synthesis, но проблем там можно поиметь изрядно, если изначально C не спроектирован с планами под это, часто проще верификацию автоматизировать и нормально работать в HDL.
Esterel, Генератор HDL
May 15 2015, 11:26
