Построение тестовых пар для неисправностей задержек путей в логических схемах с использованием операций над ROBDD-графами
Предлагается метод поиска всех тестовых пар для робастно тестируемых неисправностей задержек пути. В зарубежных источниках обычно ограничиваются построением одной или нескольких тестовых пар, которые состоят из соседних наборов и компактно представляются в виде ROBDD-графа (Reduced Ordered Binary De...
| 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 |