Languages, Design Methods, and Tools for Electronic System Design / Lecture Notes in Electrical Engineering Bd.530 (PDF)
48 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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.
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
- 2018, 1st ed. 2019, 130 Seiten, Englisch
- Herausgegeben: Daniel Große, Sara Vinco, Hiren Patel
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3030022153
- ISBN-13: 9783030022150
- Erscheinungsdatum: 19.12.2018
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 6.60 MB
- Ohne Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Languages, Design Methods, and Tools for Electronic System Design / Lecture Notes in Electrical Engineering Bd.530".
Kommentar verfassen