Abstract: According to one embodiment, a static timing analyzer includes a time function generator, a slack function generator, a power domain voltage constant determination module, a slack value calculator, and an output module. The time function generator generates a time function based on a netlist, timing information, timing constraints information, and power domain information. The slack function generator generates a slack function based on the timing constraints information and the time function. The power domain voltage constant determination module determines a power voltage constant of the slack function based on the power domain information and the slack function such that the slack function is minimized between minimum and maximum voltages of power of the power voltage. The slack value calculator substitutes the power domain voltage constant for the slack function to calculate a slack value. The output module outputs the time function, the slack function, and the slack value.

Abstract: An extraction unit extracts a metal pattern constituting a semiconductor integrated circuit from layout data. A setting unit sets up a region including the metal pattern extracted by the extraction unit. An evaluation unit calculates the metal coverage rate of the region and to evaluate whether the metal coverage rate is equal to or more than a predetermined value. An insertion unit inserts a dummy metal pattern into the region when the metal coverage rate is evaluated as a value smaller than the predetermined value by the evaluation unit.