Daniel Große – författare

Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2017

Design Automation Techniques for Approximation Circuits

Verification, Synthesis and Test

Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2018

Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2018

Enhanced Virtual Prototyping

Featuring RISC-V Case Studies

Enhanced Virtual Prototyping

Featuring RISC-V Case Studies

Recent Findings in Boolean Techniques

Selected Papers from the 14th International Workshop on Boolean Problems

Recent Findings in Boolean Techniques

Selected Papers from the 14th International Workshop on Boolean Problems

Enhanced Virtual Prototyping for Heterogeneous Systems

Enhanced Virtual Prototyping for Heterogeneous Systems

Verbessertes virtuelles Prototyping

Mit RISC-V-Fallstudien

Formal Verification of Structurally Complex Multipliers

Formal Verification of Structurally Complex Multipliers

Erweiterte virtuelle Prototypen für heterogene Systeme

Versatile Hardware Analysis Techniques

From Waveform-based Analysis to Formal Verification

Breaking Barriers in HW-to-SW Stack Verification

Virtual Prototyping meets Metamorphic Testing and Dynamic Runtime Instrumentation

Design Automation Techniques for Approximation Circuits

Verification, Synthesis and Test

Quality-Driven SystemC Design