Title: | Полиномиальная реализация систем булевых функций в задачах логического проектирования |
Other Titles: | Polynomial implementation of systems of Boolean functions in problems of logic design |
Authors: | Кириенко, Н. А. |
Keywords: | материалы конференций;логические схемы;цифровые устройства;системы булевых функций;полином Жегалкина;полином Рида-Маллера |
Issue Date: | 2023 |
Publisher: | БГУИР |
Citation: | Кириенко, Н. А. Полиномиальная реализация систем булевых функций в задачах логического проектирования / Н. А.Кириенко // BIG DATA и анализ высокого уровня = BIG DATA and Advanced Analytics : сборник научных статей IX Международной научно-практической конференции, Минск, 17–18 мая 2023 г. : в 2 ч. Ч. 1 / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: В. А. Богуш [и др.]. – Минск, 2023. – С. 227-234. |
Abstract: | Функциональные описания проектируемых цифровых устройств могут иметь сотни входных
переменных и десятки тысяч уравнений. В связи с этим возникает задача эффективного представления исходных
описаний цифровых устройств, которое позволит улучшить качество и сократить время синтеза цифрового
устройства. Предлагается использовать полиномиальное представление систем булевых функций, которыми может
описываться поведение дискретных устройств.
Рассматриваются представления системы булевых функций в виде полиномов Жегалкина и Рида-Маллера.
Описываются алгоритмы построения полиномов, исходя из различных форм задания поведения логических
устройств: систем полностью определенных булевых функций, систем частично определенных булевых функций,
таблиц истинности. |
Alternative abstract: | Functional descriptions of designed digital devices have hundreds of input variables and tens of thousands of
equations. In this regard, the problem arises of effective representation of the initial descriptions of digital devices, which will
allow obtaining a sufficiently optimal solution and reducing the time of digital device synthesis. It is proposed to use a
polynomial representation of systems of Boolean functions, which, as a rule, describe the behavior of discrete devices.
The representation of the system of Boolean functions in the form of Zhegalkin and Reed-Muller polynomials is
considered. Algorithms for constructing polynomials for various forms of specifying systems of Boolean functions are
described: systems of disjunctive normal forms (DNFs), partial Boolean functions, and truth tables. |
URI: | https://libeldoc.bsuir.by/handle/123456789/51601 |
Appears in Collections: | BIG DATA and Advanced Analytics = BIG DATA и анализ высокого уровня : сборник научных статей (2023)
|