The invention provides a fault diagnosis apparatus which estimates a disconnection fault site intermediate of a branch wiring line in an LSI based on a result of an LSI test performed by using a test pattern. An indefinite value simulation narrowing down section uses a test pattern to perform, for each gate included in a suspected fault gate set, a simulation wherein the output value of the gate is set to an indefinite value, and removes any gate from which a definite value is outputted among those outputs which have been determined to be errors with error test patterns. An output value check narrowing down section removes any gate from the suspected fault gate set if the gate satisfies a condition that the output value thereof at least in one error test pattern is different from that in the other error test patterns. Finally, a branch destination fault simulation narrowing down section defines 0/1 stuck-at faults to output branch designations of each gate included in the suspected fault gate set and performs a logic simulation using the test pattern. Then, the branch destination fault simulation narrowing down section removes any gate from the suspected fault gate set if the gate does not have an output branch destination fault which is not detected at a normal output but is detected at an error output.

Вымысел обеспечивает прибор диагноза недостатка оценивает промежуточное звено места недостатка разъединения линии проводки ветви в lsi основанном на результате испытания lsi выполненного путем использование телевизионнаяа испытательная таблица. Индефинитная имитация значения суживая вниз с раздела использует телевизионнаяа испытательная таблица для того чтобы выполнить, потому что каждый строб включенный в заподозренный комплект строба недостатка, имитацию при котором значение выхода строба установлено к индефинитному значению, и извлекает любой строб от которого определенное значение outputted среди теми выходами которые были обусловлены, что будут ошибки с телевизионнаяа испытательная таблица ошибки. Проверка значения выхода суживая вниз с раздела извлекает любой строб от заподозренного установленного строба недостатка если строб удовлетворяет условие, то что значение выхода thereof по крайней мере в один телевизионнаяа испытательная таблица ошибки отличает значенив другие телевизионнаяа испытательная таблица ошибки. Окончательно, имитация недостатка назначения ветви суживая вниз с раздела определяет 0/1 вставлять-na недостатках для того чтобы вывести наружу обозначения ветви каждого строба включенного в заподозренный установленный строб недостатка и выполняет имитацию логики использующ телевизионнаяа испытательная таблица. После этого, имитация недостатка назначения ветви суживая вниз с раздела извлекает любой строб от заподозренного установленного строба недостатка если строб не имеет недостаток назначения ветви выхода который не обнаружен на нормальнаяа производительность но обнаружен на выходе ошибки.