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

Add to Quick Collection   All 21 Results

Showing items 1 - 15 of 21.
Sort:
 Add All Items to Quick Collection
Add   Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования
Authors: Останин, Сергей Александрович | Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2023. № 62. С. 124-131
Type: статьи в журналах
Date: 2023
Description: Троирование (Triple-Modular Redundancy (TMR) technique) является одним из широко применяемых на практике подходов к обеспечению надежности функционирования логических схем. В рамках этой технологии ис ... More
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: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г.. Томск, 2018. С. 3-9
Type: статьи в сборниках
Date: 2018
Add   A fault-tolerant sequential circuit design for stuck-at faults and path delay faults
Authors: Matrosova, Anjela Yu. | Kirienko, Irina E. | Nikolaeva, Ekaterina A. | Ostanin, Sergey A.
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2017. № 41. С. 61-68
Type: статьи в журналах
Date: 2017
Description: This paper presents a fault-tolerant synchronous sequential circuit design based on self-checking system with low overhead. The scheme has only one self-checking sequential circuit, normal (unprotecte ... More
Add   Detection and masking of Trojan Circuits in sequential logic
Authors: Mitrofanov, Evgenii V. | Ostanin, Sergey A. | Nikolaeva, Ekaterina A. | Matrosova, Anjela Yu.
Source: Proceedings of 2017 IEEE East-West Design & Test Symposium (EWDTS), Novi Sad, Serbia, September 27 – October 2, 2017. [S. l.], 2017. P. 137-140
Type: статьи в сборниках
Date: 2017
Description: A technique of finding a set of sequential circuit
Add   Preventing and masking Trojan Circuits triggering out of working area
Authors: Mitrofanov, Evgenii V. | Ostanin, Sergey A. | Kirienko, Irina E. | Matrosova, Anjela Yu.
Source: 2017 European Conference on Circuit Theory and Design (ECCTD), September 4-6, 2017, Catania, Italy. [S. l.], 2017. P. [1-4]
Type: статьи в сборниках
Date: 2017
Description: Inserting malicious sub-circuits that may cause a
Add   Интервальные расширения булевых функций и троичное моделирование последовательностных схем
Authors: Голубева, Ольга Ивановна
Source: Таврический научный обозреватель. 2017. № 5. С. 208-220
Type: статьи в журналах
Date: 2017
Description: В работе рассматривается понятие интервального расширения булевой функции, которое позволяет определить значения функции на интервалах булевых векторов. Задача точного троичного моделирования комбинац ... More
Add   Обнаружение ложных путей в последовательностных схемах
Authors: Андреева, Валентина Валерьевна | Чернышов, Семен Владимирович | Рожкова, Светлана Владимировна | Кудин, Дмитрий Владимирович | Матросова, Анжела Юрьевна
Source: Известия высших учебных заведений. Физика. 2017. Т. 60, № 10. С. 170-178
Type: статьи в журналах
Date: 2017
Description: Предлагается метод поиска ложных путей в схемах с памятью. В отличие от эвристических подходов, развиваемых зарубежными исследователями, разработан точный метод, основанный на использовании операций н ... More
Add   Построение кратчайшей установочной последовательности последовательностной схемы с использованием ROBDD
Authors: Чернышов, Семен Владимирович | Андреева, Валентина Валерьевна
Source: Материалы V Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 19-20 мая 2017 г.. Томск, 2017. С. 3-7
Type: статьи в сборниках
Date: 2017
Add   Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы
Authors: Голубева, Ольга Ивановна
Source: Таврический научный обозреватель. 2017. № 4, ч. 1. С. 122-135
Type: статьи в журналах
Date: 2017
Description: Рассматривается метод точного троичного моделирования синхронных последовательностных схем. Моделирование выполняется с использованием ROBDD функций переходов в состояния схемы. Функции переходов в со ... More
Add   Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций
Authors: Голубева, Ольга Ивановна
Source: Таврический научный обозреватель. 2017. № 3, ч. 1. С. 129-140
Type: статьи в журналах
Date: 2017
Description: Предлагается метод точного троичного моделирования синхронных последовательностных схем, основанный на представлении функций в виде ROBDD графов. Моделирование выполняется с использованием ROBDD функц ... More
Add   ROBDD based path delay fault testable combinational circuit synthesis
Authors: Shah, Toral | Singh, Virendra | Matrosova, Anjela Yu.
Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016. [S. l.], 2016. P. 181-184
Type: статьи в сборниках
Date: 2016
Add   ROBDDS application for finding the shortest transfer sequence of sequential circuit or only revealing existence of this sequence without deriving the sequence itself
Authors: Matrosova, Anjela Yu. | Andreeva, V. | Melnikov, A. V.
Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016. [S. l.], 2016. P. 513-516
Type: статьи в сборниках
Date: 2016

Creator

Date

Subject

Resource Type

^