Публікація: Модель гетерогенного покрытия для эффективной функциональной верификации цифровых систем
Завантаження...
Дата
2013
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
Рассматривается проблема разрозненности распространенных на практике метрик
автоматического и функционального покрытия, применяющихся для измерения прогресса процесса функциональной верификации цифровых систем на кристаллах. Предлагается подход к управлению верификационным процессом на основе смешанных (гетерогенных) метрик покрытия, ориентированный на выявление наиболее существенных пробелов покрытия.
Опис
Ключові слова
верификация цифровых систем
Бібліографічний опис
Модель гетерогенного покрытия для эффективной функциональной верификации цифровых систем / С. А. Зайченко, И. Б. Лештаева, В. Г. Варченко, И. А. Зенович // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2013. – Вып. 165. – С. 4–17.