Redundant Binary Booth Multipliers by Yajuan He