Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

✍ Scribed by Arun Chandrasekharan, Daniel Große, Rolf Drechsler

Publisher: Springer International Publishing
Year: 2019
Tongue: English
Leaves: 140
Edition: 1st ed.
Category: Library

No coin nor oath required. For personal study only.

✦ 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.

✦ Table of Contents

Front Matter ....Pages i-xix
Introduction (Arun Chandrasekharan, Daniel Große, Rolf Drechsler)....Pages 1-9
Preliminaries (Arun Chandrasekharan, Daniel Große, Rolf Drechsler)....Pages 11-25
Error Metric Computation for Approximate Combinational Circuits (Arun Chandrasekharan, Daniel Große, Rolf Drechsler)....Pages 27-50
Formal Verification of Approximate Sequential Circuits (Arun Chandrasekharan, Daniel Große, Rolf Drechsler)....Pages 51-64
Synthesis Techniques for Approximation Circuits (Arun Chandrasekharan, Daniel Große, Rolf Drechsler)....Pages 65-86
Post-Production Test Strategies for Approximation Circuits (Arun Chandrasekharan, Daniel Große, Rolf Drechsler)....Pages 87-102
ProACt: Hardware Architecture for Cross-Layer Approximate Computing (Arun Chandrasekharan, Daniel Große, Rolf Drechsler)....Pages 103-118
Conclusions and Outlook (Arun Chandrasekharan, Daniel Große, Rolf Drechsler)....Pages 119-121
Back Matter ....Pages 123-130

✦ Subjects

Engineering; Circuits and Systems; Processor Architectures; Electronics and Microelectronics, Instrumentation

📜 SIMILAR VOLUMES

EDA for IC System Design, Verification,

📁 EDA for IC System Design, Verification, and Testing (Electronic Design Automation for Integrated Circuits Hdbk)

✍ Louis Scheffer, Luciano Lavagno, Grant Martin 📂 Library 📅 2006 🏛 CRC Press 🌐 English

Presenting a comprehensive overview of the design automation algorithms, tools, and methodologies used to design integrated circuits, the Electronic Design Automation for Integrated Circuits Handbook is available in two volumes. The first volume, EDA for IC System Design, Verification, and Testing,

EDA for IC System Design, Verification,

📁 EDA for IC System Design, Verification, and Testing (Electronic Design Automation for Integrated Circuits Hdbk)

✍ Louis Scheffer, Luciano Lavagno, Grant Martin 📂 Library 📅 2006 🏛 CRC Press 🌐 English

Presenting a comprehensive overview of the design automation algorithms, tools, and methodologies used to design integrated circuits, the <em>Electronic Design Automation for Integrated Circuits Handbook</em> is available in two volumes. The first volume, <strong>EDA for IC System Design, Verificati

Electronic Design Automation: Synthesis,

📁 Electronic Design Automation: Synthesis, Verification, and Test (Systems on Silicon)

✍ Laung-Terng Wang, Yao-Wen Chang, Kwang-Ting (Tim) Cheng 📂 Library 📅 2009 🏛 Morgan Kaufmann 🌐 English

This book provides broad and comprehensive coverage of the entire EDA flow. EDA/VLSI practitioners and researchers in need of fluency in an "adjacent" field will find this an invaluable reference to the basic EDA concepts, principles, data structures, algorithms, and architectures for the design, v

Genetic Design Automation: A Practical A

📁 Genetic Design Automation: A Practical Approach for the Analysis, Verification and Synthesis of Genetic Logic Circuits

✍ Hasan Baig, Jan Madsen 📂 Library 📅 2020 🌐 English

This textbook introduces readers to the recent advances in the emerging field of genetic design automation (GDA). Starting with an introduction and the basic concepts of molecular biology, the authors provide an overview of various genetic design automation tools. The authors then present the DVASim

Genetic Design Automation : A Practical

📁 Genetic Design Automation : A Practical Approach for the Analysis, Verification and Synthesis of Genetic Logic Circuits

✍ Hasan Baig, Jan Madsen 📂 Library 📅 2020 🏛 Springer International Publishing;Springer 🌐 English

<p>This textbook introduces readers to the recent advances in the emerging field of genetic design automation (GDA). Starting with an introduction and the basic concepts of molecular biology, the authors provide an overview of various genetic design automation tools. The authors then present the DVA

Electronic design automation for IC syst

📁 Electronic design automation for IC system design, verification, and testing

✍ Lavagno, Luciano 📂 Library 📅 2016 🏛 CRC Press 🌐 English