Towards Proofs for SCA-based Efficient Formal Verification of Complex Arithmetic Circuits

@inproceedings{pub16075,
    author = {

Weingarten, Lennart
 and 

Datta, Kamalika
 and 

Kole, Abhoy
 and 

Drechsler, Rolf
},
    title = {Towards Proofs for SCA-based Efficient Formal Verification of Complex Arithmetic Circuits},
    booktitle = {2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece
},
    year = {2025},
    publisher = {IEEE Xplore}
}