Публікація: Структурне і функціональне діагностування HDL-моделей цифрових пристроїв в САПР РЕА
Завантаження...
Дата
2013
Назва журналу
ISSN журналу
Назва тома
Видавництво
Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті
Анотація
Розглянуто загальну структуру САПР РЕА на етапі функціональної верифікації та пошуку помилок проектуванні в моделях цифрових пристроїв на мовах опису апаратури. Розглянуто такі методи пошуку помилок проектування : функціональний метод на основі таблиць функцій несправностей та структурний метод на основі графової моделі для мовних описів стилю «потік даних». Приведені оцінки ефективності вказаних методів.
Опис
Ключові слова
HDL-модель, верифікація, методи пошуку помилок проектування, діагностичний експеримент
Бібліографічний опис
Шкіль А. С. Структурне і функціональне діагностування HDL-моделей цифрових пристроїв в САПР РЕА / Шкіль А. С., Сиревич Е. Е., Альмадхоун С., Фастовец Г. П. // Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті - 2013