| Poster | Multi-bit Error Detection for Self-Correcting CPU Pipelines | A. Bouajila (TU München) |
| Poster | A Top-Down formal Verification Approach of LIN Hardware IP based on the GapFreeVerification(TM) Process | O. Sander (U Karlsruhe) |
| Demo | Fast Verification of A/MS-Systems for Automotive Applications | R. Dölling (Bosch) |
| Demo | A Rapid Prototyping Environment for ASIP Validation in Wireless Systems | M. Alles (TU Kaiserslautern) |
Besides these reviewed contributions to edaWorkshop09, the poster exhibition will show posters and demonstrations of all EDA projects funded by BMBF within IKT 2020. Additionally all participants will have the possibility to contribute to the future updates of the multi-annual strategic plan (MASP) of the European research initiative ENIAC.