Построение тестовых пар для неисправностей задержек путей в логических схемах с использованием операций над ROBDD-графами
Предлагается метод поиска всех тестовых пар для робастно тестируемых неисправностей задержек пути. В зарубежных источниках обычно ограничиваются построением одной или нескольких тестовых пар, которые состоят из соседних наборов и компактно представляются в виде ROBDD-графа (Reduced Ordered Binary...
| Published in: | Известия высших учебных заведений. Физика Т. 61, № 5. С. 169-173 |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001148061 Перейти в каталог НБ ТГУ |
| Summary: | Предлагается метод поиска всех тестовых пар для робастно тестируемых неисправностей задержек пути. В зарубежных источниках обычно ограничиваются построением одной или нескольких тестовых пар, которые состоят из соседних наборов и компактно представляются в виде ROBDD-графа (Reduced Ordered Binary Decision Diagram). Получение множества всех тестовых пар дает возможность строить тестовые последовательности, обнаруживающие робастно тестируемые неисправности задержек путей в схемах с памятью без дополнительных аппаратурных затрат. Кроме того, имея множества тестовых пар, можно формировать компактные множества тестов для режима сканирования, ориентированные на снижение потребляемой мощности в процессе тестирования комбинационной составляющей схемы с памятью. Решение сводится к поиску булевой разности рассматриваемого пути. Булева разность находится путем выполнения операций над ROBDD-графами, характеризующимися полиномиальной сложностью, и представляется соответствующим ROBDD-графом. |
|---|---|
| Bibliography: | Библиогр.: 6 назв. |
| ISSN: | 0021-3411 |