Formal Verification of Modular Multipliers using Symbolic Computer Algebra and Boolean Satisfiability

@inproceedings{pub12267,
    author = {

Mahzoon, Alireza
 and 

Große, Daniel
 and 

Scholl, Christoph
 and 

Konrad, Alexander
 and 

Drechsler, Rolf
},
    title = {Formal Verification of Modular Multipliers using Symbolic Computer Algebra and Boolean Satisfiability},
    booktitle = {59th Design Automation Conference (DAC). Design Automation Conference (DAC), July 10-14, San Francisco, United States},
    year = {2022}
}