Abstract:A decisive influence on complexity and speed of a combinational logic circuit of library CMOS elements is exerted by the preliminary stage of technologically independent optimization of the implemented system of Boolean functions. At present, the main methods of such optimization in the logical synthesis of custom CMOS VLSI blocks are methods for minimizing binary decision diagrams — Binary Decision Diagrams (BDD) or their modifications. Graphical representations of BDD are built on the basis of the Shannon expansions of Boolean functions. A BDD graph corresponds to a set of interrelated Shannon expansion formulas that form a multilevel representation of the minimized system of Boolean functions. The efficiency of applying various optimization procedures of minimization for several types of BDD representations of systems of Boolean functions is investigated in the paper. 7hese procedures are used as a technologically independent optimization in the synthesis of multi-output logic circuits of library CMOS elements. In addition to single logical optimization procedures, sequences of such procedures are studied that form various methods of logical optimization of multilevel representations of systems of Boolean functions. The results of experiments on 49 examples of systems of Boolean functions are presented. 25 optimization routes have been studied, efficient routes have been determined for various types of specifications of function systems. The obtained experimental results are compared with the known ones. It has been established that to estimate the complexity of optimized algebraic representations of systems of functions, it is advisable to use such a criterion as the total number of literals (variables or their inversions) of Boolean variables.

Implementation of a System of Incompletely Specified Boolean Functions in a Circuit of Two-Input Gates by Means of Bi-Decomposition

Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications

Logical Minimization of Multilevel Representations of Boolean Function Systems

Structured decomposition for reversible Boolean functions

Implementing Boolean Functions with switching lattice networks

Complete Boolean Algebra for Memristive and Spintronic Asymmetric Basis Logic Functions

Analysis of Boolean Functions based on Interaction Graphs and their influence in System Biology

A Logic Programming Framework for Combinational Circuit Synthesis

Functional Synthesis via Input-Output Separation

Function Synthesis Algorithm Based on RTD-based Three-Variable Universal Logic Gates.

Design Methods for Polymorphic Combinational Logic Circuits based on the Bi_Decomposition Approach

Interpolation Methods for Binary and Multivalued Logical Quantum Gate Synthesis

Linear decomposition of approximate multi-controlled single qubit gates

A Method for Determining the Affine Equivalence of Boolean Functions

Practical Algorithms for Linear Boolean-width

Implementation of Linear Boolean Functions by Self-Correcting Circuits of Unreliable Logic Gates

Generalized Boolean Functions and Quantum Circuits on IBM-Q

Boolean Function Decomposition Based on Grover Algorithm and Its Simulation Using Quantum Language Quipper

Revealing the canalizing structure of Boolean functions: Algorithms and applications

Reversible Logic Synthesis by Quantum Rotation Gates

On Analysis And Generation Of Biologically Important Boolean Functions