1 Subjects: “...Electronic Circuits and Systems...”

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

3 Table of Contents: “...Formal Techniques for Verification and Coverage Analysis of Analog Systems -- Verification...”

4 Subjects: “...Electronic Circuits and Systems...”

5 Subjects: “...Electronic Circuits and Systems...”

6 Subjects: “...Electronic Circuits and Systems...”

7 Table of Contents: “...Preliminaries -- System-Level Verification -- Block-Level Verification -- Top-Level Verification...”

8 Subjects: “...Electronic Circuits and Systems...”

9 Table of Contents: “... at System-Level for Design of Power Integrity-Aware AMS-Circuits...”

10 Subjects: “...Electronic Circuits and Systems...”

11 Subjects: “...Electronic Circuits and Systems...”

12 Table of Contents: “... of SystemC-based Designs using Symbolic Simulation -- Coverage-guided Testing for Scalable Virtual Prototype...”

13 Table of Contents: “... Verifikation von SystemC-basierten Entwürfen mittels symbolischer Simulation -- Abdeckungsgesteuertes Testen...”

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

15 Subjects: “...Electronic Circuits and Systems...”

16 Table of Contents: “...Preface -- Verification of Embedded Real-time Systems -- MARTE/CCSL for Modeling Cyber-Physical...”

17 Subjects: “...Electronic Circuits and Systems...”

18 Table of Contents: “... Logic -- Improved Circuit-to-CNF Conversion -- Branching Strategies -- Integration into Industrial Flow...”

19 Subjects: “...Electronic Circuits and Systems...”

20 Subjects: “...Electronic Circuits and Systems...”