Tracked shipping to the Netherlands for just €3.99. Prices include 9% BTW. 

Ship to
Netherlands
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 Polynomial Formal Verification of Approximate Functions (Bestmasters)
Type
Physical Book
Publisher
Author
Language
English
Pages
79
Format
Paperback
ISBN13
9783658418878
Edition No.
1

Polynomial Formal Verification of Approximate Functions (Bestmasters)

Martha Schnieber (Author) · Springer Vieweg · Paperback

Polynomial Formal Verification of Approximate Functions (Bestmasters) - Martha Schnieber

Cheaper New Book Imported to Netherlands
Delivery: 09 Jul - 16 Jul Shipping: 12 to 16 business days.
106,75 €
Faster New Book Imported to Netherlands
Delivery: 29 Jun - 01 Jul Shipping: 4 to 5 business days.
133,70 €
Import costs and 9% BTW included in the price ✅
106,75 €

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

Go to My Wishlists
Calculate shipping cost

Synopsis "Polynomial Formal Verification of Approximate Functions (Bestmasters)"

During the development of digital circuits, their functional correctness has to be ensured, for which formal verification methods have been established. However, the verification process using formal methods can have an exponential time or space complexity, causing the verification to fail. While exponential in general, recently it has been proven that the verification complexity of several circuits is polynomially bounded. Martha Schnieber proves the polynomial verifiability of several approximate circuits, which are beneficial in error-tolerant applications, where the circuit approximates the exact function in some cases, while having a lower delay or being more area-efficient. Here, upper bounds for the BDD size and the time and space complexity are provided for the verification of general approximate functions and several state-of-the-art approximate adders.

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 Paperback.

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