A method is provided for a synthesizing In RTL, a logic circuit and for manufacturing an integrated circuit for performing a sum of addends with faithful rounding. Upon receipt of a command to locate a misplaced low-power wireless device or to update the device, a base station queues an associated command in a task queue. A hard mask portion is formed over the metal layer. When the densities are evenly distributed, a gradation conversion characteristic is selected for converting the gradation in the entire density range only by decreasing the number of gradation levels of the output image. If the diameter exceeds 300 m, the insulating properties of the interlayer resin insulating layers deteriorate.