моделювання, моделирование, modeling, simulation ; несправності, неисправности ; цифрові системи, цифровые системы, digital system

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

• УДК // Автомати
• УДК // Цифрові (або переважно цифрові) системи, машини, обладнання