Телесистемы
 Разработка, производство и продажа радиоэлектронной аппаратуры
На главную   | Карта сайта | Пишите нам | В избранное
Требуется программист в Зеленограде
- обработка данных с датчиков; ColdFire; 40 тыс.
e-mail:jobsmp@pochta.ru

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

Cпасибо. Вывод: писать тест-бенчи, вопрос на чем удобнее :)

Отправлено cms 22 декабря 2006 г. 18:46
В ответ на: Ответ (+) отправлено <font color=gray>Nordic</font> 21 декабря 2006 г. 10:23

отдельное спасибо за наводку на чекер Synopsys Leda.

Разбираюсь сейчас со списком инструментария на

http://www.asic-world.com/specman/tools.html

кстати, что подразумеваете под Формальной верификацией?

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

Ответы


Отправка ответа
Имя*: 
Пароль: 
E-mail: 
Тема*:

Сообщение:

Ссылка на URL: 
URL изображения: 


Перейти к списку ответов | Конференция | Раздел "Электроника" | Главная страница | Карта сайта

Rambler's Top100 Рейтинг@Mail.ru
 
Web telesys.ru