Ensuring Correctness of Next Generation Devices: From Reconfigurable to Self-Learning Systems

Rolf Drechsler, Daniel Große

In: 28th IEEE Asian Test Symposium. Asian Test Symposium (ATS-2019) December 10-13 Kolkata India 2019.


Nowadays electronic systems are small yet powerfuland embedded into their environment. They are adapting tochanges and often operate autonomously. These systems havereached a level of complexity that opens up new applicationareas, like autonomous driving or self-learning robotics, but at thesame time strains the existing design flows in system development.For two concrete examples we show the importance of ensuringthe correctness: verification of robotic plans, and verified partialreconfiguration as part of a reconfiguration-based countermeasureagainst side-channel attacks.


Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence