Публікація: Пример определения тестопригодности цифрового проекта
Завантаження...
Дата
2010
Назва журналу
ISSN журналу
Назва тома
Видавництво
Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС)
Анотація
Предлагается алгебрологическая модель для вычисления критериев тестопригодности системных HDL-моделей, ориентированная на существенное повышение качества проектируемых компонентов цифровых систем на кристаллах (yield) и уменьшение времени разработки (time-to-market). Разработанные критерии управляемости и наблюдаемости применены для оценки качества графа управления в целях его улучшения и эффективного диагностирования семантических ошибок. Практическая значимость предложенных методик и моделей заключается в рыночной привлекательности и высокой заинтересованности технологических компаний в инновационных решениях проблемы эффективного тестирования и верификации программно-аппаратных изделий.
Опис
Ключові слова
тестопригодность, верификация, ассерция, HDL-модель
Бібліографічний опис
Пример определения тестопригодности цифрового проекта / В. И. Хаханов, Е. И. Литвинова, И. А. Побеженко, Tiecoura Yves // Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС) - 2010.