2022-04-04 17:35:34 +02:00
|
|
|
t.s[2] t.dp.dly[4].__y t.dp.dly[3].a t.dp._a[1] t.dp.dly[5]._y t.s[3] t.dp.dly[9].___y t.dp.dly[0].___y t.s[0] t.dp.dly[6].___y t.dp.dly[4].___y t.dp.and2[2]._y t.dp.dly[3].__y t.dp.dly[11].__y t.dp.and2[0]._y t.dp._a[3] t.dp.dly[11]._y t.dp.dly[8].___y t.dp._a[2] t.dp.and2[3]._y t.dp.mu2[0]._s t.dp.dly[9]._y t.s[1] t.dp.dly[10].___y t.dp.dly[11].y t.dp.dly[8].__y t.dp.dly[0]._y t.dp.dly[4].y t.dp.dly[11].___y t.dp.dly[6].y t.dp.dly[2]._y t.dp.dly[7]._y t.dp.dly[12].___y t.dp.dly[8].y t.dp.dly[1].y t.dp.dly[5].__y t.dp.dly[1].a t.in t.dp.dly[7].a t.dp.dly[2].y t.dp.dly[14]._y t.dp.dly[9].y t.dp.mu2[2]._s t.dp.dly[6]._y t.dp.dly[1]._y t.dp.dly[12]._y t.dp.dly[5].y t.dp.dly[7].y t.dp.dly[6].__y t.dp.dly[0].a t.dp.mu2[0]._y t.dp.mu2[3]._y t.dp.dly[13].___y t.out t.dp.mu2[3].b t.dp.mu2[1]._s t.dp.dly[10].y t.dp.dly[1].__y t.dp.dly[13].y t.dp.dly[12].y t.dp.dly[13]._y t.dp.dly[12].__y t.dp.dly[8]._y t.dp.dly[14].__y t.dp.dly[10].__y t.dp.mu2[2]._y t.dp.dly[5].___y t.dp.dly[9].__y t.dp.dly[3].y t.dp.dly[14].___y t.dp.dly[7].__y t.dp.dly[0].y t.dp.dly[2].__y t.dp.dly[3]._y t.dp.dly[3].___y t.dp.dly[2].___y t.dp.and2[1]._y t.dp.mu2[3]._s t.dp.dly[13].__y t.dp.dly[1].___y t.dp.dly[4]._y t.dp.dly[7].___y t.dp.mu2[1]._y t.dp.dly[0].__y t.dp.dly[10]._y
|
2022-03-01 15:26:43 +01:00
|
|
|
0
|
2022-04-04 17:35:34 +02:00
|
|
|
0 t.in : 0
|
2022-03-01 15:26:43 +01:00
|
|
|
0 t.s[3] : 1
|
|
|
|
0 t.s[1] : 1
|
|
|
|
0 t.s[0] : 1
|
|
|
|
0 t.s[2] : 1
|
2022-04-04 17:35:34 +02:00
|
|
|
1 t.dp.and2[0]._y : 1 [by t.in:=0]
|
2022-03-01 15:26:43 +01:00
|
|
|
2 t.dp.mu2[0]._s : 0 [by t.s[0]:=1]
|
|
|
|
1138 t.dp.dly[0].a : 0 [by t.dp.and2[0]._y:=1]
|
|
|
|
1252 t.dp.dly[0]._y : 1 [by t.dp.dly[0].a:=0]
|
|
|
|
4753 t.dp.mu2[2]._s : 0 [by t.s[2]:=1]
|
|
|
|
7092 t.dp.mu2[3]._s : 0 [by t.s[3]:=1]
|
|
|
|
10467 t.dp.mu2[1]._s : 0 [by t.s[1]:=1]
|
2022-04-04 17:35:34 +02:00
|
|
|
66618 t.dp.dly[0].__y : 0 [by t.dp.dly[0]._y:=1]
|
|
|
|
68344 t.dp.dly[0].___y : 1 [by t.dp.dly[0].__y:=0]
|
|
|
|
68383 t.dp.dly[0].y : 0 [by t.dp.dly[0].___y:=1]
|
|
|
|
68398 t.dp.mu2[0]._y : 1 [by t.dp.dly[0].y:=0]
|
|
|
|
68889 t.dp._a[1] : 0 [by t.dp.mu2[0]._y:=1]
|
|
|
|
68902 t.dp.and2[1]._y : 1 [by t.dp._a[1]:=0]
|
|
|
|
68942 t.dp.dly[1].a : 0 [by t.dp.and2[1]._y:=1]
|
|
|
|
69357 t.dp.dly[1]._y : 1 [by t.dp.dly[1].a:=0]
|
|
|
|
69377 t.dp.dly[1].__y : 0 [by t.dp.dly[1]._y:=1]
|
|
|
|
75438 t.dp.dly[1].___y : 1 [by t.dp.dly[1].__y:=0]
|
|
|
|
75485 t.dp.dly[1].y : 0 [by t.dp.dly[1].___y:=1]
|
|
|
|
75501 t.dp.dly[2]._y : 1 [by t.dp.dly[1].y:=0]
|
|
|
|
119599 t.dp.dly[2].__y : 0 [by t.dp.dly[2]._y:=1]
|
|
|
|
133323 t.dp.dly[2].___y : 1 [by t.dp.dly[2].__y:=0]
|
|
|
|
133327 t.dp.dly[2].y : 0 [by t.dp.dly[2].___y:=1]
|
|
|
|
142456 t.dp.mu2[1]._y : 1 [by t.dp.dly[2].y:=0]
|
|
|
|
142471 t.dp._a[2] : 0 [by t.dp.mu2[1]._y:=1]
|
|
|
|
185719 t.dp.and2[2]._y : 1 [by t.dp._a[2]:=0]
|
|
|
|
222650 t.dp.dly[3].a : 0 [by t.dp.and2[2]._y:=1]
|
|
|
|
222705 t.dp.dly[3]._y : 1 [by t.dp.dly[3].a:=0]
|
|
|
|
274358 t.dp.dly[3].__y : 0 [by t.dp.dly[3]._y:=1]
|
|
|
|
304138 t.dp.dly[3].___y : 1 [by t.dp.dly[3].__y:=0]
|
|
|
|
317987 t.dp.dly[3].y : 0 [by t.dp.dly[3].___y:=1]
|
|
|
|
342799 t.dp.dly[4]._y : 1 [by t.dp.dly[3].y:=0]
|
|
|
|
357142 t.dp.dly[4].__y : 0 [by t.dp.dly[4]._y:=1]
|
|
|
|
357564 t.dp.dly[4].___y : 1 [by t.dp.dly[4].__y:=0]
|
|
|
|
406278 t.dp.dly[4].y : 0 [by t.dp.dly[4].___y:=1]
|
|
|
|
406279 t.dp.dly[5]._y : 1 [by t.dp.dly[4].y:=0]
|
|
|
|
406280 t.dp.dly[5].__y : 0 [by t.dp.dly[5]._y:=1]
|
|
|
|
426485 t.dp.dly[5].___y : 1 [by t.dp.dly[5].__y:=0]
|
|
|
|
426767 t.dp.dly[5].y : 0 [by t.dp.dly[5].___y:=1]
|
|
|
|
427535 t.dp.dly[6]._y : 1 [by t.dp.dly[5].y:=0]
|
|
|
|
427538 t.dp.dly[6].__y : 0 [by t.dp.dly[6]._y:=1]
|
|
|
|
449979 t.dp.dly[6].___y : 1 [by t.dp.dly[6].__y:=0]
|
|
|
|
450530 t.dp.dly[6].y : 0 [by t.dp.dly[6].___y:=1]
|
|
|
|
451601 t.dp.mu2[2]._y : 1 [by t.dp.dly[6].y:=0]
|
|
|
|
452555 t.dp._a[3] : 0 [by t.dp.mu2[2]._y:=1]
|
|
|
|
453636 t.dp.and2[3]._y : 1 [by t.dp._a[3]:=0]
|
|
|
|
508106 t.dp.dly[7].a : 0 [by t.dp.and2[3]._y:=1]
|
|
|
|
509088 t.dp.dly[7]._y : 1 [by t.dp.dly[7].a:=0]
|
|
|
|
509106 t.dp.dly[7].__y : 0 [by t.dp.dly[7]._y:=1]
|
|
|
|
513119 t.dp.dly[7].___y : 1 [by t.dp.dly[7].__y:=0]
|
|
|
|
517122 t.dp.dly[7].y : 0 [by t.dp.dly[7].___y:=1]
|
|
|
|
562023 t.dp.dly[8]._y : 1 [by t.dp.dly[7].y:=0]
|
|
|
|
583607 t.dp.dly[8].__y : 0 [by t.dp.dly[8]._y:=1]
|
|
|
|
588367 t.dp.dly[8].___y : 1 [by t.dp.dly[8].__y:=0]
|
|
|
|
588869 t.dp.dly[8].y : 0 [by t.dp.dly[8].___y:=1]
|
|
|
|
589072 t.dp.dly[9]._y : 1 [by t.dp.dly[8].y:=0]
|
|
|
|
590926 t.dp.dly[9].__y : 0 [by t.dp.dly[9]._y:=1]
|
|
|
|
591065 t.dp.dly[9].___y : 1 [by t.dp.dly[9].__y:=0]
|
|
|
|
627411 t.dp.dly[9].y : 0 [by t.dp.dly[9].___y:=1]
|
|
|
|
627480 t.dp.dly[10]._y : 1 [by t.dp.dly[9].y:=0]
|
|
|
|
627491 t.dp.dly[10].__y : 0 [by t.dp.dly[10]._y:=1]
|
|
|
|
679277 t.dp.dly[10].___y : 1 [by t.dp.dly[10].__y:=0]
|
|
|
|
679481 t.dp.dly[10].y : 0 [by t.dp.dly[10].___y:=1]
|
|
|
|
679496 t.dp.dly[11]._y : 1 [by t.dp.dly[10].y:=0]
|
|
|
|
679497 t.dp.dly[11].__y : 0 [by t.dp.dly[11]._y:=1]
|
|
|
|
679534 t.dp.dly[11].___y : 1 [by t.dp.dly[11].__y:=0]
|
|
|
|
680273 t.dp.dly[11].y : 0 [by t.dp.dly[11].___y:=1]
|
|
|
|
680385 t.dp.dly[12]._y : 1 [by t.dp.dly[11].y:=0]
|
|
|
|
727897 t.dp.dly[12].__y : 0 [by t.dp.dly[12]._y:=1]
|
|
|
|
727937 t.dp.dly[12].___y : 1 [by t.dp.dly[12].__y:=0]
|
|
|
|
728194 t.dp.dly[12].y : 0 [by t.dp.dly[12].___y:=1]
|
|
|
|
728281 t.dp.dly[13]._y : 1 [by t.dp.dly[12].y:=0]
|
|
|
|
728575 t.dp.dly[13].__y : 0 [by t.dp.dly[13]._y:=1]
|
|
|
|
728576 t.dp.dly[13].___y : 1 [by t.dp.dly[13].__y:=0]
|
|
|
|
730382 t.dp.dly[13].y : 0 [by t.dp.dly[13].___y:=1]
|
|
|
|
732389 t.dp.dly[14]._y : 1 [by t.dp.dly[13].y:=0]
|
|
|
|
733598 t.dp.dly[14].__y : 0 [by t.dp.dly[14]._y:=1]
|
|
|
|
734188 t.dp.dly[14].___y : 1 [by t.dp.dly[14].__y:=0]
|
|
|
|
734366 t.dp.mu2[3].b : 0 [by t.dp.dly[14].___y:=1]
|
|
|
|
735169 t.dp.mu2[3]._y : 1 [by t.dp.mu2[3].b:=0]
|
|
|
|
735333 t.out : 0 [by t.dp.mu2[3]._y:=1]
|
2022-03-01 15:26:43 +01:00
|
|
|
[] setting high
|
2022-04-04 17:35:34 +02:00
|
|
|
735333 t.in : 1
|
|
|
|
737528 t.dp.and2[0]._y : 0 [by t.in:=1]
|
|
|
|
737550 t.dp.dly[0].a : 1 [by t.dp.and2[0]._y:=0]
|
|
|
|
738397 t.dp.dly[0]._y : 0 [by t.dp.dly[0].a:=1]
|
|
|
|
768525 t.dp.dly[0].__y : 1 [by t.dp.dly[0]._y:=0]
|
|
|
|
768658 t.dp.dly[0].___y : 0 [by t.dp.dly[0].__y:=1]
|
|
|
|
784320 t.dp.dly[0].y : 1 [by t.dp.dly[0].___y:=0]
|
|
|
|
784679 t.dp.mu2[0]._y : 0 [by t.dp.dly[0].y:=1]
|
|
|
|
798795 t.dp._a[1] : 1 [by t.dp.mu2[0]._y:=0]
|
|
|
|
799016 t.dp.and2[1]._y : 0 [by t.dp._a[1]:=1]
|
|
|
|
799023 t.dp.dly[1].a : 1 [by t.dp.and2[1]._y:=0]
|
|
|
|
799053 t.dp.dly[1]._y : 0 [by t.dp.dly[1].a:=1]
|
|
|
|
805766 t.dp.dly[1].__y : 1 [by t.dp.dly[1]._y:=0]
|
|
|
|
863227 t.dp.dly[1].___y : 0 [by t.dp.dly[1].__y:=1]
|
|
|
|
863318 t.dp.dly[1].y : 1 [by t.dp.dly[1].___y:=0]
|
|
|
|
865507 t.dp.dly[2]._y : 0 [by t.dp.dly[1].y:=1]
|
|
|
|
865514 t.dp.dly[2].__y : 1 [by t.dp.dly[2]._y:=0]
|
|
|
|
868301 t.dp.dly[2].___y : 0 [by t.dp.dly[2].__y:=1]
|
|
|
|
868407 t.dp.dly[2].y : 1 [by t.dp.dly[2].___y:=0]
|
|
|
|
868485 t.dp.mu2[1]._y : 0 [by t.dp.dly[2].y:=1]
|
|
|
|
868760 t.dp._a[2] : 1 [by t.dp.mu2[1]._y:=0]
|
|
|
|
887756 t.dp.and2[2]._y : 0 [by t.dp._a[2]:=1]
|
|
|
|
888211 t.dp.dly[3].a : 1 [by t.dp.and2[2]._y:=0]
|
|
|
|
888223 t.dp.dly[3]._y : 0 [by t.dp.dly[3].a:=1]
|
|
|
|
888627 t.dp.dly[3].__y : 1 [by t.dp.dly[3]._y:=0]
|
|
|
|
888639 t.dp.dly[3].___y : 0 [by t.dp.dly[3].__y:=1]
|
|
|
|
894555 t.dp.dly[3].y : 1 [by t.dp.dly[3].___y:=0]
|
|
|
|
898831 t.dp.dly[4]._y : 0 [by t.dp.dly[3].y:=1]
|
|
|
|
901730 t.dp.dly[4].__y : 1 [by t.dp.dly[4]._y:=0]
|
|
|
|
906025 t.dp.dly[4].___y : 0 [by t.dp.dly[4].__y:=1]
|
|
|
|
906027 t.dp.dly[4].y : 1 [by t.dp.dly[4].___y:=0]
|
|
|
|
910562 t.dp.dly[5]._y : 0 [by t.dp.dly[4].y:=1]
|
|
|
|
911811 t.dp.dly[5].__y : 1 [by t.dp.dly[5]._y:=0]
|
|
|
|
915310 t.dp.dly[5].___y : 0 [by t.dp.dly[5].__y:=1]
|
|
|
|
915476 t.dp.dly[5].y : 1 [by t.dp.dly[5].___y:=0]
|
|
|
|
915551 t.dp.dly[6]._y : 0 [by t.dp.dly[5].y:=1]
|
|
|
|
915896 t.dp.dly[6].__y : 1 [by t.dp.dly[6]._y:=0]
|
|
|
|
916034 t.dp.dly[6].___y : 0 [by t.dp.dly[6].__y:=1]
|
|
|
|
921297 t.dp.dly[6].y : 1 [by t.dp.dly[6].___y:=0]
|
|
|
|
921299 t.dp.mu2[2]._y : 0 [by t.dp.dly[6].y:=1]
|
|
|
|
965216 t.dp._a[3] : 1 [by t.dp.mu2[2]._y:=0]
|
|
|
|
965217 t.dp.and2[3]._y : 0 [by t.dp._a[3]:=1]
|
|
|
|
965765 t.dp.dly[7].a : 1 [by t.dp.and2[3]._y:=0]
|
|
|
|
965776 t.dp.dly[7]._y : 0 [by t.dp.dly[7].a:=1]
|
|
|
|
966146 t.dp.dly[7].__y : 1 [by t.dp.dly[7]._y:=0]
|
|
|
|
966213 t.dp.dly[7].___y : 0 [by t.dp.dly[7].__y:=1]
|
|
|
|
968854 t.dp.dly[7].y : 1 [by t.dp.dly[7].___y:=0]
|
|
|
|
968870 t.dp.dly[8]._y : 0 [by t.dp.dly[7].y:=1]
|
|
|
|
973432 t.dp.dly[8].__y : 1 [by t.dp.dly[8]._y:=0]
|
|
|
|
973960 t.dp.dly[8].___y : 0 [by t.dp.dly[8].__y:=1]
|
|
|
|
976395 t.dp.dly[8].y : 1 [by t.dp.dly[8].___y:=0]
|
|
|
|
1003275 t.dp.dly[9]._y : 0 [by t.dp.dly[8].y:=1]
|
|
|
|
1027200 t.dp.dly[9].__y : 1 [by t.dp.dly[9]._y:=0]
|
|
|
|
1040241 t.dp.dly[9].___y : 0 [by t.dp.dly[9].__y:=1]
|
|
|
|
1040243 t.dp.dly[9].y : 1 [by t.dp.dly[9].___y:=0]
|
|
|
|
1101201 t.dp.dly[10]._y : 0 [by t.dp.dly[9].y:=1]
|
|
|
|
1101204 t.dp.dly[10].__y : 1 [by t.dp.dly[10]._y:=0]
|
|
|
|
1101233 t.dp.dly[10].___y : 0 [by t.dp.dly[10].__y:=1]
|
|
|
|
1101550 t.dp.dly[10].y : 1 [by t.dp.dly[10].___y:=0]
|
|
|
|
1103151 t.dp.dly[11]._y : 0 [by t.dp.dly[10].y:=1]
|
|
|
|
1103304 t.dp.dly[11].__y : 1 [by t.dp.dly[11]._y:=0]
|
|
|
|
1103348 t.dp.dly[11].___y : 0 [by t.dp.dly[11].__y:=1]
|
|
|
|
1106109 t.dp.dly[11].y : 1 [by t.dp.dly[11].___y:=0]
|
|
|
|
1119792 t.dp.dly[12]._y : 0 [by t.dp.dly[11].y:=1]
|
|
|
|
1119793 t.dp.dly[12].__y : 1 [by t.dp.dly[12]._y:=0]
|
|
|
|
1120010 t.dp.dly[12].___y : 0 [by t.dp.dly[12].__y:=1]
|
|
|
|
1120032 t.dp.dly[12].y : 1 [by t.dp.dly[12].___y:=0]
|
|
|
|
1120033 t.dp.dly[13]._y : 0 [by t.dp.dly[12].y:=1]
|
|
|
|
1121614 t.dp.dly[13].__y : 1 [by t.dp.dly[13]._y:=0]
|
|
|
|
1130959 t.dp.dly[13].___y : 0 [by t.dp.dly[13].__y:=1]
|
|
|
|
1131118 t.dp.dly[13].y : 1 [by t.dp.dly[13].___y:=0]
|
|
|
|
1150794 t.dp.dly[14]._y : 0 [by t.dp.dly[13].y:=1]
|
|
|
|
1152081 t.dp.dly[14].__y : 1 [by t.dp.dly[14]._y:=0]
|
|
|
|
1154313 t.dp.dly[14].___y : 0 [by t.dp.dly[14].__y:=1]
|
|
|
|
1154458 t.dp.mu2[3].b : 1 [by t.dp.dly[14].___y:=0]
|
|
|
|
1157290 t.dp.mu2[3]._y : 0 [by t.dp.mu2[3].b:=1]
|
|
|
|
1163644 t.out : 1 [by t.dp.mu2[3]._y:=0]
|
2022-03-01 15:26:43 +01:00
|
|
|
[] setting low
|
2022-04-04 17:35:34 +02:00
|
|
|
1163644 t.in : 0
|
|
|
|
1163645 t.dp.and2[0]._y : 1 [by t.in:=0]
|
|
|
|
1202929 t.dp.dly[0].a : 0 [by t.dp.and2[0]._y:=1]
|
|
|
|
1203091 t.dp.dly[0]._y : 1 [by t.dp.dly[0].a:=0]
|
|
|
|
1210460 t.dp.dly[0].__y : 0 [by t.dp.dly[0]._y:=1]
|
|
|
|
1210474 t.dp.dly[0].___y : 1 [by t.dp.dly[0].__y:=0]
|
|
|
|
1210481 t.dp.dly[0].y : 0 [by t.dp.dly[0].___y:=1]
|
|
|
|
1210641 t.dp.mu2[0]._y : 1 [by t.dp.dly[0].y:=0]
|
|
|
|
1232198 t.dp._a[1] : 0 [by t.dp.mu2[0]._y:=1]
|
|
|
|
1232199 t.dp.and2[1]._y : 1 [by t.dp._a[1]:=0]
|
|
|
|
1232200 t.dp.dly[1].a : 0 [by t.dp.and2[1]._y:=1]
|
|
|
|
1232201 t.dp.dly[1]._y : 1 [by t.dp.dly[1].a:=0]
|
|
|
|
1234444 t.dp.dly[1].__y : 0 [by t.dp.dly[1]._y:=1]
|
|
|
|
1234631 t.dp.dly[1].___y : 1 [by t.dp.dly[1].__y:=0]
|
|
|
|
1234632 t.dp.dly[1].y : 0 [by t.dp.dly[1].___y:=1]
|
|
|
|
1238814 t.dp.dly[2]._y : 1 [by t.dp.dly[1].y:=0]
|
|
|
|
1273596 t.dp.dly[2].__y : 0 [by t.dp.dly[2]._y:=1]
|
|
|
|
1273597 t.dp.dly[2].___y : 1 [by t.dp.dly[2].__y:=0]
|
|
|
|
1274450 t.dp.dly[2].y : 0 [by t.dp.dly[2].___y:=1]
|
|
|
|
1274455 t.dp.mu2[1]._y : 1 [by t.dp.dly[2].y:=0]
|
|
|
|
1275346 t.dp._a[2] : 0 [by t.dp.mu2[1]._y:=1]
|
|
|
|
1275347 t.dp.and2[2]._y : 1 [by t.dp._a[2]:=0]
|
|
|
|
1275364 t.dp.dly[3].a : 0 [by t.dp.and2[2]._y:=1]
|
|
|
|
1277937 t.dp.dly[3]._y : 1 [by t.dp.dly[3].a:=0]
|
|
|
|
1286298 t.dp.dly[3].__y : 0 [by t.dp.dly[3]._y:=1]
|
|
|
|
1286301 t.dp.dly[3].___y : 1 [by t.dp.dly[3].__y:=0]
|
|
|
|
1287242 t.dp.dly[3].y : 0 [by t.dp.dly[3].___y:=1]
|
|
|
|
1346204 t.dp.dly[4]._y : 1 [by t.dp.dly[3].y:=0]
|
|
|
|
1346205 t.dp.dly[4].__y : 0 [by t.dp.dly[4]._y:=1]
|
|
|
|
1346247 t.dp.dly[4].___y : 1 [by t.dp.dly[4].__y:=0]
|
|
|
|
1349064 t.dp.dly[4].y : 0 [by t.dp.dly[4].___y:=1]
|
|
|
|
1362797 t.dp.dly[5]._y : 1 [by t.dp.dly[4].y:=0]
|
|
|
|
1362892 t.dp.dly[5].__y : 0 [by t.dp.dly[5]._y:=1]
|
|
|
|
1363227 t.dp.dly[5].___y : 1 [by t.dp.dly[5].__y:=0]
|
|
|
|
1363235 t.dp.dly[5].y : 0 [by t.dp.dly[5].___y:=1]
|
|
|
|
1363269 t.dp.dly[6]._y : 1 [by t.dp.dly[5].y:=0]
|
|
|
|
1377156 t.dp.dly[6].__y : 0 [by t.dp.dly[6]._y:=1]
|
|
|
|
1378074 t.dp.dly[6].___y : 1 [by t.dp.dly[6].__y:=0]
|
|
|
|
1378078 t.dp.dly[6].y : 0 [by t.dp.dly[6].___y:=1]
|
|
|
|
1424456 t.dp.mu2[2]._y : 1 [by t.dp.dly[6].y:=0]
|
|
|
|
1426854 t.dp._a[3] : 0 [by t.dp.mu2[2]._y:=1]
|
|
|
|
1430069 t.dp.and2[3]._y : 1 [by t.dp._a[3]:=0]
|
|
|
|
1477188 t.dp.dly[7].a : 0 [by t.dp.and2[3]._y:=1]
|
|
|
|
1477236 t.dp.dly[7]._y : 1 [by t.dp.dly[7].a:=0]
|
|
|
|
1477239 t.dp.dly[7].__y : 0 [by t.dp.dly[7]._y:=1]
|
|
|
|
1477417 t.dp.dly[7].___y : 1 [by t.dp.dly[7].__y:=0]
|
|
|
|
1498394 t.dp.dly[7].y : 0 [by t.dp.dly[7].___y:=1]
|
|
|
|
1510293 t.dp.dly[8]._y : 1 [by t.dp.dly[7].y:=0]
|
|
|
|
1516244 t.dp.dly[8].__y : 0 [by t.dp.dly[8]._y:=1]
|
|
|
|
1555729 t.dp.dly[8].___y : 1 [by t.dp.dly[8].__y:=0]
|
|
|
|
1556556 t.dp.dly[8].y : 0 [by t.dp.dly[8].___y:=1]
|
|
|
|
1556729 t.dp.dly[9]._y : 1 [by t.dp.dly[8].y:=0]
|
|
|
|
1556913 t.dp.dly[9].__y : 0 [by t.dp.dly[9]._y:=1]
|
|
|
|
1556914 t.dp.dly[9].___y : 1 [by t.dp.dly[9].__y:=0]
|
|
|
|
1556987 t.dp.dly[9].y : 0 [by t.dp.dly[9].___y:=1]
|
|
|
|
1556991 t.dp.dly[10]._y : 1 [by t.dp.dly[9].y:=0]
|
|
|
|
1594279 t.dp.dly[10].__y : 0 [by t.dp.dly[10]._y:=1]
|
|
|
|
1594375 t.dp.dly[10].___y : 1 [by t.dp.dly[10].__y:=0]
|
|
|
|
1594511 t.dp.dly[10].y : 0 [by t.dp.dly[10].___y:=1]
|
|
|
|
1594512 t.dp.dly[11]._y : 1 [by t.dp.dly[10].y:=0]
|
|
|
|
1613558 t.dp.dly[11].__y : 0 [by t.dp.dly[11]._y:=1]
|
|
|
|
1613799 t.dp.dly[11].___y : 1 [by t.dp.dly[11].__y:=0]
|
|
|
|
1617758 t.dp.dly[11].y : 0 [by t.dp.dly[11].___y:=1]
|
|
|
|
1617770 t.dp.dly[12]._y : 1 [by t.dp.dly[11].y:=0]
|
|
|
|
1621670 t.dp.dly[12].__y : 0 [by t.dp.dly[12]._y:=1]
|
|
|
|
1622699 t.dp.dly[12].___y : 1 [by t.dp.dly[12].__y:=0]
|
|
|
|
1622700 t.dp.dly[12].y : 0 [by t.dp.dly[12].___y:=1]
|
|
|
|
1622756 t.dp.dly[13]._y : 1 [by t.dp.dly[12].y:=0]
|
|
|
|
1667762 t.dp.dly[13].__y : 0 [by t.dp.dly[13]._y:=1]
|
|
|
|
1667763 t.dp.dly[13].___y : 1 [by t.dp.dly[13].__y:=0]
|
|
|
|
1667800 t.dp.dly[13].y : 0 [by t.dp.dly[13].___y:=1]
|
|
|
|
1691175 t.dp.dly[14]._y : 1 [by t.dp.dly[13].y:=0]
|
|
|
|
1691176 t.dp.dly[14].__y : 0 [by t.dp.dly[14]._y:=1]
|
|
|
|
1694740 t.dp.dly[14].___y : 1 [by t.dp.dly[14].__y:=0]
|
|
|
|
1696432 t.dp.mu2[3].b : 0 [by t.dp.dly[14].___y:=1]
|
|
|
|
1696445 t.dp.mu2[3]._y : 1 [by t.dp.mu2[3].b:=0]
|
|
|
|
1713429 t.out : 0 [by t.dp.mu2[3]._y:=1]
|
2022-03-01 15:26:43 +01:00
|
|
|
[] setting configs low
|
2022-04-04 17:35:34 +02:00
|
|
|
1713429 t.s[0] : 0
|
|
|
|
1713429 t.s[3] : 0
|
|
|
|
1713429 t.s[2] : 0
|
|
|
|
1713429 t.s[1] : 0
|
|
|
|
1713430 t.dp.mu2[1]._s : 1 [by t.s[1]:=0]
|
|
|
|
1713450 t.dp.mu2[2]._s : 1 [by t.s[2]:=0]
|
|
|
|
1713454 t.dp.mu2[3]._s : 1 [by t.s[3]:=0]
|
|
|
|
1713786 t.dp.mu2[0]._s : 1 [by t.s[0]:=0]
|
2022-03-01 15:26:43 +01:00
|
|
|
[] setting high
|
2022-04-04 17:35:34 +02:00
|
|
|
1713786 t.in : 1
|
|
|
|
1723434 t.dp.mu2[0]._y : 0 [by t.in:=1]
|
|
|
|
1723435 t.dp._a[1] : 1 [by t.dp.mu2[0]._y:=0]
|
|
|
|
1723436 t.dp.mu2[1]._y : 0 [by t.dp._a[1]:=1]
|
|
|
|
1723597 t.dp._a[2] : 1 [by t.dp.mu2[1]._y:=0]
|
|
|
|
1724634 t.dp.mu2[2]._y : 0 [by t.dp._a[2]:=1]
|
|
|
|
1724639 t.dp._a[3] : 1 [by t.dp.mu2[2]._y:=0]
|
|
|
|
1725220 t.dp.mu2[3]._y : 0 [by t.dp._a[3]:=1]
|
|
|
|
1725628 t.out : 1 [by t.dp.mu2[3]._y:=0]
|
2022-03-01 15:26:43 +01:00
|
|
|
[] setting low
|
2022-04-04 17:35:34 +02:00
|
|
|
1725628 t.in : 0
|
|
|
|
1725639 t.dp.mu2[0]._y : 1 [by t.in:=0]
|
|
|
|
1726686 t.dp._a[1] : 0 [by t.dp.mu2[0]._y:=1]
|
|
|
|
1726700 t.dp.mu2[1]._y : 1 [by t.dp._a[1]:=0]
|
|
|
|
1726718 t.dp._a[2] : 0 [by t.dp.mu2[1]._y:=1]
|
|
|
|
1726722 t.dp.mu2[2]._y : 1 [by t.dp._a[2]:=0]
|
|
|
|
1726826 t.dp._a[3] : 0 [by t.dp.mu2[2]._y:=1]
|
|
|
|
1758270 t.dp.mu2[3]._y : 1 [by t.dp._a[3]:=0]
|
|
|
|
1759474 t.out : 0 [by t.dp.mu2[3]._y:=1]
|