Formal Verification of Structurally Complex Multipliers
portes grátis
Formal Verification of Structurally Complex Multipliers
Drechsler, Rolf; Grosse, Daniel; Mahzoon, Alireza
Springer International Publishing AG
02/2023
130
Dura
Inglês
9783031245701
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.
