1 “... both debugger-based and compiler‐based perspectives; Illustrates a semi‐formal verification approach...”

2 “... for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these steps in a...”

3 “... systematic debugging approach is supported amongst others by static code analysis, debug patterns, dynamic...”

4 Table of Contents: “...: A Multi-Criteria Approach -- Chapter 4: Synthesis for Logic-in-Memory Computing using RRAM...”

5 Table of Contents: “...1 Introduction -- 2 Preliminaries -- 3 Decision Diagrams -- 4 Classical Synthesis Approaches -- 5...”

6 Table of Contents: “...-Based Verification -- Formal Verification for Nonlinear Analog Systems: Approaches to Model...”

7 Table of Contents: “... Multi-Criteria Approach -- Kapitel 4: Synthese für Logic-in-Memory Computing mit RRAM -- Kapitel 5...”

8 Table of Contents: “... Approaches and Challenges -- Physical Safety in Robotics...”

9 “... studies and experimental results to depict the problem and usefulness of the approach...”

10 “... of abstraction. Second, each verification technique is complemented by an approach to measure the achieved...”

11 Table of Contents: “... -- 3. Proposed Hybrid Approach -- 4. Experimental Results -- 5. Concluding Remarks -- 5 Built-In Self...”

12 Table of Contents: “... Approaches -- 5.2 Methods Based on BDD Paths and Disjoint Cubes -- 5.3 Spectral Computation Using Decision...”

13 “...This book deals with formal and practical approaches for early fast modeling and verification...”

14 “... cope with today’s circuits. While classical approaches are based on backtracking on the circuit...”

15 “...-string. Recently, several approaches for formal circuit verification have been proposed that make use...”

16 “... to synthesize reversible circuits representing large functions. Optimization approaches ensure...”

17 “... level, optimization algorithms are presented to reduce the quantum cost. Then, new mapping approaches...”

18 “... solvers; Includes a case study that presents the possibilities of the state-of-the-art approaches...”

19 “...This book describes approaches for integrating more automation to the early stages of EDA design...”

20 “..., is presented and made publicly available. The approaches discussed in this book address obstacles that have...”