[11]kalla-virtual-machine:experiments>> sis
UC Berkeley, SIS 1.3 (compiled 14-Oct-99 at 10:51 PM)
sis> read_eqn hw4.eqn
sis> write_eqn
INORDER = u v w x y z;
OUTORDER = f g;
f = v*w*y + u*v*y + v*z + u*z + x*y;
g = v*w*z + u*v*z + u*x*y + y*z + x*z;
sis> print_stats
hw4.eqn       	pi= 6	po= 2	nodes=  2	latches= 0
lits(sop)=  25
sis> print_kernel
Kernels of {f}
(u) * (v y + z)
(v) * (u y + w y + z)
(v y) * (u + w)
(y) * (u v + v w + x)
(z) * (u + v)
(-1-) * (u v y + u z + v w y + v z + x y)
Kernels of {g}
(u) * (v z + x y)
(v z) * (u + w)
(x) * (u y + z)
(y) * (u x + z)
(z) * (u v + v w + x + y)
(-1-) * (u v z + u x y + v w z + x z + y z)
sis> 
sis> 
sis> 
sis> fx
sis> write_eqn
INORDER = u v w x y z;
OUTORDER = f g;
f = y*[3] + v*z + u*z;
g = u*x*y + z*[3] + y*z;
[2] = w + u;
[3] = v*[2] + x;
sis> 
sis> 
sis> simplify
sis> resub -a
sis> full_simplify
sis> 
sis> write_eqn
INORDER = u v w x y z;
OUTORDER = f g;
f = y*[3] + v*z + u*z;
g = u*x*y + z*[3] + y*z;
[2] = w + u;
[3] = v*[2] + x;
sis> 
sis> print_stats
hw4.eqn       	pi= 6	po= 2	nodes=  4	latches= 0
lits(sop)=  18
sis> quit
[12]kalla-virtual-machine:experiments>>