:: GATE_4 semantic presentation

g12 is set
a8 is set
b4 is set
g0 is set
a7 is set
AND2 (g0,a7) is set
XOR2 (b4,(AND2 (g0,a7))) is set
a9 is set
g13 is set
g1 is set
AND2 (g1,a7) is set
XOR2 (g13,(AND2 (g1,a7))) is set
a10 is set
g14 is set
g2 is set
AND2 (g2,a7) is set
XOR2 (g14,(AND2 (g2,a7))) is set
a11 is set
g15 is set
g3 is set
AND2 (g3,a7) is set
XOR2 (g15,(AND2 (g3,a7))) is set
a12 is set
g16 is set
g4 is set
AND2 (g4,a7) is set
XOR2 (g16,(AND2 (g4,a7))) is set
a13 is set
a0 is set
g5 is set
AND2 (g5,a7) is set
XOR2 (a0,(AND2 (g5,a7))) is set
a14 is set
a1 is set
g6 is set
AND2 (g6,a7) is set
XOR2 (a1,(AND2 (g6,a7))) is set
a15 is set
a2 is set
g7 is set
AND2 (g7,a7) is set
XOR2 (a2,(AND2 (g7,a7))) is set
b0 is set
a3 is set
g8 is set
AND2 (g8,a7) is set
XOR2 (a3,(AND2 (g8,a7))) is set
b1 is set
a4 is set
g9 is set
AND2 (g9,a7) is set
XOR2 (a4,(AND2 (g9,a7))) is set
b2 is set
a5 is set
g10 is set
AND2 (g10,a7) is set
XOR2 (a5,(AND2 (g10,a7))) is set
b3 is set
a6 is set
g11 is set
AND2 (g11,a7) is set
XOR2 (a6,(AND2 (g11,a7))) is set
AND2 (g12,a7) is set
XOR2 (b3,(AND2 (g11,a7))) is set
XOR2 (b2,(AND2 (g10,a7))) is set
XOR2 (b1,(AND2 (g9,a7))) is set
XOR2 (b0,(AND2 (g8,a7))) is set
XOR2 (a15,(AND2 (g7,a7))) is set
XOR2 (a14,(AND2 (g6,a7))) is set
XOR2 (a13,(AND2 (g5,a7))) is set
XOR2 (a12,(AND2 (g4,a7))) is set
XOR2 (a11,(AND2 (g3,a7))) is set
XOR2 (a10,(AND2 (g2,a7))) is set
XOR2 (a9,(AND2 (g1,a7))) is set
XOR2 (a8,(AND2 (g0,a7))) is set
g16 is set
b0 is set
z is set
g0 is set
a15 is set
AND2 (g0,a15) is set
XOR2 (z,(AND2 (g0,a15))) is set
b1 is set
a0 is set
g1 is set
AND2 (g1,a15) is set
XOR2 (a0,(AND2 (g1,a15))) is set
b2 is set
a1 is set
g2 is set
AND2 (g2,a15) is set
XOR2 (a1,(AND2 (g2,a15))) is set
b3 is set
a2 is set
g3 is set
AND2 (g3,a15) is set
XOR2 (a2,(AND2 (g3,a15))) is set
b4 is set
a3 is set
g4 is set
AND2 (g4,a15) is set
XOR2 (a3,(AND2 (g4,a15))) is set
b5 is set
a4 is set
g5 is set
AND2 (g5,a15) is set
XOR2 (a4,(AND2 (g5,a15))) is set
b6 is set
a5 is set
g6 is set
AND2 (g6,a15) is set
XOR2 (a5,(AND2 (g6,a15))) is set
b7 is set
a6 is set
g7 is set
AND2 (g7,a15) is set
XOR2 (a6,(AND2 (g7,a15))) is set
b8 is set
a7 is set
g8 is set
AND2 (g8,a15) is set
XOR2 (a7,(AND2 (g8,a15))) is set
b9 is set
a8 is set
g9 is set
AND2 (g9,a15) is set
XOR2 (a8,(AND2 (g9,a15))) is set
b10 is set
a9 is set
g10 is set
AND2 (g10,a15) is set
XOR2 (a9,(AND2 (g10,a15))) is set
b11 is set
a10 is set
g11 is set
AND2 (g11,a15) is set
XOR2 (a10,(AND2 (g11,a15))) is set
b12 is set
a11 is set
g12 is set
AND2 (g12,a15) is set
XOR2 (a11,(AND2 (g12,a15))) is set
b13 is set
a12 is set
g13 is set
AND2 (g13,a15) is set
XOR2 (a12,(AND2 (g13,a15))) is set
b14 is set
a13 is set
g14 is set
AND2 (g14,a15) is set
XOR2 (a13,(AND2 (g14,a15))) is set
b15 is set
a14 is set
g15 is set
AND2 (g15,a15) is set
XOR2 (a14,(AND2 (g15,a15))) is set
AND2 (g16,a15) is set
XOR2 (b15,(AND2 (g15,a15))) is set
XOR2 (b14,(AND2 (g14,a15))) is set
XOR2 (b13,(AND2 (g13,a15))) is set
XOR2 (b12,(AND2 (g12,a15))) is set
XOR2 (b11,(AND2 (g11,a15))) is set
XOR2 (b10,(AND2 (g10,a15))) is set
XOR2 (b9,(AND2 (g9,a15))) is set
XOR2 (b8,(AND2 (g8,a15))) is set
XOR2 (b7,(AND2 (g7,a15))) is set
XOR2 (b6,(AND2 (g6,a15))) is set
XOR2 (b5,(AND2 (g5,a15))) is set
XOR2 (b4,(AND2 (g4,a15))) is set
XOR2 (b3,(AND2 (g3,a15))) is set
XOR2 (b2,(AND2 (g2,a15))) is set
XOR2 (b1,(AND2 (g1,a15))) is set
XOR2 (b0,(AND2 (g0,a15))) is set
g0 is set
b4 is set
a8 is set
b5 is set
a7 is set
XOR2 (b5,a7) is set
a9 is set
g13 is set
g1 is set
AND2 (g1,a8) is set
XOR2 (g13,(AND2 (g1,a8))) is set
a10 is set
g14 is set
g2 is set
AND2 (g2,a8) is set
XOR2 (g14,(AND2 (g2,a8))) is set
a11 is set
g15 is set
g3 is set
AND2 (g3,a8) is set
XOR2 (g15,(AND2 (g3,a8))) is set
a12 is set
g16 is set
g4 is set
AND2 (g4,a8) is set
XOR2 (g16,(AND2 (g4,a8))) is set
a13 is set
a0 is set
g5 is set
AND2 (g5,a8) is set
XOR2 (a0,(AND2 (g5,a8))) is set
a14 is set
a1 is set
g6 is set
AND2 (g6,a8) is set
XOR2 (a1,(AND2 (g6,a8))) is set
a15 is set
a2 is set
g7 is set
AND2 (g7,a8) is set
XOR2 (a2,(AND2 (g7,a8))) is set
b0 is set
a3 is set
g8 is set
AND2 (g8,a8) is set
XOR2 (a3,(AND2 (g8,a8))) is set
b1 is set
a4 is set
g9 is set
AND2 (g9,a8) is set
XOR2 (a4,(AND2 (g9,a8))) is set
b2 is set
a5 is set
g10 is set
AND2 (g10,a8) is set
XOR2 (a5,(AND2 (g10,a8))) is set
b3 is set
a6 is set
g11 is set
AND2 (g11,a8) is set
XOR2 (a6,(AND2 (g11,a8))) is set
AND2 (g11,a7) is set
XOR2 (a6,(AND2 (g11,a7))) is set
AND2 (g11,b5) is set
XOR2 (b4,(AND2 (g11,b5))) is set
XOR2 ((XOR2 (a6,(AND2 (g11,a7)))),(XOR2 (b4,(AND2 (g11,b5))))) is set
AND2 (g10,a7) is set
XOR2 (a5,(AND2 (g10,a7))) is set
AND2 (g10,b5) is set
XOR2 (b4,(AND2 (g10,b5))) is set
XOR2 ((XOR2 (a5,(AND2 (g10,a7)))),(XOR2 (b4,(AND2 (g10,b5))))) is set
AND2 (g9,a7) is set
XOR2 (a4,(AND2 (g9,a7))) is set
AND2 (g9,b5) is set
XOR2 (b4,(AND2 (g9,b5))) is set
XOR2 ((XOR2 (a4,(AND2 (g9,a7)))),(XOR2 (b4,(AND2 (g9,b5))))) is set
AND2 (g8,a7) is set
XOR2 (a3,(AND2 (g8,a7))) is set
AND2 (g8,b5) is set
XOR2 (b4,(AND2 (g8,b5))) is set
XOR2 ((XOR2 (a3,(AND2 (g8,a7)))),(XOR2 (b4,(AND2 (g8,b5))))) is set
AND2 (g7,a7) is set
XOR2 (a2,(AND2 (g7,a7))) is set
AND2 (g7,b5) is set
XOR2 (b4,(AND2 (g7,b5))) is set
XOR2 ((XOR2 (a2,(AND2 (g7,a7)))),(XOR2 (b4,(AND2 (g7,b5))))) is set
AND2 (g6,a7) is set
XOR2 (a1,(AND2 (g6,a7))) is set
AND2 (g6,b5) is set
XOR2 (b4,(AND2 (g6,b5))) is set
XOR2 ((XOR2 (a1,(AND2 (g6,a7)))),(XOR2 (b4,(AND2 (g6,b5))))) is set
AND2 (g5,a7) is set
XOR2 (a0,(AND2 (g5,a7))) is set
AND2 (g5,b5) is set
XOR2 (b4,(AND2 (g5,b5))) is set
XOR2 ((XOR2 (a0,(AND2 (g5,a7)))),(XOR2 (b4,(AND2 (g5,b5))))) is set
AND2 (g4,a7) is set
XOR2 (g16,(AND2 (g4,a7))) is set
AND2 (g4,b5) is set
XOR2 (b4,(AND2 (g4,b5))) is set
XOR2 ((XOR2 (g16,(AND2 (g4,a7)))),(XOR2 (b4,(AND2 (g4,b5))))) is set
AND2 (g3,a7) is set
XOR2 (g15,(AND2 (g3,a7))) is set
AND2 (g3,b5) is set
XOR2 (b4,(AND2 (g3,b5))) is set
XOR2 ((XOR2 (g15,(AND2 (g3,a7)))),(XOR2 (b4,(AND2 (g3,b5))))) is set
AND2 (g2,a7) is set
XOR2 (g14,(AND2 (g2,a7))) is set
AND2 (g2,b5) is set
XOR2 (b4,(AND2 (g2,b5))) is set
XOR2 ((XOR2 (g14,(AND2 (g2,a7)))),(XOR2 (b4,(AND2 (g2,b5))))) is set
AND2 (g1,a7) is set
XOR2 (g13,(AND2 (g1,a7))) is set
AND2 (g1,b5) is set
XOR2 (b4,(AND2 (g1,b5))) is set
XOR2 ((XOR2 (g13,(AND2 (g1,a7)))),(XOR2 (b4,(AND2 (g1,b5))))) is set
AND2 (g0,a7) is set
XOR2 (b4,(AND2 (g0,a7))) is set
AND2 (g0,b5) is set
XOR2 (b4,(AND2 (g0,b5))) is set
XOR2 ((XOR2 (b4,(AND2 (g0,a7)))),(XOR2 (b4,(AND2 (g0,b5))))) is set
g0 is set
z is set
b0 is set
p is set
a15 is set
XOR2 (p,a15) is set
b1 is set
a0 is set
g1 is set
AND2 (g1,b0) is set
XOR2 (a0,(AND2 (g1,b0))) is set
b2 is set
a1 is set
g2 is set
AND2 (g2,b0) is set
XOR2 (a1,(AND2 (g2,b0))) is set
b3 is set
a2 is set
g3 is set
AND2 (g3,b0) is set
XOR2 (a2,(AND2 (g3,b0))) is set
b4 is set
a3 is set
g4 is set
AND2 (g4,b0) is set
XOR2 (a3,(AND2 (g4,b0))) is set
b5 is set
a4 is set
g5 is set
AND2 (g5,b0) is set
XOR2 (a4,(AND2 (g5,b0))) is set
b6 is set
a5 is set
g6 is set
AND2 (g6,b0) is set
XOR2 (a5,(AND2 (g6,b0))) is set
b7 is set
a6 is set
g7 is set
AND2 (g7,b0) is set
XOR2 (a6,(AND2 (g7,b0))) is set
b8 is set
a7 is set
g8 is set
AND2 (g8,b0) is set
XOR2 (a7,(AND2 (g8,b0))) is set
b9 is set
a8 is set
g9 is set
AND2 (g9,b0) is set
XOR2 (a8,(AND2 (g9,b0))) is set
b10 is set
a9 is set
g10 is set
AND2 (g10,b0) is set
XOR2 (a9,(AND2 (g10,b0))) is set
b11 is set
a10 is set
g11 is set
AND2 (g11,b0) is set
XOR2 (a10,(AND2 (g11,b0))) is set
b12 is set
a11 is set
g12 is set
AND2 (g12,b0) is set
XOR2 (a11,(AND2 (g12,b0))) is set
b13 is set
a12 is set
g13 is set
AND2 (g13,b0) is set
XOR2 (a12,(AND2 (g13,b0))) is set
b14 is set
a13 is set
g14 is set
AND2 (g14,b0) is set
XOR2 (a13,(AND2 (g14,b0))) is set
b15 is set
a14 is set
g15 is set
AND2 (g15,b0) is set
XOR2 (a14,(AND2 (g15,b0))) is set
AND2 (g15,a15) is set
XOR2 (a14,(AND2 (g15,a15))) is set
AND2 (g15,p) is set
XOR2 (z,(AND2 (g15,p))) is set
XOR2 ((XOR2 (a14,(AND2 (g15,a15)))),(XOR2 (z,(AND2 (g15,p))))) is set
AND2 (g14,a15) is set
XOR2 (a13,(AND2 (g14,a15))) is set
AND2 (g14,p) is set
XOR2 (z,(AND2 (g14,p))) is set
XOR2 ((XOR2 (a13,(AND2 (g14,a15)))),(XOR2 (z,(AND2 (g14,p))))) is set
AND2 (g13,a15) is set
XOR2 (a12,(AND2 (g13,a15))) is set
AND2 (g13,p) is set
XOR2 (z,(AND2 (g13,p))) is set
XOR2 ((XOR2 (a12,(AND2 (g13,a15)))),(XOR2 (z,(AND2 (g13,p))))) is set
AND2 (g12,a15) is set
XOR2 (a11,(AND2 (g12,a15))) is set
AND2 (g12,p) is set
XOR2 (z,(AND2 (g12,p))) is set
XOR2 ((XOR2 (a11,(AND2 (g12,a15)))),(XOR2 (z,(AND2 (g12,p))))) is set
AND2 (g11,a15) is set
XOR2 (a10,(AND2 (g11,a15))) is set
AND2 (g11,p) is set
XOR2 (z,(AND2 (g11,p))) is set
XOR2 ((XOR2 (a10,(AND2 (g11,a15)))),(XOR2 (z,(AND2 (g11,p))))) is set
AND2 (g10,a15) is set
XOR2 (a9,(AND2 (g10,a15))) is set
AND2 (g10,p) is set
XOR2 (z,(AND2 (g10,p))) is set
XOR2 ((XOR2 (a9,(AND2 (g10,a15)))),(XOR2 (z,(AND2 (g10,p))))) is set
AND2 (g9,a15) is set
XOR2 (a8,(AND2 (g9,a15))) is set
AND2 (g9,p) is set
XOR2 (z,(AND2 (g9,p))) is set
XOR2 ((XOR2 (a8,(AND2 (g9,a15)))),(XOR2 (z,(AND2 (g9,p))))) is set
AND2 (g8,a15) is set
XOR2 (a7,(AND2 (g8,a15))) is set
AND2 (g8,p) is set
XOR2 (z,(AND2 (g8,p))) is set
XOR2 ((XOR2 (a7,(AND2 (g8,a15)))),(XOR2 (z,(AND2 (g8,p))))) is set
AND2 (g7,a15) is set
XOR2 (a6,(AND2 (g7,a15))) is set
AND2 (g7,p) is set
XOR2 (z,(AND2 (g7,p))) is set
XOR2 ((XOR2 (a6,(AND2 (g7,a15)))),(XOR2 (z,(AND2 (g7,p))))) is set
AND2 (g6,a15) is set
XOR2 (a5,(AND2 (g6,a15))) is set
AND2 (g6,p) is set
XOR2 (z,(AND2 (g6,p))) is set
XOR2 ((XOR2 (a5,(AND2 (g6,a15)))),(XOR2 (z,(AND2 (g6,p))))) is set
AND2 (g5,a15) is set
XOR2 (a4,(AND2 (g5,a15))) is set
AND2 (g5,p) is set
XOR2 (z,(AND2 (g5,p))) is set
XOR2 ((XOR2 (a4,(AND2 (g5,a15)))),(XOR2 (z,(AND2 (g5,p))))) is set
AND2 (g4,a15) is set
XOR2 (a3,(AND2 (g4,a15))) is set
AND2 (g4,p) is set
XOR2 (z,(AND2 (g4,p))) is set
XOR2 ((XOR2 (a3,(AND2 (g4,a15)))),(XOR2 (z,(AND2 (g4,p))))) is set
AND2 (g3,a15) is set
XOR2 (a2,(AND2 (g3,a15))) is set
AND2 (g3,p) is set
XOR2 (z,(AND2 (g3,p))) is set
XOR2 ((XOR2 (a2,(AND2 (g3,a15)))),(XOR2 (z,(AND2 (g3,p))))) is set
AND2 (g2,a15) is set
XOR2 (a1,(AND2 (g2,a15))) is set
AND2 (g2,p) is set
XOR2 (z,(AND2 (g2,p))) is set
XOR2 ((XOR2 (a1,(AND2 (g2,a15)))),(XOR2 (z,(AND2 (g2,p))))) is set
AND2 (g1,a15) is set
XOR2 (a0,(AND2 (g1,a15))) is set
AND2 (g1,p) is set
XOR2 (z,(AND2 (g1,p))) is set
XOR2 ((XOR2 (a0,(AND2 (g1,a15)))),(XOR2 (z,(AND2 (g1,p))))) is set
AND2 (g0,a15) is set
XOR2 (z,(AND2 (g0,a15))) is set
AND2 (g0,p) is set
XOR2 (z,(AND2 (g0,p))) is set
XOR2 ((XOR2 (z,(AND2 (g0,a15)))),(XOR2 (z,(AND2 (g0,p))))) is set