Анализ диагностических тестов для комбинационных цифровых схем методом обратного прослеживания неисправностей

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