|
|
|
|
| LEADER |
03282nab a2200301 c 4500 |
| 001 |
koha001148061 |
| 005 |
20241127142637.0 |
| 007 |
cr | |
| 008 |
241120|2018 ru s c rus d |
| 035 |
|
|
|a koha001148061
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Матросова, Анжела Юрьевна
|
| 245 |
1 |
0 |
|a Построение тестовых пар для неисправностей задержек путей в логических схемах с использованием операций над ROBDD-графами
|c А. Ю. Матросова, В. В. Андреева, Е. А. Николаева
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 6 назв.
|
| 520 |
3 |
|
|a Предлагается метод поиска всех тестовых пар для робастно тестируемых неисправностей задержек пути. В зарубежных источниках обычно ограничиваются построением одной или нескольких тестовых пар, которые состоят из соседних наборов и компактно представляются в виде ROBDD-графа (Reduced Ordered Binary Decision Diagram). Получение множества всех тестовых пар дает возможность строить тестовые последовательности, обнаруживающие робастно тестируемые неисправности задержек путей в схемах с памятью без дополнительных аппаратурных затрат. Кроме того, имея множества тестовых пар, можно формировать компактные множества тестов для режима сканирования, ориентированные на снижение потребляемой мощности в процессе тестирования комбинационной составляющей схемы с памятью. Решение сводится к поиску булевой разности рассматриваемого пути. Булева разность находится путем выполнения операций над ROBDD-графами, характеризующимися полиномиальной сложностью, и представляется соответствующим ROBDD-графом.
|
| 653 |
|
|
|a последовательностные схемы
|
| 653 |
|
|
|a ROBDD- графы
|
| 653 |
|
|
|a робастно тестируемые неисправности задержек путей
|
| 655 |
|
4 |
|a статьи в журналах
|
| 700 |
1 |
|
|a Андреева, Валентина Валерьевна
|
| 700 |
1 |
|
|a Николаева, Екатерина Александровна
|
| 773 |
0 |
|
|t Известия высших учебных заведений. Физика
|d 2018
|g Т. 61, № 5. С. 169-173
|x 0021-3411
|w 0026-80960
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001148061
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 1148061
|d 1148061
|
