國立高雄大學圖資館 |

Language: English

Back

Formal verification of structurally complex multipliers

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal verification of structurally complex multipliersby Alireza Mahzoon, Daniel Große, Rolf Drechsler.
Author:	Mahzoon, Alireza.
other author:	Grosse, Daniel.
Published:	Cham :Springer International Publishing :2023.
Description:	xiii, 130 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Numerical calculationsVerification
Online resource:	https://doi.org/10.1007/978-3-031-24571-8
ISBN:	9783031245718$q(electronic bk.)

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$q(electronic bk.)

Standard No.: 10.1007/978-3-031-24571-8doiSubjects--Topical Terms:

946644
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 640129
003 DE-He213
005 20230214154136.0
006 m d
007 cr nn 008maaau
008 231025s2023 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 946643
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 946644
650 0 $a Algebra $x Data processing. $3 191027
650 0 $a Multipliers (Mathematical analysis) $3 206749
650 1 4 $a Electronic Circuits and Systems. $3 913394
650 2 4 $a Electronics Design and Verification. $3 919565
650 2 4 $a Symbolic and Algebraic Manipulation. $3 273720
650 2 4 $a Embedded Systems. $3 919564
700 1 $a Grosse, Daniel. $3 485337
700 1 $a Drechsler, Rolf. $3 253914
710 2 $a SpringerLink (Online service) $3 273601
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)