國立高雄大學圖資館 |

Language: English

Back

Design automation techniques for app...

Chandrasekharan, Arun.

Design automation techniques for approximation circuitsverification, synthesis and test /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Design automation techniques for approximation circuitsby Arun Chandrasekharan, Daniel GroBe, Rolf Drechsler.
Reminder of title:	verification, synthesis and test /
Author:	Chandrasekharan, Arun.
other author:	GroBe, Daniel.
Published:	Cham :Springer International Publishing :2019.
Description:	xix, 130 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	System design.
Online resource:	https://doi.org/10.1007/978-3-319-98965-5
ISBN:	9783319989655$q(electronic bk.)

Design automation techniques for approximation circuitsverification, synthesis and test /
Chandrasekharan, Arun.

Design automation techniques for approximation circuitsverification, synthesis and test /[electronic resource] :by Arun Chandrasekharan, Daniel GroBe, Rolf Drechsler. - Cham :Springer International Publishing :2019. - xix, 130 p. :ill., digital ;24 cm.

Introduction -- Preliminaries -- Error Metric Computation for Approximate Combinational Circuits -- Formal Verification of Approximate Sequential Circuits -- Synthesis Techniques for Approximation Circuits -- Post-Production Test Strategies for Approximation Circuits -- ProACt: Hardware Architecture for Cross-Layer Approximate Computing -- Conclusions and Outlook -- Index -- References.

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. Provides a general overview of approximate computing hardware design; Offers a detailed explanation of the formal verification problem for approximate hardware; Explains in detail several algorithms for the synthesis and verification of an approximate hardware; Includes an overview of the post production test for approximation circuits and methodologies to potentially improve the yield of the fabrication process; Uses case studies and experimental results to depict the problem and usefulness of the approach.

ISBN: 9783319989655$q(electronic bk.)

Standard No.: 10.1007/978-3-319-98965-5doiSubjects--Topical Terms:

182170
System design.

LC Class. No.: QA76.9.S88 / C436 2019

Dewey Class. No.: 004.21

Design automation techniques for approximation circuitsverification, synthesis and test /
LDR:02666nmm a2200325 a 4500 001 553206
003 DE-He213
005 20190530165337.0
006 m d
007 cr nn 008maaau
008 191111s2019 gw s 0 eng d
020 $a 9783319989655$q(electronic bk.)
020 $a 9783319989648$q(paper)
024 7 $a 10.1007/978-3-319-98965-5 $2 doi
035 $a 978-3-319-98965-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.S88 $b C436 2019
072 7 $a TJFC $2 bicssc
072 7 $a TEC008010 $2 bisacsh
072 7 $a TJFC $2 thema
082 0 4 $a 004.21 $2 23
090 $a QA76.9.S88 $b C456 2019
100 1 $a Chandrasekharan, Arun. $3 834372
245 1 0 $a Design automation techniques for approximation circuits $h [electronic resource] : $b verification, synthesis and test / $c by Arun Chandrasekharan, Daniel GroBe, Rolf Drechsler.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xix, 130 p. : $b ill., digital ; $c 24 cm.
505 0 $a Introduction -- Preliminaries -- Error Metric Computation for Approximate Combinational Circuits -- Formal Verification of Approximate Sequential Circuits -- Synthesis Techniques for Approximation Circuits -- Post-Production Test Strategies for Approximation Circuits -- ProACt: Hardware Architecture for Cross-Layer Approximate Computing -- Conclusions and Outlook -- Index -- References.
520 $a 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. Provides a general overview of approximate computing hardware design; Offers a detailed explanation of the formal verification problem for approximate hardware; Explains in detail several algorithms for the synthesis and verification of an approximate hardware; Includes an overview of the post production test for approximation circuits and methodologies to potentially improve the yield of the fabrication process; Uses case studies and experimental results to depict the problem and usefulness of the approach.
650 0 $a System design. $3 182170
650 0 $a Approximation algorithms. $3 558659
650 1 4 $a Circuits and Systems. $3 274416
650 2 4 $a Processor Architectures. $3 274498
650 2 4 $a Electronics and Microelectronics, Instrumentation. $3 274412
700 1 $a GroBe, Daniel. $3 834373
700 1 $a Drechsler, Rolf. $3 253914
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
856 4 0 $u https://doi.org/10.1007/978-3-319-98965-5
950 $a Engineering (Springer-11647)