Булева разность и обнаружение неисправностей задержек пути
Исследуется метод получения тестовых пар соседних булевых векторов, порождаемых булевой разностью исследуемого пути. Использование таких пар позволяет снизить потребляемую мощность при тестировании и дает большие возможности однозначно определить неисправный путь в схеме по сравнению с традиционными...
| Published in: | Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 66. С. 108-119 |
|---|---|
| Main Author: | Матросова, Анжела Юрьевна |
| Other Authors: | Тычинский, Вячеслав Зиновьевич, Андреева, Валентина Валерьевна |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001139693 |
Similar Items
-
Обнаружение ложных путей в комбинационной схеме
by: Матросова, Анжела Юрьевна - Использование ROBDD-графов для тестирования задержек логических схем
-
Построение тестовых пар для неисправностей задержек путей в логических схемах с использованием операций над ROBDD-графами
by: Матросова, Анжела Юрьевна -
Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул
by: Матросова, Анжела Юрьевна -
Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей
by: Тычинский, Вячеслав Зиновьевич
