Конъюнктивная декомпозиция булевых функций: эксперименты с различными представлениями

Конъюнктивная декомпозиция булевых функций: эксперименты с различными представлениями

Язык статьи
Русский
Аннотация
В статье представлены результаты экспериментов по конъюнктивной декомпозиции различных представлений булевых функций (ZDD, BDD, OKFDD, AIG) методами, которые получаются путем специализации общего алгоритма декомпозиции. Тестовыми наборами являются случайные булевы функции с различными параметрами, а также набор широко известных бенчмарков, используемых для тестирования алгоритмов оптимизации логических схем. В сравнении участвуют последовательная и многопоточная реализация алгоритма.
DOI
10.31144/si.2307-6410.2021.n18p85-92
УДК
Страницы
85-92
Файл
Номер