Rolf Drechsler, Alireza Mahzoon, Mehran Goli. Towards Polynomial Formal Verification of Complex Arithmetic Circuits. In 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2022, Prague, Czech Republic, April 6-8, 2022. pages 1-6, IEEE, 2022. [doi]
Abstract is missing.