Staff

Prof. Dr.-Ing. Daniel Große

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

Publications

Alireza Mahzoon, Daniel Große, Christoph Scholl, Alexander Konrad, Rolf Drechsler

In: 59th Design Automation Conference (DAC). Design Automation Conference (DAC) July 10-14 San Francisco United States 2022.

To the publication
Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler

In: 59th Design Automation Conference (DAC). Design Automation Conference (DAC-2022) July 10-14 San Francisco United States 2022.

To the publication
Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler

In: Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2022) June 6-8 Irvine United States 2022.

To the publication

Profile

AUTOASSERT


Simulation-based Design Tool for Automated Checking of Analog-digital Electronic Systems

Microelectronic hardware and software systems are the key component for the majority of innovations in current and future systems. The verification, i.e. the proof of the correct functionality of the…

AUTOASSERT

VerSys


A Sound Verification Platform for Early Software Development for RISC-V based Systems

The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set architecture for microprocessors which has been…

SATiSFy


Timely Validation of Safey and Security Requirements in Autonomous Vehicles

The aim of the project is to develop techniques to elicit requirements for systems to control autonomous vehicles, and validate them in a timely fashion, such that the necessary safety and security…

SATiSFy

CONVERS


Design Automation Tool for Complex Electronic Systems

In order to design systems efficiently, the correct and safe functioning of the entire system has to be ensured as early as possible in the design phase. In addition it is necessary to consider both,…

CONVERS

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz