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

Files in This Item:
File Description SizeFormat 
Хаханов_РЕКС_2010_6(47)_1.pdf1.15 MBAdobe PDFView/Open


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