Logic Synthesis and Control Systems

Special Session of the 16th International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2020)


Complexity of modern digital circuits makes ''manual'' designing at a low level of abstraction practically unfeasible. A human designer must be supported by appropriate software tools, which can ''translate'' the desired function into a structure consisting of logic gates, and/or equivalent primitive elements available in the target technology. This process of automatic designing is usually divided into two stages: logic synthesis, and technology mapping.

Logic synthesis is the crucial stage, providing the bridge between design description and technology mapping. As the result of the logic synthesis process a solution is generated, which is a structure of appropriately interconnected logic gates, flip-flops, LUTs, etc. Typically, the synthesis is performed for an objective function, such as minimizing the number of logic blocks (area), delay of interconnection, minimizing the power consumed, or making the implementation more testable. Logic synthesis utilizes very specific mathematical apparatus, e.g. set theory, and various kinds of graphs.

A control system can in general be considered as a device, or a group of devices, which control operation of other devices or systems. Control systems include industrial control systems, traffic and vehicle control systems, building automation, biological control systems, and many others. In the highly ''digitalized'', and ''automatized'' modern world, control systems influence virtually all aspects of human life. Constantly growing complexity of control systems, and their importance and impact on human society, require new ideas, innovative approaches, and methodologies of their design, and implementation. Since modern control systems are very often designed as a part of an Internet of Things (IoT) infrastructure, it also applies security mechanisms and applications. Cryptographic algorithms and methods are applied to secure the communication and devices themselves.

The aim of the symposium is to provide a platform for discussion on recent research results, technology trends, developments, and achievements in the fields of logic synthesis, and control systems, together with security aspects.

Contributions to the session address, but are not limited to:

  • Logic Synthesis for Programmable Logic Devices
  • Logic Controller Design
  • Programmable Logic
  • Control Units and Control Systems
  • Microprocessor-based Control Systems
  • Embedded Systems
  • Petri Net-Based Digital Design
  • Security of Applications and Control Systems
  • Hardware-Software Co-Design
  • Internet of Things (IoT)
  • Cryptology (Software and Hardware)


Robert Czerwinski
Dariusz Kania
Marcin Kubica
Remigiusz Wisniewski
Grzegorz Bazydlo
Silesian University of Technology, Poland
Silesian University of Technology, Poland
Silesian University of Technology, Poland
University of Zielona Góra, Poland
University of Zielona Góra, Poland

Organized by:

Institute of Electronics
at Silesian University of Technology
Institute of Electrical Engineering
at University of Zielona Góra