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.
Contact
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
Projects
There 18 projects in this research area:
Hardening the Supply Chain through Open Source, Trustworthy EDA Tools and Processors
Mar 2021 - Feb 2024
Simulation-based Design Tool for Automated Checking of Analog-digital Electronic Systems
Apr 2020 - Mar 2023
A Sound Verification Platform for Early Software Development for RISC-V based Systems
Aug 2019 - Jul 2022
Quality-driven Design Flow using Formal Specifications and Functional Change Management
Aug 2013 - Jul 2016
Robust design of new electronic components for applications in the field of electromobility
Oct 2011 - Dec 2013
Automatic recognition of plans and intentions of mobile robots in cooperating and competing dynamic environments
Jan 2001 - Dec 2007
