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

dagr04 Prof. Dr.-Ing. Daniel Große
Senior Researcher
+43 732 24684560


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 19 projects in this research area:

Zuverlässige & Erklärbare Schwarmintelligenz zur Unterstützung für Menschen mit eingeschränkter Mobilität
Okt 2022 - Sep 2025
Eine erweiterbare und konsistente ebenenübergreifende RISC-V Verifikationsplattform
Aug 2022 - Jul 2025
Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren
Mär 2021 - Feb 2024
Simulationsbasiertes Entwurfswerkzeug zur automatisierten Überprüfung von analog-digitalen Elektroniksystemen
Apr 2020 - Mär 2023
Daten in der medizinischen Versorgung für die Post-Quanten-Ära schützen
Nov 2019 - Okt 2022
Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme
Aug 2019 - Jul 2022
Allgemeine Technologische Bewertung
Jul 2018 - Okt 2018
Entwurfsautomatisierung für komplexe Elektroniksysteme
Jun 2017 - Mai 2020
Sicherheit der Transport-Infrastruktur im TEN-T Netzwerk
Mai 2017 - Apr 2020
Verifikation eines QuadCore-Prozessors
Okt 2016 - Okt 2022
Selbstverifikation von Elektronischen Systemen
Aug 2016 - Jul 2019
Manipulation von BDDs für Approximate Computing
Jan 2016 - Mär 2019
X-Finder
Dez 2013 - Mai 2015
Quality-driven Design Flow using Formal Specifications and Functional Change Management
Aug 2013 - Jul 2016
Design for Test
Feb 2013 - Jan 2015
TriCoreEC
Mär 2012 - Mär 2013
Robuster Entwurf von neuen Elektronikkomponenten für Anwendungen im Bereich Elektromobilität
Okt 2011 - Dez 2013
Sicherungskomponente für Autonome Mobile Systeme
Mai 2006 - Aug 2009
Automatische Plan- und Intentionserkennung fremder mobiler Roboter in kooperierenden und konkurrierenden dynamischen Umgebungen
Jan 2001 - Dez 2007

© DFKI GmbH
last updated 09/06/2023
to top