Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2017

  • Daniel Große
  • Sara Vinco
  • Hiren Patel

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

Table of contents

  1. Front Matter
    Pages i-vii
  2. Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi
    Pages 1-23
  3. Guillaume Baudart, Timothy Bourke, Marc Pouzet
    Pages 45-70
  4. Andrey Mokhov, Alessandro de Gennaro, Ghaith Tarawneh, Jonny Wray, Georgy Lukyanov, Sergey Mileiko et al.
    Pages 71-88
  5. Enrico Fraccaroli, Francesco Stefanni, Franco Fummi, Mark Zwolinski
    Pages 89-105
  6. Arthur Kalsing, Laurent Fesquet, Chouki Aktouf
    Pages 107-127
  7. Back Matter
    Pages 129-130

About this book


This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy.  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 modeling and verification methodologies targeting digital and analog systems;
  • Addresses firmware development and validation;
  • Targets both functional and non-functional properties;
  • Includes descriptions of methods for reliable system design.


Design Specification Languages Design Verification Automatic Synthesis Mechanized Debugging FDL 2017

Editors and affiliations

  • Daniel Große
    • 1
  • Sara Vinco
    • 2
  • Hiren Patel
    • 3
  1. 1.Institute of Computer ScienceUniversity of Bremen and Cyber-Physical Systems, DFKI GmbHBremenGermany
  2. 2.Politecnico di TorinoTorinoItaly
  3. 3.University of WaterlooWaterlooCanada

Bibliographic information

  • DOI
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Engineering Engineering (R0)
  • Print ISBN 978-3-030-02214-3
  • Online ISBN 978-3-030-02215-0
  • Series Print ISSN 1876-1100
  • Series Online ISSN 1876-1119
  • Buy this book on publisher's site