Yes, this is correct. However, we won't test inputs that use more
than those 4 bits, so if anyone already designed their circuit to
use all 16 bits as the shamt, they can leave it as is.
Post by Neil Bell
I just want to confirm that again for the shifting we only should worry
about the lowest 4 bits of the variable register.