4-bit Magnitude Comparator

Exactly one of the three relations must be true at a time.

Behavior

• greater, equal, and less represent a>b, a==b, and a<b.
• Operands are unsigned.