Multi-Level Logic: CAD Tools for Simplification
Extraction: common intermediate subfunctions are factored out
F = (A + B) C D + E
G = (A + B) E'
H = C D E
can be re-written as:
F = X Y + E
G = X E'
H = Y E
X = A + B
Y = C D
(11 literals)
(7 literals)
"Kernels": primary divisors
Before Extraction
After Extraction
Previous slide
Next slide
Back to first slide
View graphic version