Модели и методы верификации и диагностирования SOC HDL-кода

Нгене, К. У.; Хаханов, В. И.; Зайченко, С. А.; Литвинова, Е. И.; Скворцова, О. Б.

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

dc.contributor.author	Нгене, К. У.
dc.contributor.author	Хаханов, В. И.
dc.contributor.author	Зайченко, С. А.
dc.contributor.author	Литвинова, Е. И.
dc.contributor.author	Скворцова, О. Б.
dc.date.accessioned	2016-09-08T11:50:48Z
dc.date.available	2016-09-08T11:50:48Z
dc.date.issued	2011
dc.description.abstract	Предлагается xor-метрика отношений объектов в векторном логическом пространстве и основанная на ней структурно-аналитическая модель тестирования цифровых систем на кристаллах. Описываются ассерционно-ориентированные модели и методы верификации и диагностирования функциональных нарушений HDL-кода, которые дают возможность существенно уменьшить время проектирования программных и аппаратных продуктов. Показывается архитектурная модель мультиматричного процессора с ограниченной системой логических команд для решения задач встроенного диагностирования.	uk_UA
dc.identifier.citation	Модели и методы верификации и диагностирования SOC HDL-кода / Нгене Кристофер Умерах, В. И. Хаханов, С. А. Зайченко и др. // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2011. – Вып. 154. – С. 11–32.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/2347
dc.language.iso	ru	uk_UA
dc.publisher	ХНУРЭ	uk_UA
dc.subject	диагностика цифровых систем	uk_UA
dc.subject	цифровые системы на кристаллах	uk_UA
dc.title	Модели и методы верификации и диагностирования SOC HDL-кода	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication