Hasta 40% off y Envío a todo USA y PR por solo $2.99  Ver más

Enviar a
FL
0

Mi Cuenta

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

menú

Selecciona tu país

América

Europa

Resto del mundo

Idioma
esEspañolActual
enEnglish
portada Embedding Sequential Circuits for Their Polynomial Formal Verification (Bestmasters) (en Inglés)
Formato
Libro Físico
Editorial
Autor
Idioma
Inglés
N° páginas
89
Encuadernación
Tapa Blanda
ISBN13
9780073400019

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

Caroline Dominik (Autor) · Springer Vieweg · Tapa Blanda

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

Libro Nuevo Importado
Envío: 10 a 15 días háb.
$ 24.58$ 14.75
-40%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan 8 unidades

$ 14.75
Llega entre el 30 Sep y el 09 Oct a FL. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

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.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

¿Cuál es la encuadernación de este libro?

La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes