Optimality & Redundancy in Combinational Logic
Optimality & Redundancy in Combinational Logic
a
b
d
d
c
f
a
b
d
c
f
Circuit with redundant fault:
d stuck-at-0
Circuit with d = 0
f = (a.b).(c+d).c'
= (a.b.c + a.b.d).c'
= a.b.c.c' + a.b.d.c'
= a.b.d.c'
f = (a.b).c'.d