Bc. Adam Švehla

2023 - 2025

The project deals with digital design focused on so-called intelligent embedded systems. It focuses on studying the latest trends in technology and their use, especially in so-called "mission-critical" applications, where it uses artificial inteligence (e.g. neural networks) and approximate computing. The design of such systems must consider requirements not only for functionality but also for other limiting conditions: reliability, safety, security, resistance to attacks, size, consumption, and real-time guarantees. Therefore, we will use new methods, algorithms, and design tools (EDA tools) and search, design, and modify suitable models that will allow testing, predicting, and formally verifying the required functions and behavior of the system.