Daniel Große

• Design Automation Techniques for Approximation Circuits
• Languages, Design Methods, and Tools for Electronic System Design
• Quality-Driven SystemC Design
• Enhanced Virtual Prototyping
• Enhanced Virtual Prototyping for Heterogeneous Systems
• Erweiterte Virtuelle Prototypen Für Heterogene Systeme
• Erweitertes Virtuelles Prototyping
• Formal Verification of Structurally Complex Multipliers
• Recent Findings in Boolean Techniques
• Versatile Hardware Analysis Techniques