東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | 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)