Languages, Design Methods, and Tools for Electronic System Design (eBook)
VII, 130 Seiten
Springer International Publishing (Verlag)
978-3-030-02215-0 (ISBN)
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.
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.
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.
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.
| Erscheint lt. Verlag | 19.12.2018 |
|---|---|
| Reihe/Serie | Lecture Notes in Electrical Engineering |
| Zusatzinfo | VII, 130 p. 83 illus., 73 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik |
| Technik ► Elektrotechnik / Energietechnik | |
| Schlagworte | Automatic Synthesis • Design Specification Languages • Design Verification • FDL 2017 • Mechanized Debugging |
| ISBN-10 | 3-030-02215-3 / 3030022153 |
| ISBN-13 | 978-3-030-02215-0 / 9783030022150 |
| Haben Sie eine Frage zum Produkt? |
PDF (Wasserzeichen)Größe: 6,9 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
