國立虎尾科技大學 |

Design Automation Techniques for Approximation Circuits = Verification, Synthesis and Test /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Design Automation Techniques for Approximation Circuits/ by Arun Chandrasekharan, Daniel Große, Rolf Drechsler.
其他題名:	Verification, Synthesis and Test /
作者:	Chandrasekharan, Arun.
其他作者:	Große, Daniel.
面頁冊數:	XIX, 130 p. 24 illus., 19 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Microprocessors. -
電子資源:	https://doi.org/10.1007/978-3-319-98965-5
ISBN:	9783319989655

Design Automation Techniques for Approximation Circuits = Verification, Synthesis and Test /
Chandrasekharan, Arun.

Design Automation Techniques for Approximation CircuitsVerification, Synthesis and Test /[electronic resource] :by Arun Chandrasekharan, Daniel Große, Rolf Drechsler. - 1st ed. 2019. - XIX, 130 p. 24 illus., 19 illus. in color.online resource.

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

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

632481
Microprocessors.

LC Class. No.: TK7888.4

Dewey Class. No.: 621.3815

Design Automation Techniques for Approximation Circuits = Verification, Synthesis and Test /
LDR:03039nam a22003975i 4500 001 1014494
003 DE-He213
005 20200702111038.0
007 cr nn 008mamaa
008 210106s2019 gw | s |||| 0|eng d
020 $a 9783319989655 $9 978-3-319-98965-5
024 7 $a 10.1007/978-3-319-98965-5 $2 doi
035 $a 978-3-319-98965-5
050 4 $a TK7888.4
072 7 $a TJFC $2 bicssc
072 7 $a TEC008010 $2 bisacsh
072 7 $a TJFC $2 thema
082 0 4 $a 621.3815 $2 23
100 1 $a Chandrasekharan, Arun. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1308714
245 1 0 $a Design Automation Techniques for Approximation Circuits $h [electronic resource] : $b Verification, Synthesis and Test / $c by Arun Chandrasekharan, Daniel Große, Rolf Drechsler.
250 $a 1st ed. 2019.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a XIX, 130 p. 24 illus., 19 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
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 Microprocessors. $3 632481
650 0 $a Electronic circuits. $3 563332
650 0 $a Electronics. $3 596389
650 0 $a Microelectronics. $3 554956
650 1 4 $a Circuits and Systems. $3 670901
650 2 4 $a Processor Architectures. $3 669787
650 2 4 $a Electronics and Microelectronics, Instrumentation. $3 670219
700 1 $a Große, Daniel. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1308715
700 1 $a Drechsler, Rolf. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 670948
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319989648
776 0 8 $i Printed edition: $z 9783319989662
776 0 8 $i Printed edition: $z 9783030075507
856 4 0 $u https://doi.org/10.1007/978-3-319-98965-5
912 $a ZDB-2-ENG
912 $a ZDB-2-SXE
950 $a Engineering (SpringerNature-11647)
950 $a Engineering (R0) (SpringerNature-43712)