Построение тестовых пар для неисправностей задержек путей в логических схемах с использованием операций над ROBDD-графами
Предлагается метод поиска всех тестовых пар для робастно тестируемых неисправностей задержек пути. В зарубежных источниках обычно ограничиваются построением одной или нескольких тестовых пар, которые состоят из соседних наборов и компактно представляются в виде ROBDD-графа (Reduced Ordered Binary De...
| Опубликовано в: : | Известия высших учебных заведений. Физика Т. 61, № 5. С. 169-173 |
|---|---|
| Главный автор: | |
| Другие авторы: | , |
| Формат: | Статья в журнале |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001148061 |