Abstract
In this letter we report the formal verification of encryption and decryption circuits. After we describe algebraically a simple modular arithmetic circuit at both function and logic levels, we apply the symbolic manipulation of Mathematica.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have