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

Add to Quick Collection   All 35 Results

Showing items 1 - 15 of 35.
Sort:
 Add All Items to Quick Collection
Add   Оценка искажения поведения логической схемы в присутствии неисправности
Authors: Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна
Source: Материалы X-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-29 мая 2023 г.. Томск, 2023. С. 59-69
Type: статьи в сборниках
Date: 2023
Add   Алгоритм построения ROBDD-графа, представляющего множество всех достижимых реакций комбинационной логической схемы
Authors: Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 72-73
Type: статьи в сборниках
Date: 2022
Add   Графовые представления множеств всех достижимых реакций комбинационной схемы
Authors: Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2022. № 61. С. 128-138
Type: статьи в журналах
Date: 2022
Description: Рассматривается задача получения множества всех достижимых реакций комбинационной логической схемы. Предлагается алгоритм построения ROBDD-графа, представляющего все достижимые реакции схемы. Получаем ... More
Add   Повышение быстродействия логических схем за счет выявления неисправностей задержек путей с последующим их маскированием и определения ложных путей (на основе использования операций над ROBDD-графами) : диссертация на соискание ученой степени кандидата технических наук : 05.13.01.
Authors: Чернышов, Семен Владимирович | Матросова, Анжела Юрьевна (научный руководитель)
Type: диссертации
Date: 2022
Add   Построение множества всех достижимых реакций комбинационных схем
Authors: Провкин, Виктор Алексеевич
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 99-108
Type: статьи в сборниках
Date: 2022
Add   Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул
Authors: Матросова, Анжела Юрьевна | Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 73-74
Type: статьи в сборниках
Date: 2022
Add   Three-value simulation of combinational and sequential circuits and its applications
Authors: Golubeva, Olga
Source: 2020 Moscow workshop on electronic and networking technologies (MWENT 2020), Moscow, Russia, 11-13 March 2020. [S. l.], 2020. P. 81-87
Type: статьи в сборниках
Date: 2020
Description: Tasks of exact three-value simulation of combinational and sequential circuits, verification of circuits, construction of transition graph of a sequential circuit and transition sequences based on it ... More
Add   Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых PDFs с использованием операций над ROBDD-графами
Authors: Матросова, Анжела Юрьевна | Чернышов, Семен Владимирович
Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.. Томск, 2020. С. 169-178
Type: статьи в сборниках
Date: 2020
Add   Использование ROBDD-графов для тестирования задержек логических схем
Authors: Андреева, Валентина Валерьевна | Тычинский, Вячеслав Зиновьевич | Гошин, Геннадий Георгиевич | Матросова, Анжела Юрьевна
Source: Известия высших учебных заведений. Физика. 2019. Т. 62, № 5. С. 86-94
Type: статьи в журналах
Date: 2019
Description: С увеличением быстродействия интегральных схем и ростом уровня их интеграции возможно возникновение непредусмотренных емкостей, индуктивностей и т.д., приводящих к снижению расчетного быстродействия с ... More
Add   О свойствах ROBDD-графов, представляющих тестовые пары для робастно тестируемых неисправностей задержек путей
Authors: Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Материалы VII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 23-25 мая 2019 г.. Томск, 2019. С. 190-196
Type: статьи в сборниках
Date: 2019
Add   Detection and masking of trojan circuits in sequential logic
Authors: Matrosova, Anjela Yu. | Ostanin, Sergey A. | Butorina, Nataly Borisovna | Pahomova, Elena Grigorievna | Shulga, Sergey Anatolievich | Mitrofanov, Evgenii V.
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2018. № 42. С. 89-99
Type: статьи в журналах
Date: 2018
Description: Inserting malicious sub-circuits that may destroy a logical circuit or provide leakage of confidential information from a system containing the logical circuit demands detection of such sub-circuits f ... More
Add   Finding false paths for sequential circuits using operations on ROBDDs
Authors: Matrosova, Anjela Yu. | Ostanin, Sergey A. | Chernyshov, Semen V.
Source: 2018 IEEE 24th International Symposium on On-Line Testing and Robust System Design (IOLTS 2018), 2-4 July 2018, Spain. [S. l.], 2018. P. 240-242
Type: статьи в сборниках
Date: 2018
Description: Performance of VLSI is, first of all, its high operation
Add   Trojan Circuits masking and debugging of combinational circuits with LUT insertion
Authors: Matrosova, Anjela Yu. | Ostanin, Sergey A.
Source: 2018 IEEE International conference on automation, quality and testing, robotics (AQTR) : THETA 21st edition, 24th-26th May, Cluj-Napoca, Romania : proceedings. [S. l.], 2018. P. [1-6]
Type: статьи в сборниках
Date: 2018
Description: It is extremely difficult to provide 100% correctness of fabricated high performance circuits. Manufactured circuits may have logical and electrical bugs, Trojan Circuits (TCs) inclusions and so on. S ... More
Add   Поиск ложных путей в логических схемах из двухвходовых вентилей с использованием операций над ROBDD-графами
Authors: Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Чернышов, Семен Владимирович
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 88-89
Type: статьи в сборниках
Date: 2018
Add   Поиск ложных путей в последовательностных схемах с использованием ROBDD
Authors: Чернышов, Семен Владимирович | Матросова, Анжела Юрьевна
Source: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г.. Томск, 2018. С. 3-9
Type: статьи в сборниках
Date: 2018

Creator

Date

Subject

Resource Type

^