Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/2494
Title: Технологія тестування та верифікації системних HDL-моделей
Authors: Хаханов, В. І.
Гузь, О. А.
Побеженко, І. А.
Ngene, Christopher Umerah
Keywords: тестирование
тестопригодность
верификация
ассерция
HDL-модель
Issue Date: 2010
Publisher: Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС)
Citation: Хаханов В. І. Технологія тестування та верифікації системних HDL-моделей / Хаханов В. І., Гузь О. А., Побеженко І. А., Ngene Cristopher Umerah // Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС) - 2010
Abstract: Технология позволяет осуществлять поиск ошибок с заданной глубиной в программном HDL-коде за приемлемое для разработчика время путем введения ассерционной избыточности в критические точки программной модели, определяемые с помощью синтезированных логических функций тестопригодности. Рассмотрены инновационные технологии тестопригодного проектирования программных и аппаратных продуктов, ориентированные на эффективную разработку тестов и верификацию компонентов цифровых систем на кристаллах. Таким образом, используемые в hardware design and test критерии управляемости и наблюдаемости применены для оценки качества программного кода в целях его улучшения и эффективного диагностирования семантических ошибок.
URI: http://openarchive.nure.ua/handle/document/2494
Appears in Collections:Кафедра автоматизації проектування обчислювальної техніки (АПОТ)

Files in This Item:
File Description SizeFormat 
Хаханов_РЕКС_2010_7(48)_2.pdf1.18 MBAdobe PDFView/Open


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