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

portada 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.4 x 15.6 x 1.0 cm

Peso

0.38 kg.

ISBN13

9783031245701

Categorías

Ciencia y análisis de datos
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 Físico

$ 165.190

$ 229.430

Ahorras: $ 64.240

28% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Jueves 27 de Junio y el Jueves 04 de Julio.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

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.