This preview shows page 1. Sign up to view the full content.
Test Generation
203
4.6.1
MultipleLine Conﬂict Analysis
The application of logic implications to quickly identifying untestable faults is
evident from the previous example. However, it is restricted to singleline conflicts.
The application of logic implications to the identification of untestable faults can be
taken to the next level, where impossible value combinations on multiple signals in
the circuit are used as conflicting scenarios. These impossible value combinations
are then used to identify untestable faults.
Finding trivial conflicting value assignments from the implication graph is easy,
but it will not help to find more untestable faults because the singleline con
flict approach has already taken these conflicts into account. For instance, if the
implication set
impl
[
x
,0] includes [
y
,1], then the pair
±²x³
0
´³²y³
0
´µ
naturally forms a
conflicting value assignment. However, in the original FIRE algorithm, if
Set
0
and
Set
1
have been computed to be the faults that require
x
=
0 and
This is the end of the preview. Sign up
to
access the rest of the document.
 Spring '08
 elbarki

Click to edit the document details