Публікація: Методи пошуку помилок проектування в моделях цифрових пристроїв на мовах опису апаратури
Завантаження...
Дата
2013
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
Метою роботи є розробка моделей і методів пошуку помилок проектування в описах цифрових пристроїв, поданих мовами опису апаратури, для суттєвого зменшення витрат при автоматизованому проектуванні. У дисертаційній роботі уперше запропоновано метод зворотного простежування для графової моделі HDL- коду, що дозволяє значно підвищити глибину пошуку помилок проектування в умовах неповної специфікації на пристрій, який проектується; удосконалено графову модель HDL-коду та моделі помилок проектування, що дозволяє розширити клас помилок проектування, які виявляються; модифіковано структурний метод пошуку помилок проектування на основі граф-моделей із використанням матриць досяжності і векторів експериментальних перевірок, що дозволяє зменшити область підозрюваних помилок проектування і скоротити час пошуку помилок проектування в HDL-моделях; набув подальшого розвитку метод пошуку помилок проектування на основі словників несправностей із використанням таблиць функцій несправностей і шляхом модифікації середовища верифікації HDL-моделей TestBench, що дозволяє зменшити довжину діагностичного експерименту у процесі пошуку помилок проектування у неструктурованому HDL-коді; набув подальшого розвитку метод пошуку помилок проектування в HDL-моделях кінцевих автоматів, специфікація на які задана у вигляді графа переходів автомата, який дозволяє локалізувати помилки проектування до конкретних умовних операторів в HDL-коді.
Thesis for a candidate of technical science degree in specialty 05.13.12 – computer aided design works systems. – Kharkiv National University of Radioelectronics Ministry of education and science of Ukraine, Kharkiv, 2013. The purpose of the work is to develop models and methods of design error search in HDL-models of digital devices for significant reduction of expenses at computer-aided design. In the thesis a method of backtracing for a graph model of an HDL-code was introduced that made it possible to significantly raise design errors search depth at an incomplete specification of a device to be designed; a graph model of an HDL-code and the design error model were improved that made it possible to extend the detectable design errors class; a structural method of design errors search based on graph-models using reachability matrix and experimental validation vector was modified that made it possible to concise precautionary design errors area and reduce time for design errors search in HDL-models; a design errors search method based on fault dictionaries using fault function tables and modified verification environment for HDL-models (TestBench) got further development that made it possible to diminish diagnostic experiment length at design errors search in HDL-code; a method for design errors search in HDL-models of finite state machines which are set as transition graphs got further development that made it possible to locate design errors up to certain conditional operators in HDL-code.
Опис
Ключові слова
мови опису апаратури, верифікація, графова модель, hardware description languages, verification, graph-model
Бібліографічний опис
Альмадхоун С. М. Методи пошуку помилок проектування в моделях цифрових пристроїв на мовах опису апаратури : автореф. дис. ... канд. техн. наук : 05.13.12 "Системи автоматизації проектувальних робіт" / С. М. Альмадхоун ; МОН України, Харків. нац. ун-т радіоелектроніки. – Харків : ХНУРЕ, 2013. – 20 с.