Приклад визначення тестопригодности цифрового проекту
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Приклад визначення тестопригодности цифрового проекту
|
|
| Creator |
Хаханов, В. І.
Литвинова, Є. І. Побеженко, І. А. Yves, T. |
|
| Subject |
тестирование
тестопригодность верификация ассерция HDL-модель |
|
| Description |
Предлагается алгебрологическая модель для вычисления критериев тестопригодности системных HDL-моделей, ориентированная на существенное повышение качества проектируемых компонентов цифровых систем на кристаллах (yield) и уменьшение времени разработки (time-to-market). Разработанные критерии управляемости и наблюдаемости применены для оценки качества графа управления в целях его улучшения и эффективного диагностирования семантических ошибок. Практическая значимость предложенных методик и моделей заключается в рыночной привлекательности и высокой заинтересованности технологических компаний в инновационных решениях проблемы эффективного тестирования и верификации программно-аппаратных изделий.
|
|
| Date |
2016-09-13T09:33:35Z
2016-09-13T09:33:35Z 2010 |
|
| Type |
Article
|
|
| Identifier |
Хаханов В. І. Приклад визначення тестопригодности цифрового проекту / Хаханов В. І., Литвинова Е. І., Побеженко І. А. // Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС) - 2010
http://openarchive.nure.ua/handle/document/2451 |
|
| Language |
ru
|
|
| Publisher |
Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС)
|
|