It's not normally done using a vocal synth, they are normally pitched up vocals.
Normal vocals contain harmonics that are the same no matter what note is being sung, called 'formants'. When the vocal gets pitched up, these get pitched up as well, which is what creates the chipmunk sound. Some pitching software uses clever algorithms to preserve the formants, but it never works 100% well to make realistic vocals