Структурне і функціональне діагностування 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 |
Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті
|
|