Analysis of untestable faults using discrete node sets

Claim 1

A method for analyzing a fault within a model of a logic circuit, comprising the computer executed steps of: building a fault model of the circuit model; for each modelled fault that is determined to be untestable, building a discrete node set comprised of nodes of the circuit model that are relevant to the untestable fault; and outputting the discrete node set for analysis; wherein for a fault classified as an unobservable fault, the step of building the discrete node set includes the steps of: identifying all terminal nodes associated with the unobservable fault; starting at the site of the unobservable fault, adding to the discrete node set all nodes occurring on paths to the identified terminal nodes; determining if any terminal nodes exist due to blocking signals and, if no, executing the step of outputting the discrete node set for analysis, else, if yes, identifying all origins for the blocking signals; starting at the terminal nodes, adding to the discrete node set all nodes occurring on paths from the identified blocking signal origins; starting at the determined blocking signal origins that are circuit objectives required for exciting the unobservable fault, adding to the discrete node set all nodes, occurring on paths to the site of the unobservable fault, that contain signals required for exciting the unobservable fault; and starting at blocking signal origins that are circuit objectives required for propagating the unobservable fault, adding to the discrete node set all nodes that occur on paths to the fault propagation paths and which contain signals required for fault propagation; and executing the step of outputting the discrete node set for analysis.

Claim 2

A method for analyzing a fault within a model of a logic circuit, comprising the computer executed steps of: building a fault model of the circuit model; for each modelled fault that is determined to be untestable, building a discrete node set comprised of nodes of the circuit model that are relevant to the untestable fault; and outputting the discrete node set for analysis; wherein for a fault classified as an unobservable fault, the step of building the discrete node set includes the steps of: identifying all terminal nodes associated with the unobservable fault; starting at the site of the unobservable fault, adding to the discrete node set all nodes occurring on paths to the identified terminal nodes; determining if any terminal nodes exist due to blocking signals and, if no, executing the step of outputting the discrete node set for analysis, else, if yes, identifying all origins for the blocking signals; starting at the terminal nodes, adding to the discrete node set all nodes occurring on paths from the identified blocking signal origins; starting at the determined blocking signal origins that are circuit objectives required for exciting the unobservable fault, adding to the discrete node set all nodes, occurring on paths to the site of the unobservable fault, that contain signals required for exciting the unobservable fault; and starting at blocking signal origins that are circuit objectives required for propagating the unobservable fault, adding to the discrete node set all nodes that occur on paths to the fault propagation paths and which contain signals required for fault propagation; and executing the step of outputting the discrete node set for analysis.

Claim 3

A method for analyzing a fault within a model of a logic circuit, comprising the computer executed steps of: building a fault model of the circuit model; for each modelled fault that is determined to be untestable, building a discrete node set comprised of nodes of the circuit model that are relevant to the untestable fault; and outputting the discrete node set for analysis; wherein for a fault classified as an excitation conflict fault, the step of building the discrete node set includes the steps of: designating two nodes participating in the excitation conflict as a conflicting node and as a requesting node; establishing a circuit state which sets the conflicting node to a value that is consistent with the requesting node; starting at the conflicting node, adding to the discrete node set all nodes that occur on paths to the site of the excitation conflict fault and which contain signals conflicting with those required for fault excitation at the conflicting node; starting at the requesting node, adding to the discrete node set all nodes that occur on paths to the site of the excitation conflict fault and which contain signals consistent with signals required for fault excitation; starting at the conflicting node, adding to the discrete node set all nodes that occur on paths to the requesting node; and executing the step of outputting the discrete node set for analysis.

Claim 4

A method for analyzing a fault within a model of a logic circuit, comprising the computer executed steps of: building a fault model of the circuit model; for each modelled fault that is determined to be untestable, building a discrete node set comprised of nodes of the circuit model that are relevant to the untestable fault; and outputting the discrete node set for analysis; wherein for a fault classified as an excitation conflict fault, the step of building the discrete node set includes the steps of: designating two nodes participating in the excitation conflict as a conflicting node and as a requesting node; establishing a circuit state which sets the conflicting node to a value that is consistent with the requesting node; starting at the conflicting node, adding to the discrete node set all nodes that occur on paths to the site of the excitation conflict fault and which contain signals conflicting with those required for fault excitation at the conflicting node; starting at the requesting node, adding to the discrete node set all nodes that occur on paths to the site of the excitation conflict fault and which contain signals consistent with signals required for fault excitation; starting at the conflicting node, adding to the discrete node set all nodes that occur on paths to the requesting node; and executing the step of outputting the discrete node set for analysis.

