верифікація, верификация ; графові моделі, графовые модели ; діагностування, диагностирование ; мови опису апаратури, МОА, языки описания аппаратуры, ЯОА ; цифрові пристрої, ЦП, цифровые устройства, ЦУ ; HDL, мова, язык

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

• УДК // Системи автоматичної діагностики