Skip to main content Skip to main navigation

Publikation

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.

Zusammenfassung

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.

Projekte