Публікація:
Структурне і функціональне діагностування HDL-моделей цифрових пристроїв в САПР РЕА

Завантаження...
Зображення мініатюри

Дата

2013

Назва журналу

ISSN журналу

Назва тома

Видавництво

Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Розглянуто загальну структуру САПР РЕА на етапі функціональної верифікації та пошуку помилок проектуванні в моделях цифрових пристроїв на мовах опису апаратури. Розглянуто такі методи пошуку помилок проектування : функціональний метод на основі таблиць функцій несправностей та структурний метод на основі графової моделі для мовних описів стилю «потік даних». Приведені оцінки ефективності вказаних методів.

Опис

Ключові слова

HDL-модель, верифікація, методи пошуку помилок проектування, діагностичний експеримент

Бібліографічний опис

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

DOI