Інфраструктура убудованого діагностування HDL-моделей цифрових систем на кристалах

Нгене, К. У.

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

dc.contributor.author	Нгене, К. У.
dc.date.accessioned	2016-06-23T13:01:26Z
dc.date.available	2016-06-23T13:01:26Z
dc.date.issued	2011
dc.description.abstract	Мета дисертаційного дослідження – зменшення часу верифікації та підвищення якості ESL-моделей цифрових виробів на кристалах шляхом введення програмно-апаратної надлишковості в технологію проектування, що забезпечує задану глибину діагностування HDL-коду. Основні результати: нова аналітична модель процесів тестування та верифікації, яка характеризується використанням бета-метрики і дає можливість сформулювати всі існуючі задачі технічної діагностики програмно-апаратних компонентів цифрових систем на кристалах; нова структурна модель HDL-коду у формі транзакційного графа, що дає можливість здійснювати пошук семантичних помилок в процесі моделювання коду; група модифікованих методів діагностування функціональних порушень HDL-коду на основі механізму асерцій, яка дає можливість істотно зменшити час аналізу результатів моделювання при пошуку дефектів; удосконалена архітектура логічного асоціативного мультиматричного процесора з обмеженою системою команд, що відрізняється орієнтацією на вбудоване сервісне обслуговування функціональних блоків цифрових систем на кристалах. Запропоновані моделі та методи тестування, а також архітектура спеціалізованого мультиматричного процесора доведені до практичної реалізації у вигляді програмно-апаратних компонентів інфраструктури, інтегрованої з системою Riviera (Aldec), що надало можливість створити ефективну інфраструктуру верифікації та діагностування HDL-коду цифрових систем на кристалах. The goal is to reduce HDL-code verification time and improve the quality of ESL-models for digital systems-on-chips by using software-hardware redundancy in the design technology, which provides the desired diagnostic resolution of the HDL-code. Main results: a new analytical process model for testing and verification, which is characterized by the use of beta-metric that makes it possible to formulate all existing problems of technical diagnostics of software and hardware components of digital systems-on-chips; a new structural model of HDL-code in the form of transaction graph, which makes it possible to search for functional violations during code simulation; based on the assertion engine a group of improved methods for diagnosing functional violations in HDL-code was developed, which significantly reduce the analysis time of simulation results when searching for faults; improved architecture of logic associative multi-matrix processor with limited instruction set, which is focused on embedded Infrastructure IP for functional blocks of digital systems–on-chips. The proposed models and methods for testing, as well as the dedicated multi-matrix processor were implemented in the form of hardware-software infrastructure components and integrated into Riviera (Aldec) simulation environment. This allows for the creation of an efficient infrastructure for verification and diagnosis of HDL-code of digital systems-on-chips.	uk_UA
dc.identifier.citation	Нгене К. У. Інфраструктура убудованого діагностування HDL- моделей цифрових систем на кристалах : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / К. У. Нгене ; МОНМС України, Харк. нац. ун-т радіоелектроніки. – Х., 2011. – 20 с.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/1171
dc.language.iso	uk	uk_UA
dc.subject	моделювання	uk_UA
dc.subject	верифікація	uk_UA
dc.subject	діагностування	uk_UA
dc.subject	тестування	uk_UA
dc.subject	цифрові системи на кристалах	uk_UA
dc.subject	асерція	uk_UA
dc.subject	мультиматричний процесор	uk_UA
dc.subject	simulation	uk_UA
dc.subject	verification	uk_UA
dc.subject	diagnosis	uk_UA
dc.subject	testing	uk_UA
dc.subject	system-on-chip	uk_UA
dc.subject	assertion	uk_UA
dc.subject	multi-matrix processor	uk_UA
dc.title	Інфраструктура убудованого діагностування HDL-моделей цифрових систем на кристалах	uk_UA
dc.type	Other	uk_UA
dspace.entity.type	Publication