384 lines
20 KiB
Plaintext
384 lines
20 KiB
Plaintext
|
b.b.and_f[0].b b.b.vt.ct.C2Els[0]._y b.b.and_f[3].a b.b.and_f[5].y b.b.and_t[1].a b.b.vt.OR2_tf[6]._y b.b.and_t[6].a b.b.and_f[2].y b.b.and_t[0].y b.b.vt.OR2_tf[4]._y b.b.and_f[2].a b.b.and_t[5].a b.b.and_f[5].a b.b.and_t[1].y b.drop b.b.and_t[4].y b.b.vt.ct.tmp[9] b.b.and_t[4].a b.b.and_f[6].a b.b.and_f[4].y b.b.vt.ct.tmp[7] b.b.vt.ct.in[2] b.b.and_t[0]._y b.b.vt.ct.in[5] b.b.vt.ct.C2Els[1]._y b.out.a b.b.and_t[3].a b.b.and_f[6].y b.in.v b.b.and_f[1].a b.b.and_f[0].c b.b.and_t[2].a b.b.and_t[6].y b.b.and_t[0].a b.b.and_f[1]._y b.b.sb_dropB.buf4._y b.b.and_t[3]._y b.b.or2.b b.b.vt.out b.b.and_f[4].a b.b.vt.OR2_tf[2]._y b.b.and_t[3].y b.b.and_f[1].y b.b._dropB b.b.vt.ct.in[0] b.b.and_t[6]._y b.b.vt.ct.tmp[8] b.b.and_t[2].y b.in.a b.b.and_f[0].a b.b.and_f[3].y b.b.or2.y b.b.vt.ct.in[1] b.b.and_t[5]._y b.b.and_f[0].y b.b.vt.ct.in[6] b.b.and_f[5]._y b.b.and_f[4]._y b.b.and2._y b.b.vt.ct.in[4] b.b.and_f[3]._y b.b.and_t[5].y b.b.vt.ct.in[3] b.b.ack_Cel._y b.b.vt.OR2_tf[3]._y b.b.vt.OR2_tf[5]._y b.b.and_t[4]._y b.b.and_t[2]._y b.b.vt.OR2_tf[1]._y b.b.and_f[0]._y b.b.and_t[1]._y b.b.and_f[2]._y b.b.vt.ct.C3Els[0]._y b.b.vt.ct.C3Els[1]._y b.b.in_v_buf._y b.b.or2._y b.b.vt.OR2_tf[0]._y b.b.and_f[6]._y b.b.sb_in_v.buf4._y
|
||
|
1 b.b.and_f[0].a : 0
|
||
|
1 b.drop : 0
|
||
|
1 b.b.and_f[1].a : 0
|
||
|
1 b.b.and_f[3].a : 0
|
||
|
1 b.out.a : 0
|
||
|
1 b.b.and_t[6].a : 0
|
||
|
1 b.b.and_t[2].a : 0
|
||
|
1 b.b.and_f[6].a : 0
|
||
|
1 b.b.and_t[5].a : 0
|
||
|
1 b.b.and_t[0].a : 0
|
||
|
1 b.b.and_f[2].a : 0
|
||
|
1 b.b.and_f[5].a : 0
|
||
|
1 b.b.and_t[4].a : 0
|
||
|
1 b.b.and_t[1].a : 0
|
||
|
1 b.b.and_f[4].a : 0
|
||
|
1 b.b.and_t[3].a : 0
|
||
|
1 b.out.v : 0
|
||
|
3 b.b._dropB : 1 [by b.drop:=0]
|
||
|
5 b.b.vt.OR2_tf[4]._y : 1 [by b.b.and_f[4].a:=0]
|
||
|
14 b.b.vt.OR2_tf[0]._y : 1 [by b.b.and_t[0].a:=0]
|
||
|
16 b.b.vt.OR2_tf[3]._y : 1 [by b.b.and_t[3].a:=0]
|
||
|
16 b.b.and_t[5]._y : 1 [by b.b.and_t[5].a:=0]
|
||
|
17 b.b.and_t[1]._y : 1 [by b.b.and_t[1].a:=0]
|
||
|
21 b.b.and_f[5]._y : 1 [by b.b.and_f[5].a:=0]
|
||
|
40 b.b.vt.OR2_tf[6]._y : 1 [by b.b.and_f[6].a:=0]
|
||
|
41 b.b.and_f[2]._y : 1 [by b.b.and_f[2].a:=0]
|
||
|
48 b.b.and_t[4]._y : 1 [by b.b.and_t[4].a:=0]
|
||
|
69 b.b.vt.ct.in[0] : 0 [by b.b.vt.OR2_tf[0]._y:=1]
|
||
|
115 b.b.and_t[6]._y : 1 [by b.b.and_t[6].a:=0]
|
||
|
116 b.b.and_t[6].y : 0 [by b.b.and_t[6]._y:=1]
|
||
|
416 b.b.vt.OR2_tf[2]._y : 1 [by b.b.and_f[2].a:=0]
|
||
|
417 b.b.vt.ct.in[2] : 0 [by b.b.vt.OR2_tf[2]._y:=1]
|
||
|
463 b.b.and_f[2].y : 0 [by b.b.and_f[2]._y:=1]
|
||
|
492 b.b.and_t[0]._y : 1 [by b.b.and_t[0].a:=0]
|
||
|
1138 b.b.and_f[3]._y : 1 [by b.b.and_f[3].a:=0]
|
||
|
1420 b.b.and_f[3].y : 0 [by b.b.and_f[3]._y:=1]
|
||
|
1727 b.b.and_f[6]._y : 1 [by b.b.and_f[6].a:=0]
|
||
|
2495 b.b.and_f[6].y : 0 [by b.b.and_f[6]._y:=1]
|
||
|
4754 b.b.and_f[1]._y : 1 [by b.b.and_f[1].a:=0]
|
||
|
4757 b.b.and_f[1].y : 0 [by b.b.and_f[1]._y:=1]
|
||
|
6062 b.b.vt.OR2_tf[5]._y : 1 [by b.b.and_f[5].a:=0]
|
||
|
7093 b.b.and_f[0]._y : 1 [by b.b.and_f[0].a:=0]
|
||
|
7644 b.b.and_f[0].y : 0 [by b.b.and_f[0]._y:=1]
|
||
|
9130 b.b.and_t[3]._y : 1 [by b.b.and_t[3].a:=0]
|
||
|
10201 b.b.and_t[3].y : 0 [by b.b.and_t[3]._y:=1]
|
||
|
10468 b.b.and2._y : 1 [by b.drop:=0]
|
||
|
11422 b.b.or2.b : 0 [by b.b.and2._y:=1]
|
||
|
12503 b.b.or2._y : 1 [by b.b.or2.b:=0]
|
||
|
13725 b.b.and_f[4]._y : 1 [by b.b.and_f[4].a:=0]
|
||
|
13866 b.b.and_t[1].y : 0 [by b.b.and_t[1]._y:=1]
|
||
|
14383 b.b.vt.ct.in[6] : 0 [by b.b.vt.OR2_tf[6]._y:=1]
|
||
|
14707 b.b.and_f[4].y : 0 [by b.b.and_f[4]._y:=1]
|
||
|
20697 b.b.and_t[0].y : 0 [by b.b.and_t[0]._y:=1]
|
||
|
24833 b.b.and_f[5].y : 0 [by b.b.and_f[5]._y:=1]
|
||
|
28503 b.b.vt.ct.in[5] : 0 [by b.b.vt.OR2_tf[5]._y:=1]
|
||
|
29796 b.b.and_t[5].y : 0 [by b.b.and_t[5]._y:=1]
|
||
|
36936 b.b.vt.ct.in[4] : 0 [by b.b.vt.OR2_tf[4]._y:=1]
|
||
|
36954 b.b.vt.ct.C3Els[0]._y : 1 [by b.b.vt.ct.in[4]:=0]
|
||
|
40967 b.b.vt.ct.tmp[9] : 0 [by b.b.vt.ct.C3Els[0]._y:=1]
|
||
|
43251 b.b.sb_dropB.buf4._y : 0 [by b.b._dropB:=1]
|
||
|
44099 b.b.vt.OR2_tf[1]._y : 1 [by b.b.and_t[1].a:=0]
|
||
|
47254 b.b.and_f[0].b : 1 [by b.b.sb_dropB.buf4._y:=0]
|
||
|
48762 b.b.and_t[4].y : 0 [by b.b.and_t[4]._y:=1]
|
||
|
51669 b.b.vt.ct.in[3] : 0 [by b.b.vt.OR2_tf[3]._y:=1]
|
||
|
65367 b.b.and_t[2]._y : 1 [by b.b.and_t[2].a:=0]
|
||
|
66973 b.b.or2.y : 0 [by b.b.or2._y:=1]
|
||
|
70127 b.b.and_t[2].y : 0 [by b.b.and_t[2]._y:=1]
|
||
|
73253 b.b.vt.ct.C2Els[1]._y : 1 [by b.b.vt.ct.in[3]:=0]
|
||
|
73755 b.b.vt.ct.tmp[8] : 0 [by b.b.vt.ct.C2Els[1]._y:=1]
|
||
|
89000 b.b.vt.ct.in[1] : 0 [by b.b.vt.OR2_tf[1]._y:=1]
|
||
|
89203 b.b.vt.ct.C2Els[0]._y : 1 [by b.b.vt.ct.in[1]:=0]
|
||
|
91057 b.b.vt.ct.tmp[7] : 0 [by b.b.vt.ct.C2Els[0]._y:=1]
|
||
|
91196 b.b.vt.ct.C3Els[1]._y : 1 [by b.b.vt.ct.tmp[7]:=0]
|
||
|
127542 b.b.vt.out : 0 [by b.b.vt.ct.C3Els[1]._y:=1]
|
||
|
127611 b.b.in_v_buf._y : 1 [by b.b.vt.out:=0]
|
||
|
127622 b.in.v : 0 [by b.b.in_v_buf._y:=1]
|
||
|
127826 b.b.ack_Cel._y : 1 [by b.in.v:=0]
|
||
|
127841 b.in.a : 0 [by b.b.ack_Cel._y:=1]
|
||
|
179408 b.b.sb_in_v.buf4._y : 1 [by b.in.v:=0]
|
||
|
179409 b.b.and_f[0].c : 0 [by b.b.sb_in_v.buf4._y:=1]
|
||
|
[] Set reset 0
|
||
|
|
||
|
179409 Reset : 0
|
||
|
179446 b._reset_B : 1 [by Reset:=0]
|
||
|
|
||
|
[] Sending in valid data
|
||
|
179446 b.b.and_t[0].a : 1
|
||
|
179446 b.b.and_f[6].a : 1
|
||
|
179446 b.b.and_t[2].a : 1
|
||
|
179446 b.b.and_t[5].a : 1
|
||
|
179446 b.b.and_f[1].a : 1
|
||
|
179446 b.b.and_f[4].a : 1
|
||
|
179446 b.b.and_t[3].a : 1
|
||
|
179486 b.b.vt.OR2_tf[5]._y : 0 [by b.b.and_t[5].a:=1]
|
||
|
179487 b.b.vt.ct.in[5] : 1 [by b.b.vt.OR2_tf[5]._y:=0]
|
||
|
179533 b.b.vt.OR2_tf[4]._y : 0 [by b.b.and_f[4].a:=1]
|
||
|
179558 b.b.vt.OR2_tf[6]._y : 0 [by b.b.and_f[6].a:=1]
|
||
|
179703 b.b.vt.OR2_tf[1]._y : 0 [by b.b.and_f[1].a:=1]
|
||
|
179740 b.b.vt.OR2_tf[3]._y : 0 [by b.b.and_t[3].a:=1]
|
||
|
180185 b.b.vt.OR2_tf[0]._y : 0 [by b.b.and_t[0].a:=1]
|
||
|
180330 b.b.vt.ct.in[3] : 1 [by b.b.vt.OR2_tf[3]._y:=0]
|
||
|
180363 b.b.vt.ct.in[0] : 1 [by b.b.vt.OR2_tf[0]._y:=0]
|
||
|
180912 b.b.vt.ct.in[1] : 1 [by b.b.vt.OR2_tf[1]._y:=0]
|
||
|
181339 b.b.vt.ct.in[4] : 1 [by b.b.vt.OR2_tf[4]._y:=0]
|
||
|
181565 b.b.vt.ct.in[6] : 1 [by b.b.vt.OR2_tf[6]._y:=0]
|
||
|
181715 b.b.vt.ct.C2Els[0]._y : 0 [by b.b.vt.ct.in[1]:=1]
|
||
|
181729 b.b.vt.ct.C3Els[0]._y : 0 [by b.b.vt.ct.in[6]:=1]
|
||
|
181751 b.b.vt.ct.tmp[9] : 1 [by b.b.vt.ct.C3Els[0]._y:=0]
|
||
|
183910 b.b.vt.ct.tmp[7] : 1 [by b.b.vt.ct.C2Els[0]._y:=0]
|
||
|
226958 b.b.vt.OR2_tf[2]._y : 0 [by b.b.and_t[2].a:=1]
|
||
|
227805 b.b.vt.ct.in[2] : 1 [by b.b.vt.OR2_tf[2]._y:=0]
|
||
|
257933 b.b.vt.ct.C2Els[1]._y : 0 [by b.b.vt.ct.in[2]:=1]
|
||
|
258066 b.b.vt.ct.tmp[8] : 1 [by b.b.vt.ct.C2Els[1]._y:=0]
|
||
|
273728 b.b.vt.ct.C3Els[1]._y : 0 [by b.b.vt.ct.tmp[8]:=1]
|
||
|
274087 b.b.vt.out : 1 [by b.b.vt.ct.C3Els[1]._y:=0]
|
||
|
288203 b.b.in_v_buf._y : 0 [by b.b.vt.out:=1]
|
||
|
288424 b.in.v : 1 [by b.b.in_v_buf._y:=0]
|
||
|
288431 b.b.sb_in_v.buf4._y : 0 [by b.in.v:=1]
|
||
|
288461 b.b.and_f[0].c : 1 [by b.b.sb_in_v.buf4._y:=0]
|
||
|
288468 b.b.and_t[2]._y : 0 [by b.b.and_f[0].c:=1]
|
||
|
288546 b.b.and_t[2].y : 1 [by b.b.and_t[2]._y:=0]
|
||
|
288552 b.b.and_f[4]._y : 0 [by b.b.and_f[0].c:=1]
|
||
|
288567 b.b.and_t[5]._y : 0 [by b.b.and_f[0].c:=1]
|
||
|
288827 b.b.and_f[4].y : 1 [by b.b.and_f[4]._y:=0]
|
||
|
290650 b.b.and_t[0]._y : 0 [by b.b.and_f[0].c:=1]
|
||
|
291105 b.b.and_t[0].y : 1 [by b.b.and_t[0]._y:=0]
|
||
|
291248 b.b.and_t[3]._y : 0 [by b.b.and_f[0].c:=1]
|
||
|
291260 b.b.and_t[3].y : 1 [by b.b.and_t[3]._y:=0]
|
||
|
295174 b.b.and_f[6]._y : 0 [by b.b.and_f[0].c:=1]
|
||
|
295578 b.b.and_f[6].y : 1 [by b.b.and_f[6]._y:=0]
|
||
|
307563 b.b.and_t[5].y : 1 [by b.b.and_t[5]._y:=0]
|
||
|
345922 b.b.and_f[1]._y : 0 [by b.b.and_f[0].c:=1]
|
||
|
345934 b.b.and_f[1].y : 1 [by b.b.and_f[1]._y:=0]
|
||
|
345934 b.out.a : 1
|
||
|
351850 b.b.or2._y : 0 [by b.out.a:=1]
|
||
|
356126 b.b.or2.y : 1 [by b.b.or2._y:=0]
|
||
|
359025 b.b.ack_Cel._y : 0 [by b.b.or2.y:=1]
|
||
|
363320 b.in.a : 1 [by b.b.ack_Cel._y:=0]
|
||
|
[] Removing data
|
||
|
363320 b.b.and_t[0].a : 0
|
||
|
363320 b.b.and_f[6].a : 0
|
||
|
363320 b.b.and_t[2].a : 0
|
||
|
363320 b.b.and_t[5].a : 0
|
||
|
363320 b.b.and_f[1].a : 0
|
||
|
363320 b.b.and_f[4].a : 0
|
||
|
363320 b.b.and_t[3].a : 0
|
||
|
363321 b.b.vt.OR2_tf[4]._y : 1 [by b.b.and_f[4].a:=0]
|
||
|
363322 b.b.vt.OR2_tf[1]._y : 1 [by b.b.and_f[1].a:=0]
|
||
|
363322 b.b.and_t[0]._y : 1 [by b.b.and_t[0].a:=0]
|
||
|
363331 b.b.vt.OR2_tf[3]._y : 1 [by b.b.and_t[3].a:=0]
|
||
|
363347 b.b.vt.ct.in[3] : 0 [by b.b.vt.OR2_tf[3]._y:=1]
|
||
|
363389 b.b.vt.ct.in[1] : 0 [by b.b.vt.OR2_tf[1]._y:=1]
|
||
|
363395 b.b.vt.OR2_tf[2]._y : 1 [by b.b.and_t[2].a:=0]
|
||
|
363458 b.b.vt.OR2_tf[5]._y : 1 [by b.b.and_t[5].a:=0]
|
||
|
363486 b.b.and_t[2]._y : 1 [by b.b.and_t[2].a:=0]
|
||
|
363665 b.b.and_t[5]._y : 1 [by b.b.and_t[5].a:=0]
|
||
|
363691 b.b.vt.ct.in[4] : 0 [by b.b.vt.OR2_tf[4]._y:=1]
|
||
|
363868 b.b.and_t[3]._y : 1 [by b.b.and_t[3].a:=0]
|
||
|
363986 b.b.vt.ct.in[5] : 0 [by b.b.vt.OR2_tf[5]._y:=1]
|
||
|
364569 b.b.and_f[6]._y : 1 [by b.b.and_f[6].a:=0]
|
||
|
365921 b.b.and_t[2].y : 0 [by b.b.and_t[2]._y:=1]
|
||
|
365963 b.b.and_t[0].y : 0 [by b.b.and_t[0]._y:=1]
|
||
|
366819 b.b.vt.OR2_tf[6]._y : 1 [by b.b.and_f[6].a:=0]
|
||
|
366821 b.b.vt.ct.in[6] : 0 [by b.b.vt.OR2_tf[6]._y:=1]
|
||
|
367855 b.b.vt.OR2_tf[0]._y : 1 [by b.b.and_t[0].a:=0]
|
||
|
367858 b.b.vt.ct.in[0] : 0 [by b.b.vt.OR2_tf[0]._y:=1]
|
||
|
367887 b.b.vt.ct.C2Els[0]._y : 1 [by b.b.vt.ct.in[0]:=0]
|
||
|
367957 b.b.vt.ct.in[2] : 0 [by b.b.vt.OR2_tf[2]._y:=1]
|
||
|
368204 b.b.vt.ct.tmp[7] : 0 [by b.b.vt.ct.C2Els[0]._y:=1]
|
||
|
368583 b.b.and_f[1]._y : 1 [by b.b.and_f[1].a:=0]
|
||
|
368736 b.b.and_f[1].y : 0 [by b.b.and_f[1]._y:=1]
|
||
|
369558 b.b.vt.ct.C2Els[1]._y : 1 [by b.b.vt.ct.in[2]:=0]
|
||
|
369602 b.b.vt.ct.tmp[8] : 0 [by b.b.vt.ct.C2Els[1]._y:=1]
|
||
|
377610 b.b.and_f[6].y : 0 [by b.b.and_f[6]._y:=1]
|
||
|
387793 b.b.and_t[3].y : 0 [by b.b.and_t[3]._y:=1]
|
||
|
390545 b.b.and_t[5].y : 0 [by b.b.and_t[5]._y:=1]
|
||
|
407237 b.b.and_f[4]._y : 1 [by b.b.and_f[4].a:=0]
|
||
|
409998 b.b.and_f[4].y : 0 [by b.b.and_f[4]._y:=1]
|
||
|
427779 b.b.vt.ct.C3Els[0]._y : 1 [by b.b.vt.ct.in[6]:=0]
|
||
|
441462 b.b.vt.ct.tmp[9] : 0 [by b.b.vt.ct.C3Els[0]._y:=1]
|
||
|
441463 b.b.vt.ct.C3Els[1]._y : 1 [by b.b.vt.ct.tmp[9]:=0]
|
||
|
441680 b.b.vt.out : 0 [by b.b.vt.ct.C3Els[1]._y:=1]
|
||
|
441702 b.b.in_v_buf._y : 1 [by b.b.vt.out:=0]
|
||
|
441703 b.in.v : 0 [by b.b.in_v_buf._y:=1]
|
||
|
443284 b.b.sb_in_v.buf4._y : 1 [by b.in.v:=0]
|
||
|
452629 b.b.and_f[0].c : 0 [by b.b.sb_in_v.buf4._y:=1]
|
||
|
452629 b.out.a : 0
|
||
|
452788 b.b.or2._y : 1 [by b.out.a:=0]
|
||
|
472464 b.b.or2.y : 0 [by b.b.or2._y:=1]
|
||
|
473751 b.b.ack_Cel._y : 1 [by b.b.or2.y:=0]
|
||
|
475983 b.in.a : 0 [by b.b.ack_Cel._y:=1]
|
||
|
[] Sending in valid data
|
||
|
475983 b.b.and_t[0].a : 1
|
||
|
475983 b.b.and_f[6].a : 1
|
||
|
475983 b.b.and_t[2].a : 1
|
||
|
475983 b.b.and_t[5].a : 1
|
||
|
475983 b.b.and_f[1].a : 1
|
||
|
475983 b.b.and_f[4].a : 1
|
||
|
475983 b.b.and_f[3].a : 1
|
||
|
475984 b.b.vt.OR2_tf[5]._y : 0 [by b.b.and_t[5].a:=1]
|
||
|
475998 b.b.vt.ct.in[5] : 1 [by b.b.vt.OR2_tf[5]._y:=0]
|
||
|
476128 b.b.vt.OR2_tf[0]._y : 0 [by b.b.and_t[0].a:=1]
|
||
|
476135 b.b.vt.ct.in[0] : 1 [by b.b.vt.OR2_tf[0]._y:=0]
|
||
|
476145 b.b.vt.OR2_tf[4]._y : 0 [by b.b.and_f[4].a:=1]
|
||
|
476305 b.b.vt.ct.in[4] : 1 [by b.b.vt.OR2_tf[4]._y:=0]
|
||
|
478815 b.b.vt.OR2_tf[6]._y : 0 [by b.b.and_f[6].a:=1]
|
||
|
482337 b.b.vt.OR2_tf[2]._y : 0 [by b.b.and_t[2].a:=1]
|
||
|
482338 b.b.vt.ct.in[2] : 1 [by b.b.vt.OR2_tf[2]._y:=0]
|
||
|
483352 b.b.vt.OR2_tf[3]._y : 0 [by b.b.and_f[3].a:=1]
|
||
|
483353 b.b.vt.ct.in[3] : 1 [by b.b.vt.OR2_tf[3]._y:=0]
|
||
|
483354 b.b.vt.ct.C2Els[1]._y : 0 [by b.b.vt.ct.in[3]:=1]
|
||
|
485597 b.b.vt.ct.tmp[8] : 1 [by b.b.vt.ct.C2Els[1]._y:=0]
|
||
|
500372 b.b.vt.ct.in[6] : 1 [by b.b.vt.OR2_tf[6]._y:=0]
|
||
|
500559 b.b.vt.ct.C3Els[0]._y : 0 [by b.b.vt.ct.in[6]:=1]
|
||
|
500560 b.b.vt.ct.tmp[9] : 1 [by b.b.vt.ct.C3Els[0]._y:=0]
|
||
|
515267 b.b.vt.OR2_tf[1]._y : 0 [by b.b.and_f[1].a:=1]
|
||
|
519449 b.b.vt.ct.in[1] : 1 [by b.b.vt.OR2_tf[1]._y:=0]
|
||
|
554231 b.b.vt.ct.C2Els[0]._y : 0 [by b.b.vt.ct.in[1]:=1]
|
||
|
554232 b.b.vt.ct.tmp[7] : 1 [by b.b.vt.ct.C2Els[0]._y:=0]
|
||
|
555085 b.b.vt.ct.C3Els[1]._y : 0 [by b.b.vt.ct.tmp[7]:=1]
|
||
|
555090 b.b.vt.out : 1 [by b.b.vt.ct.C3Els[1]._y:=0]
|
||
|
555981 b.b.in_v_buf._y : 0 [by b.b.vt.out:=1]
|
||
|
555982 b.in.v : 1 [by b.b.in_v_buf._y:=0]
|
||
|
555999 b.b.sb_in_v.buf4._y : 0 [by b.in.v:=1]
|
||
|
558572 b.b.and_f[0].c : 1 [by b.b.sb_in_v.buf4._y:=0]
|
||
|
558573 b.b.and_t[0]._y : 0 [by b.b.and_f[0].c:=1]
|
||
|
558575 b.b.and_f[1]._y : 0 [by b.b.and_f[0].c:=1]
|
||
|
558614 b.b.and_t[2]._y : 0 [by b.b.and_f[0].c:=1]
|
||
|
558670 b.b.and_f[1].y : 1 [by b.b.and_f[1]._y:=0]
|
||
|
558949 b.b.and_t[2].y : 1 [by b.b.and_t[2]._y:=0]
|
||
|
559513 b.b.and_f[3]._y : 0 [by b.b.and_f[0].c:=1]
|
||
|
559521 b.b.and_f[3].y : 1 [by b.b.and_f[3]._y:=0]
|
||
|
561389 b.b.and_t[5]._y : 0 [by b.b.and_f[0].c:=1]
|
||
|
561423 b.b.and_t[5].y : 1 [by b.b.and_t[5]._y:=0]
|
||
|
566933 b.b.and_f[6]._y : 0 [by b.b.and_f[0].c:=1]
|
||
|
572306 b.b.and_t[0].y : 1 [by b.b.and_t[0]._y:=0]
|
||
|
580820 b.b.and_f[6].y : 1 [by b.b.and_f[6]._y:=0]
|
||
|
617534 b.b.and_f[4]._y : 0 [by b.b.and_f[0].c:=1]
|
||
|
618452 b.b.and_f[4].y : 1 [by b.b.and_f[4]._y:=0]
|
||
|
618452 b.out.a : 1
|
||
|
618456 b.b.or2._y : 0 [by b.out.a:=1]
|
||
|
664834 b.b.or2.y : 1 [by b.b.or2._y:=0]
|
||
|
667232 b.b.ack_Cel._y : 0 [by b.b.or2.y:=1]
|
||
|
670447 b.in.a : 1 [by b.b.ack_Cel._y:=0]
|
||
|
[] Removing data
|
||
|
670447 b.b.and_t[0].a : 0
|
||
|
670447 b.b.and_f[6].a : 0
|
||
|
670447 b.b.and_t[2].a : 0
|
||
|
670447 b.b.and_t[5].a : 0
|
||
|
670447 b.b.and_f[1].a : 0
|
||
|
670447 b.b.and_f[4].a : 0
|
||
|
670447 b.b.and_f[3].a : 0
|
||
|
670448 b.b.vt.OR2_tf[4]._y : 1 [by b.b.and_f[4].a:=0]
|
||
|
670450 b.b.and_f[6]._y : 1 [by b.b.and_f[6].a:=0]
|
||
|
670451 b.b.vt.OR2_tf[3]._y : 1 [by b.b.and_f[3].a:=0]
|
||
|
670495 b.b.vt.OR2_tf[0]._y : 1 [by b.b.and_t[0].a:=0]
|
||
|
670496 b.b.vt.ct.in[0] : 0 [by b.b.vt.OR2_tf[0]._y:=1]
|
||
|
670520 b.b.and_f[3]._y : 1 [by b.b.and_f[3].a:=0]
|
||
|
670546 b.b.and_f[6].y : 0 [by b.b.and_f[6]._y:=1]
|
||
|
670587 b.b.vt.ct.in[3] : 0 [by b.b.vt.OR2_tf[3]._y:=1]
|
||
|
670620 b.b.vt.OR2_tf[1]._y : 1 [by b.b.and_f[1].a:=0]
|
||
|
670625 b.b.vt.OR2_tf[6]._y : 1 [by b.b.and_f[6].a:=0]
|
||
|
670631 b.b.and_f[4]._y : 1 [by b.b.and_f[4].a:=0]
|
||
|
670643 b.b.and_f[4].y : 0 [by b.b.and_f[4]._y:=1]
|
||
|
670861 b.b.vt.ct.in[1] : 0 [by b.b.vt.OR2_tf[1]._y:=1]
|
||
|
671274 b.b.and_f[1]._y : 1 [by b.b.and_f[1].a:=0]
|
||
|
672303 b.b.and_f[1].y : 0 [by b.b.and_f[1]._y:=1]
|
||
|
674584 b.b.vt.ct.in[6] : 0 [by b.b.vt.OR2_tf[6]._y:=1]
|
||
|
674761 b.b.vt.ct.C2Els[0]._y : 1 [by b.b.vt.ct.in[1]:=0]
|
||
|
674762 b.b.vt.ct.tmp[7] : 0 [by b.b.vt.ct.C2Els[0]._y:=1]
|
||
|
676398 b.b.and_t[5]._y : 1 [by b.b.and_t[5].a:=0]
|
||
|
676454 b.b.and_t[5].y : 0 [by b.b.and_t[5]._y:=1]
|
||
|
682346 b.b.vt.OR2_tf[2]._y : 1 [by b.b.and_t[2].a:=0]
|
||
|
689566 b.b.and_f[3].y : 0 [by b.b.and_f[3]._y:=1]
|
||
|
691424 b.b.and_t[2]._y : 1 [by b.b.and_t[2].a:=0]
|
||
|
691425 b.b.and_t[2].y : 0 [by b.b.and_t[2]._y:=1]
|
||
|
707736 b.b.vt.ct.in[4] : 0 [by b.b.vt.OR2_tf[4]._y:=1]
|
||
|
709932 b.b.vt.OR2_tf[5]._y : 1 [by b.b.and_t[5].a:=0]
|
||
|
709969 b.b.vt.ct.in[5] : 0 [by b.b.vt.OR2_tf[5]._y:=1]
|
||
|
717566 b.b.and_t[0]._y : 1 [by b.b.and_t[0].a:=0]
|
||
|
717567 b.b.and_t[0].y : 0 [by b.b.and_t[0]._y:=1]
|
||
|
727352 b.b.vt.ct.in[2] : 0 [by b.b.vt.OR2_tf[2]._y:=1]
|
||
|
730916 b.b.vt.ct.C2Els[1]._y : 1 [by b.b.vt.ct.in[2]:=0]
|
||
|
732608 b.b.vt.ct.tmp[8] : 0 [by b.b.vt.ct.C2Els[1]._y:=1]
|
||
|
733344 b.b.vt.ct.C3Els[0]._y : 1 [by b.b.vt.ct.in[5]:=0]
|
||
|
733357 b.b.vt.ct.tmp[9] : 0 [by b.b.vt.ct.C3Els[0]._y:=1]
|
||
|
750341 b.b.vt.ct.C3Els[1]._y : 1 [by b.b.vt.ct.tmp[9]:=0]
|
||
|
750698 b.b.vt.out : 0 [by b.b.vt.ct.C3Els[1]._y:=1]
|
||
|
750723 b.b.in_v_buf._y : 1 [by b.b.vt.out:=0]
|
||
|
750744 b.in.v : 0 [by b.b.in_v_buf._y:=1]
|
||
|
750745 b.b.sb_in_v.buf4._y : 1 [by b.in.v:=0]
|
||
|
760393 b.b.and_f[0].c : 0 [by b.b.sb_in_v.buf4._y:=1]
|
||
|
760393 b.out.a : 0
|
||
|
760394 b.b.or2._y : 1 [by b.out.a:=0]
|
||
|
760395 b.b.or2.y : 0 [by b.b.or2._y:=1]
|
||
|
760556 b.b.ack_Cel._y : 1 [by b.b.or2.y:=0]
|
||
|
761593 b.in.a : 0 [by b.b.ack_Cel._y:=1]
|
||
|
[] Enabling drop
|
||
|
761593 b.drop : 1
|
||
|
761598 b.b._dropB : 0 [by b.drop:=1]
|
||
|
762179 b.b.sb_dropB.buf4._y : 1 [by b.b._dropB:=0]
|
||
|
762587 b.b.and_f[0].b : 0 [by b.b.sb_dropB.buf4._y:=1]
|
||
|
[] Sending in valid data
|
||
|
762587 b.b.and_t[0].a : 1
|
||
|
762587 b.b.and_f[6].a : 1
|
||
|
762587 b.b.and_t[2].a : 1
|
||
|
762587 b.b.and_t[5].a : 1
|
||
|
762587 b.b.and_f[1].a : 1
|
||
|
762587 b.b.and_f[4].a : 1
|
||
|
762587 b.b.and_t[3].a : 1
|
||
|
762591 b.b.vt.OR2_tf[1]._y : 0 [by b.b.and_f[1].a:=1]
|
||
|
762598 b.b.vt.OR2_tf[0]._y : 0 [by b.b.and_t[0].a:=1]
|
||
|
762601 b.b.vt.OR2_tf[2]._y : 0 [by b.b.and_t[2].a:=1]
|
||
|
762605 b.b.vt.OR2_tf[5]._y : 0 [by b.b.and_t[5].a:=1]
|
||
|
762691 b.b.vt.OR2_tf[4]._y : 0 [by b.b.and_f[4].a:=1]
|
||
|
762829 b.b.vt.ct.in[2] : 1 [by b.b.vt.OR2_tf[2]._y:=0]
|
||
|
763448 b.b.vt.ct.in[5] : 1 [by b.b.vt.OR2_tf[5]._y:=0]
|
||
|
763634 b.b.vt.OR2_tf[6]._y : 0 [by b.b.and_f[6].a:=1]
|
||
|
763704 b.b.vt.ct.in[6] : 1 [by b.b.vt.OR2_tf[6]._y:=0]
|
||
|
763795 b.b.vt.ct.in[1] : 1 [by b.b.vt.OR2_tf[1]._y:=0]
|
||
|
764150 b.b.vt.ct.in[4] : 1 [by b.b.vt.OR2_tf[4]._y:=0]
|
||
|
771053 b.b.vt.ct.in[0] : 1 [by b.b.vt.OR2_tf[0]._y:=0]
|
||
|
771064 b.b.vt.ct.C2Els[0]._y : 0 [by b.b.vt.ct.in[0]:=1]
|
||
|
771067 b.b.vt.ct.tmp[7] : 1 [by b.b.vt.ct.C2Els[0]._y:=0]
|
||
|
794031 b.b.vt.OR2_tf[3]._y : 0 [by b.b.and_t[3].a:=1]
|
||
|
794085 b.b.vt.ct.in[3] : 1 [by b.b.vt.OR2_tf[3]._y:=0]
|
||
|
795233 b.b.vt.ct.C2Els[1]._y : 0 [by b.b.vt.ct.in[3]:=1]
|
||
|
796394 b.b.vt.ct.tmp[8] : 1 [by b.b.vt.ct.C2Els[1]._y:=0]
|
||
|
814572 b.b.vt.ct.C3Els[0]._y : 0 [by b.b.vt.ct.in[4]:=1]
|
||
|
823224 b.b.vt.ct.tmp[9] : 1 [by b.b.vt.ct.C3Els[0]._y:=0]
|
||
|
823305 b.b.vt.ct.C3Els[1]._y : 0 [by b.b.vt.ct.tmp[9]:=1]
|
||
|
834382 b.b.vt.out : 1 [by b.b.vt.ct.C3Els[1]._y:=0]
|
||
|
852365 b.b.in_v_buf._y : 0 [by b.b.vt.out:=1]
|
||
|
852457 b.in.v : 1 [by b.b.in_v_buf._y:=0]
|
||
|
854201 b.b.sb_in_v.buf4._y : 0 [by b.in.v:=1]
|
||
|
854814 b.b.and_f[0].c : 1 [by b.b.sb_in_v.buf4._y:=0]
|
||
|
860768 b.b.and2._y : 0 [by b.in.v:=1]
|
||
|
874790 b.b.or2.b : 1 [by b.b.and2._y:=0]
|
||
|
874835 b.b.or2._y : 0 [by b.b.or2.b:=1]
|
||
|
875832 b.b.or2.y : 1 [by b.b.or2._y:=0]
|
||
|
877481 b.b.ack_Cel._y : 0 [by b.b.or2.y:=1]
|
||
|
878006 b.in.a : 1 [by b.b.ack_Cel._y:=0]
|
||
|
[] Removing data
|
||
|
878006 b.b.and_t[0].a : 0
|
||
|
878006 b.b.and_f[6].a : 0
|
||
|
878006 b.b.and_t[2].a : 0
|
||
|
878006 b.b.and_t[5].a : 0
|
||
|
878006 b.b.and_f[1].a : 0
|
||
|
878006 b.b.and_f[4].a : 0
|
||
|
878006 b.b.and_t[3].a : 0
|
||
|
878008 b.b.vt.OR2_tf[4]._y : 1 [by b.b.and_f[4].a:=0]
|
||
|
878013 b.b.vt.OR2_tf[2]._y : 1 [by b.b.and_t[2].a:=0]
|
||
|
878014 b.b.vt.ct.in[2] : 0 [by b.b.vt.OR2_tf[2]._y:=1]
|
||
|
878058 b.b.vt.OR2_tf[6]._y : 1 [by b.b.and_f[6].a:=0]
|
||
|
878062 b.b.vt.ct.in[6] : 0 [by b.b.vt.OR2_tf[6]._y:=1]
|
||
|
878141 b.b.vt.ct.in[4] : 0 [by b.b.vt.OR2_tf[4]._y:=1]
|
||
|
878360 b.b.vt.OR2_tf[3]._y : 1 [by b.b.and_t[3].a:=0]
|
||
|
878906 b.b.vt.OR2_tf[0]._y : 1 [by b.b.and_t[0].a:=0]
|
||
|
878906 b.b.vt.ct.in[3] : 0 [by b.b.vt.OR2_tf[3]._y:=1]
|
||
|
878907 b.b.vt.ct.C2Els[1]._y : 1 [by b.b.vt.ct.in[3]:=0]
|
||
|
884473 b.b.vt.OR2_tf[1]._y : 1 [by b.b.and_f[1].a:=0]
|
||
|
884552 b.b.vt.ct.in[1] : 0 [by b.b.vt.OR2_tf[1]._y:=1]
|
||
|
891285 b.b.vt.ct.tmp[8] : 0 [by b.b.vt.ct.C2Els[1]._y:=1]
|
||
|
893618 b.b.vt.OR2_tf[5]._y : 1 [by b.b.and_t[5].a:=0]
|
||
|
896051 b.b.vt.ct.in[5] : 0 [by b.b.vt.OR2_tf[5]._y:=1]
|
||
|
896139 b.b.vt.ct.C3Els[0]._y : 1 [by b.b.vt.ct.in[5]:=0]
|
||
|
903921 b.b.vt.ct.tmp[9] : 0 [by b.b.vt.ct.C3Els[0]._y:=1]
|
||
|
924469 b.b.vt.ct.in[0] : 0 [by b.b.vt.OR2_tf[0]._y:=1]
|
||
|
952796 b.b.vt.ct.C2Els[0]._y : 1 [by b.b.vt.ct.in[0]:=0]
|
||
|
952855 b.b.vt.ct.tmp[7] : 0 [by b.b.vt.ct.C2Els[0]._y:=1]
|
||
|
952885 b.b.vt.ct.C3Els[1]._y : 1 [by b.b.vt.ct.tmp[7]:=0]
|
||
|
954352 b.b.vt.out : 0 [by b.b.vt.ct.C3Els[1]._y:=1]
|
||
|
1013856 b.b.in_v_buf._y : 1 [by b.b.vt.out:=0]
|
||
|
1033240 b.in.v : 0 [by b.b.in_v_buf._y:=1]
|
||
|
1033925 b.b.and2._y : 1 [by b.in.v:=0]
|
||
|
1034052 b.b.or2.b : 0 [by b.b.and2._y:=1]
|
||
|
1034221 b.b.or2._y : 1 [by b.b.or2.b:=0]
|
||
|
1034264 b.b.or2.y : 0 [by b.b.or2._y:=1]
|
||
|
1034276 b.b.ack_Cel._y : 1 [by b.b.or2.y:=0]
|
||
|
1035555 b.in.a : 0 [by b.b.ack_Cel._y:=1]
|
||
|
1049955 b.b.sb_in_v.buf4._y : 1 [by b.in.v:=0]
|
||
|
1050188 b.b.and_f[0].c : 0 [by b.b.sb_in_v.buf4._y:=1]
|