Departments

Cooperation and services

• Application of artificial intelligence methods for the logical design of digital VLSI.
• Technologically independent optimization of combinational blocks of custom digital VLSI (minimization of Boolean function systems, optimization of multilevel representations based on Binary Decision Diagrams).
• Optimization of combinational logic descriptions presented in language VHDL.
• Verification of logical descriptions of combination logic.
• Decomposition of Boolean functions and systems of functions.

Results of scientific research and development

Theoretical results.

• LAPAS, LAPAS-M programming languages.
• PRALU language for describing parallel processes.
• Theory of design of discrete control systems based on the element base of MIS, SIS and FPGA (programmable logic integrated circuits).
• Theory of synthesis of cascade circuits on the basis of PLA (Programmable Logic Arrays).
• Theory of logical inference in data and knowledge bases in recognition systems.
• Theory of solving large-dimensional logical equations.
• Methods for technologically independent optimization of logical descriptions (minimization in the class of DNFs and their factorized forms, binary diagrams of BDD solutions).
• Methods for verifying functional and structural descriptions of multi-output combinational circuits and systems with behavior uncertainty.
• Methods for solving the CNF satisfiability problem (SAT problems).
• Methods for decomposition of Boolean function systems based on solving logical equations and tabular matrix forms.
• Methods for solving logical-combinatorial problems on matrices and graphs.
• Technology for algorithmization of combinatorial problems based on parallelization of operations in a multidimensional Boolean space.
• Methods for synthesizing digital CMOS circuits with reduced power consumption and estimating their power consumption.
• Methods for synthesizing regular matrix structures and evaluating their performance.
• Methods for optimizing the area of regular matrix structures at the stage of topological design of custom digital VLSI.
• Methods and tools for solving problems of converting descriptions of discrete devices in high-level languages.
• Methods and tools for parallelizing the execution of logical design programs on a cluster computer.
• A production-frame model of knowledge representation and its use to control the processes of automated logical design of discrete devices.
• Models and methods for verification of parallel logic control algorithms (correctness, modeling and diagnostics).
• Models and methods for automatic, software and circuit implementation of parallel logic control algorithms.
• Methods for using the PRALU language for programming logic controllers and setting protocols for multi-agent systems.
• Reverse engineering methods for CMOS VLSI by extracting logic networks from transistor-level circuits.

Practical results.

The laboratory has developed 4 programming systems in the LAPAS and LAPAS-M languages and 25 systems of logical design and recognition, including:

• CLTT system for end-to-end design of functional blocks of custom digital VLSI based on programmable macronutrients;
• ELS system of energy-saving logical synthesis;
• MICEL software package for the circuit implementation of parallel logic control algorithms;
• LOGIC software package for solving combinatorial problems of logical design and artificial intelligence;
• FPGAConv software package for converting FPGA projects of the Spartan3 family into custom VLSI;
• CMOSLD system for the logical design of functional blocks of custom CMOS VLSI with reduced power consumption;
• software package "Frame stitching" for automation of work with VLSI topology video image frames;
• software package for decompilation of CMOS VLSI transistor descriptions.

Achievements

• Certificates of Honor of the Supreme Council of the BSSR (1978, 1988. – Zakrevsky A.D.).
• Sign "Winner of the social competition" (Cheremisinov D.I., Cheremisinov L.D.).
• Certificate of honor of the Presidium of the Academy of Sciences of the BSSR (Cheremisinova L.D.).
• Allowance of the President of the Republic of Belarus (Cheremisinov L.D.).
• Scholarship of the President of the Republic of Belarus (Bibilo P.N.).
• Certificates of Honor of the Higher Attestation Commission of Belarus (1999, 2013) – Bibilo P.N.; Cheremisinova L.D. – 2015.
• Certificate of Honor of the Presidium of the National Academy of Sciences of Belarus (Zakrevsky A.D.).
• Prize of the Department of Physics, Mathematics and Informatics of the National Academy of Sciences of Belarus (Zakrevsky A.D., Toropov N.R.).
• The Academician V.F. Kuprevich Prize of the National Academy of Sciences of Belarus for young scientists for a series of works «Synthesis and verification of logical structures for integrated circuits of radio frequency identification»(2013).
• Scholarship of the President of the Republic of Belarus (Gorodetsky D.A.).
• Franciscus Scarina Medal (Bibilo P.N.).
• BRFFI Certificate of Honor (Bibilo P.N.).
• Certificate of honor of the MES-2018 conference for the best report «Algorithmic design of digital operating devices with reduced power consumption" in the nomination "Methods and tools for designing micro- and nanoelectronic systems».
• Award of the National Academy of Sciences of Belarus in the field of information Technology technologies for the series of work «Optimization of functional and structural models of digital devices in the automated design of ultra-large integrated circuits» (Bibilo P.N.).