bics/actlib_dataflow_neuro
22
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

before the git gets fucked

Browse Source
This commit is contained in:
alexmadison
2022-04-04 17:35:34 +02:00
parent ea3f91d6de
commit a229dd00cf
35 changed files with 49389 additions and 16553 deletions
Download Patch File Download Diff File Expand all files Collapse all files

374
test/unit_tests/delayprog_4/run/prsim.out
View File

@ -1,134 +1,272 @@
t.s[2] t.dp.dly[2].a t.dp._a[1] t.dp.dly[5]._y t.s[3] t.a t.s[0] t.dp.and2[2]._y t.dp.and2[0]._y t.dp._a[3] t.dp.dly[11]._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[11].y t.dp.dly[0]._y t.dp.dly[4].y t.dp.dly[6].y t.dp.dly[2]._y t.dp.dly[7]._y t.dp.dly[9].a t.dp.dly[1].y t.dp.dly[1].a t.dp.dly[4].a t.y t.dp.dly[2].y t.dp.dly[14]._y t.dp.dly[10].a 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[8].a t.dp.dly[0].a t.dp.dly[7].a t.dp.mu2[0]._y t.dp.mu2[3]._y t.dp.mu2[1]._s t.dp.dly[11].a t.dp.dly[14].a t.dp.dly[13].a t.dp.dly[13]._y t.dp.dly[7].y t.dp.dly[8]._y t.dp.mu2[2]._y t.dp.dly[3].y t.dp.dly[14].y t.dp.dly[0].y t.dp.dly[3]._y t.dp.dly[13].y t.dp.and2[1]._y t.dp.mu2[3]._s t.dp.dly[10].y t.dp.dly[9].y t.dp.dly[4]._y t.dp.dly[12].y t.dp.dly[8].y t.dp.mu2[1]._y t.dp.dly[12].a t.dp.dly[10]._y
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
0
0 t.a : 0
0 t.in : 0
0 t.s[3] : 1
0 t.s[1] : 1
0 t.s[0] : 1
0 t.s[2] : 1
1 t.dp.and2[0]._y : 1 [by t.a:=0]
1 t.dp.and2[0]._y : 1 [by t.in:=0]
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]
66618 t.dp.dly[0].y : 0 [by t.dp.dly[0]._y:=1]
68344 t.dp.mu2[0]._y : 1 [by t.dp.dly[0].y:=0]
68383 t.dp._a[1] : 0 [by t.dp.mu2[0]._y:=1]
68398 t.dp.and2[1]._y : 1 [by t.dp._a[1]:=0]
68889 t.dp.dly[1].a : 0 [by t.dp.and2[1]._y:=1]
68902 t.dp.dly[1]._y : 1 [by t.dp.dly[1].a:=0]
68942 t.dp.dly[1].y : 0 [by t.dp.dly[1]._y:=1]
69357 t.dp.mu2[1]._y : 1 [by t.dp.dly[1].y:=0]
69377 t.dp._a[2] : 0 [by t.dp.mu2[1]._y:=1]
75438 t.dp.and2[2]._y : 1 [by t.dp._a[2]:=0]
75485 t.dp.dly[2].a : 0 [by t.dp.and2[2]._y:=1]
75501 t.dp.dly[2]._y : 1 [by t.dp.dly[2].a:=0]
119599 t.dp.dly[2].y : 0 [by t.dp.dly[2]._y:=1]
133323 t.dp.dly[3]._y : 1 [by t.dp.dly[2].y:=0]
133327 t.dp.dly[3].y : 0 [by t.dp.dly[3]._y:=1]
142456 t.dp.mu2[2]._y : 1 [by t.dp.dly[3].y:=0]
142471 t.dp._a[3] : 0 [by t.dp.mu2[2]._y:=1]
185719 t.dp.and2[3]._y : 1 [by t.dp._a[3]:=0]
222650 t.dp.dly[4].a : 0 [by t.dp.and2[3]._y:=1]
222705 t.dp.dly[4]._y : 1 [by t.dp.dly[4].a:=0]
274358 t.dp.dly[4].y : 0 [by t.dp.dly[4]._y:=1]
304138 t.dp.dly[5]._y : 1 [by t.dp.dly[4].y:=0]
317987 t.dp.dly[5].y : 0 [by t.dp.dly[5]._y:=1]
342799 t.dp.dly[6]._y : 1 [by t.dp.dly[5].y:=0]
357142 t.dp.dly[6].y : 0 [by t.dp.dly[6]._y:=1]
357564 t.dp.mu2[3]._y : 1 [by t.dp.dly[6].y:=0]
406278 t.y : 0 [by t.dp.mu2[3]._y:=1]
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]
[] setting high
406278 t.a : 1
406279 t.dp.and2[0]._y : 0 [by t.a:=1]
406280 t.dp.dly[0].a : 1 [by t.dp.and2[0]._y:=0]
426485 t.dp.dly[0]._y : 0 [by t.dp.dly[0].a:=1]
426767 t.dp.dly[0].y : 1 [by t.dp.dly[0]._y:=0]
427535 t.dp.mu2[0]._y : 0 [by t.dp.dly[0].y:=1]
427538 t.dp._a[1] : 1 [by t.dp.mu2[0]._y:=0]
449979 t.dp.and2[1]._y : 0 [by t.dp._a[1]:=1]
450530 t.dp.dly[1].a : 1 [by t.dp.and2[1]._y:=0]
451601 t.dp.dly[1]._y : 0 [by t.dp.dly[1].a:=1]
452555 t.dp.dly[1].y : 1 [by t.dp.dly[1]._y:=0]
453636 t.dp.mu2[1]._y : 0 [by t.dp.dly[1].y:=1]
508106 t.dp._a[2] : 1 [by t.dp.mu2[1]._y:=0]
509088 t.dp.and2[2]._y : 0 [by t.dp._a[2]:=1]
509106 t.dp.dly[2].a : 1 [by t.dp.and2[2]._y:=0]
513119 t.dp.dly[2]._y : 0 [by t.dp.dly[2].a:=1]
517122 t.dp.dly[2].y : 1 [by t.dp.dly[2]._y:=0]
562023 t.dp.dly[3]._y : 0 [by t.dp.dly[2].y:=1]
583607 t.dp.dly[3].y : 1 [by t.dp.dly[3]._y:=0]
588367 t.dp.mu2[2]._y : 0 [by t.dp.dly[3].y:=1]
588869 t.dp._a[3] : 1 [by t.dp.mu2[2]._y:=0]
589072 t.dp.and2[3]._y : 0 [by t.dp._a[3]:=1]
590926 t.dp.dly[4].a : 1 [by t.dp.and2[3]._y:=0]
591065 t.dp.dly[4]._y : 0 [by t.dp.dly[4].a:=1]
627411 t.dp.dly[4].y : 1 [by t.dp.dly[4]._y:=0]
627480 t.dp.dly[5]._y : 0 [by t.dp.dly[4].y:=1]
627491 t.dp.dly[5].y : 1 [by t.dp.dly[5]._y:=0]
679277 t.dp.dly[6]._y : 0 [by t.dp.dly[5].y:=1]
679481 t.dp.dly[6].y : 1 [by t.dp.dly[6]._y:=0]
679496 t.dp.mu2[3]._y : 0 [by t.dp.dly[6].y:=1]
679497 t.y : 1 [by t.dp.mu2[3]._y:=0]
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]
[] setting low
679497 t.a : 0
679534 t.dp.and2[0]._y : 1 [by t.a:=0]
680273 t.dp.dly[0].a : 0 [by t.dp.and2[0]._y:=1]
680385 t.dp.dly[0]._y : 1 [by t.dp.dly[0].a:=0]
727897 t.dp.dly[0].y : 0 [by t.dp.dly[0]._y:=1]
727937 t.dp.mu2[0]._y : 1 [by t.dp.dly[0].y:=0]
728194 t.dp._a[1] : 0 [by t.dp.mu2[0]._y:=1]
728281 t.dp.and2[1]._y : 1 [by t.dp._a[1]:=0]
728575 t.dp.dly[1].a : 0 [by t.dp.and2[1]._y:=1]
728576 t.dp.dly[1]._y : 1 [by t.dp.dly[1].a:=0]
730382 t.dp.dly[1].y : 0 [by t.dp.dly[1]._y:=1]
732389 t.dp.mu2[1]._y : 1 [by t.dp.dly[1].y:=0]
733598 t.dp._a[2] : 0 [by t.dp.mu2[1]._y:=1]
734188 t.dp.and2[2]._y : 1 [by t.dp._a[2]:=0]
734366 t.dp.dly[2].a : 0 [by t.dp.and2[2]._y:=1]
735169 t.dp.dly[2]._y : 1 [by t.dp.dly[2].a:=0]
735333 t.dp.dly[2].y : 0 [by t.dp.dly[2]._y:=1]
737528 t.dp.dly[3]._y : 1 [by t.dp.dly[2].y:=0]
737550 t.dp.dly[3].y : 0 [by t.dp.dly[3]._y:=1]
738397 t.dp.mu2[2]._y : 1 [by t.dp.dly[3].y:=0]
768525 t.dp._a[3] : 0 [by t.dp.mu2[2]._y:=1]
768658 t.dp.and2[3]._y : 1 [by t.dp._a[3]:=0]
784320 t.dp.dly[4].a : 0 [by t.dp.and2[3]._y:=1]
784679 t.dp.dly[4]._y : 1 [by t.dp.dly[4].a:=0]
798795 t.dp.dly[4].y : 0 [by t.dp.dly[4]._y:=1]
799016 t.dp.dly[5]._y : 1 [by t.dp.dly[4].y:=0]
799023 t.dp.dly[5].y : 0 [by t.dp.dly[5]._y:=1]
799053 t.dp.dly[6]._y : 1 [by t.dp.dly[5].y:=0]
805766 t.dp.dly[6].y : 0 [by t.dp.dly[6]._y:=1]
863227 t.dp.mu2[3]._y : 1 [by t.dp.dly[6].y:=0]
863318 t.y : 0 [by t.dp.mu2[3]._y:=1]
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]
[] setting configs low
863318 t.s[0] : 0
863318 t.s[3] : 0
863318 t.s[2] : 0
863318 t.s[1] : 0
863325 t.dp.mu2[3]._s : 1 [by t.s[3]:=0]
863424 t.dp.mu2[1]._s : 1 [by t.s[1]:=0]
865507 t.dp.mu2[0]._s : 1 [by t.s[0]:=0]
866105 t.dp.mu2[2]._s : 1 [by t.s[2]:=0]
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]
[] setting high
866105 t.a : 1
866183 t.dp.mu2[0]._y : 0 [by t.a:=1]
866458 t.dp._a[1] : 1 [by t.dp.mu2[0]._y:=0]
885454 t.dp.mu2[1]._y : 0 [by t.dp._a[1]:=1]
885909 t.dp._a[2] : 1 [by t.dp.mu2[1]._y:=0]
885921 t.dp.mu2[2]._y : 0 [by t.dp._a[2]:=1]
886325 t.dp._a[3] : 1 [by t.dp.mu2[2]._y:=0]
886337 t.dp.mu2[3]._y : 0 [by t.dp._a[3]:=1]
892253 t.y : 1 [by t.dp.mu2[3]._y:=0]
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]
[] setting low
892253 t.a : 0
896529 t.dp.mu2[0]._y : 1 [by t.a:=0]
899428 t.dp._a[1] : 0 [by t.dp.mu2[0]._y:=1]
903723 t.dp.mu2[1]._y : 1 [by t.dp._a[1]:=0]
903725 t.dp._a[2] : 0 [by t.dp.mu2[1]._y:=1]
908260 t.dp.mu2[2]._y : 1 [by t.dp._a[2]:=0]
909509 t.dp._a[3] : 0 [by t.dp.mu2[2]._y:=1]
913008 t.dp.mu2[3]._y : 1 [by t.dp._a[3]:=0]
913174 t.y : 0 [by t.dp.mu2[3]._y:=1]
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]

