Обнаружение неисправности частично построенной схемы путем вычисления частичных функций ее нереализованных фрагментов

Головин, Артем Витальевич; Провкин, Виктор Алексеевич

Обнаружение неисправности частично построенной схемы путем вычисления частичных функций ее нереализованных фрагментов

Головин, Артем Витальевич, Провкин, Виктор Алексеевич

Дата публикации: 2022

Дата публикации в реестре: 2023-02-06T15:02:50Z

Ключевые слова:
проблема проверки частичной эквивалентности, SAT-решатели, Цейтина КНФ, комбинационные логические схемы

Тип: статьи в сборниках

Источник: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 74-80

Обнаружение неисправности частично построенной схемы путем вычисления частичных функций ее нереализованных фрагментов

Связанные документы (рекомендация CORE)

Партнеры

Индексация