Formal Verification of Structurally Complex Multipliers

Formal Verification of Structurally Complex Multipliers

Alireza Mahzoon / Daniel Große / Rolf Drechsler

122,14 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2023
ISBN:
9783031245701
122,14 €
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

  • Arduino Automotive Conversion Projects
    Mandy Concepcion
    Arduino Automotive Conversion Projects This work has been a labor of love. It is meant to compliment and broaden the working knowledge of the automotive driver/enthusiast and DIY Technician. The idea is to provide the way to perform vehicle conversions for those who want to learn these systems or those that need it. Often times the specific component is discontinued and non-rep...
    Disponible

    33,71 €

  • Proyectos Automotrices de Conversión Arduino
    Mandy Concepcion
    Este trabajo ha sido una labor de amor. Está destinado a complementar y ampliar el conocimiento práctico del conductor/entusiasta automotriz y del técnico DIY. La idea es proporcionar la manera de realizar conversiones de vehículos para aquellos que quieren aprender estos sistemas o aquellos que lo necesitan. A menudo, el componente específico está descontinuado y no se puede r...
    Disponible

    34,07 €

  • Circuit Simulation Methods and Algorithms
    Jan Ogrodzki / Ogrodzki Jan
    ...
    Disponible

    300,73 €

  • Electrical Machines
    S. K. Sahdev
    An extensive and easy-to-read guide covering the fundamental concepts of electrical machines, highlighting transformers, motors, generators and magnetic circuits. It provides in-depth discussion on construction, working principles and applications of various electrical machines. The design of transformers, functioning of generators and performance of induction motors are explai...
    Disponible

    137,56 €

  • Proceedings of the 4th International Symposium on New Energy and Electrical Technology
    The book bring together leading experts in the field of energy science and technology to share cutting-edge research and advancements in areas such as renewable energy sources, smart grid technology, and power management solutions. Through these contributions, readers will gain valuable insights into the future of energy technology and be inspired to further their own research ...
    Disponible

    392,79 €

  • Electronics for Scientists
    Daniel Santavicca
    Electronics for Scientists provides a practical and concise introduction to electrical circuits, signals, and instrumentation for undergraduate students in the physical sciences ...
    Disponible

    65,52 €

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

    48,53 €