Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components

Buy Now

Formal Verification of Structurally Complex Multipliers (Hardcover, 1st ed. 2023) Loot Price: R2,678
Discovery Miles 26 780
Repayment Terms: R251 pm x 12*
Add to cart
Formal Verification of Structurally Complex Multipliers (Hardcover, 1st ed. 2023): Alireza Mahzoon, Daniel Grosse, Rolf...

Formal Verification of Structurally Complex Multipliers (Hardcover, 1st ed. 2023)

Alireza Mahzoon, Daniel Grosse, Rolf Drechsler

 (sign in to rate)
Loot Price R2,678 Discovery Miles 26 780 | Repayment Terms: R251 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Release date: February 2023
First published: 2023
Authors: Alireza Mahzoon • Daniel Grosse • Rolf Drechsler
Dimensions: 235 x 155mm (L x W)
Format: Hardcover
Pages: 292
Edition: 1st ed. 2023
ISBN-13: 978-3-03-124570-1
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematics for scientists & engineers
Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components
Promotions
LSN: 3-03-124570-9
Barcode: 9783031245701

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Dark Silicon and Future On-chip Systems, Volume 110 (Hardcover): Suyel Namasudra, Hamid Sarbazi-Azad
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R4,084 Discovery Miles 40 840
Microwave Active Circuit Analysis and Design (Hardcover): Clive Poole, Izzat Darwazeh
Microwave Active Circuit Analysis and…
Clive Poole, Izzat Darwazeh Hardcover R2,062 R1,762 Discovery Miles 17 620
Power Electronics Applied to Industrial Systems and Transports, Volume 4 - Electromagnetic Compatibility (Hardcover): Nicolas...
Power Electronics Applied to Industrial…
Nicolas Patin Hardcover R1,966 Discovery Miles 19 660
Sensors and Transducers (Hardcover, 3rd edition): Ian Sinclair
Sensors and Transducers
Ian Sinclair Hardcover R1,696 Discovery Miles 16 960
Semiconductor Lasers II - Materials and Structures (Hardcover): Eli Kapon
Semiconductor Lasers II - Materials and…
Eli Kapon Hardcover R2,326 Discovery Miles 23 260
Valve and Transistor Audio Amplifiers (Paperback): John Linsley Hood
Valve and Transistor Audio Amplifiers
John Linsley Hood Paperback R1,779 R1,682 Discovery Miles 16 820
Newnes Digital Logic IC Pocket Book, Volume 3 (Hardcover): R.M. Marston
Newnes Digital Logic IC Pocket Book…
R.M. Marston Hardcover R1,057 Discovery Miles 10 570
Active Filter Cookbook (Paperback, 2nd edition): Don Lancaster
Active Filter Cookbook
Don Lancaster Paperback R1,442 Discovery Miles 14 420
Advances in Research and Development, Volume 21 - Homojunction and Quantum-Well Infrared Detectors (Hardcover, UK ed.): Maurice...
Advances in Research and Development…
Maurice H. Francombe, John L. Vossen Hardcover R1,244 Discovery Miles 12 440
Digital Signal Processing Systems: Implementation Techniques, Volume 68 - Advances in Theory and Applications (Hardcover, UK...
Digital Signal Processing Systems…
Cornelius T. Leondes Hardcover R1,245 Discovery Miles 12 450
Introduction to Microlithography (Hardcover, 2nd Revised edition): Larry F. Thompson, C. Grant Willson, Murrae J. Bowden
Introduction to Microlithography
Larry F. Thompson, C. Grant Willson, … Hardcover R4,951 Discovery Miles 49 510
Formal Verification - An Essential Toolkit for Modern VLSI Design (Paperback, 2nd edition): Erik Seligman, Tom Schubert, M. V....
Formal Verification - An Essential…
Erik Seligman, Tom Schubert, … Paperback R2,555 R2,376 Discovery Miles 23 760

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners