Patent ID: 8117578

Claim:
A static hazard detection device that detects a static hazard occurring at a logic circuit where propagation of an exception signal that propagates without being synchronized with a logic circuit operating clock is controlled by a propagation control circuit, the static hazard detection device comprising: 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.