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

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

(+)

Отправлено Dr.Alex 27 августа 2007 г. 20:03
В ответ на: ну и про xilinx+формалити - вроде видел в каких-то хххgen-ах опцию генерации для формальных чекеров отправлено <font color=gray>yes</font> 27 августа 2007 г. 17:57

Времянка улучшается не то чтобы сильно, просто так совпало, что с ФСМ влазил впритык, а теперь немного не влажу.
Только какой толк говорить об улучшении/ухудшении времянки, если оно работает неправильно? :-))))
Если прожект не должен работать, можно сделать сколь угодно быстрый.. :-)))
На формальную верификацию, к сожалению, нет времени. Данный прожект очень важен практически, так что не до теории.. :-)) Надо сделать и забыть..
Помню, что какой-то именитый производитель в доке к своей корке запрещал использование синплифайского ФСМ. Щас бросился искать - не могу найти. Ну да ладно. Кстати, уже ведь пора переходить на 8.9.0.4..


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

Ответы


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

Сообщение:

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

если вы незарегистрированный на форуме пользователь, то
для успешного добавления сообщения заполните поле, как указано ниже:
введите число 387:

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

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