Булева разность и обнаружение неисправностей задержек пути
Исследуется метод получения тестовых пар соседних булевых векторов, порождаемых булевой разностью исследуемого пути. Использование таких пар позволяет снизить потребляемую мощность при тестировании и дает большие возможности однозначно определить неисправный путь в схеме по сравнению с традиционными...
| Опубликовано в: : | Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 66. С. 108-119 |
|---|---|
| Главный автор: | Матросова, Анжела Юрьевна |
| Другие авторы: | Тычинский, Вячеслав Зиновьевич, Андреева, Валентина Валерьевна |
| Формат: | Статья в журнале |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001139693 |
Похожие документы
-
Обнаружение ложных путей в комбинационной схеме
по: Матросова, Анжела Юрьевна - Использование ROBDD-графов для тестирования задержек логических схем
-
Построение тестовых пар для неисправностей задержек путей в логических схемах с использованием операций над ROBDD-графами
по: Матросова, Анжела Юрьевна -
Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул
по: Матросова, Анжела Юрьевна -
Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей
по: Тычинский, Вячеслав Зиновьевич
