Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
0 a = 0, or b = 0, or a=b=0
b x
a b c 1 d f=0 c=1 1 f 0 0
In Podem
x
$
"
9/19/00
Multi-Backtrackings
x
1 1 1 1
In Podem, only one path is traced back at a time In FAN, multiple paths are traced back simultaneously
k tree circuit
s s
Convert ATPG problem into a SAT instance Use an existing SAT tool
f
=1?
a c b (c+a)(c+b)(c+a+b)
g (a+b)(a+b) a c b (c+a)(c+b)(c+a+b) a b c
(c+a)(c+b)(c+a+b)
"
6 9
3 8
# &
$ 8
# &
2 7
'
&
9/19/00
branching - a set of potential solutions, represented by a node, can be partitioned into mutually exclusive sets (children nodes). Bounding - an algorithm is available to determine the lower bound on the cost of solution
3 3
In ATPG, this can mean no solution (= infinite cost) You will see in many algorithms, they try to prove as early as possible that a branch is a dead end so avoid unnecessary backtrackings.
Implication
x
x
s
determine necessary assignment as early as possible determine a conflict as early as possible recursively try all the combinations find out necessary assignments prove that there is no solution space underneath
Recursive learning
x x x
"
3 1
D A
! #
@ H
" G (
A 3 !
C F 4
B A
3 B
A F E
1 0
@ $ )
9/19/00
k=1
n=0
c c
b b
a a
` `
Y Y
X X
W W
V V
U U
T T
S S
9/19/00
prove no solution
since ATPG is trying to look for a solution while there is not any
100% FC
# of patterns
s
I 3
# !
4 F 4
1 B
4 # 4 #
7 # d 2 F 4 4 E A D 3 A 1 % # 4 E &
9/19/00
Step 1 - Random
x x x
throw in a lots of patterns (eg. 16 at a time) fault simulate the circuit until no fault can be detected in i trials for each undetected fault
3 3 3
Step 2 - Deterministic
x
perform deterministic ATPG fault simulate remaining undetected faults removed fortuitously detected faults pattern compression in general, another NP-complete problem
Jump to first page
s s
Fault Coverage FC = # detected faults/ # faults Defect Coverage DC = # of detected defects/# defects William-Brown model
x
Since FC DC
x
9 ! F 4 A
8 D
& E A
5 2
0 h
4 g 4 F E
7 ! A e D 8 f
9/19/00
To detect an andbridging
x