Cantitate/Preț
Produs
Total produse
Vezi coșul
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017 de Daniel Große

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017: Lecture Notes in Electrical Engineering, cartea 530

Editat de Daniel Große, Sara Vinco, Hiren Patel
en Limba Engleză Hardback – 2019
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.
Citește tot Restrânge

Din seria Lecture Notes in Electrical Engineering

Preț: 62598 lei

Preț vechi: 73645 lei
-15% Nou

Puncte Express: 939
Preț estimativ în valută:
11979€ • 12602$ • 9918£

Carte tipărită la comandă

Livrare economică 14-28 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030022143
ISBN-10: 3030022145
Pagini: 175
Ilustrații: VII, 130 p. 83 illus., 73 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.38 kg
Ediția:1st ed. 2019
Editura: Springer International Publishing
Colecția Springer
Seria Lecture Notes in Electrical Engineering

Locul publicării:Cham, Switzerland

Cuprins

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.

Notă biografică

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.

Textul de pe ultima copertă

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.


Caracteristici

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