US8024647B2 - Method and System for Checking Rotate, Shift and Sign Extension Functions Using a Modulo Function