1 “...This book provides a single-source reference to the state-of-the-art in logic synthesis.  Readers...”

2 “...This book provides a comprehensive overview of automatic model refinement, which helps readers...”

3 “... specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers...”

4 “... flows. Readers will learn how natural language processing techniques can be utilized during early design...”

5 “... design understanding, verification, security validation, and design space exploration. Readers will gain...”

6 “...This book provides readers with a comprehensive introduction to the formal verification of hardware...”

7 “... applications. Readers will get familiar with a new generation of computer architectures that potentially can...”

8 “..., and dynamic backward rewriting. This enables readers to verify a wide variety of multipliers, including highly...”

9 “... readers with an extensive introduction to the field of Design Automation for Field-coupled Nanocomputing...”

10 “... to make it applicable in industrial practice. Readers will learn to improve the performance and robustness...”

11 “... into a common framework, which implements standardized software/hardware interfaces. Provides readers...”

12 “... evolve and have to be solved. The book should help the reader who is not familiar with BDDs (or DDs...”

13 “... researchers provide the reader with a variety of perspectives, including a special focus on the combination...”

14 “... Verständnis der Materie ermöglichen. "... The monograph is well written and the reader gets a good...”