Структурне і функціональне діагностування HDL-моделей цифрових пристроїв в САПР РЕА
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Структурне і функціональне діагностування HDL-моделей цифрових пристроїв в САПР РЕА
|
|
| Creator |
Шкіль, О. С.
Сиревич, Е. Е. Альмадхоун, С. Фастовец, Г. П. |
|
| Subject |
HDL-модель
верифікація методи пошуку помилок проектування діагностичний експеримент |
|
| Description |
Розглянуто загальну структуру САПР РЕА на етапі функціональної верифікації та пошуку помилок проектуванні в моделях цифрових пристроїв на мовах опису апаратури. Розглянуто такі методи пошуку помилок проектування : функціональний метод на основі таблиць функцій несправностей та структурний метод на основі графової моделі для мовних описів стилю «потік даних». Приведені оцінки ефективності вказаних методів.
|
|
| Date |
2016-09-13T12:45:28Z
2016-09-13T12:45:28Z 2013 |
|
| Type |
Article
|
|
| Identifier |
Шкіль А. С. Структурне і функціональне діагностування HDL-моделей цифрових пристроїв в САПР РЕА / Шкіль А. С., Сиревич Е. Е., Альмадхоун С., Фастовец Г. П. // Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті - 2013
http://openarchive.nure.ua/handle/document/2480 |
|
| Language |
ru
|
|
| Publisher |
Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті
|
|