|
ABSTRACTS OF ARTICLES OF THE JOURNAL "INFORMATION TECHNOLOGIES".
No. 10. Vol. 31. 2025
DOI: 10.17587/it.31.526-537
P. N. Bibilo, Dr. Sci. (Eng.), Professor, V. I. Romanov, Ph. D. (Eng.), Associate Prof.,
The United Institute of Informatics Problems of the National Academy of Sciences of Belarus, Minsk, 220012, Republic of Belarus
Polarization of Functions when Minimizing of Boolean Nets
Received on 05.11.2024
Accepted on 13.01.2025
The results of an experimental study of a program for technologically Independent minimization of multilevel representations of systems of fully defined functions in the form of Boolean nets, which are based on Shannon expansions of systems of disjunctive normal forms (DNF) of Boolean functions, are described. The main attention is paid to the effectiveness of using the choice of the best (in terms of the number of literals of Boolean variables) function polarization option when minimizing of Boolean nets. Polarization refers to the choice of an inverse or conventional form of assignment of each of the system functions. For minimized polarized Boolean nets, logic circuits are synthesized in the design library of digital ASIC (Application-Specific Integrated Circuits). The obtained results are compared in terms of crystal area and speed (time delay) with the synthesis results for minimized unpolarized Boolean nets and for jointly and separately minimized Boolean nets built using polarized DNF systems.
Keywords: the system of Boolean functions, polarization of Boolean functions, Boolean net, digital logic synthesis, VHDL, ASIC
P. 526-537
Full text on eLIBRARY
References
- Brayton R. K., Hachtel G. D., Sangiovanni-Vincentel li ΐ . L. Synthesis of multi-level combinational logic circuits, Trudy Institute inzhenerov po jelektronike i radiotehnike, 1990, vol. 78, no. 2, pp. 3883 (In Russian).
- Zakrevskij ΐ . D. Logical Synthesis of Cascading Circuit, Moscow, Nauka, 1981, 416 π. (in Russian).
- Brayton K. R., Hachtel G. D., McMullen C., Sangiovan-ni-Vincentelli ΐ . L. Logic Minimization Algorithm for VLSI Synthesis, Boston, Kluwer Academic Publishers, 1984, 193 p.
- Zakrevskii A. D. ed. Synthesis of Asynchronous Automata on a Computer, Minsk, Nauka i tekhnika, 1975, 184 p. (in Russian).
- Brayton K. R. Factoring logic functions, IBM J. Res. and Developm., 1987, vol. 31, no. 2, pp. 187198.
- Brayton R. K., Rudell R., Sangiovanni-Vincentelli A. L., Wang A. R. MIS: ΐ multiple-level logic optimization systems, IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, 1987, vol. CAD-6, no. 6, pp. 10621081.
- Wey C., Chang S.-M., Jou J.-Y. OPAM: an efficient output phase assignment for multilevel logic minimization, Proceedings 1989 IEEE International Conference on Computer Design: VLSI in Computers and Processors, pp. 271273, DOI: 10.1109/ ICCD.1989.63369.
- Bibilo P. N. Binary decision diagrams in logical design, Moscow, LENAND, 2024, 560 p. (in Russian).
- Wey C. L., Chang T. Y. An efficient output assignment for PLA minimization, IEEE Trans. Computer-Aided Design, 1990, vol. 9, no. 1, pp. 17.
- Bibilo P. N., Romanov V. I. The system of logical optimization of functional structural descriptions of digital circuits based on production-frame knowledge representation model, Problemy razrabotki perspektivnyh mikro- i nanoelektronnyh system, 2020, Sb. trudov pod obshch. red. akad. RANA. L. Stempkovskogo, Moscow, IPPMRAN, 2020, no. 4, pp. 916 (in Russian).
- Toropov N. R. Minimization of systems of Boolean functions in the class DNF, Logicheskoe proektirovanie, Minsk, Institut tehnicheskoj kibernetiki Nacional'noj akademii nauk Belarusi. 1999, no. 4, pp. 419 (in Russian).
- Sasao T. Input Variable Assignment and Output Phase Optimization of PLA's, IEEE Trans. Comput., 1984, vol. C-33, no. 10, pp. 879894.
- Das A., Pradhan S. N. Thermal-aware Output Polarity Selection Based on And-Inverter Graph Manipulation, Recent Advances in Electrical & Electronic Engineering, 2019, vol. 12, no. 1, pp. 3039, DOI: 10.2174/2352096511666180320120016
- Bibilo P. N., Lankevich Yu. Yu. Experimental investigation of effectiveness of algorithms for minimizing BDD representations of Boolean function systems. Software & Systems, 2020, vol. 33, no. 3, pp. 449463 (in Russian), DOI: 10.15827/0236-235X.131.449-463.
- Bibilo P. N. Integrated Circuit Design Systems Based on the VHDL Language. StateCAD, ModelSim, LeonardoSpectrum, Moscow, SOLON-Press Publ., 2005, 384 p. (in Russian).
- Kirienko N. A. An algorithm for converting functional descriptions of logic circuits using inverse representations, Tanaevskie chteniya: doklady Devyatoj Mezhdunarodnoj nauchnoj konferencii (2930 marta 2021, Minsk), Minsk, OIPI NAN Belarusi, 2021, pp. 3943 (in Russian).
- Bibilo P. N. Joint and separate minimization of multilevel representations of Boolean function systems, Informacionnye tehnologii, 2023, vol. 29, no. 11, pp. 574582, DOI: 10.17587/ it.29.574-582 (in Russian).
To the contents
|
|