Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test (1st ed. 2019)
By: and and
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2019
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783319989655
- Related ISBNs:
- 9783319989648
- Publisher:
- Springer International Publishing
- Date of Addition:
- 10/11/18
- Copyrighted By:
- Springer
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Technology
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
Reviews
Other Books
- by Arun Chandrasekharan
- by Daniel Große
- by Rolf Drechsler
- in Nonfiction
- in Computers and Internet
- in Technology