BIN
test/unit_tests/delayprog_4/run/prsim.pdf
View File

Binary file not shown.

154
test/unit_tests/delayprog_4/run/test.prs
View File

@ -1,11 +1,6 @@
= "GND" "GND"
= "Vdd" "Vdd"
= "Reset" "Reset"
= "t.y" "t.dp.y"
= "t.a" "t.dp.a"
= "t.dp.a" "t.dp.mu2[0].a"
= "t.dp.a" "t.dp.and2[0].a"
= "t.dp.a" "t.dp._a[0]"
"t.dp.and2[0].a"&"t.dp.and2[0].b"->"t.dp.and2[0]._y"-
~("t.dp.and2[0].a"&"t.dp.and2[0].b")->"t.dp.and2[0]._y"+
"t.dp.and2[0]._y"->"t.dp.and2[0].y"-
@ -102,72 +97,140 @@
~("t.dp.mu2[3]._y")->"t.dp.mu2[3].y"+
"t.dp.dly[0].a"->"t.dp.dly[0]._y"-
~("t.dp.dly[0].a")->"t.dp.dly[0]._y"+
"t.dp.dly[0]._y"->"t.dp.dly[0].y"-
~("t.dp.dly[0]._y")->"t.dp.dly[0].y"+
"t.dp.dly[0]._y"->"t.dp.dly[0].__y"-
~("t.dp.dly[0]._y")->"t.dp.dly[0].__y"+
"t.dp.dly[0].__y"->"t.dp.dly[0].___y"-
~("t.dp.dly[0].__y")->"t.dp.dly[0].___y"+
"t.dp.dly[0].___y"->"t.dp.dly[0].y"-
~("t.dp.dly[0].___y")->"t.dp.dly[0].y"+
"t.dp.dly[1].a"->"t.dp.dly[1]._y"-
~("t.dp.dly[1].a")->"t.dp.dly[1]._y"+
"t.dp.dly[1]._y"->"t.dp.dly[1].y"-
~("t.dp.dly[1]._y")->"t.dp.dly[1].y"+
"t.dp.dly[1]._y"->"t.dp.dly[1].__y"-
~("t.dp.dly[1]._y")->"t.dp.dly[1].__y"+
"t.dp.dly[1].__y"->"t.dp.dly[1].___y"-
~("t.dp.dly[1].__y")->"t.dp.dly[1].___y"+
"t.dp.dly[1].___y"->"t.dp.dly[1].y"-
~("t.dp.dly[1].___y")->"t.dp.dly[1].y"+
"t.dp.dly[2].a"->"t.dp.dly[2]._y"-
~("t.dp.dly[2].a")->"t.dp.dly[2]._y"+
"t.dp.dly[2]._y"->"t.dp.dly[2].y"-
~("t.dp.dly[2]._y")->"t.dp.dly[2].y"+
"t.dp.dly[2]._y"->"t.dp.dly[2].__y"-
~("t.dp.dly[2]._y")->"t.dp.dly[2].__y"+
"t.dp.dly[2].__y"->"t.dp.dly[2].___y"-
~("t.dp.dly[2].__y")->"t.dp.dly[2].___y"+
"t.dp.dly[2].___y"->"t.dp.dly[2].y"-
~("t.dp.dly[2].___y")->"t.dp.dly[2].y"+
"t.dp.dly[3].a"->"t.dp.dly[3]._y"-
~("t.dp.dly[3].a")->"t.dp.dly[3]._y"+
"t.dp.dly[3]._y"->"t.dp.dly[3].y"-
~("t.dp.dly[3]._y")->"t.dp.dly[3].y"+
"t.dp.dly[3]._y"->"t.dp.dly[3].__y"-
~("t.dp.dly[3]._y")->"t.dp.dly[3].__y"+
"t.dp.dly[3].__y"->"t.dp.dly[3].___y"-
~("t.dp.dly[3].__y")->"t.dp.dly[3].___y"+
"t.dp.dly[3].___y"->"t.dp.dly[3].y"-
~("t.dp.dly[3].___y")->"t.dp.dly[3].y"+
"t.dp.dly[4].a"->"t.dp.dly[4]._y"-
~("t.dp.dly[4].a")->"t.dp.dly[4]._y"+
"t.dp.dly[4]._y"->"t.dp.dly[4].y"-
~("t.dp.dly[4]._y")->"t.dp.dly[4].y"+
"t.dp.dly[4]._y"->"t.dp.dly[4].__y"-
~("t.dp.dly[4]._y")->"t.dp.dly[4].__y"+
"t.dp.dly[4].__y"->"t.dp.dly[4].___y"-
~("t.dp.dly[4].__y")->"t.dp.dly[4].___y"+
"t.dp.dly[4].___y"->"t.dp.dly[4].y"-
~("t.dp.dly[4].___y")->"t.dp.dly[4].y"+
"t.dp.dly[5].a"->"t.dp.dly[5]._y"-
~("t.dp.dly[5].a")->"t.dp.dly[5]._y"+
"t.dp.dly[5]._y"->"t.dp.dly[5].y"-
~("t.dp.dly[5]._y")->"t.dp.dly[5].y"+
"t.dp.dly[5]._y"->"t.dp.dly[5].__y"-
~("t.dp.dly[5]._y")->"t.dp.dly[5].__y"+
"t.dp.dly[5].__y"->"t.dp.dly[5].___y"-
~("t.dp.dly[5].__y")->"t.dp.dly[5].___y"+
"t.dp.dly[5].___y"->"t.dp.dly[5].y"-
~("t.dp.dly[5].___y")->"t.dp.dly[5].y"+
"t.dp.dly[6].a"->"t.dp.dly[6]._y"-
~("t.dp.dly[6].a")->"t.dp.dly[6]._y"+
"t.dp.dly[6]._y"->"t.dp.dly[6].y"-
~("t.dp.dly[6]._y")->"t.dp.dly[6].y"+
"t.dp.dly[6]._y"->"t.dp.dly[6].__y"-
~("t.dp.dly[6]._y")->"t.dp.dly[6].__y"+
"t.dp.dly[6].__y"->"t.dp.dly[6].___y"-
~("t.dp.dly[6].__y")->"t.dp.dly[6].___y"+
"t.dp.dly[6].___y"->"t.dp.dly[6].y"-
~("t.dp.dly[6].___y")->"t.dp.dly[6].y"+
"t.dp.dly[7].a"->"t.dp.dly[7]._y"-
~("t.dp.dly[7].a")->"t.dp.dly[7]._y"+
"t.dp.dly[7]._y"->"t.dp.dly[7].y"-
~("t.dp.dly[7]._y")->"t.dp.dly[7].y"+
"t.dp.dly[7]._y"->"t.dp.dly[7].__y"-
~("t.dp.dly[7]._y")->"t.dp.dly[7].__y"+
"t.dp.dly[7].__y"->"t.dp.dly[7].___y"-
~("t.dp.dly[7].__y")->"t.dp.dly[7].___y"+
"t.dp.dly[7].___y"->"t.dp.dly[7].y"-
~("t.dp.dly[7].___y")->"t.dp.dly[7].y"+
"t.dp.dly[8].a"->"t.dp.dly[8]._y"-
~("t.dp.dly[8].a")->"t.dp.dly[8]._y"+
"t.dp.dly[8]._y"->"t.dp.dly[8].y"-
~("t.dp.dly[8]._y")->"t.dp.dly[8].y"+
"t.dp.dly[8]._y"->"t.dp.dly[8].__y"-
~("t.dp.dly[8]._y")->"t.dp.dly[8].__y"+
"t.dp.dly[8].__y"->"t.dp.dly[8].___y"-
~("t.dp.dly[8].__y")->"t.dp.dly[8].___y"+
"t.dp.dly[8].___y"->"t.dp.dly[8].y"-
~("t.dp.dly[8].___y")->"t.dp.dly[8].y"+
"t.dp.dly[9].a"->"t.dp.dly[9]._y"-
~("t.dp.dly[9].a")->"t.dp.dly[9]._y"+
"t.dp.dly[9]._y"->"t.dp.dly[9].y"-
~("t.dp.dly[9]._y")->"t.dp.dly[9].y"+
"t.dp.dly[9]._y"->"t.dp.dly[9].__y"-
~("t.dp.dly[9]._y")->"t.dp.dly[9].__y"+
"t.dp.dly[9].__y"->"t.dp.dly[9].___y"-
~("t.dp.dly[9].__y")->"t.dp.dly[9].___y"+
"t.dp.dly[9].___y"->"t.dp.dly[9].y"-
~("t.dp.dly[9].___y")->"t.dp.dly[9].y"+
"t.dp.dly[10].a"->"t.dp.dly[10]._y"-
~("t.dp.dly[10].a")->"t.dp.dly[10]._y"+
"t.dp.dly[10]._y"->"t.dp.dly[10].y"-
~("t.dp.dly[10]._y")->"t.dp.dly[10].y"+
"t.dp.dly[10]._y"->"t.dp.dly[10].__y"-
~("t.dp.dly[10]._y")->"t.dp.dly[10].__y"+
"t.dp.dly[10].__y"->"t.dp.dly[10].___y"-
~("t.dp.dly[10].__y")->"t.dp.dly[10].___y"+
"t.dp.dly[10].___y"->"t.dp.dly[10].y"-
~("t.dp.dly[10].___y")->"t.dp.dly[10].y"+
"t.dp.dly[11].a"->"t.dp.dly[11]._y"-
~("t.dp.dly[11].a")->"t.dp.dly[11]._y"+
"t.dp.dly[11]._y"->"t.dp.dly[11].y"-
~("t.dp.dly[11]._y")->"t.dp.dly[11].y"+
"t.dp.dly[11]._y"->"t.dp.dly[11].__y"-
~("t.dp.dly[11]._y")->"t.dp.dly[11].__y"+
"t.dp.dly[11].__y"->"t.dp.dly[11].___y"-
~("t.dp.dly[11].__y")->"t.dp.dly[11].___y"+
"t.dp.dly[11].___y"->"t.dp.dly[11].y"-
~("t.dp.dly[11].___y")->"t.dp.dly[11].y"+
"t.dp.dly[12].a"->"t.dp.dly[12]._y"-
~("t.dp.dly[12].a")->"t.dp.dly[12]._y"+
"t.dp.dly[12]._y"->"t.dp.dly[12].y"-
~("t.dp.dly[12]._y")->"t.dp.dly[12].y"+
"t.dp.dly[12]._y"->"t.dp.dly[12].__y"-
~("t.dp.dly[12]._y")->"t.dp.dly[12].__y"+
"t.dp.dly[12].__y"->"t.dp.dly[12].___y"-
~("t.dp.dly[12].__y")->"t.dp.dly[12].___y"+
"t.dp.dly[12].___y"->"t.dp.dly[12].y"-
~("t.dp.dly[12].___y")->"t.dp.dly[12].y"+
"t.dp.dly[13].a"->"t.dp.dly[13]._y"-
~("t.dp.dly[13].a")->"t.dp.dly[13]._y"+
"t.dp.dly[13]._y"->"t.dp.dly[13].y"-
~("t.dp.dly[13]._y")->"t.dp.dly[13].y"+
"t.dp.dly[13]._y"->"t.dp.dly[13].__y"-
~("t.dp.dly[13]._y")->"t.dp.dly[13].__y"+
"t.dp.dly[13].__y"->"t.dp.dly[13].___y"-
~("t.dp.dly[13].__y")->"t.dp.dly[13].___y"+
"t.dp.dly[13].___y"->"t.dp.dly[13].y"-
~("t.dp.dly[13].___y")->"t.dp.dly[13].y"+
"t.dp.dly[14].a"->"t.dp.dly[14]._y"-
~("t.dp.dly[14].a")->"t.dp.dly[14]._y"+
"t.dp.dly[14]._y"->"t.dp.dly[14].y"-
~("t.dp.dly[14]._y")->"t.dp.dly[14].y"+
= "t.dp.dly[6].y" "t.dp.mu2[3].b"
"t.dp.dly[14]._y"->"t.dp.dly[14].__y"-
~("t.dp.dly[14]._y")->"t.dp.dly[14].__y"+
"t.dp.dly[14].__y"->"t.dp.dly[14].___y"-
~("t.dp.dly[14].__y")->"t.dp.dly[14].___y"+
"t.dp.dly[14].___y"->"t.dp.dly[14].y"-
~("t.dp.dly[14].___y")->"t.dp.dly[14].y"+
= "t.dp.dly[14].y" "t.dp.mu2[3].b"
= "t.dp.dly[14].a" "t.dp.dly[13].y"
= "t.dp.dly[13].a" "t.dp.dly[12].y"
= "t.dp.dly[12].a" "t.dp.dly[11].y"
= "t.dp.dly[11].a" "t.dp.dly[10].y"
= "t.dp.dly[10].a" "t.dp.dly[9].y"
= "t.dp.dly[9].a" "t.dp.dly[8].y"
= "t.dp.dly[8].a" "t.dp.dly[7].y"
= "t.dp.dly[7].a" "t.dp.and2[3].y"
= "t.dp.dly[6].y" "t.dp.mu2[2].b"
= "t.dp.dly[6].a" "t.dp.dly[5].y"
= "t.dp.dly[5].a" "t.dp.dly[4].y"
= "t.dp.dly[4].a" "t.dp.and2[3].y"
= "t.dp.dly[3].y" "t.dp.mu2[2].b"
= "t.dp.dly[3].a" "t.dp.dly[2].y"
= "t.dp.dly[2].a" "t.dp.and2[2].y"
= "t.dp.dly[1].y" "t.dp.mu2[1].b"
= "t.dp.dly[4].a" "t.dp.dly[3].y"
= "t.dp.dly[3].a" "t.dp.and2[2].y"
= "t.dp.dly[2].y" "t.dp.mu2[1].b"
= "t.dp.dly[2].a" "t.dp.dly[1].y"
= "t.dp.dly[1].a" "t.dp.and2[1].y"
= "t.dp.dly[0].y" "t.dp.mu2[0].b"
= "t.dp.dly[0].a" "t.dp.and2[0].y"
@ -180,10 +243,15 @@
= "t.dp._a[3]" "t.dp.mu2[3].a"
= "t.dp._a[3]" "t.dp.and2[3].a"
= "t.dp._a[3]" "t.dp.mu2[2].y"
= "t.dp.y" "t.dp.mu2[3].y"
= "t.dp.y" "t.dp._a[4]"
= "t.dp.out" "t.dp.mu2[3].y"
= "t.dp.out" "t.dp._a[4]"
= "t.dp.in" "t.dp.mu2[0].a"
= "t.dp.in" "t.dp.and2[0].a"
= "t.dp.in" "t.dp._a[0]"
= "Vdd" "t.dp.supply.vdd"
= "GND" "t.dp.supply.vss"
= "t.out" "t.dp.out"
= "t.in" "t.dp.in"
= "t.s[0]" "t.dp.s[0]"
= "t.s[1]" "t.dp.s[1]"
= "t.s[2]" "t.dp.s[2]"

