Languages, Design Methods, and Tools for Electronic System Design

Part I. Co-simulation for Automotive Systems

1. Virtual Hardware-in-the-Loop Co-simulation for Multi-domain Automotive Systems via the Functional Mock-Up Interface
Ròbert Lajos Bücs, Luis Murillo, Ekaterina Korotcenko, Gaurav Dugge, Rainer Leupers, Gerd Ascheid, Andreas Ropers, Markus Wedler, Andreas Hoffmann

2. Standard Compliant Co-simulation Models for Verification of Automotive Embedded Systems
Martin Krammer, Helmut Martin, Zoran Radmilovic, Simon Erker, Michael Karner

Part II. Reconfigurable Systems and FPGAs

3. Building a Dynamically Reconfigurable System Through a High-Level Development Flow
David Fuente, Jesús Barba, Julián Caba, Pablo Peñil, Juan Carlos López, Pablo Sánchez

4. A Special-Purpose Language for Implementing Pipelined FPGA-Based Accelerators
Cristiano B. Oliveira, Ricardo Menotti, João M. P. Cardoso, Eduardo Marques

Part III. Clocks and Temporal Issues

5. Enabler-Based Synchronizer Model for Clock Domain Crossing Static Verification
M. Kebaili, K. Morin-Allory, J. C. Brignone, D. Borrione

6. Temporal Decoupling with Error-Bounded Predictive Quantum Control
Georg Gläser, Gregor Nitsche, Eckhard Hennig

Part IV. AMS Circuits and Systems

7. SystemC-AMS Simulation of Conservative Behavioral Descriptions
Sara Vinco, Michele Lora, Mark Zwolinski

8. A System-Level Power Model for AMS-Circuits
Xiao Pan, Javier Moreno Molina, Christoph Grimm

Nyckelord: Engineering, Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation