Публікація:
Пример определения тестопригодности цифрового проекта

Завантаження...
Зображення мініатюри

Дата

2010

Назва журналу

ISSN журналу

Назва тома

Видавництво

Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС)

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Предлагается алгебрологическая модель для вычисления критериев тестопригодности системных HDL-моделей, ориентированная на существенное повышение качества проектируемых компонентов цифровых систем на кристаллах (yield) и уменьшение времени разработки (time-to-market). Разработанные критерии управляемости и наблюдаемости применены для оценки качества графа управления в целях его улучшения и эффективного диагностирования семантических ошибок. Практическая значимость предложенных методик и моделей заключается в рыночной привлекательности и высокой заинтересованности технологических компаний в инновационных решениях проблемы эффективного тестирования и верификации программно-аппаратных изделий.

Опис

Ключові слова

тестирование, тестопригодность, верификация, ассерция, HDL-модель

Бібліографічний опис

Пример определения тестопригодности цифрового проекта / В. И. Хаханов, Е. И. Литвинова, И. А. Побеженко, Tiecoura Yves // Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС) - 2010

DOI