BDD and DNF based algorithms for constructing all testability functions of combinational circuit - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

Материалов:
1 005 012

Репозиториев:
30

Авторов:
596 024

расширенный поиск

BDD and DNF based algorithms for constructing all testability functions of combinational circuit

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

Дата публикации в реестре: 2022-10-06T22:38:15Z

Аннотация:

Ключевые слова:
SAT-решатели, комбинационные схемы, булевы разности, функции уравляемости

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

Источник: International Siberian Conference on Control and Communications, May 13-15, 2021, Kazan, Russia. [S. l.], 2021. P. [1-6]

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