ПОСТРОЕНИЕ ТЕСТОВЫХ ПАР ДЛЯ НЕИСПРАВНОСТЕЙ ЗАДЕРЖЕК ПУТЕЙ В ЛОГИЧЕСКИХ СХЕМАХ С ИСПОЛЬЗОВАНИЕМ ОПЕРАЦИЙ НАД ROBDD-ГРАФАМИ

摘要

Предлагается метод поиска всех тестовых пар для робастно тестируемых неисправностей задержек пути. В зарубежных источниках обычно ограничиваются построением одной или нескольких тестовых пар, которые состоят из соседних наборов и компактно представляются в виде ROBDD-rpaфa (Reduced Ordered Binary Decision Diagram). Получение множества всех тестовых пар дает возможность строить тестовые последовательности, обнаруживающие робастно тестируемые неисправности задержек путей в схемах с памятью без дополнительных аппаратурных затрат. Кроме того, имея множества тестовых пар, можно формировать компактные множества тестов для режима сканирования, ориентированные на снижение потребляемой мощности в процессе тестирования комбинационной составляющей схемы с памятью. Решение сводится к поиску булевой разности рассматриваемого пути. Булева разность находится путем выполнения операций над ROBDD-графами, характеризующимися полиномиальной сложностью, и представляется соответствующим ROBDD-графом.