A failure detection improvement apparatus that modifies a net list
comprises; a net list input section to which the net list is input; a
circuit modification section that adds an observation FF to an
appropriate location on the net list; and a net list output section that
outputs the net list that has been modified by the circuit modification
section.