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,765
Discovery Miles 27 650
Repayment Terms: R259 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,765 Discovery Miles 27 650 | Repayment Terms: R259 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..

Networks and Systems (Hardcover): D.Roy Choudhury
Networks and Systems
D.Roy Choudhury Hardcover R2,127 Discovery Miles 21 270
Linear Integrated Circuits (Hardcover, 3rd Revised edition): D.Roy Choudhury, Shail B. Jain
Linear Integrated Circuits
D.Roy Choudhury, Shail B. Jain Hardcover R1,112 Discovery Miles 11 120
Electro Circuit Analysis (Hardcover, 3rd ed.): S.R. Paranjothi
Electro Circuit Analysis
S.R. Paranjothi Hardcover R1,312 Discovery Miles 13 120
RF / Microwave Circuit Design for Wireless Applications (Hardcover, 2nd Edition): Ulrich L. Rohde, Matthias Rudolph
RF / Microwave Circuit Design for…
Ulrich L. Rohde, Matthias Rudolph Hardcover R5,366 Discovery Miles 53 660
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 R5,171 Discovery Miles 51 710
Modern Filter Design - Active RC and switched capacitor (Hardcover, illustrated edition): Mohammed S. Ghausi, Kenneth R Laker
Modern Filter Design - Active RC and…
Mohammed S. Ghausi, Kenneth R Laker Hardcover R2,949 Discovery Miles 29 490
Principles of Electric Circuits: Conventional Current (Paperback, 10th edition): Thomas Floyd, David Buchla
Principles of Electric Circuits…
Thomas Floyd, David Buchla Paperback R2,663 Discovery Miles 26 630
Handbook of Research on Emerging Designs and Applications for Microwave and Millimeter Wave Circuits (Hardcover): Jamal Zbitou,...
Handbook of Research on Emerging Designs…
Jamal Zbitou, Mostafa Hefnawi, … Hardcover R9,163 Discovery Miles 91 630
MEMS Resonator Filters (Hardcover): Rajendra M. Patrikar
MEMS Resonator Filters
Rajendra M. Patrikar Hardcover R3,928 R3,533 Discovery Miles 35 330
Bridging Circuits and Fields - Foundational Questions in Power Theory (Paperback): Alexander I. Petroianu
Bridging Circuits and Fields…
Alexander I. Petroianu Paperback R1,757 Discovery Miles 17 570
Phase-Locked Frequency Generation and Clocking - Architectures and circuits for modern wireless and wireline systems...
Phase-Locked Frequency Generation and…
Woogeun Rhee Hardcover R4,330 R3,892 Discovery Miles 38 920
Design of Terahertz CMOS Integrated Circuits for High-Speed Wireless Communication (Hardcover): Minoru Fujishima, Shuhei Amakawa
Design of Terahertz CMOS Integrated…
Minoru Fujishima, Shuhei Amakawa Hardcover R3,522 R3,170 Discovery Miles 31 700

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