語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
到查詢結果
[ subject:"Approximation algorithms." ]
切換:
標籤
|
MARC模式
|
ISBD
Design automation techniques for app...
~
Chandrasekharan, Arun.
FindBook
Google Book
Amazon
博客來
Design automation techniques for approximation circuits = verification, synthesis and test /
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Design automation techniques for approximation circuits/ by Arun Chandrasekharan, Daniel GroBe, Rolf Drechsler.
其他題名:
verification, synthesis and test /
作者:
Chandrasekharan, Arun.
其他作者:
GroBe, Daniel.
出版者:
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.
Contained By:
Springer eBooks
標題:
System design. -
電子資源:
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 circuits
verification, 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)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9367406
電子資源
11.線上閱覽_V
電子書
EB QA76.9.S88 C436 2019
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入