Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2016
(Sprache: Englisch)
This book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2016, in Bremen, Germany. FDL is a well-established...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
106.99 €
53 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Languages, Design Methods, and Tools for Electronic System Design “
Klappentext zu „Languages, Design Methods, and Tools for Electronic System Design “
This book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2016, in Bremen, Germany. 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.Inhaltsverzeichnis zu „Languages, Design Methods, and Tools for Electronic System Design “
Chapter1. Knowing Your AMS System's Limits: System Acceptance Region Exploration by Using Automated Model Refinement and Accelerated Simulation.- Chapter2. Designing Reliable Cyber-Physical Systems.- Chapter3. On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-based Error Effect Simulation - A Case Study.- Chapter4. Selective Abstraction and Stochastic Methods for Scalable Power Modelling of Heterogeneous Systems.- Chapter5. Feature based State Space Coverage of Analog Circuits.- Chapter6. Error-free Near-threshold Adiabatic CMOS Logic in Presence of Process Variation.Autoren-Porträt
Franco Fummi received the Laurea degree in Electronic Engineering at Politecnico di Milano in 1990 and the Ph.D.in Electronic and Communication Engineering in 1994 at Politecnico di Milano. In 1993 he was Research Assistant at the department of Computer Science of the University of Victoria (B.C.). In 1996 he obtained the position of Assistant Professor in Computer Science at the Dipartimento di Elettronica e Informazione of Politecnico di Milano where he remained until October 1998. In July 1998 he obtained the position of Associate Professor in Computer Architecture at the Computer Science Department of Università di Verona. Since March 2001 he is Full Professor in Computer Architecture at the Computer Science Department of Università di Verona He is leading the Electronic Systems Design (ESD) group of the Università di Verona (http://esd.sci.univr.it), currently composed of more than 20 people and working on hardware description languages and electronic design automation methodologies for modeling, verification, testing and optimization of embedded systems.
Bibliographische Angaben
- 2018, Softcover reprint of the original 1st ed. 2018, VII, 116 Seiten, 48 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Franco Fummi, Robert Wille
- Verlag: Springer, Berlin
- ISBN-10: 3319874292
- ISBN-13: 9783319874296
Sprache:
Englisch
Kommentar zu "Languages, Design Methods, and Tools for Electronic System Design"
0 Gebrauchte Artikel zu „Languages, Design Methods, and Tools for Electronic System Design“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Languages, Design Methods, and Tools for Electronic System Design".
Kommentar verfassen