Хаханов, В. И.Литвинова, Е. И.Побеженко, И. А.Tiecoura Yves2016-09-132016-09-132010Пример определения тестопригодности цифрового проекта / В. И. Хаханов, Е. И. Литвинова, И. А. Побеженко, Tiecoura Yves // Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС) - 2010http://openarchive.nure.ua/handle/document/2451Предлагается алгебрологическая модель для вычисления критериев тестопригодности системных HDL-моделей, ориентированная на существенное повышение качества проектируемых компонентов цифровых систем на кристаллах (yield) и уменьшение времени разработки (time-to-market). Разработанные критерии управляемости и наблюдаемости применены для оценки качества графа управления в целях его улучшения и эффективного диагностирования семантических ошибок. Практическая значимость предложенных методик и моделей заключается в рыночной привлекательности и высокой заинтересованности технологических компаний в инновационных решениях проблемы эффективного тестирования и верификации программно-аппаратных изделий.ruтестированиетестопригодностьверификацияассерцияHDL-модельArticle