Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/2480
Title: Структурне і функціональне діагностування HDL-моделей цифрових пристроїв в САПР РЕА
Authors: Шкіль, А. С.
Сиревич, Е. Е.
Альмадхоун, С.
Фастовец, Г. П.
Keywords: HDL-модель
верифікація
методи пошуку помилок проектування
діагностичний експеримент
Issue Date: 2013
Publisher: Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті
Citation: Шкіль А. С. Структурне і функціональне діагностування HDL-моделей цифрових пристроїв в САПР РЕА / Шкіль А. С., Сиревич Е. Е., Альмадхоун С., Фастовец Г. П. // Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті - 2013
Abstract: Розглянуто загальну структуру САПР РЕА на етапі функціональної верифікації та пошуку помилок проектуванні в моделях цифрових пристроїв на мовах опису апаратури. Розглянуто такі методи пошуку помилок проектування : функціональний метод на основі таблиць функцій несправностей та структурний метод на основі графової моделі для мовних описів стилю «потік даних». Приведені оцінки ефективності вказаних методів.
URI: http://openarchive.nure.ua/handle/document/2480
Appears in Collections:Кафедра автоматизації проектування обчислювальної техніки (АПОТ)

Files in This Item:
File Description SizeFormat 
Шкіль_ИКС_ЗТ_2013_2_2.pdf338.59 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.