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 Computational Intelligence Paradigms in Economic and Financial Decision Making by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Human Physical Fitness and Activity by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Privacy in Statistical Databases by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Renewing the Family: A History of the Baby Boomers by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Land Allocation for Biomass Crops by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Statistical Physics of Wave Interactions by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Computing and Combinatorics by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Economic Model Predictive Control by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Nano-Oncologicals by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book The Uncertainty Analysis of Model Results by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Allergens and Airway Hyperreactivity by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Advances in Metaheuristic Algorithms for Optimal Design of Structures by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book The Legal Order by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book The Semantic Web: ESWC 2018 Satellite Events by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Cover of the book Critical Infrastructure Security and Resilience 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