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

Завантаження...
Зображення мініатюри

Дата

2011

Назва журналу

ISSN журналу

Назва тома

Видавництво

ХНУРЭ

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Предлагается xor-метрика отношений объектов в векторном логическом пространстве и основанная на ней структурно-аналитическая модель тестирования цифровых систем на кристаллах. Описываются ассерционно-ориентированные модели и методы верификации и диагностирования функциональных нарушений HDL-кода, которые дают возможность существенно уменьшить время проектирования программных и аппаратных продуктов. Показывается архитектурная модель мультиматричного процессора с ограниченной системой логических команд для решения задач встроенного диагностирования.

Опис

Ключові слова

диагностика цифровых систем, цифровые системы на кристаллах

Бібліографічний опис

Модели и методы верификации и диагностирования SOC HDL-кода / Нгене Кристофер Умерах, В. И. Хаханов, С. А. Зайченко и др. // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2011. – Вып. 154. – С. 11–32.

DOI