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