Results and publications

The Laboratory has worked out a number of CAD and artificial intelligence systems last years. Among them are:

• CLTT system for end-to-end design of functional blocks of custom-made digital VLSI circuits on the base of programmable macrocells;
• ELS system for low power logical synthesis;
• MICEL computer program complex for circuit implementation of parallel algorithms of logical control;
• LOGIC computer program complex for solving combinatorial problems of logical design and artificial intelligence.

The theory of discrete control system design on the element base of adjusted (programmable) logical integrated circuits, the theory of efficient logical inference in data and knowledge bases of recognition systems, and the theory of solving logical equations of large dimension are worked out.

The works of the scientists of the Laboratory were accepted to be the most important scientific results of the Institute in 2007 – 2009: “The models of parallel algorithms of logical control in VHDL” (2007); “Decomposition of Boolean functions” (2008); “Verification of descriptions of combinational devices in the process of logical design” (2009).

The Laboratory published 40 monographs during the period of its functioning. Every year it produces about 50 papers and some of them are published in international journals and proceedings of international conferences.