Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/2347
Title: Модели и методы верификации и диагностирования SOC HDL-кода
Authors: Нгене, Кристофер Умерах
Хаханов, В. И.
Зайченко, С. А.
Литвинова, Е. И.
Скворцова, О. Б.
Keywords: диагностика цифровых систем
цифровые системы на кристаллах
Issue Date: 2011
Publisher: ХНУРЭ
Citation: Модели и методы верификации и диагностирования SOC HDL-кода / Нгене Кристофер Умерах, В. И. Хаханов, С. А. Зайченко и др. // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2011. – Вып. 154. – С. 11–32.
Abstract: Предлагается xor-метрика отношений объектов в векторном логическом пространстве и основанная на ней структурно-аналитическая модель тестирования цифровых систем на кристаллах. Описываются ассерционно-ориентированные модели и методы верификации и диагностирования функциональных нарушений HDL-кода, которые дают возможность существенно уменьшить время проектирования программных и аппаратных продуктов. Показывается архитектурная модель мультиматричного процессора с ограниченной системой логических команд для решения задач встроенного диагностирования.
URI: http://openarchive.nure.ua/handle/document/2347
Appears in Collections:Кафедра автоматизації проектування обчислювальної техніки (АПОТ)

Files in This Item:
File Description SizeFormat 
ASU_154_2011 (11-32).pdf920.78 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Admin Tools