4
test/unit_tests/delayprog_4/test.act
View File

@ -31,8 +31,8 @@ import globals;
open tmpl::dataflow_neuro;
defproc delayprog_4 (bool? s[4], a; bool! y){
delayprog<4> dp(.a=a, .y=y, .s = s);
defproc delayprog_4 (bool? s[4], in; bool! out){
delayprog<4> dp(.in=in, .out=out, .s = s);
dp.supply.vss = GND;
dp.supply.vdd = Vdd;

22
test/unit_tests/delayprog_4/test.prsim
View File

@ -2,7 +2,7 @@ watchall
system "echo '0'"
set t.a 0
set t.in 0
set t.s[0] 1
set t.s[1] 1
set t.s[2] 1
@ -11,17 +11,17 @@ set t.s[3] 1
cycle
mode run
assert t.y 0
# assert t.out 0
system "echo '[] setting high'"
set t.a 1
set t.in 1
cycle
assert t.y 1
assert t.out 1
system "echo '[] setting low'"
set t.a 0
set t.in 0
cycle
assert t.y 0
assert t.out 0
system "echo '[] setting configs low'"
set t.s[0] 0
@ -29,14 +29,14 @@ set t.s[1] 0
set t.s[2] 0
set t.s[3] 0
cycle
assert t.y 0
assert t.out 0
system "echo '[] setting high'"
set t.a 1
set t.in 1
cycle
assert t.y 1
assert t.out 1
system "echo '[] setting low'"
set t.a 0
set t.in 0
cycle
assert t.y 0
assert t.out 0