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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

18 Table of Contents: “...Introduction -- Preliminaries -- An Open-Source RISC-V Evaluation Platform -- Formal Verification...”

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

20 Table of Contents: “...Introduction -- Virtual Hardware-In-The-Loop Co-Simulation for Multi-Domain Automotive Systems via...”