Design Automation Techniques for Approximation Circuits

Verification, Synthesis and Test

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture
Cover of the book Design Automation Techniques for Approximation Circuits by Arun Chandrasekharan, Daniel Große, Rolf Drechsler, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Arun Chandrasekharan, Daniel Große, Rolf Drechsler ISBN: 9783319989655
Publisher: Springer International Publishing Publication: October 10, 2018
Imprint: Springer Language: English
Author: Arun Chandrasekharan, Daniel Große, Rolf Drechsler
ISBN: 9783319989655
Publisher: Springer International Publishing
Publication: October 10, 2018
Imprint: Springer
Language: English

This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based on classical formal verification, synthesis and test techniques for an approximate computing IC design flow. This is one of the first books in Approximate Computing that addresses the design automation aspects, aiming for not only sketching the possibility, but providing a comprehensive overview of different tasks and especially how they can be implemented.

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

This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based on classical formal verification, synthesis and test techniques for an approximate computing IC design flow. This is one of the first books in Approximate Computing that addresses the design automation aspects, aiming for not only sketching the possibility, but providing a comprehensive overview of different tasks and especially how they can be implemented.

More books from Springer International Publishing

Cover of the book Engineering Computational Emotion - A Reference Model for Emotion in Artificial Systems by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Ergodic Optimization in the Expanding Case by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Advancing Culture of Living with Landslides by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Fear of Muslims? by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Guide to Signals and Patterns in Image Processing by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book The Exo-Weather Report by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Molecular Oncology: Underlying Mechanisms and Translational Advancements by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Nanocomposites, Nanophotonics, Nanobiotechnology, and Applications by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Food Security Governance in the Arctic-Barents Region by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book State of the Art in Digital Media and Applications by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Reflections on Theoretical Issues in Argumentation Theory by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book High Energy Astrophysical Techniques by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Oral Mucosa in Health and Disease by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Francis Bacon on Motion and Power by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Differential Equations and Dynamical Systems by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
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