Inicio > > Ciencias de la computación > Formal Verification of Structurally Complex Multipliers
Formal Verification of Structurally Complex Multipliers

Formal Verification of Structurally Complex Multipliers

Alireza Mahzoon / Daniel Große / Rolf Drechsler

48,53 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2023
Materia
Ciencias de la computación
ISBN:
9783031245725
48,53 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

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.

Artículos relacionados

  • Skills for Managing Rapidly Changing IT Projects
    Fabrizio Fioravanti
    ...
    Disponible

    118,39 €

  • Design and Usability of Digital Libraries
    Schubert Foo / Yin-Leng Theng
    ...
    Disponible

    112,35 €

  • Intelligent Information Technologies and Applications
    Vijayan Sugumaran
    ...
    Disponible

    131,73 €

  • Mobile Technology Consumption
    Whether used for communication, entertainment, socio-economic growth, crowd-sourcing social and political events, monitoring vital signs in patients, helping to drive vehicles, or delivering education, mobile technology has been transformed from a mode to a medium. Mobile Technology Consumption: Opportunities and Challenges explores essential questions related to the cost, bene...
    Disponible

    249,07 €

  • Creating Personal, Social, and Urban Awareness through Pervasive Computing
    Guo
    The recent emergence and prevalence of social network applications, sensor equipped mobile devices, and the availability of large amounts of geo-referenced data have enabled the analysis of new context dimensions that involve individual, social, and urban context. Creating Personal, Social, and Urban Awareness through Pervasive Computing provides an overview of the theories, te...
    Disponible

    230,09 €

  • Fostering 21st Century Digital Literacy and Technical Competency
    Antonio Cartelli
    The 21st century has seen an expansion in digital technology and the ways in which it affects everyday life. These technologies have become essential in the growth of social communication and mass media. Fostering 21st Century Digital Literacy and Technical Competency offers the latest in research on the technological advances on computer proficiency in the educational system a...
    Disponible

    229,67 €

Otros libros del autor

  • Formal Verification of Structurally Complex Multipliers
    Alireza Mahzoon / Daniel Große / Rolf Drechsler
    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,...
    Disponible

    123,49 €

  • Formal Verification of Structurally Complex Multipliers
    Alireza Mahzoon / Daniel Große / Rolf Drechsler
    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,...
    Disponible

    122,14 €