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

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

Show other versions (1)

Bibliographic Details
Published in:	Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г. С. 78-79
Main Author:	Останин, Сергей Александрович
Other Authors:	Матросова, Анжела Юрьевна, Андреева, Валентина Валерьевна
Format:	Book Chapter
Language:	Russian
Subjects:	троирование аппроксимирующие схемы комбинационные схемы синхронные автоматы статьи в сборниках
Online Access:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000927131 Перейти в каталог НБ ТГУ

Similar Items

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

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

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

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

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

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

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

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

Синтез цифровых автоматов
by: Глушков, Виктор Михайлович 1923-1982
Published: (1962)

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

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

Моделирование синхронных схем с памятью на не полностью определенных входных последовательностях произвольной длины
by: Голубева, Ольга Ивановна

Построение проверяющих тестов для одиночных и кратных неисправностей на полюсах элементов схем, синтезированных на базе ПЛИС (FPGA)-технологий
by: Матросова, Анжела Юрьевна

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

Синтез комбинированных схем в базисе FPGA по ZDD-представлению ДНФ
by: Останин, Сергей Александрович

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

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

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

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

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

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

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

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

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

Декомпозиция комбинационных схем методом функциональной редукции
by: Таланов, Владимир Александрович

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

Задержки проявления неисправностей при контроле работы автомата в режиме функционирования
by: Останин, Сергей Александрович

Finding false paths in sequential circuits

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

Forming patch functions and combinational circuit rectification

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

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

Синтез систем функционального контроля многовыходных комбинационных схем на основе метода логического дополнения

Методы синтеза контролепригодных дискретных устройств Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
by: Останин, Сергей Александрович
Published: (2000)

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

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

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

Логическое проектирование цифровых систем на основе программируемых логических интегральных схем
by: Соловьев, Валерий Васильевич
Published: (2018)

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

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