Single-digit BCD Adder

An add-six correction turns the binary sum into valid BCD.

Behavior

• Inputs a and b range from 0 through 9.
• If the sum exceeds 9, add 6 and assert carry_out.