https://libeldoc.bsuir.by/handle/123456789/54730| Title: | Реализация в FPGA разреженных матричных форм систем ДНФ булевых функций |
| Other Titles: | Implementation in FPGA of sparse systems of disjunctive normal forms of boolean functions |
| Authors: | Бибило, П. Н. Кардаш, С. Н. |
| Keywords: | материалы конференций;информационные технологии;разложение Шеннона;синтез логических схем;FPGA;VHDL |
| Issue Date: | 2024 |
| Publisher: | БГУИР |
| Citation: | Бибило, П. Н. Реализация в FPGA разреженных матричных форм систем ДНФ булевых функций = Implementation in FPGA of sparse systems of disjunctive normal forms of boolean functions / П. Н. Бибило, С. Н. Кардаш // BIG DATA и анализ высокого уровня = BIG DATA and Advanced Analytics : сборник научных статей X Международной научно-практической конференции, Минск, 13 марта 2024 г. : в 2 ч. Ч. 1 / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: В. А. Богуш [и др.]. – Минск, 2024. – С. 408–420. |
| Abstract: | Рассматривается проблема выбора лучших методов и программ для схемной реализации в FPGA разреженных систем ДНФ (дизъюнктивных нормальных форм) полностью определенных булевых функций. Для матричных форм разреженных систем ДНФ троичная матрица, задающая элементарные конъюнкции, содержит большую долю неопределенных значений, соответствующих в алгебраической записи отсутствующим литералам булевых входных переменных, а булева матрица, задающая вхождения конъюнкций в ДНФ функций, содержит большую долю нулевых значений. Для проектирования схем FPGA показана эффективность комбинированного подхода, использующего сначала программы блочного покрытия системы ДНФ с последующим применением программ минимизации многоуровневых представлений блоков в виде булевых сетей, минимизированных на основе разложений Шеннона. |
| Alternative abstract: | The problem of choosing the best methods and programs for circuit implementation as part of FPGA sparse DNF systems of fully defined Boolean functions is considered. For matrix forms of sparse DNF systems, the ternary matrix specifying elementary conjunctions contains a large proportion of undefined values corresponding to missing literals of Boolean input variables, and the Boolean matrix specifying the occurrences of conjunctions in DNF functions contains a large proportion of zero values. For the FPGA circuits, the effectiveness of a combined approach is shown, which first uses block coverage programs of the DNF system, followed by the use of programs to minimize multilevel block representations in the form of Boolean networks minimized based on Shannon expansion. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/54730 |
| Appears in Collections: | BIG DATA and Advanced Analytics = BIG DATA и анализ высокого уровня : сборник научных статей : в 2 ч. (2024) |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Bibilo_Realizaciya.pdf | 551.04 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.