Abstract: According to one embodiment, a circuit design supporting method comprising: generating first determination information based on first information obtained by a cycle based logic simulation; extracting glitch generation sources; generating second determination information based on second information obtained based on the first information by considering glitch; comparing the first and the second determination information to each other and determining whether or not a comparison result satisfies a condition; and performing the generating the second determination information and the determining for each of the glitch generation sources and presenting, to a user, one or a plurality of glitch generation sources in which the comparison result satisfies the condition.

Abstract: A path (different power-supply path) in which verification objective paths pass through two or more power domains is searched from a netlist and power-supply information, and delay-coefficient additional determination is performed in the different power-supply path. In this step, from voltage conditions in each power domain, a voltage condition under which the timing analysis result is most negative is detected, it is determined whether or not the delay coefficient is added for the voltage condition, and the delay coefficient is added. When the delay coefficient is added, the delay coefficient obtained in consideration of the power-supply voltage variation for the delay of the cell belonging to the different power-supply path is extracted from the delay-coefficient information, and is added to the delay value calculated based on the library. Then, based on the delay value to which the delay coefficient is added, the static timing verification is performed.