Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

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 Embedding Sequential Circuits for Their Polynomial Formal Verification (Bestmasters)
Type
Physical Book
Publisher
Author
Language
English
Pages
89
Format
Paperback
ISBN13
9783658501549

Embedding Sequential Circuits for Their Polynomial Formal Verification (Bestmasters)

Caroline Dominik (Author) · Springer Vieweg · Paperback

Embedding Sequential Circuits for Their Polynomial Formal Verification (Bestmasters) - Caroline Dominik

Cheaper New Book Imported to Netherlands
Delivery: 15 Oct - 22 Oct Shipping: 17 to 21 business days.
€ 89,84
Faster New Book Imported to Netherlands
Delivery: 12 Oct - 14 Oct Shipping: 14 to 15 business days.
€ 105,71
Import costs and 9% BTW included in the price ✅
€ 89,84

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

Go to My Wishlists
Calculate shipping cost

Synopsis "Embedding Sequential Circuits for Their Polynomial Formal Verification (Bestmasters)"

As digital circuits are at the core of most of our everyday technologies, society heavily relies on their precise and predictable behavior. However, this demand for correctness often clashes with the speed of today's design workflows. Whereas a design can be proven to be free of errors based on formal methods, the required time and memory resources of this can often not be predicted. This conflict is addressed by Polynomial Formal Verification (PFV): By selecting adequate data structures and verification techniques, polynomial resource bounds can be proven for the entire procedure so that an efficient verification is guaranteed. This book adds to this field by applying PFV to circuits with storage elements, also known as sequential circuits. Counter circuits are verified using a polynomial number of steps, even though they have an exponential sequential depth. This is addressed from a theoretical and from a practical point of view.

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