Save today: Get 40% off Social Science print books or $30 off eBooks in Engineering & Energy!

Lecture Notes in Electrical Engineering

Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2017

Editors: Große, Daniel, Vinco, Sara, Patel, Hiren (Eds.)

Free Preview
  • 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
see more benefits

Buy this book

eBook n/a
  • ISBN 978-3-030-02215-0
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
Hardcover n/a
  • ISBN 978-3-030-02214-3
  • Free shipping for individuals worldwide
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.

About the authors

Daniel Große is a Senior Researcher at University of Bremen and at the German Research Center for Artificial Intelligence (DFKI) since 2015. He received the Dr.-Ing. degree in Computer Science from the University of Bremen in 2008. He remained as a Post-Doctoral Researcher with the Group of Computer Architecture, University of Bremen. In 2010, he was a substitute Professor for computer architecture with Albert-Ludwigs University, Freiburg, Germany. From 2013 to 2014, he was the CEO of the EDA start-up solvertec focusing on automated debugging techniques. Since 2015, he has been a Senior Researcher with the University of Bremen and DFKI, and also the Scientific Coordinator of the Graduate School of System Design, funded within the German Excellence Initiative. His current research interests include verification, virtual prototyping, debugging, and synthesis. He published over 100 papers in peer-reviewed journals and conferences in the above areas. Dr. Große served in program committees of numerous conferences, including DAC, ICCAD, DATE, CODES+ISSS, FDL, and MEMOCODE.

 Sara Vinco is currently Assistant Professor in the Department of Control and Computer Engineering (DAUIN) in Politecnico di Torino. She received her Ph.D. in Computer Science at the University of Verona (Italy) in 2013. Her main research interests are energy efficient electronic design automation and techniques for simulation and validation of heterogeneous embedded systems. She currently is associate editor for IEEE Transactions on Circuits and Systems II: Express Briefs, and she has served in program committees for a number of conferences including DATE, ICCD, FDL, and ICECS.

 Hiren Patel is an Associate Professor in the Electrical and Computer Engineering department at the University of Waterloo. He was a post-doctoral scholar at the University of California, Berkeley from 2007 to 2009.  He received his Ph.D. in Computer Engineering from Virginia Tech. in 2007.  His research interests are in embedded software and hardware systems.  This includes models of computation, real-time systems, computer architecture, and system-level design.  He currently serves as a senior associate editor for ACM Transactions on Embedded Computing, and he has served in program committees for numerous conferences including DAC, ICCAD, RTAS, RTSS, FDL, CASES, and MEMOCODE.

Table of contents (6 chapters)

Table of contents (6 chapters)
  • Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces

    Centomo, Stefano (et al.)

    Pages 1-23

  • Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach

    Herdt, Vladimir (et al.)

    Pages 25-44

  • Symbolic Simulation of Dataflow Synchronous Programs with Timers

    Baudart, Guillaume (et al.)

    Pages 45-70

  • Language and Hardware Acceleration Backend for Graph Processing

    Mokhov, Andrey (et al.)

    Pages 71-88

  • Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction

    Fraccaroli, Enrico (et al.)

    Pages 89-105

Buy this book

eBook n/a
  • ISBN 978-3-030-02215-0
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
Hardcover n/a
  • ISBN 978-3-030-02214-3
  • Free shipping for individuals worldwide
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Languages, Design Methods, and Tools for Electronic System Design
Book Subtitle
Selected Contributions from FDL 2017
Editors
  • Daniel Große
  • Sara Vinco
  • Hiren Patel
Series Title
Lecture Notes in Electrical Engineering
Series Volume
530
Copyright
2019
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-02215-0
DOI
10.1007/978-3-030-02215-0
Hardcover ISBN
978-3-030-02214-3
Series ISSN
1876-1100
Edition Number
1
Number of Pages
VII, 130
Number of Illustrations
10 b/w illustrations, 73 illustrations in colour
Topics