US7968259B2 - Semiconductor Device, Method for Manufacturing Semiconductor Device, and Computer Readable Medium