Formal Verification of Structurally Complex Multipliers - Mahzoon, Alireza; Große, Daniel; Drechsler, Rolf (Springer International Publishing, 2023)