Skip to main content Skip to main navigation

Prof. Dr.-Ing. Daniel Große

Organizational unit Cyber-Physical Systems
Contact +43 732 24684560 (Bremen)

http://www.daniel-grosse.de
Address (Bremen) Mehrzweckhochhaus (MZH)Bibliothekstraße 5D-28359 Bremen

Publications

Erweiterte virtuelle Prototypen für heterogene Systeme

Muhammad Hassan; Daniel Große; Rolf Drechsler

Springer, 2024.

To the publication

Formal Verification of Structurally Complex Multipliers

Alireza Mahzoon; Daniel Große; Rolf Drechsler

ISBN 978-3-031-24571-8, Springer, 2023.

To the publication

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.

To the publication
All publications

Profile

  • PaSVer

    Powerful design tool for novel automotive electronics

    The automotive industry in Germany is undergoing major changes. Car manufacturers have to combine more and more software and hardware to enable autonomous driving and electromobility. The high…

  • 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…

    VerSys

  • 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