Research Area Hardware Systems

(Quelle: DFKI GmbH/Universität Bremen)

Hardware faults can occur during the design phase as well as during manufacturing. In contrast to software, hardware faults cannot be corrected afterwards. This is why researchers are working on developing automated test methods, which can prove safety and correctness of the resulting product during the design phase. Furthermore, increasing the efficiency of the design process while keeping the reliability of the system is an issue.

Our expertise includes test generation and formal verification across the whole design process and different levels of abstraction (e.g. gate level, RTL, ESL), technical documentation, and hardware software codesign.


dagr04 Dr.-Ing. Daniel Große
Senior Researcher
+49 421 218 63935

rowi01 Prof. Dr.-Ing. Dipl.-Inf. Robert Wille
Senior Researcher
+49 421 218 63947

Our Technical Expertise

  • Technical documentaion, UML/OCL, visualisation
  • System C, hardware software co-design
  • Formal verification, e.g. quivalence check, property check, debugging
  • Test generation/ATPG, timing and path analysis


There 14 projects in this research area:

A Sound Verification Platform for Early Software Development for RISC-V based Systems
Aug 2019 - Jul 2022
General Technology Assessment
Jul 2018 - Oct 2018
Design Automation Tool for Complex Electronic Systems
Jun 2017 - May 2020
Safety of Transport Infrastructure on the TEN-T Network
May 2017 - Apr 2020
Verifikation eines QuadCore-Prozessors
Oct 2016 - Nov 2019
Self-Verification of Electronic Systems
Aug 2016 - Jul 2019
BDD Manipulation for Approximate Computing
Jan 2016 - Mar 2019
Dec 2013 - May 2015
Quality-driven Design Flow using Formal Specifications and Functional Change Management
Aug 2013 - Jul 2016
Design for Test
Feb 2013 - Jan 2015
Mar 2012 - Mar 2013
Robust design of new electronic components for applications in the field of electromobility
Oct 2011 - Dec 2013
Safety component for autonomous mobile service robots
May 2006 - Aug 2009
Automatic recognition of plans and intentions of mobile robots in cooperating and competing dynamic environments
Jan 2001 - Dec 2007

last updated 15/10/2019
to top