Tehničko veleučilište u Zagrebu · Zagreb

Computing minimal DNF of Boolean functions for digital implementations

prošireni sažetak izlaganja sa skupa

prošireni sažetak izlaganja sa skupa

Computing minimal DNF of Boolean functions for digital implementations

Vrsta prilog sa skupa (u zborniku)
Tip prošireni sažetak izlaganja sa skupa
Godina 2020
Nadređena publikacija CECC 2020 Book of Abstracts
Stranice str. 14-15
Status objavljeno

Sažetak

The key step in the application of BDDs is a variable order for Shannon expansion which allows efficient operations with Boolean functions, e.g., their minimization. As it was shown in the example, the minimization of Boolean functions can be used to produce optimal digital circuits for the implementation of an important class of cryptographic functions. In addition to that, this topic presents open problems for further research in the field of combinatorial optimizations, such as variable ordering in Shannon expansion and set covering problem. It is also important to mention that the properties of Boolean (Bent) functions can be further elaborated by research on graph properties of BDDs and their variants.

Ključne riječi

Boolean functions, DNF, BDD