Предлагается быстродействующий дедуктивно-параллельный метод обратного моделирования неисправностей, использующий процедуру суперпозиции решений, ориентированный на обработку цифровых проектов большой размерности вентильного и регистрового уровней описания. Представляются структуры данных и алгоритмы для реализации метода в составе автоматической системы генерации тестов.

алгоритми, алгоритмы, моделювання, моделирование, цифрові системи передачі даних, цифровые системы передачи данных, дефекти, дефекты