Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования

Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования

Показать другие варианты (1)

Троирование (Triple-Modular Redundancy (TMR) technique) является одним из широко применяемых на практике подходов к обеспечению надежности функционирования логических схем. В рамках этой технологии используется три идентичных схемы, одноименные выходы которых поступают на схему голосования. В такой...

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

Библиографическая информация
Опубликовано в: :	Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 62. С. 124-131
Главный автор:	Останин, Сергей Александрович
Другие авторы:	Матросова, Анжела Юрьевна, Андреева, Валентина Валерьевна
Формат:	Статья в журнале
Язык:	Russian
Предметы:	последовательностные схемы аппроксимирующие схемы константные неисправности троирование статьи в журналах
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001000582

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

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

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

Защита схемы троирования от аппаратных троянов с использованием аппроксимирующих схем
по: Пласконных, Семен Владимирович

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

A fault-tolerant sequential circuit design for stuck-at faults and path delay faults

Построение проверяющих тестов для одиночных и кратных константных неисправностей на полюсах элементов схем, синтезированных на базе ПЛИС (FPGA)-технологий по системе Free BDD-графов
по: Николаева, Екатерина Александровна

Синтез самопроверяемых последовательностных схем для неисправностей задержек путей
по: Останин, Сергей Александрович

Алгоритмы синтеза легко тестируемых комбинационных схем и тестов для кратных константных неисправностей и неисправностей задержек путей: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.01/
по: Николаева, Е. А. Екатерина Александровна
Публикация: (2011)

Синтез отказоустойчивых последовательностных схем для неисправностей задержек путей

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

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

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

Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом

Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом

Stuck-at-faults tester as a web-service

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

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

Построение тестовых пар для неисправностей задержек путей в логических схемах с использованием операций над ROBDD-графами
по: Матросова, Анжела Юрьевна

Обнаружение несущественных путей логических схем на основе совместного анализа и-или деревьев и SSBDD-графов
по: Матросова, Анжела Юрьевна

Синтез легко тестируемых последовательностных схем
по: Матросова, Анжела Юрьевна

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

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

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

К верификации логических схем на основе временных автоматов
по: Кидярова, Галина Владимировна

Pseudo-exhaustive testing of sequential circuits for multiple stuck-at faults
по: Matrosova, Anzhela Yu

Testing components of interacting timed finite state machines
по: Gromov, Maxim L

Синтез синхронных последовательностных устройств, устойчивых к кратковременным и перемежающимся неисправностям
по: Матросова, Анжела Юрьевна

Fully delay and multiple stuck-at fault testable sequential circuit design

Синтез последовательностных схем с использованием равновесного кодирования состояний
по: Митрофанов, Евгений Владимирович

Построение всех тестовых наборов, обнаруживающих константные неисправности литер ЭНФ
по: Броч, Михаил Ильич

К построению тестов для последовательностных схем с использованием системы АВС
по: Кидярова, Галина Владимировна

Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы
по: Голубева, Ольга Ивановна

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

ROBDD based path delay fault testable combinational circuit synthesis
по: Shah, Toral

Повышение быстродействия логических схем за счет выявления неисправностей задержек путей с последующим их маскированием и определения ложных путей (на основе использования операций над ROBDD-графами) диссертация на соискание ученой степени кандидата технических наук : 05.13.01
по: Чернышов, Семен Владимирович
Публикация: (2022)

Построение кратчайшей установочной последовательности последовательностной схемы с использованием ROBDD
по: Чернышов, Семен Владимирович

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

Синтез вентильных схем, маскирующих неисправности, с использованием SAT-решателей
по: Провкин, Виктор Алексеевич

Верхняя оценка ненадежности схем (в P2) при произвольных неисправностях элементов
по: Алехина, Марина Анатольевна

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