Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2015

  • Rolf Drechsler
  • Robert Wille

Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 385)

Table of contents

  1. Front Matter
    Pages i-viii
  2. Co-simulation for Automotive Systems

    1. Front Matter
      Pages 1-1
    2. Ròbert Lajos Bücs, Luis Murillo, Ekaterina Korotcenko, Gaurav Dugge, Rainer Leupers, Gerd Ascheid et al.
      Pages 3-28
    3. Martin Krammer, Helmut Martin, Zoran Radmilovic, Simon Erker, Michael Karner
      Pages 29-47
  3. Reconfigurable Systems and FPGAs

    1. Front Matter
      Pages 49-49
    2. David de la Fuente, Jesús Barba, Julián Caba, Pablo Peñil, Juan Carlos López, Pablo Sánchez
      Pages 51-73
    3. Cristiano B. de Oliveira, Ricardo Menotti, João M. P. Cardoso, Eduardo Marques
      Pages 75-99
  4. Clocks and Temporal Issues

    1. Front Matter
      Pages 101-101
    2. M. Kebaili, K. Morin-Allory, J. C. Brignone, D. Borrione
      Pages 103-124
    3. Georg Gläser, Gregor Nitsche, Eckhard Hennig
      Pages 125-147
  5. AMS Circuits and Systems

    1. Front Matter
      Pages 149-149
    2. Sara Vinco, Michele Lora, Mark Zwolinski
      Pages 151-173
    3. Xiao Pan, Javier Moreno Molina, Christoph Grimm
      Pages 175-193

About this book


This book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2015, in Barcelona, Spain.  FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.

  • Covers Assertion Based Design, Verification & Debug;
  • Includes language-based modeling and design techniques for embedded systems;
  • Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains;
  • Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE).


Embedded Systems Design Specification Languages Design Verification Automatic Synthesis Mechanized Debugging Rapid Prototyping FDL 2015

Editors and affiliations

  • Rolf Drechsler
    • 1
  • Robert Wille
    • 2
  1. 1.InformatikUniversity of BremenBremenGermany
  2. 2.Johannes Kepler University LinzLinzAustria

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Engineering Engineering (R0)
  • Print ISBN 978-3-319-31722-9
  • Online ISBN 978-3-319-31723-6
  • Series Print ISSN 1876-1100
  • Series Online ISSN 1876-1119
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Energy, Utilities & Environment
Oil, Gas & Geosciences