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.