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

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

Ответ (+)

Отправлено Nordic 21 декабря 2006 г. 10:23
В ответ на: Тестирование, верификация проекта. Оценка надежности. отправлено <font color=gray>cms</font> 21 декабря 2006 г. 04:42

В общем список должен выглядеть так:
- Документирование всех крайних случаев
- Моделирование произвольных задержек на шинах, DMA
- Моделирования всех произвольных но разрешенных комбинаций режимов
- Всегда иметь в блоке какой-то внутренний watchdog
- Code Coverage всегда
- Проверка правил через Synosys Leda
(sensitivity list, неправильные присваивания и тому подобное..)
- Формальная верификация или netlist simulation (что более реальней)


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

Ответы


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

Сообщение:

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


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

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