Technology-Independent DR Conversion
} y = a’b + b(c + d’)
}would be converted into:
}yt =
DR(a’b + b(c + d’)) = atbf + bt(ct +
df)
}yf =
DR(a’b + b(c + d’))’ = (af +
bt)(bf +
cfdt)
}How do I convert?
}Use Shannon’s
Expansion Theorem
} assume that xi =
xti =
xfi’, for all nodes/POs x in circuit
}Use the SIS dr
package!
20/4/2014
51
CE-653 - Indicating Logic