Towards Polynomial Formal Verification of Complex Arithmetic Circuits

@inproceedings{pub12266,
    author = {

Drechsler, Rolf
 and 

Mahzoon, Alireza
 and 

Goli, Mehran
},
    title = {Towards Polynomial Formal Verification of Complex Arithmetic Circuits},
    booktitle = {25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2022), April 6-8, Prague, Czech Republic},
    year = {2022}
}