Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02


Url canonique : www.lavoisier.fr/livre/autre/languages-design-methods-and-tools-for-electronic-system-design/descriptif_4154978
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=4154978

Languages, Design Methods, and Tools for Electronic System Design, 1st ed. 2019 Selected Contributions from FDL 2017 Lecture Notes in Electrical Engineering Series, Vol. 530

Langue : Anglais

Coordonnateurs : Große Daniel, Vinco Sara, Patel Hiren

Couverture de l’ouvrage Languages, Design Methods, and Tools for Electronic System Design

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.

1. Automatic Integration of HDL IPs in Simulinkusing FMI and S-Function Interfaces.- 2. Towards Early Validation of Firmware-Based Power Management using Virtual Prototypes: A Constrained Random Approach.- 3. Symbolic Simulation of Dataflow Synchronous Programs with Timers.- 4. Language and Hardware Acceleration Backend for Graph Processing.- 5. Fault Analysis in Analog Circuits through Language Manipulation and Abstraction.- 6. A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions.

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.&

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

Date de parution :

Ouvrage de 130 p.

15.5x23.5 cm

Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).

105,49 €

Ajouter au panier

Thèmes de Languages, Design Methods, and Tools for Electronic... :