daniel große

Quality-Driven SystemC Design

Faced with the steadily increasing complexity and rapidly shortening time-to-market requirements ...

Design Automation Techniques for Approximation Circuits

This book describes reliable and efficient design automation techniques for the design and implem...

Languages, Design Methods, and Tools for Electronic System Design

This book brings together a selection of the best papers from the twentiethedition of the Forum o...

Languages, Design Methods, and Tools for Electronic System Design

This book brings together a selection of the best papers from the twenty-first edition of the For...

Enhanced Virtual Prototyping

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Vir...

Recent Findings in Boolean Techniques

This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering ...

Enhanced Virtual Prototyping for Heterogeneous Systems

This book describes a comprehensive combination of methodologies that strongly enhance the modern...

Verbessertes virtuelles Prototyping

Dieses Buch stellt eine umfassende Reihe von Techniken vor, die alle wichtigen Aspekte eines mode...

Formal Verification of Structurally Complex Multipliers

This book addresses the challenging tasks of verifying and debugging structurally complex multipl...

Erweiterte virtuelle Prototypen für heterogene Systeme

Dieses Buch beschreibt eine umfassende Kombination von Methoden, die den modernen Virtual Prot...

Erweiterte virtuelle Prototypen für heterogene Systeme

Dieses Buch beschreibt eine umfassende Kombination von Methoden, die den modernen Virtual Prototy...

Versatile Hardware Analysis Techniques