Публікація:
Технология тестирования и верификации системных HDL-моделей

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

Дата

2010

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

ISSN журналу

Назва тома

Видавництво

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

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

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

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

Анотація

Технология позволяет осуществлять поиск ошибок с заданной глубиной в программном HDL-коде за приемлемое для разработчика время путем введения ассерционной избыточности в критические точки программной модели, определяемые с помощью синтезированных логических функций тестопригодности. Рассмотрены инновационные технологии тестопригодного проектирования программных и аппаратных продуктов, ориентированные на эффективную разработку тестов и верификацию компонентов цифровых систем на кристаллах. Таким образом, используемые в hardware design and test критерии управляемости и наблюдаемости применены для оценки качества программного кода в целях его улучшения и эффективного диагностирования семантических ошибок.

Опис

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

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

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

Технология тестирования и верификации системных HDL-моделей / В. И. Хаханов, О. А. Гузь, И. А. Побеженко, Ngene Christopher Umerah // Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС) - 2010

DOI