Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test
2019 ed.
Book Details
Delivery Location
Delivery fee: Select location
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.
Get Design Automation Techniques for Approximation Circuits by Arun Chandrasekharan, Daniel Große at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has 130 pages.
Customers Who Bought This Also Bought
Introduction To Electronic Circuits: A Design-oriented Approach
KSh 9,900.00
Intelligent Techniques for Security of Medical Data
KSh 22,500.00
Hardware Supply Chain Security
KSh 19,800.00
Cryptographic Engineering
KSh 39,600.00
Functional Design Errors in Digital Circuits
KSh 23,400.00
Viruses, Hardware and Software Trojans
KSh 23,400.00
mm-Wave Silicon Technology
KSh 36,000.00
Electrical Engineering Experiments
KSh 8,000.00
In-Memory Computing
KSh 16,200.00
Protection Principle and Technology of the VSC-Based DC Grid
KSh 21,600.00
Languages, Design Methods, and Tools for Electronic System Design
KSh 8,100.00
Soft Error Reliability of VLSI Circuits
KSh 8,100.00
More by Arun Chandrasekharan, Daniel Große
In-Memory Computing
KSh 16,200.00
Design for Testability, Debug and Reliability
KSh 18,000.00
Automated Analysis of Virtual Prototypes at the Electronic System Level
KSh 12,600.00
Reversible and Quantum Circuits
KSh 8,100.00
In-Memory-Computing
KSh 16,200.00
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
KSh 23,400.00
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme
KSh 16,200.00
Breaking Barriers in HW-to-SW Stack Verification
KSh 18,000.00
Towards a Design Flow for Reversible Logic
KSh 16,200.00
Enhanced Virtual Prototyping
KSh 19,800.00
Verbessertes virtuelles Prototyping
KSh 13,500.00
Noch analog oder lebst Du schon?
KSh 2,700.00
More in This Genre
Introduction To Electronic Circuits: A Design-oriented Approach
KSh 9,900.00
Intelligent Techniques for Security of Medical Data
KSh 22,500.00
Hardware Supply Chain Security
KSh 19,800.00
Cryptographic Engineering
KSh 39,600.00
Functional Design Errors in Digital Circuits
KSh 23,400.00
Viruses, Hardware and Software Trojans
KSh 23,400.00
