Raghda El Shehaby (TU Wien, Institute of Computer Engineering), Matthias Függer (LMF, CNRS, ENS Paris-Saclay), Florian Huemer (TU Wien, Institute of Computer Engineering) and Andreas Steininger (TU Wien, Institute of Computer Engineering) received the Best IEEE ASYNC Paper Award in 2025.
In their award-winning contribution, entitled Investigating the Effects of Permanent Faults in QDI Circuits: A Formal Perspective, they present an algorithm and implementation to exhaustively detect all permanent faults in digital circuits. While the paper is focused on so-called Quasi Delay Insensitive (QDI) circuits, the method generalizes to synchronous circuits.