Languages, Design Methods, and Tools for Electronic System Design

Selected Contributions from FDL 2017

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture
Cover of the book Languages, Design Methods, and Tools for Electronic System Design by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783030022150
Publisher: Springer International Publishing Publication: December 19, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783030022150
Publisher: Springer International Publishing
Publication: December 19, 2018
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book From Financial Crisis to Social Change by
Cover of the book Teaching Victorian Literature in the Twenty-First Century by
Cover of the book Hybrid Systems Biology by
Cover of the book Preventing Fatal Incidents in School and Youth Group Camps and Excursions by
Cover of the book The Yale Swallow Protocol by
Cover of the book The Kuroshio Power Plant by
Cover of the book Sentiment Analysis and Ontology Engineering by
Cover of the book Innovative Hand Exoskeleton Design for Extravehicular Activities in Space by
Cover of the book Multiscale Mechanobiology of Bone Remodeling and Adaptation by
Cover of the book Craniofacial and Dental Developmental Defects by
Cover of the book Geometric Science of Information by
Cover of the book Issues and Challenges of Intelligent Systems and Computational Intelligence by
Cover of the book Alfred Tarski and the "Concept of Truth in Formalized Languages" by
Cover of the book Evolution of Magmatic and Diamond-Forming Systems of the Earth's Lower Mantle by
Cover of the book Preventive and Predictive Genetics: Towards Personalised Medicine by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy