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

Add to Quick Collection   All 7 Results

Showing items 1 - 7 of 7.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
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
Add   Синтез частично программируемых схем, маскирующих логические неисправности элементов
Authors: Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Николаева, Екатерина Александровна
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 73-74
Type: статьи в сборниках
Date: 2018
Add   Троичное моделирование комбинационных схем с использованием ROBDD
Authors: Голубева, Ольга Ивановна
Source: Компьютерные науки и информационные технологии : материалы Международной научной конференции, 2-3 июля 2018 г., Саратов. Саратов, 2018. С. 112-114
Type: статьи в сборниках
Date: 2018
Description: В работе рассматривается задача троичного моделированргя комбинационных схем. Она сводится к задаче вычисления значения интервального расширения булевой функции на интервале, представленном троичным в ... More
  • «
  • ←
  • 1
  • →
  • »
^