a : A3 A2 A1 A0 (16 bits)
b : BBB3 BBB2 BBB1 BBB0 (32 bits)
-When the partitions are x, the output is:
+Output will always be 48 bits, and the partitions we
+need to confirm but assume will be 4+8=12 bits.
+When the partitions are 1x, the output is:
- partition: p p p (3 bits)
- out : A3 A2 A1 A0 BBB3 BBB2 BBB1 BBB0 (64 bits)
+ partition: 0 0 0 (3 bits)
+ out : A3 A2 A1 A0 BBB3 BBB2 BBB1 BBB0 (48 bits)
When 2x:
- partition: p p p (3 bits)
- out : A3 A2 BBB3 BBB2 A1 A0 BBB1 BBB0 (64 bits)
+ partition: 0 1 0 (3 bits)
+ out : A3 A2 BBB3 BBB2 A1 A0 BBB1 BBB0 (48 bits)
Finally when 4x:
- partition: p p p (3 bits)
+ partition: 1 1 1 (3 bits)
out : A3 BBB3 A2 BBB2 A1 BBB1 A0 BBB0 (48 bits)
By a lucky coincidence the lengths match up. In the 1x case,