Электронная библиотека (репозиторий) Томского государственного университета

Add to Quick Collection   All 8 Results

Showing items 1 - 8 of 8.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Булева разность и обнаружение неисправностей задержек пути
Authors: Матросова, Анжела Юрьевна | Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2024. № 66. С. 108-119
Type: статьи в журналах
Date: 2024
Description: Исследуется метод получения тестовых пар соседних булевых векторов, порождаемых булевой разностью исследуемого пути. Использование таких пар позволяет снизить потребляемую мощность при тестировании и ... More
Add   Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул
Authors: Матросова, Анжела Юрьевна | Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 73-74
Type: статьи в сборниках
Date: 2022
Add   Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей
Authors: Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.. Томск, 2020. С. 194-200
Type: статьи в сборниках
Date: 2020
Add   Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием КНФ логической схемы
Authors: Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 136
Type: статьи в сборниках
Date: 2020
Add   Построение последовательности, доставляющей тестовую пару для робастно тестируемой неисправности задержки пути
Authors: Матросова, Анжела Юрьевна | Чернышов, Семен Владимирович
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 137
Type: статьи в сборниках
Date: 2020
Add   Использование ROBDD-графов для тестирования задержек логических схем
Authors: Андреева, Валентина Валерьевна | Тычинский, Вячеслав Зиновьевич | Гошин, Геннадий Георгиевич | Матросова, Анжела Юрьевна
Source: Известия высших учебных заведений. Физика. 2019. Т. 62, № 5. С. 86-94
Type: статьи в журналах
Date: 2019
Description: С увеличением быстродействия интегральных схем и ростом уровня их интеграции возможно возникновение непредусмотренных емкостей, индуктивностей и т.д., приводящих к снижению расчетного быстродействия с ... More
Add   Построение тестовых пар для неисправностей задержек путей в логических схемах с использованием операций над ROBDD-графами
Authors: Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна | Николаева, Екатерина Александровна
Source: Известия высших учебных заведений. Физика. 2018. Т. 61, № 5. С. 169-173
Type: статьи в журналах
Date: 2018
Description: Предлагается метод поиска всех тестовых пар для робастно тестируемых неисправностей задержек пути. В зарубежных источниках обычно ограничиваются построением одной или нескольких тестовых пар, которые ... More
Add   Обеспечение надежности физических систем: синтез логических схем, в которых задержка каждого пути обнаружима, с одновременным компактным представлением тестовых пар
Authors: Матросова, Анжела Юрьевна | Митрофанов, Евгений Владимирович | Ахунова, Дина Иманбековна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 9. С. 105-114
Type: статьи в журналах
Date: 2015
Description: Одним из важных свойств физических систем является надежность их функционирования, которая достигается, в том числе, надежностью компонент, в частности надежностью логических управляющих компонент. Ра ... More
  • «
  • ←
  • 1
  • →
  • »
^