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.

Logic Minimization as an Efficient Means of Fuzzy Structure Discovery

Multivalued Logic and Fuzzy Logic--Their Relationship, Minimization, and Application to Fault Diagnosis

Logical Minimization of Multilevel Representations of Boolean Function Systems

Minimization of Fuzzy Logic Function Based on Multi-Valued Logic Method

An Synthesized Methods for Multi-Valued Logic Function

Optimal Fuzzy Modeling Based on Minimum Cluster Volume

Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations

Logical Fuzzy Optimization

Reducing the Logic-Level of Combinational Circuits

Minimization for Generalized Boolean Formulas

A Minimal Temporal Logic with Multiple Fuzzy Truth-Values

Defuzzification, Structure Transparency, and Fuzzy System Learning

On The Learning Of Min-Max Fuzzy Systems

Learning for Universal Logic Operation Selection

On the Power of Automata Minimization in Reactive Synthesis

A Data Reduction Method in Formal Fuzzy Contexts

Toward a Framework for Fuzzy Dynamic Systems

Knowledge Reduction in Real Decision Formal Contexts

The Complexity of Fuzzy Logic

Logical-Structure Modeling for Conceptual Design