Структурне і функціональне діагностування HDL-моделей цифрових пристроїв в САПР РЕА
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Creator |
Шкіль, А. С.
Сиревич, Е. Е. Альмадхоун, С. Фастовец, Г. П. |
|
| Date |
2016-07-07T00:30:00Z
2016-07-07T00:30:00Z 2013-03-18 |
|
| Identifier |
Шкіль А. С. Структурне і функціональне діагностування HDL-моделей цифрових пристроїв в САПР РЕА / Шкіль А. С., Сиревич Е. Е., Альмадхоун С., Фастовец Г. П. // Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті - 2013
1681-4886 http://hdl.handle.net/123456789/3236 |
|
| Description |
Розглянуто загальну структуру САПР РЕА на етапі функціональної верифікації та пошуку помилок проектуванні в моделях цифрових пристроїв на мовах опису апаратури. Розглянуто такі методи пошуку помилок проектування : функціональний метод на основі таблиць функцій несправностей та структурний метод на основі графової моделі для мовних описів стилю «потік даних». Приведені оцінки ефективності вказаних методів. Ключові слова : HDL-модель, верифікація, методи пошуку помилок проектування, діагностичний експеримент
|
|
| Language |
ru
|
|
| Publisher |
Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті
|
|
| Relation |
УДК;681. 326
|
|
| Subject |
HDL-модель
верифікація методи пошуку помилок проектування діагностичний експеримент |
|
| Title |
Структурне і функціональне діагностування HDL-моделей цифрових пристроїв в САПР РЕА
|
|
| Type |
Article
|
|