語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
到查詢結果
[ subject:"Multipliers (Mathematical analysis)" ]
切換:
標籤
|
MARC模式
|
ISBD
Formal verification of structurally ...
~
Mahzoon, Alireza.
FindBook
Google Book
Amazon
博客來
Formal verification of structurally complex multipliers
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Formal verification of structurally complex multipliers/ by Alireza Mahzoon, Daniel Große, Rolf Drechsler.
作者:
Mahzoon, Alireza.
其他作者:
Grosse, Daniel.
出版者:
Cham :Springer International Publishing : : 2023.,
面頁冊數:
xiii, 130 p. :ill., digital ;24 cm.
內容註:
Introduction -- Background -- Challenges of SCA-based Verification -- Local Vanishing Monomials Removal -- Reverse Engineering -- Dynamic Backward Rewriting -- SCA-based Verifier RevSCA-2.0 -- Debugging -- Conclusion and Outlook.
Contained By:
Springer Nature eBook
標題:
Numerical calculations - Verification -
電子資源:
https://doi.org/10.1007/978-3-031-24571-8
ISBN:
9783031245718
Formal verification of structurally complex multipliers
Mahzoon, Alireza.
Formal verification of structurally complex multipliers
[electronic resource] /by Alireza Mahzoon, Daniel Große, Rolf Drechsler. - Cham :Springer International Publishing :2023. - xiii, 130 p. :ill., digital ;24 cm.
Introduction -- Background -- Challenges of SCA-based Verification -- Local Vanishing Monomials Removal -- Reverse Engineering -- Dynamic Backward Rewriting -- SCA-based Verifier RevSCA-2.0 -- Debugging -- Conclusion and Outlook.
This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then describe three techniques to improve and extend SCA: vanishing monomials removal, reverse engineering, and dynamic backward rewriting. This enables readers to verify a wide variety of multipliers, including highly complex and optimized industrial benchmarks. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections. Provides extensive introduction to the field of Symbolic Computer Algebra (SCA) and its application to multiplier verification; Discusses the challenges of SCA-based verification when it comes to proving the correctness of structurally complex multipliers; Describes three techniques to improve and extend SCA for the verification of structurally complex multipliers; Introduces a complete debugging flow to localize and fix bugs in structurally complex multipliers.
ISBN: 9783031245718
Standard No.: 10.1007/978-3-031-24571-8doiSubjects--Topical Terms:
3628802
Numerical calculations
--Verification
LC Class. No.: QA299 / .M34 2023
Dewey Class. No.: 515.24330285
Formal verification of structurally complex multipliers
LDR
:02438nmm a2200325 a 4500
001
2315982
003
DE-He213
005
20230214154136.0
006
m d
007
cr nn 008maaau
008
230902s2023 sz s 0 eng d
020
$a
9783031245718
$q
(electronic bk.)
020
$a
9783031245701
$q
(paper)
024
7
$a
10.1007/978-3-031-24571-8
$2
doi
035
$a
978-3-031-24571-8
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA299
$b
.M34 2023
072
7
$a
TJFC
$2
bicssc
072
7
$a
TEC008010
$2
bisacsh
072
7
$a
TJFC
$2
thema
082
0 4
$a
515.24330285
$2
23
090
$a
QA299
$b
.M216 2023
100
1
$a
Mahzoon, Alireza.
$3
3628801
245
1 0
$a
Formal verification of structurally complex multipliers
$h
[electronic resource] /
$c
by Alireza Mahzoon, Daniel Große, Rolf Drechsler.
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2023.
300
$a
xiii, 130 p. :
$b
ill., digital ;
$c
24 cm.
505
0
$a
Introduction -- Background -- Challenges of SCA-based Verification -- Local Vanishing Monomials Removal -- Reverse Engineering -- Dynamic Backward Rewriting -- SCA-based Verifier RevSCA-2.0 -- Debugging -- Conclusion and Outlook.
520
$a
This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then describe three techniques to improve and extend SCA: vanishing monomials removal, reverse engineering, and dynamic backward rewriting. This enables readers to verify a wide variety of multipliers, including highly complex and optimized industrial benchmarks. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections. Provides extensive introduction to the field of Symbolic Computer Algebra (SCA) and its application to multiplier verification; Discusses the challenges of SCA-based verification when it comes to proving the correctness of structurally complex multipliers; Describes three techniques to improve and extend SCA for the verification of structurally complex multipliers; Introduces a complete debugging flow to localize and fix bugs in structurally complex multipliers.
650
0
$a
Numerical calculations
$x
Verification
$x
Data processing.
$3
3628802
650
0
$a
Algebra
$x
Data processing.
$3
532082
650
0
$a
Multipliers (Mathematical analysis)
$3
910928
650
1 4
$a
Electronic Circuits and Systems.
$3
3538814
650
2 4
$a
Electronics Design and Verification.
$3
3592716
650
2 4
$a
Symbolic and Algebraic Manipulation.
$3
891222
650
2 4
$a
Embedded Systems.
$3
3592715
700
1
$a
Grosse, Daniel.
$3
1086027
700
1
$a
Drechsler, Rolf.
$3
827432
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer Nature eBook
856
4 0
$u
https://doi.org/10.1007/978-3-031-24571-8
950
$a
Engineering (SpringerNature-11647)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9452232
電子資源
11.線上閱覽_V
電子書
EB QA299 .M34 2023
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入