Minimization of Boolean functions by combinatorial method

V Riznyk, M Solomko - Технологический аудит и резервы …, 2017 - cyberleninka.ru
The object of solving the problem of minimizing the Boolean function in this work is a block
diagram with repetition, what is the truth table of the given function. This allows to leave the …

Xor-and-xor logic forms for autosymmetric functions and applications to quantum computing

A Bernasconi, A Berti, V Ciriani… - … on Computer-Aided …, 2022 - ieeexplore.ieee.org
We propose a new three-level XOR-AND-XOR form for autosymmetric functions, called
XORAX expression. In general, a Boolean function over variables is-autosymmetric if it can …

Multiplicative complexity of XOR based regular functions

A Bernasconi, S Cimato, V Ciriani… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
XOR-AND Graphs (XAGs) are an enrichment of the classical AND-Inverter Graphs (AIGs)
with XOR nodes. In particular, XAGs are networks composed by ANDs, XORs, and inverters …

Composition of switching lattices for regular and for decomposed functions

A Bernasconi, V Ciriani, L Frontini, G Trucco - Microprocessors and …, 2018 - Elsevier
Multi-terminal switching lattices are typically exploited for modeling switching nano-crossbar
arrays that lead to the design and construction of emerging nanocomputers. Typically, the …

Research of 5-bit boolean functions minimization protocols by combinatorial method

V Riznyk, M Solomko - Технологический аудит и резервы …, 2018 - cyberleninka.ru
The object of research is a combinatorial method of 5-bit Boolean functions minimization.
One of the most problematic places for Boolean functions minimization is the complexity of …

New three-level Boolean expression based on EXOR gates

R Ishikawa, T Hirayama, G Koda… - IEICE Transactions on …, 2004 - search.ieice.org
The utilization of EXOR gates often decreases the number of gates needed for realizing
practical logical networks, and enhances the testability of networks. Therefore, logic …

Dimension-reducible boolean functions based on affine spaces

A Bernasconi, V Ciriani - ACM Transactions on Design Automation of …, 2011 - dl.acm.org
We define and study a new class of regular Boolean functions called D-reducible. A D-
reducible function, depending on all its n input variables, can be studied and synthesized in …

Synthesis of autosymmetric functions in a new three-level form

A Bernasconi, V Ciriani, F Luccio, L Pagli - Theory of Computing Systems, 2008 - Springer
Autosymmetric functions exhibit a special type of regularity that can speed-up the
minimization process. Based on this autosymmetry, we propose a three level form of logic …

Composition of switching lattices and autosymmetric boolean function synthesis

A Bernasconi, V Ciriani, L Frontini… - … Conference on Digital …, 2017 - ieeexplore.ieee.org
Multi-terminal switching lattices are typically exploited for modeling switching nano-crossbar
arrays that lead to the design and construction of emerging nanocomputers. In this paper we …

Exploiting regularities for Boolean function synthesis

A Bernasconi, V Ciriani, F Luccio, L Pagli - Theory of Computing Systems, 2006 - Springer
The" regularity" of a Boolean function can be exploited for decreasing its minimization time. It
has already been shown that the notion of autosymmetry is a valid measure of regularity …