The Laboratory of Logical Design
e-mail: bibilo@newman.bas-net.by
telephone: +(375 17) 284-20-84
LABORATORY IN BRIEF
The Laboratory of Logical Design (LLD) was officially established in
1971 (then it was named the Laboratory of System Programming and Logical
Synthesis).
Prof.,
D.Sc. Arkady D.Zakrevskij from Tomsk State University was invited to
take the post of the head of the Laboratory. By that time the group of
scientists led by him had carried out the work some results of which had
been published in "LYaPAS: A Programming Language for Logic and Coding
Algorithms" edited by M.A.Gavriliv and A.D.Zakrevskij, Academic Press,
New York and London, 1969. Some of those scientists formed the core of
the Laboratory.
The main scientific direction of the Laboratory activity is the development
of methods and software tools for design of discrete devices and for logical
recognition.
STAFF
Up to 1994 the Laboratory was headed Prof., D.Sc. Arkady D.Zakrevskij
. Since 1994 the Laboratory has been headed by D.Sc. Peter N.Bibilo.
Throughout the period of its activity the Laboratory has been one of
the largest in the IEC. At present, the Laboratory is staffed with 19 persons,
including: Prof., D.Sc. A.D.Zakrevskij, D.Sc. P.N.Bibilo, 11 research scientists
with Ph.D. degree D.Cheremisinov, L.Cheremisinova, E.Goldberg, S.Kardash,
N.Kirienko, L.Krasilnikova, Ya.Novikov, Yu.Pottosin, V.Romanov, V.Tomashev,
N.Toropov.
RESEARCH FIELDS
The main directions of research in the Laboratory are:
-
· parallel algorithms for logical control of concurrent processes (formal
languages, simulation and verification, parallel automata representation,
application to protocol description, software and hardware implementation);
-
· VLSI design automation (design of control algorithms, state assignment
for parallel automata, minimizing of systems of Boolean functions, design
of standard cells, placing and routing problems, PLA design: folding, decomposition,
testing);
-
· pattern recognition in the space of discrete attributes (knowledge representation,
deductive inference method of logical recognition, inductive inference:
revealing implicative regularities in data, estimating their plausibility);
-
· combinatorial problems of logical design and artificial intelligence
(developing practically efficient methods for solving NP-hard combinatorial
optimization problems such as covering, packing, solving logical equations,
etc., and their software implementation using in CAD for discrete devices
and systems of artificial intelligence);
-
· special programming tools and languages (developing programming languages
and systems intended for solving logical and combinatorial problems, data
bases for CAD of discrete systems);
-
· methods of logical programming.
PROJECTS
The Laboratory has performed some projects for creation of CAD and
artificial intelligence systems. Among them are:
-
· Programming System for Logical and Combinatorial Problems,
-
· Research CAD System for VLSI Circuits,
-
· Expert System for Logical Recognition,
-
· System of Logical Design of Discrete Devices on Programmable Matrix LSI
Circuits,
-
· Design System for PLA-structures of VLSI Circuits,
-
· Logical Design System for Application Specific VLSI.
Now the laboratory carries out the following projects:
-
· Working out artificial intelligence methods for logical control systems
design",
-
· Working out fundamentals of start-to-finish design of control logic for
AS VLSI circuits",
-
· Logical control for dynamic systems,
-
· Theory of discrete control system design on the element base of adjusted
(programmable) logical integrated circuits,
-
· Efficient logical inference in data and knowledge bases of recognition
systems".
INTERNATIONAL ACTIVITY
Some results of the laboratory research activity were applied in enterprises
of Belarus and the former USSR including - enterprises of microelectronics
industry (Moscow, Minsk, e.g. the Scientific Industrial Amalgamation "Integral"),
enterprises of device industry (the Research Institute of Computers, Minsk),
universities (Tomsk, Minsk, Pskov, Sevastopol).
The Laboratory keeps constant scientific contacts with scientific groups
of the Institute of Control Problems, Russian Academy of Sciences (Moscow),
the Research Institute of Computers (Minsk), some departments of Tomsk
and Gomel State Universities, the Sevastopol Device Construction Institute,
the Institute of Mathematics (Kishenev), etc.
The Laboratory was the organizer of the International Conference "Computer-Aided
Design of Discrete Devices CAD DD'95" held in Minsk, November 15-17, 1995.
The proceedings of the Conference has been published in two volumes. The
Conference attracted a great number of scientists from Belarus, Russia,
Poland, Ukraine and countries of Western Europe. It is decided to conduct
such conferences regularly, one in two years.
In recent time members of the Laboratory took part in the following
scientific events:
-
· The Third European Test Conference, Rotterdam, Netherlands, April 19-22,
1993.
-
· The Fourth International Workshop on Field Programmable Logic and Applications,
FPL'94, Prague, Czech Republic, September 1994.
-
· Workshop on Design methodologies for microelectronics, Bratislava-Vienna,
September 1995.
-
· IMMAR'95, IMMAR'96 International conference, Szczecin Technological University.
-
· Workshop on Reed-Muller expansions, Japan, 1995.
-
· Workshop on Efficient Symbolic Computing, Belgium, 1995 .
A.D.Zakrevskij was a co-author of the book "Boolesche Gleichungen. Theorie.
Anwendungen. Algorithmen", VEB Verlag Tehnik, Berlin,1984 .
For two years (1994-1995) A.Kovalev had been conducting research on
the theory of Petri Nets in the Munich and Hamburg Universities. Scientists
of the Laboratory take part in joint research projects with the Institute
of Informatics of Szczecin Technological University. Besides, A.D.Zakrevskij
with colleagues from 12 countries participates in European program INTAS
"Effective Symbolic Computer Calculations" (1995-1996). Scientists of the
Laboratory have good contacts with a logic design research team of Prof.
Brayton from the University of California at Berkeley.
TRAINING
Scientists of the Laboratory actively participate in teaching on the
following levels:
-
· graduate level. The Laboratory has strong links with some departments
of the Belarusian State University (BSU) and the Belarusian State University
of Informatics and Radioelectronics (BSUIR). Members of the Laboratory
work part-time as Professors (A.D.Zakrevskij, P.N.Bibilo) and Associate
professors (Yu.V.Pottosin,L.V.Krasilnikova, L.D.Cheremisinova) delivering
lectures and conducting practical studies on the courses "Discrete mathematics
and design theory for digital devices and systems", "Design of logical
control systems", "Logical methods for analysis and synthesis of discrete
devices", "Silicon compilers", "Synthesis methods for matrix VLSI circuits",
"Interactive design systems";
-
· postgraduate level. In 1995 two members of the Laboratory (L.V.Krasilnikova,
E.I.Goldberg) received a Ph.D. degree.