Анализ и устранение критических состязаний сигналов при синтезе тестовых последовательностей

Рассматриваются машинно-ориентированные методы анализа и устранения состязаний на основе двоичных покрытий. Анализ проводится методом кубического моделирования наборов тест. Критические состязания в наборах теста устраняются по методу простых кубов. Состязания сигналов в схеме при переходе от набора к набору, которые являются следствием статического риска сбоя в комбинационной части схемы, устраняются путем синтеза промежуточных наборов по методу границ по пересечению.