Design automation techniques for approximation circuits : verification, synthesis and test /: verification, synthesis and test. ([2019])

• Record Type: Book
• Further Information: Note: Arun Chandrasekharan, Daniel Große, Rolf Drechsler.
• Authors: Chandrasekharan, Arun; Grosse, Daniel; Drechsler, Rolf
• Contents: 1. Introduction2. Preliminaries3. Error Metric Computation for Approximate Combinational Circuits4. Formal Verification of Approximate Sequential Circuits5. Synthesis Techniques for Approximation Circuits6. Post-Production Test Strategies for Approximation Circuits7. ProACt: Hardware Architecture for Cross-Layer Approximate Computing8. Conclusions and OutlookIndexReferences.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource
• Subjects: 004.2/1; Engineering; System design; Approximation algorithms; Approximation algorithms; System design; Computers -- Systems Architecture -- General; Technology & Engineering -- Electronics -- General; Computer architecture & logic design; Electronics engineering; Systems engineering; Computer science; Electronics; Technology & Engineering -- Electronics -- Circuits -- General; Circuits & components; Electronic books
• Languages: English
• ISBNs: 9783319989655; 3319989650
• Related ISBNs: 9783319989648; 3319989642
• Notes: Note: Description based on online resource; title from digital title page (viewed on November 12, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.