Анотація:
Представлена кубическая технология анализа цифровых схем для генерации тестов и оценки их качества. Модели функциональных элементов представлены кубическими покрытиями. Предложена универсальная процедура вычисления выходных списков неисправностей примитивов по их кубическим покрытиям.