проектування автоматизоване, проектирование автоматизированное ; модель цифрова, модель цифровая ; системи автоматизаціі, системы автоматизации ; модель графова, модель графовая ; автореферат (текст) ; верифікація, верификация ; пошук помилки, поиск ошибки ; Техніка, с.г., медицина

У дисертаційній роботі уперше запропоновано метод зворотного простежування для графової моделі HDL-коду, що дозволяє значно підвищити глибину пошуку помилок проектування в умовах неповної специфікації на пристрій, який проектується; удосконалено графову модель HDL-коду та моделі помилок проектування, що дозволяє розширити клас помилок проектування, які виявляються; модифіковано структурний метод пошуку помилок проектування на основі гриф-моделей із використанням матриць досяжності і векторів експериментальних перевірок, що дозволяє зменшити область підозрюваних помилок проектування і скоротити час пошуку помилок проектування в HDL-моделях; набув подальшого розвитку метод пошуку помилок проектування на основі словників несправностей із використанням таблиць функцій несправностей і шляхом модифікації середовища верифікації HDL-моделей TestBench, що дозволяє зменшити довжину діагностичного експерименту у процесі пошуку помилок проектування у неструктурованому HDL-коді; набув подальшого розвитку метод пошуку помилок проектування в HDL-моделях кінцевих автоматів, специфікація на які задана у вигляді грифа переходів автомата, який дозволяє локалізувати помилки проектування до конкретних умовних операторів в HDL-коді.

• ББК науковий // Автоматизовані системи проектування