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

Шкіль, О. С.; Сиревич, Е. Е.; Альмадхоун, С.; Фастовец, Г. П.

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

dc.contributor.author	Шкіль, О. С.
dc.contributor.author	Сиревич, Е. Е.
dc.contributor.author	Альмадхоун, С.
dc.contributor.author	Фастовец, Г. П.
dc.date.accessioned	2016-09-13T12:45:28Z
dc.date.available	2016-09-13T12:45:28Z
dc.date.issued	2013
dc.description.abstract	Розглянуто загальну структуру САПР РЕА на етапі функціональної верифікації та пошуку помилок проектуванні в моделях цифрових пристроїв на мовах опису апаратури. Розглянуто такі методи пошуку помилок проектування : функціональний метод на основі таблиць функцій несправностей та структурний метод на основі графової моделі для мовних описів стилю «потік даних». Приведені оцінки ефективності вказаних методів.	uk_UA
dc.identifier.citation	Шкіль А. С. Структурне і функціональне діагностування HDL-моделей цифрових пристроїв в САПР РЕА / Шкіль А. С., Сиревич Е. Е., Альмадхоун С., Фастовец Г. П. // Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті - 2013	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/2480
dc.language.iso	ru	uk_UA
dc.publisher	Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті	uk_UA
dc.subject	HDL-модель	uk_UA
dc.subject	верифікація	uk_UA
dc.subject	методи пошуку помилок проектування	uk_UA
dc.subject	діагностичний експеримент	uk_UA
dc.title	Структурне і функціональне діагностування HDL-моделей цифрових пристроїв в САПР РЕА	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication