Name: Formal Verification of Structurally Complex Multipliers (en Inglés)
SKU: 57628043
Price: 87.97 USD
Availability: InStock
Author: Mahzoon, Alireza ; Große, Daniel ; Drechsler, Rolf
ISBN: 9783031245701

portada Formal Verification of Structurally Complex Multipliers (en Inglés)

Formal Verification of Structurally Complex Multipliers (en Inglés)

Formato

Libro Físico

Autor

Editorial

Idioma

Inglés

N° páginas

130

Encuadernación

Tapa Dura

Dimensiones

23.4x15.6x1 cm

Peso

0.38 kg.

ISBN13

9783031245701

Categorías

Ciencia y análisis de datos: generalidades
Electrónica: circuitos y componentes
Análisis y captura de datos
Ciencias de la computación

Formal Verification of Structurally Complex Multipliers (en Inglés)

Rolf Drechsler (Autor) · Daniel Große (Autor) · Alireza Mahzoon (Autor) · Springer · Tapa Dura

Libro Nuevo Importado

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

$ 175.95$ 87.97

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 87.97

Llega entre el 08 Sep y el 21 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Formal Verification of Structurally Complex Multipliers (en Inglés)"

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.