Verification and Debugging of Modular (2n − 1) Multipliers Using Linear Algebra Technique
Fields of Study & Subjects
Numerical Methods and Algorithms
Formal Methods in Verification
Cryptography and Residue Arithmetic
Publication details
- Journal / source
- IFIP advances in information and communication technology
- Pages
- 93–108
- Publication date
- 1 January 2026
- Language
- EN