Multi-Level Logic: CAD Tools for Simplification

misII Session with the Full Adder

% misII

UC Berkeley, MIS Release #2.1 (compiled 3-Mar-89 at 5:32 PM)

misII> re full.adder

misII> p

{co} = a b ci + a b ci' + a b' ci + a' b ci

{sum} = a b ci + a b' ci' + a' b ci' + a' b' ci

misII> pf

{co} = a b' ci + b (ci (a' + a) + a ci')

{sum} = ci (a' b' + a b) + ci' (a b' + a' b)

misII> sim1 *

misII> p

{co} = a b + a ci + b ci

{sum} = a b ci + a b' ci' + a' b ci' + a' b' ci

misII> pf

{co} = ci (b + a) + a b

{sum} = ci (a' b' + a b) + ci' (a b' + a' b)

misII> gd *

misII> pf

{co} = a [2] + b ci

{sum} = a' [3]' + a [3]

[2] = ci + b

[3] = b' ci' + b ci

read eqntott equations

two level minimization

good decomposition

technology independent up to this point

Previous slide

Next slide

Back to first slide

View graphic version