To solve a problem in a conventional layout verification method capable of identifying wiring having short circuit, that it is difficult to identify a location of the short circuit on the wiring having the short circuit.

A layout verification program, a layout verification device, and a layout verification method are configured to: compare a location of a second connection terminal extracted from actual layout information and a location of a first connection terminal previously defined as an inter-hierarchy connection terminal in a lower hierarchy circuit; and output short circuit candidate location information on a wiring pattern according to difference information between the first connection terminal and the second connection terminal.