Daniel Grosse

Languages, Design Methods, and Tools for Electronic System Design

2021

Recent Findings in Boolean Techniques

2022

Quality-driven SystemC design

2010

Formal Verification of Structurally Complex Multipliers

2024

Enhanced Virtual Prototyping

2021

Enhanced Virtual Prototyping for Heterogeneous Systems

2022

Design Automation Techniques for Approximation Circuits

2019

Versatile Hardware Analysis Techniques

2025

Quality-Driven SystemC Design

2014

Erweitertes Virtuelles Prototyping

2023

Erweiterte Virtuelle Prototypen Für Heterogene Systeme

2024