>>1
A,Bは2nビット、A1,A0,B1,B0はnビット
Nは2のn乗、2Nは2の2n乗

A = N*A1 + A0
B = N*B1 + B0
として、
A*B = {N*A1 + A0}*{N*B1 + B0}
　　　　　　：
　　= (2N+N)*A1*B1 - N*(A1-A0)(B1-B0) + (N+1)*A0*B0

でやる。これ定説。