Models, Methods, and Tools for Complex Chip Design

Selected Contributions from FDL 2012

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture
Cover of the book Models, Methods, and Tools for Complex Chip 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: 9783319014180
Publisher: Springer International Publishing Publication: September 18, 2013
Imprint: Springer Language: English
Author:
ISBN: 9783319014180
Publisher: Springer International Publishing
Publication: September 18, 2013
Imprint: Springer
Language: English

This book brings together a selection of the best papers from the fifteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2012 at Vienna University of Technology, Vienna, Austria. 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.

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 fifteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2012 at Vienna University of Technology, Vienna, Austria. 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 Pathophysiology and Pharmacotherapy of Cardiovascular Disease by
Cover of the book The Energy Landscape in the Republic of South Africa by
Cover of the book Cellular Imaging by
Cover of the book Urban Studies and Entrepreneurship by
Cover of the book Measuring, Interpreting and Translating Electron Quasiparticle - Phonon Interactions on the Surfaces of the Topological Insulators Bismuth Selenide and Bismuth Telluride by
Cover of the book Radiation Oncology for Pediatric CNS Tumors by
Cover of the book Hemodynamic Monitoring in the ICU by
Cover of the book Techno-Resiliency in Education by
Cover of the book Web-Age Information Management by
Cover of the book More Math Into LaTeX by
Cover of the book Didactics of Smart Pedagogy by
Cover of the book Traumatic Memories of the Second World War and After by
Cover of the book Integral and Discrete Inequalities and Their Applications by
Cover of the book Quantum Potential: Physics, Geometry and Algebra by
Cover of the book Progress in Cryptology – AFRICACRYPT 2018 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