Построение множества всех достижимых реакций комбинационных схем

Построение множества всех достижимых реакций комбинационных схем

Bibliographic Details
Published in:	Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г. С. 99-108
Main Author:	Провкин, Виктор Алексеевич
Format:	Book Chapter
Language:	Russian
Subjects:	ROBDD-графы комбинационные логические схемы КНФ разрешения SAT-решатели статьи в сборниках
Online Access:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926167 Перейти в каталог НБ ТГУ

Similar Items

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

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

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

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

Метод исключения переменной из КНФ Цейтина
by: Тычинский, Вячеслав Зиновьевич

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

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

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

Masking circuit faults and Trojan circuit injections using sat solvers

Оптимизация решения алгоритма CDCL, представленного в виде троичного вектора
by: Иванкин, Дмитрий Ильич

Masking internal node logical faults and trojan circuits injections with using SAT solvers
by: Matrosova, Anzhela Yu

Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем

Использование ROBDD-графов для тестирования задержек логических схем

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

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

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

Three-value simulation of combinational and sequential circuits and its applications
by: Golubeva, Olga

Алгебраические атаки на некоторые низкоресурсные шифры на основе функций с малым числом выходных бит

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

Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа
by: Третьяков, Дмитрий Александрович

Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами
by: Доронин, Артемий Евгеньевич

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

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

Поиск конъюнкций ЭНФ и инверсии ЭНФ для комбинационных цифровых схем
by: Мелюх, Илья Васильевич

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

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

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

SAT solvers application of deriving all test pairs detecting robust testable PDFs
by: Matrosova, Anzhela Yu

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

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

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

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

DPLL-подобный решатель задачи выполнимости над системой уравнений в АНФ
by: Ткачев, Александр Витальевич

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

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

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

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

Preventing and masking Trojan Circuits triggering out of working area

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

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