Ответ (+) («Телесистемы»: Конференция «Программируемые логические схемы и их применение»)

Разработка, производство и продажа радиоэлектронной аппаратуры

| Карта сайта | Пишите нам | В избранное

Требуется программист в Зеленограде
- обработка данных с датчиков; ColdFire; 40 тыс.
e-mail:jobsmp@pochta.ru

Телесистемы | Электроника | Конференция «Программируемые логические схемы и их применение»

Ответ (+)

Отправлено Nordic 23 декабря 2006 г. 00:00
В ответ на: Cпасибо. Вывод: писать тест-бенчи, вопрос на чем удобнее :) отправлено <font color=gray>cms</font> 22 декабря 2006 г. 18:46

Формальная верификация подразумевает проверку нетлиста на соответствие коду. Это нужно в связи с тем, что синтезатор может генерить неправильный код для некоторых конструкций.
Мы используем только Leda и это для нас достаточно. Формальную верификацию нетлиста делает наш заказчик, потому как он делает финальный синтез.

Я понимаю что многие компании использую Vera или Specman. У нас своя технология, очень похожа на вышеупомянутые - для управления тестбенчем используется скриптовый язык, что позволяет выполнять фактически любые тесты.

Составить ответ | Вернуться на конференцию

Ответы

Leda под Win где-нибудь можно найти? — cms (23.12.2006 14:14:20 213.148.18.252, пустое)
- Забудьте раз и навсегда про win, если хотите заниматься ASIC. Выбирайте между платформами Sun(sparc)/Solaris и x86(лучше AMD64)/Linux — SМ (24.12.2006 22:13:13 213.141.159.26, пустое)
- Я даже не знаю существует ли версия под Win. Мы пользуем ее под Linux. — Nordic (23.12.2006 14:45:41 85.145.84.97, пустое)