Claim 5

A method for analyzing a fault within a model of a logic circuit, comprising the computer executed steps of: building a fault model of the circuit model; for each modelled fault that is determined to be untestable, building a discrete node set comprised of nodes of the circuit model that are relevant to the untestable fault; and outputting the discrete node set for analysis; wherein for a fault classified as an RFI conflict fault, the step of building the discrete node set includes the steps of: identifying all inconsistent circuit objectives and removing the identified inconsistent circuit objectives from a list of circuit objectives, thereby pruning the list of circuit objectives; using an RFI function, establishing a consistent circuit state from the pruned list of circuit objectives, whereby circuit nodes specified by inconsistent circuit objectives will carry signal values contrary to the circuit objective; and for each inconsistent circuit objective, performing the steps of, identifying all origins for contrary signal values on inconsistent nodes; starting at origin nodes of the contrary signal values, adding to the discrete node set all nodes that occur on paths to the inconsistent node, and which contain controlling signals; starting at an inconsistent circuit objective required for exciting the RFI conflict fault, adding to the discrete node set all nodes that occur on paths to the site of the RFI conflict fault, and which contain signals contrary to exciting the RFI conflict fault; starting at an inconsistent circuit objective required for propagation of the RFI conflict fault, adding to the discrete node set all nodes that occur on paths to propagation paths of the RFI conflict fault, and which contain signals contrary to fault propagation; for each origin of contrary signals that are also circuit objectives, defining a relationship between that objective and the RFI conflict fault and: if the circuit objective is due to fault excitation requirements, adding to the discrete node set all nodes (including the origin) that occur on paths to the fault site and that contain signals required for fault excitation; else, if the circuit objective is due to fault propagation requirements, adding to the discrete node set all nodes (including the origin) that occur on paths to the fault propagation path and that contain signals required for propagating the fault; and executing the step of outputting the discrete node set for analysis.

Claim 6

A method for analyzing a fault within a model of a logic circuit, comprising the computer executed steps of: building a fault model of the circuit model; for each modelled fault that is determined to be untestable, building a discrete node set comprised of nodes of the circuit model that are relevant to the untestable fault; and outputting the discrete node set for analysis; wherein for a fault classified as an RFI conflict fault, the step of building the discrete node set includes the steps of: identifying all inconsistent circuit objectives and removing the identified inconsistent circuit objectives from a list of circuit objectives, thereby pruning the list of circuit objectives; using an RFI function, establishing a consistent circuit state from the pruned list of circuit objectives, whereby circuit nodes specified by inconsistent circuit objectives will carry signal values contrary to the circuit objective; and for each inconsistent circuit objective, performing the steps of, identifying all origins for contrary signal values on inconsistent nodes; starting at origin nodes of the contrary signal values, adding to the discrete node set all nodes that occur on paths to the inconsistent node, and which contain controlling signals; starting at an inconsistent circuit objective required for exciting the RFI conflict fault, adding to the discrete node set all nodes that occur on paths to the site of the RFI conflict fault, and which contain signals contrary to exciting the RFI conflict fault; starting at an inconsistent circuit objective required for propagation of the RFI conflict fault, adding to the discrete node set all nodes that occur on paths to propagation paths of the RFI conflict fault, and which contain signals contrary to fault propagation; for each origin of contrary signals that are also circuit objectives, defining a relationship between that objective and the RFI conflict fault and: if the circuit objective is due to fault excitation requirements, adding to the discrete node set all nodes (including the origin) that occur on paths to the fault site and that contain signals required for fault excitation; else, if the circuit objective is due to fault propagation requirements, adding to the discrete node set all nodes (including the origin) that occur on paths to the fault propagation path and that contain signals required for propagating the fault; and executing the step of outputting the discrete node set for analysis.