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