Polynomial Formal Verification of Arithmetic Circuits

Polynomial Formal Verification of Arithmetic Circuits

Alireza Mahzoon / Rolf Dreschler

74,17 €
IVA incluido
Disponible
Editorial:
Now Publishers
Año de edición:
2024
ISBN:
9781638284048
74,17 €
IVA incluido
Disponible
Añadir a favoritos

In recent years, significant effort has been put into developing formal verification approaches in both academic and industrial research. In practice, these techniques often give satisfying results for some types of circuits, while they fail for others. A major challenge in this domain is that the verification techniques suffer from unpredictability in their performance. The only way to overcome this challenge is the calculation of bounds for the space and time complexities. If a verification method has polynomial space and time complexities, scalability can be guaranteed.In this monograph, Polynomial Formal Verification (PFV) of arithmetic circuits is evaluated. The importance and advantages of PFV are discussed, and subsequently it is proved that PFV of different types of arithmetic circuits, including adders, multipliers, and Arithmetic Logic Units (ALUs), is possible. Furthermore, the exact upper-bound space and time complexities of verifying these circuits are calculated.

Artículos relacionados

  • CLOUD TO EDGEWARE
    TYSON T BROOKS
    This comprehensive book presents a new approach to dynamic distributed virtual systems. Wireless grids edgeware promises new cloud to edge secure architectures with mobile security for the Internet of Things (IoT). The scope covers framworks and models for wireless grids edgeware, as well as open specifications and new applications called gridlets and wiglets.The book also high...
    Disponible

    182,11 €

  • Solutions Architect’s Handbook - Third Edition
    Neelanjali Srivastav / Saurabh Shrivastava
    From fundamentals and design patterns to the latest techniques such as generative AI, machine learning and cloud native architecture, gain all you need to be a pro Solutions Architect crafting secure and reliable AWS architecture.Endorsements'Hits all the key areas' - Rajesh Sheth, VP, Elastic Block Store, AWS'Offers the knowledge you need to succeed in the evolving landscape o...
    Disponible

    84,84 €

  • Segurança De Serviços Em Nuvem Na Prática
    Hélio Watanabe
    Segurança de Serviços em Nuvem na Prática: utilizando a ISO 27017 em empresas no Brasilé um guia prático voltado para a implementação de medidas de segurança da informação em serviços de nuvem, com foco nas particularidades do mercado brasileiro.O livro aborda a importância crescente da computação em nuvem e os desafios associados à sua segurança, introduzindo a norma ISO/IEC 2...
    Disponible

    9,88 €

  • Msx Top Secret
    Moraes Edison
    Compilação de informações sobre o padrão de microcomputadores MSX (Parte 1 do apêndice). ...
    Disponible

    23,69 €

  • Compact Models and Measurement Techniques for High-Speed Interconnects
    Rohit Sharma / Tapas Chakravarty
    Compact Models and Measurement Techniques for High-Speed Interconnects provides detailed analysis of issues related to high-speed interconnects from the perspective of modeling approaches and measurement techniques. Particular focus is laid on the unified approach (variational method combined with the transverse transmission line technique) to develop efficient compact models f...
    Disponible

    67,96 €

  • Designing Sorting Networks
    Kenneth E. Batcher / Sherenaz W. Al-Haj Baddar
    Designing Sorting Networks: A New Paradigm provides an in-depth guide to maximizing the efficiency of sorting networks, and uses 0/1 cases, partially ordered sets and Haase diagrams to closely analyze their behavior in an easy, intuitive manner. This book also outlines new ideas and techniques for designing faster sorting networks using Sortnet, and illustrates how these techni...
    Disponible

    66,98 €