US6825528B2 - Semiconductor Device, Method of Manufacture Thereof, and Information Processing Device