Formal Verification of Structurally Complex Multipliers
portes grátis
Formal Verification of Structurally Complex Multipliers
Drechsler, Rolf; Mahzoon, Alireza; Grosse, Daniel
Springer International Publishing AG
02/2024
130
Mole
Inglês
9783031245732
15 a 20 dias
Descrição não disponível.
Introduction.- Background.- Challenges of SCA-based Verification.- Local Vanishing Monomials Removal.- Reverse Engineering.- Dynamic Backward Rewriting.- SCA-based Verifier RevSCA-2.0.- Debugging.- Conclusion and Outlook.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Symbolic Computer Algebra;SCA-based Verification;Formal Verification of Multipliers;Verification of Complex Multipliers;Formal Verification of Arithmetic Circuits
Introduction.- Background.- Challenges of SCA-based Verification.- Local Vanishing Monomials Removal.- Reverse Engineering.- Dynamic Backward Rewriting.- SCA-based Verifier RevSCA-2.0.- Debugging.- Conclusion and Outlook.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
