Artículos relacionados a Formal Verification of Structurally Complex Multipliers

Formal Verification of Structurally Complex Multipliers - Tapa blanda

 
9783031245725: Formal Verification of Structurally Complex Multipliers

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

  • EditorialSpringer
  • Año de publicación2023
  • ISBN 10 3031245725
  • ISBN 13 9783031245725
  • EncuadernaciónTapa blanda
  • IdiomaInglés
  • Número de páginas146
  • Contacto del fabricanteno disponible

Comprar nuevo

Ver este artículo

EUR 4,74 gastos de envío desde Reino Unido a España

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9783031245701: Formal Verification of Structurally Complex Multipliers

Edición Destacada

ISBN 10:  3031245709 ISBN 13:  9783031245701
Editorial: Springer, 2023
Tapa dura

Resultados de la búsqueda para Formal Verification of Structurally Complex Multipliers

Imagen de archivo

Mahzoon, Alireza; Große, Daniel; Drechsler, Rolf
Publicado por Springer, 2023
ISBN 10: 3031245725 ISBN 13: 9783031245725
Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9783031245725_new

Contactar al vendedor

Comprar nuevo

EUR 54,41
Convertir moneda
Gastos de envío: EUR 4,74
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Alireza Mahzoon, Mahzoon,Daniel Groe, Groe,Rolf Drechsler, Drechsler
Publicado por Springer Nature B.V., 2023
ISBN 10: 3031245725 ISBN 13: 9783031245725
Nuevo PAP
Impresión bajo demanda

Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9783031245725

Contactar al vendedor

Comprar nuevo

EUR 58,55
Convertir moneda
Gastos de envío: EUR 0,82
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Alireza Mahzoon, Mahzoon,Daniel Groe, Groe,Rolf Drechsler, Drechsler
Publicado por Springer Nature B.V., 2023
ISBN 10: 3031245725 ISBN 13: 9783031245725
Nuevo PAP
Impresión bajo demanda

Librería: PBShop.store UK, Fairford, GLOS, Reino Unido

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9783031245725

Contactar al vendedor

Comprar nuevo

EUR 56,96
Convertir moneda
Gastos de envío: EUR 4,15
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito