• Top
    • Documentation
    • Books
    • Recursion-and-induction
    • Boolean-reasoning
    • Debugging
    • Projects
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
    • Math
      • 100-theorems
      • Arithmetic
      • Bit-vectors
        • Sparseint
        • Bitops
        • Bv
        • Ihs
        • Rtl
          • Floating-Point Exceptions and Specification of Elementary Arithmetic Instructions
          • Implementation of Elementary Operations
            • Multiplication
            • FMA-Based Division
            • Addition
              • Bit Vector Addition
              • Leading One Prediction
              • Trailing One Prediction
            • SRT Division and Square Root
          • Register-Transfer Logic
          • Floating-Point Arithmetic
          • Modeling Algorithms in C++ and ACL2
          • Bibliography
      • Algebra
    • Testing-utilities
  • Implementation of Elementary Operations

Addition

Addition

Subtopics

Bit Vector Addition
Bit Vector Addition
Leading One Prediction
Leading One Prediction
Trailing One Prediction
Trailing One Prediction