Name: Embedding Sequential Circuits for Their Polynomial Formal Verification (Bestmasters) (en Inglés)
SKU: 65836010
Price: 265380.00 COP
Availability: InStock
Author: Caroline Dominik
ISBN: 9783658501549

portada Embedding Sequential Circuits for Their Polynomial Formal Verification (Bestmasters) (en Inglés)

Embedding Sequential Circuits for Their Polynomial Formal Verification (Bestmasters) (en Inglés)

Formato

Libro Físico

Editorial

Springer Vieweg

Autor

Caroline Dominik

Idioma

Inglés

N° páginas

Encuadernación

Tapa Blanda

ISBN13

9783658501549

Embedding Sequential Circuits for Their Polynomial Formal Verification (Bestmasters) (en Inglés)

Caroline Dominik (Autor) · Springer Vieweg · Tapa Blanda

Libro Nuevo Importado

Envío: 18 a 24 días háb.

$ 530.760$ 265.380

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 265.380

¡Envío Gratis! Llega entre el 13 Oct y el 22 Oct a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Embedding Sequential Circuits for Their Polynomial Formal Verification (Bestmasters) (en Inglés)"

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.