1 Table of Contents: “...1 Evolutionary Testing of Embedded Systems -- 1. Introduction -- 2. Test Methods -- 3. Evolutionary...”

2 Table of Contents: “...Introduction -- Preliminaries -- AMS Metamorphic Testing Environment -- AMS Enhanced Code Coverage...”

3 Table of Contents: “...Introduction -- Background -- Challenges of SCA-based Verification -- Local Vanishing Monomials...”

4 Table of Contents: “...Introduction -- Preliminaries -- Theoretical Groundwork -- Exact Placement & Routing -- Scalable...”

5 Table of Contents: “...Chapter 1. Introduction -- Chapter 2. Background -- Chapter 3. Design Understanding Methodology...”

6 Table of Contents: “... Systems -- An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis -- Model...”

7 Table of Contents: “...Chapter 1 Introduction -- Chapter 2 Background -- Chapter 3 Optimizations and Complexity Analysis...”

8 Table of Contents: “...Introduction -- Preliminaries -- Hardware and Environment Modeling -- Verification -- Conclusion...”

9 “...After producing a chip, the functional correctness of the integrated circuit has to be checked...”

10 Table of Contents: “...Introduction -- Background -- NLP-Assisted Model Generation -- Verification of Static Aspects...”

11 Table of Contents: “...Introduction -- Preliminaries -- Challenges in Model Refinement -- Verification of Vertical...”

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

13 Table of Contents: “...Chapter 1: Introduction -- Chapter 2: Background -- Chapter 3: Routing -- Chapter 4: Pin Assignment...”

14 Table of Contents: “...1 Introduction -- 2 Notations and Definitions -- 3 Decision Diagrams -- 4 Theoretical Aspects...”

15 Table of Contents: “...I Basic Principles -- 1 Introduction -- 2 Evolutionary Algorithms -- 3 Characteristics of Problem...”

16 Table of Contents: “...Chapter 1: Introduction -- Chapter 2: Background -- Chapter 3: BDD Optimization and Approximation...”

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

18 Table of Contents: “...Introduction -- Preliminaries -- Error Metric Computation for Approximate Combinational Circuits...”

19 Table of Contents: “...Introduction -- Integrated Circuits -- Formal Techniques -- Embedded Compression Architecture...”

20 Table of Contents: “...1 Introduction -- 2 Notations and Definitions -- 3 Decision Diagrams -- 4 Theoretical Aspects -- 5...”