Boolean features of sign-flipping and signed-carry logic in base-2

  • Authors:
  • Jean P. Chinal

  • Affiliations:
  • ENSAe, Toulouse, France and School of Engineering and Applied Science, Department of Computer Science, University of California at Los Angeles, Los Angeles, CA

  • Venue:
  • IEEE Transactions on Computers
  • Year:
  • 1977

Quantified Score

Hi-index 15.00

Visualization

Abstract

A direct self-contained proof of sign-flipping logic for base -2 binary numbers is derived and the same approach is ex. tended to the derivation of a particular adder logic. Sign-flipping equations are contrasted with the logic for assimilated complement in classical binary. Logic equations for signed-carry addition and subtraction are then derived for various codes of interstage carry. Reduction of these operations to ordinary addition and subtraction logic, as well as reduction of base -2 subtraction to base -2 addition and use of Boolean complements is analyzed. Lastly, addition logic equations are derived for sign flipping as a special case of base -2 addition logic.