Prof. Dr.-Ing. Daniel Große

Kontakt +43 732 24684560 (Bremen)

Adresse (Bremen) Mehrzweckhochhaus (MZH)Bibliothekstraße 5D-28359 Bremen

Publikationen

Erweiterte virtuelle Prototypen für heterogene Systeme
Muhammad Hassan; Daniel Große; Rolf Drechsler
Springer, 2024.
Formal Verification of Structurally Complex Multipliers
Alireza Mahzoon; Daniel Große; Rolf Drechsler
ISBN 978-3-031-24571-8, Springer, 2023.
Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization
Alexander Konrad; Christoph Scholl; Alireza Mahzoon; Daniel Große; Rolf Drechsler
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2023), March 23-24, Freiburg, Germany, 2023.

PaSVer
Leistungsfähiges Entwurfswerkzeug für neuartige Automobilelektronik
Die Autoindustrie in Deutschland verändert sich stark. Autohersteller müssen immer mehr Software und Hardware miteinander verbinden, um das autonome Fahren und die Elektromobilität zu ermöglichen. Die…
AUTOASSERT
Simulationsbasiertes Entwurfswerkzeug zur automatisierten Überprüfung von analog-digitalen Elektroniksystemen
Mikroelektronische Hard- und Softwaresysteme sind die Schlüsselkomponente für die Mehrzahl der Innovationen in aktuellen und künftigen Systemen. Die Verifikation, d.h. der Nachweis der korrekten…
VerSys
Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme
Ziel des Projektes VerSys ist die Entwicklung einer konsistenten Entwicklungsplattform für die frühzeitige Software-Entwicklung auf Basis der RISC-V-Technologie, einer Befehlssatzarchitektur für…
SATiSFy
Validierung von SAfeTy- und Security-Anforderungen in autonomen Fahrzeugen
Ziel dieses Projektes ist es, Techniken zur Erfassung und frühzeitigen Verifikation von Anforderungen für Systeme zur autonomen Fahrzeugführung zu entwickeln, um die notwendigen Security- und…
CONVERS
Entwurfsautomatisierung für komplexe Elektroniksysteme
Um Systeme effizient zu entwerfen, muss die korrekte und sichere Funktionsweise des Gesamtsystems in möglichst frühen Entwurfsphasen nachgewiesen werden. Dabei ist es notwendig sowohl analoges als…