Модели и методы верификации и диагностирования SOC HDL-кода
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Модели и методы верификации и диагностирования SOC HDL-кода
|
|
Creator |
Нгене, К. У.
Хаханов, В. И. Зайченко, С. А. Литвинова, Е. И. Скворцова, О. Б. |
|
Subject |
диагностика цифровых систем
цифровые системы на кристаллах |
|
Description |
Предлагается xor-метрика отношений объектов в векторном логическом пространстве и основанная на ней структурно-аналитическая модель тестирования цифровых систем на кристаллах. Описываются ассерционно-ориентированные модели и методы верификации и диагностирования функциональных нарушений HDL-кода, которые дают возможность существенно уменьшить время проектирования программных и аппаратных продуктов. Показывается архитектурная модель мультиматричного процессора с ограниченной системой логических команд для решения задач встроенного диагностирования.
|
|
Date |
2016-09-08T11:50:48Z
2016-09-08T11:50:48Z 2011 |
|
Type |
Article
|
|
Identifier |
Модели и методы верификации и диагностирования SOC HDL-кода / Нгене Кристофер Умерах, В. И. Хаханов, С. А. Зайченко и др. // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2011. – Вып. 154. – С. 11–32.
http://openarchive.nure.ua/handle/document/2347 |
|
Language |
ru
|
|
Publisher |
ХНУРЭ
|
|