Модель гетерогенного покрытия для эффективной функциональной верификации цифровых систем

Зайченко, С. А.; Лештаева, И. Б.; Варченко, В. Г.; Зенович, И. А.

Публікація:
Модель гетерогенного покрытия для эффективной функциональной верификации цифровых систем

dc.contributor.author	Зайченко, С. А.
dc.contributor.author	Лештаева, И. Б.
dc.contributor.author	Варченко, В. Г.
dc.contributor.author	Зенович, И. А.
dc.date.accessioned	2020-05-25T15:15:04Z
dc.date.available	2020-05-25T15:15:04Z
dc.date.issued	2013
dc.description.abstract	Рассматривается проблема разрозненности распространенных на практике метрик автоматического и функционального покрытия, применяющихся для измерения прогресса процесса функциональной верификации цифровых систем на кристаллах. Предлагается подход к управлению верификационным процессом на основе смешанных (гетерогенных) метрик покрытия, ориентированный на выявление наиболее существенных пробелов покрытия.	uk_UA
dc.identifier.citation	Модель гетерогенного покрытия для эффективной функциональной верификации цифровых систем / С. А. Зайченко, И. Б. Лештаева, В. Г. Варченко, И. А. Зенович // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2013. – Вып. 165. – С. 4–17.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/11829
dc.language.iso	ru	uk_UA
dc.publisher	ХНУРЭ	uk_UA
dc.subject	верификация цифровых систем	uk_UA
dc.title	Модель гетерогенного покрытия для эффективной функциональной верификации цифровых систем	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication