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