摘要 |
There is provided a check target extraction unit that receives logic circuit information describing a logic circuit, and extracts at least one set of a start point register and an end point register from registers in the logic circuit, the start point register outputting an exception signal to be supplied to the end point register via the propagation control circuit, and a static hazard detection unit that determines whether, for the at least one set extracted by the check target extraction unit, there are a plurality of paths through which propagation of an exception signal from a start point register to an end point register is possible when the propagation control circuit, in response to a control signal, inhibits propagation of the exception signal.
|