Зайченко, С. А.Лештаева, И. Б.Варченко, В. Г.Зенович, И. А.2020-05-252020-05-252013Модель гетерогенного покрытия для эффективной функциональной верификации цифровых систем / С. А. Зайченко, И. Б. Лештаева, В. Г. Варченко, И. А. Зенович // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2013. – Вып. 165. – С. 4–17.http://openarchive.nure.ua/handle/document/11829Рассматривается проблема разрозненности распространенных на практике метрик автоматического и функционального покрытия, применяющихся для измерения прогресса процесса функциональной верификации цифровых систем на кристаллах. Предлагается подход к управлению верификационным процессом на основе смешанных (гетерогенных) метрик покрытия, ориентированный на выявление наиболее существенных пробелов покрытия.ruверификация цифровых системArticle