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

This page is only showing items within the active collection. You can remove the filter by clicking here.

Add to Quick Collection   All 9 Results

Showing items 1 - 9 of 9.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования
Authors: Останин, Сергей Александрович | Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 78-79
Type: статьи в сборниках
Date: 2022
Add   Applying incompletely specified Boolean functions for patch circuit generation
Authors: Matrosova, Anzhela Yu. | Provkin, V.
Source: 2021 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, September 10-13, 2021 : proceedings. [S. l.], 2021. P. 238-241
Type: статьи в сборниках
Date: 2021
Description: We consider combination circuit C and some its nodes that faults are detected on the last stages of circuit fabrication. Besides, injections of Trojan Circuits (TCs) in certain circuit C lines may be ... More
Add   BDD and DNF based algorithms for constructing all testability functions of combinational circuit
Authors: Golubeva, Olga
Source: International Siberian Conference on Control and Communications, May 13-15, 2021, Kazan, Russia. [S. l.], 2021. P. [1-6]
Type: статьи в сборниках
Date: 2021
Description: Constructing testability functions of a combinational circuit line, such as: the controllability, observability and stuck-at fault detection functions, as well as the complement of the observability f ... More
Add   Алгоритмы получения функций тестопригодности полюса элемента комбинационной схемы
Authors: Голубева, Ольга Ивановна
Source: Современные проблемы физико-математических наук [Электронный ресурс] : материалы VI Всероссийской научно-практической конференции c международным участием (4 – 5 декабря 2020 г., г. Орел). Орел, 2020. С. 327-335
Type: статьи в сборниках
Date: 2020
Description: Рассматриваются методы построения функций тестопригодности полюса элемента комбинационной схемы: управляемости, наблюдаемости и обнаружения константной неисправности, а также дополнения функции наблюд ... More
Add   Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации
Authors: Голубева, Ольга Ивановна
Source: Современные проблемы физико-математических наук [Электронный ресурс] : материалы VI Всероссийской научно-практической конференции c международным участием (4 – 5 декабря 2020 г., г. Орел). Орел, 2020. С. 335-340
Type: статьи в сборниках
Date: 2020
Description: Рассматриваются методы точного троичного моделирования комбинационных схем, основанные на применении SAT-решателей. Также рассматривается применение методов троичного моделирования для верификации про ... More
Add   Маскирование неисправностей полюсов логических схем с использованием частичных функций
Authors: Матросова, Анжела Юрьевна | Провкин, Виктор Алексеевич | Андреева, Валентина Валерьевна
Source: Информационные технологии и математическое моделирование (ИТММ-2019) : материалы XVIII Международной конференции имени А. Ф. Терпугова, 26-30 июня 2019 г.. Томск, 2019. Ч. 2. С. 21-25
Type: статьи в сборниках
Date: 2019
Add   Forming patch functions and combinational circuit rectification
Authors: Chernyshov, S. V. | Goshin, G. | Kudin, D. V. | Matrosova, Anjela Yu.
Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018), Kazan, Russia, September 14-17, 2018. [S. l.], 2018. P. 726-730
Type: статьи в сборниках
Date: 2018
Description: Increasing chips complexity originates a problem of
Add   О повышении защищенности логических схем от внедрения вредоносных подсхем
Authors: Матросова, Анжела Юрьевна | Провкин, Виктор Алексеевич
Source: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г.. Томск, 2018. С. 10-14
Type: статьи в сборниках
Date: 2018
Add   Троичное моделирование комбинационных схем с использованием ROBDD
Authors: Голубева, Ольга Ивановна
Source: Компьютерные науки и информационные технологии : материалы Международной научной конференции, 2-3 июля 2018 г., Саратов. Саратов, 2018. С. 112-114
Type: статьи в сборниках
Date: 2018
Description: В работе рассматривается задача троичного моделированргя комбинационных схем. Она сводится к задаче вычисления значения интервального расширения булевой функции на интервале, представленном троичным в ... More
  • «
  • ←
  • 1
  • →
  • »
^