東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Design automation techniques for app...

Chandrasekharan, Arun.

Linked to FindBook

Google Book

Amazon

博客來

Design automation techniques for approximation circuits = verification, synthesis and test /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Design automation techniques for approximation circuits/ by 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.
[NT 15003449]:	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.
Contained By:	Springer eBooks
Subject:	System design. -
Online resource:	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 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

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

518843
System design.

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

Dewey Class. No.: 004.21

Design automation techniques for approximation circuits = verification, synthesis and test /
LDR:02666nmm a2200325 a 4500 001 2177545
003 DE-He213
005 20190530165337.0
006 m d
007 cr nn 008maaau
008 191122s2019 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 3380773
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 518843
650 0 $a Approximation algorithms. $3 1566572
650 1 4 $a Circuits and Systems. $3 896527
650 2 4 $a Processor Architectures. $3 892680
650 2 4 $a Electronics and Microelectronics, Instrumentation. $3 893838
700 1 $a GroBe, Daniel. $3 3380774
700 1 $a Drechsler, Rolf. $3 827432
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
856 4 0 $u https://doi.org/10.1007/978-3-319-98965-5
950 $a Engineering (Springer-11647)