41 lines
1.5 KiB
Plaintext
41 lines
1.5 KiB
Plaintext
t.in[0] t.in[2] t.at.tmp[5] t.in[3] t.at.C2Els[0]._y t.in[4] t.at.C3Els[0]._y t.at.tmp[6] t.in[1] t.out t.at.C2Els[1]._y
|
|
0
|
|
1
|
|
0 t.in[0] : 0
|
|
0 t.in[4] : 0
|
|
0 t.in[2] : 0
|
|
0 t.in[1] : 0
|
|
0 t.in[3] : 0
|
|
1 t.at.C2Els[0]._y : 1 [by t.in[0]:=0]
|
|
7092 t.at.C3Els[0]._y : 1 [by t.in[4]:=0]
|
|
7094 t.at.tmp[6] : 0 [by t.at.C3Els[0]._y:=1]
|
|
10468 t.at.tmp[5] : 0 [by t.at.C2Els[0]._y:=1]
|
|
11847 t.at.C2Els[1]._y : 1 [by t.at.tmp[6]:=0]
|
|
12984 t.out : 0 [by t.at.C2Els[1]._y:=1]
|
|
[] setting some bits high
|
|
12984 t.in[0] : 1
|
|
12984 t.in[2] : 1
|
|
12984 t.in[1] : 1
|
|
13098 t.at.C2Els[0]._y : 0 [by t.in[1]:=1]
|
|
78464 t.at.tmp[5] : 1 [by t.at.C2Els[0]._y:=0]
|
|
[] setting all bits high
|
|
78464 t.in[3] : 1
|
|
78464 t.in[4] : 1
|
|
80190 t.at.C3Els[0]._y : 0 [by t.in[4]:=1]
|
|
80229 t.at.tmp[6] : 1 [by t.at.C3Els[0]._y:=0]
|
|
80244 t.at.C2Els[1]._y : 0 [by t.at.tmp[6]:=1]
|
|
80735 t.out : 1 [by t.at.C2Els[1]._y:=0]
|
|
[] setting some low
|
|
80735 t.in[0] : 0
|
|
80735 t.in[1] : 0
|
|
80748 t.at.C2Els[0]._y : 1 [by t.in[0]:=0]
|
|
80788 t.at.tmp[5] : 0 [by t.at.C2Els[0]._y:=1]
|
|
81203 t.at.C2Els[1]._y : 1 [by t.at.tmp[5]:=0]
|
|
81223 t.out : 0 [by t.at.C2Els[1]._y:=1]
|
|
[] setting all low
|
|
81223 t.in[2] : 0
|
|
81223 t.in[4] : 0
|
|
81223 t.in[3] : 0
|
|
87284 t.at.C3Els[0]._y : 1 [by t.in[2]:=0]
|
|
87331 t.at.tmp[6] : 0 [by t.at.C3Els[0]._y:=1]
|