Modelul SSF/MSF

cd
ab 00 01 11 10 g1 g2 g3 g4
00 1 0 0 1 H = 3(J) = b c d + b c d + b c d + a b c d
01 0 1 0 0 H = (g1 + g3) + (g2 + g4) = c (b d + b d) + c( b d + a b d )
11 0 1 1 0
H = c (b + d + b d) + c(b+d + a b d)
10 1 * 0 1
g1 g3 g4 g2

c
Circuit cu redundanta
a

H
b

Corect:

H = b d + b c d + a b d = b + d + b d (c + a)

b
H

d
a
c
 Identificarea si eliminarea redundantei

c
0 e s-a-1
a 0 0/1 e
0 1 0/1
0 0/1
H
b 0 1
0
0
0 0

d
0
c
a h s-a-0
1
1 1
H
b 1/0
1 h

c
a

H
b

d
 Echivalenta SSF si testarea implicita s-a-0
s-a-1
a
k

b H
c

j
d

F = {SSF, BF, tr stuck, ...}

SSF = {a0, a1, b0, b1, ..., j0, j1, k0, k1, ..., H0, H1}
MSF = { (a0, j1), ..., (k0, c1, a1), ..., (b1, d0, H0, c0, a1), ...}
n = nr. de conexiuni, ||SSF|| = 2n, ||MSF|| . 3n

b H
c

|| SSF|| . n
d
collapsing or grading

r
INs r OUTs
s q s q