Deriving approximate logic circuits for TMR technique

Deriving approximate logic circuits for TMR technique

The Triple-Modular Redundancy (TMR) technique is one of the conventional approaches to provide reliable functioning of logic circuits. When using outsourcing, it is possible to inject a Trojan Circuit (TC) in the same line of each identical TMR module, and the TMR technique becomes vulnerable. It is...

Полное описание

Библиографическая информация
Опубликовано в: :	Russian physics journal Vol. 65, № 4. P. 751-760
Главный автор:	Matrosova, Anzhela Yu
Другие авторы:	Ostanin, Sergey A., Goshin, G. G.
Формат:	Статья в журнале
Язык:	English
Предметы:	комбинационные схемы сокращенные упорядоченные двоичные диаграммы принятия решений метод тройного модульного резервирования приближенные схемы статьи в журналах
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001015290 Перейти в каталог НБ ТГУ

Похожие документы

Applying incompletely specified Boolean functions for patch circuit generation
по: Matrosova, Anzhela Yu

Combinational circuits without false paths
по: Matrosova, Anzhela Yu

A fault-tolerant combinational circuit design
по: Ostanin, Sergey A.

Finding false paths in sequential circuits

Forming patch functions and combinational circuit rectification

Синтез и оптимизация цифровых схем учебно-методическое пособие по курсу "Дискретная математика" для студентов радиофизического факультета направления подготовки 03.03.03 - Радиофизика
по: Громов, Максим Леонидович
Публикация: (2018)

ROBDDS application for finding the shortest transfer sequence of sequential circuit or only revealing existence of this sequence without deriving the sequence itself
по: Matrosova, Anzhela Yu

Труды по теории синтеза самопроверяемых схем встроенного контроля на основе двоичных избыточных кодов в 2 т.
Публикация: (2021)

Trojan Circuits masking and debugging of combinational circuits with LUT insertion
по: Matrosova, Anzhela Yu

Masking circuit faults and Trojan circuit injections using sat solvers

Теория автоматов учебно-методическое пособие
по: Буркатовская, Юлия Борисовна
Публикация: (2010)

BDD and DNF based algorithms for constructing all testability functions of combinational circuit
по: Golubeva, Olga

Multiple stuck-at fault testability analysis of ROBDD based combinational circuit design

Маскирование константных неисправностей логических схем внешними вентильными подсхемами
по: Провкин, Виктор Алексеевич

Finding false paths for sequential circuits using operations on ROBDDs
по: Matrosova, Anzhela Yu

Increasing Manufacturing Yield Using Partially Programmable Circuits with CLB implementation of Incompletely Specified Boolean Function of the Corresponding Sub-circuit
по: Matrosova, Anzhela Yu

Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования
по: Останин, Сергей Александрович

Построение аппроксимирующих схем в режиме троирования
по: Матросова, Анжела Юрьевна

Маскирование неисправностей полюсов логических схем с использованием частичных функций
по: Матросова, Анжела Юрьевна

Проверка схемной реализации частичных булевых функций
по: Черемисинова, Людмила Дмитриевна

Построение эквивалентных схем в системах троирования
по: Матросова, Анжела Юрьевна

Метод поиска ложных путей в комбинационном эквиваленте последовательностной схемы
по: Ирдынеева, Екатерина Павловна

Импульсные устройства на интегральных микросхемах учебное пособие
по: Турченков, Леонид Петрович
Публикация: (1984)

О повышении защищенности логических схем от внедрения вредоносных подсхем
по: Матросова, Анжела Юрьевна

Информатика: Вводный курс: Пер. с нем.: в 2 ч./
по: Бауэр, Фридрих
Публикация: (1990)

Тестирование многовыходных комбинационных схем в условиях известных реакций на тестовые наборы

Графовые представления множеств всех достижимых реакций комбинационной схемы
по: Провкин, Виктор Алексеевич

Алгоритмы получения функций тестопригодности полюса элемента комбинационной схемы
по: Голубева, Ольга Ивановна

Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации
по: Голубева, Ольга Ивановна

Исследование комбинационных логических схем: Руководство к лабораторной работе № 14 по дисциплинам радиоэлектронного профиля для студентов всех специальностей факультета вычислительных систем/
по: Шибаев, А. А. Анатолий Андреевич
Публикация: (2010)

Автоматизация построения контролирующих тестов: монография/
по: Бессонов Александр Андреевич, et al.
Публикация: (1976)

Оптимизация комбинационных схем с использованием допустимых функций
по: Кириенко, Ирина Евгеньевна

Точные оценки управляемости, наблюдаемости и вероятности обнаружения неисправности для комбинационных схем, основанные на ОДНФ и ROBDD представлениях функций
по: Голубева, Ольга Ивановна

Определение ключа аппаратной защиты цифровых устройств
по: Золоторевич, Людмила Андреевна

Метод синтеза функционально устойчивых комбинационных схем
по: Агибалов, Геннадий Петрович 1939-2020

Обнаружение ложных путей в схемах с памятью
по: Ирдынеева, Екатерина Павловна

К синтезу самопроверяемых комбинационных схем
по: Матросова, Анжела Юрьевна

Проектирование цифровых устройств: Пер. с англ./
по: Уэйкерли, Джон
Публикация: (2002)

Функции обнаружения константной неисправности, управляемости и наблюдаемости полюса элемента комбинационной схемы
по: Голубева, Ольга Ивановна

Троичное моделирование комбинационных схем с использованием ROBDD
по: Голубева, Ольга Ивановна