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 €

  • Handshake Circuits
    Kees Van Berkei / Kees Van Berkel
    ...
    Disponible

    97,39 €

  • The 8051/8052 Microcontroller
    Craig Steiner
    This book was written with the novice or intermediate 8052 developer in mind. Assuming no prior knowledge of the 8052, it takes the reader step-by-step through the architecture including discussions and explanations of concepts such as internal RAM, external RAM, Special Function Registers (SFRs), addressing modes, timers, serial I/O, and interrupts. This is followed by an in-d...
    Disponible

    82,24 €