Formal Verification of Structurally Complex Multipliers

by Mahzoon, Alireza, Große, Daniel, Drechsler, Rolf
Published 2023