Languages, Design Methods, and Tools for Electronic System Design

Chapter 1 Virtual Hardware-in-the-Loop Co-simulation for Multi-domain Automotive Systems via the Functional Mock-Up Interface

Chapter 2 Standard Compliant Co-simulation Models for Verification of Automotive Embedded Systems

Chapter 3 Building a Dynamically Reconfigurable System Through a High-Level Development Flow

Chapter 4 A Special-Purpose Language for Implementing Pipelined FPGA-Based Accelerators

Chapter 5 Enabler-Based Synchronizer Model for Clock Domain Crossing Static Verification

Chapter 6 Temporal Decoupling with Error-Bounded Predictive Quantum Control

Chapter 8 A System-Level Power Model for AMS-Circuits