你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Formal Verification of Structurally Complex Multipliers
Type
Physical Book
Author
Publisher
Language
English
Pages
130
Format
Hardcover
Dimensions
23.4x15.6x1 cm
Weight
0.38 kg.
ISBN13
9783031245701
Categories

Formal Verification of Structurally Complex Multipliers

Rolf Drechsler (Author) · Daniel Große (Author) · Alireza Mahzoon (Author) · Springer · Hardcover

Formal Verification of Structurally Complex Multipliers - Mahzoon, Alireza ; Große, Daniel ; Drechsler, Rolf

Cheaper New Book Imported to Taiwan
Delivery: 05 Nov - 18 Nov Shipping: 15 to 19 business days.
NT$ 3,086
Faster New Book Imported to Taiwan
Delivery: 23 Oct - 02 Nov Shipping: 6 to 7 business days.
NT$ 4,021
NT$ 3,086

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Formal Verification of Structurally Complex Multipliers"

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews