Formal Verification of Structurally Complex Multipliers

Alireza Mahzoon, Daniel Große, Rolf Drechsler, 3031245709, 9783031245701