actlib_dataflow_neuro/test/unit_tests/delayprog_4/run/test.prs

259 lines
9.8 KiB
Plaintext

= "GND" "GND"
= "Vdd" "Vdd"
= "Reset" "Reset"
"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"-
~("t.dp.and2[0]._y")->"t.dp.and2[0].y"+
"t.dp.and2[1].a"&"t.dp.and2[1].b"->"t.dp.and2[1]._y"-
~("t.dp.and2[1].a"&"t.dp.and2[1].b")->"t.dp.and2[1]._y"+
"t.dp.and2[1]._y"->"t.dp.and2[1].y"-
~("t.dp.and2[1]._y")->"t.dp.and2[1].y"+
"t.dp.and2[2].a"&"t.dp.and2[2].b"->"t.dp.and2[2]._y"-
~("t.dp.and2[2].a"&"t.dp.and2[2].b")->"t.dp.and2[2]._y"+
"t.dp.and2[2]._y"->"t.dp.and2[2].y"-
~("t.dp.and2[2]._y")->"t.dp.and2[2].y"+
"t.dp.and2[3].a"&"t.dp.and2[3].b"->"t.dp.and2[3]._y"-
~("t.dp.and2[3].a"&"t.dp.and2[3].b")->"t.dp.and2[3]._y"+
"t.dp.and2[3]._y"->"t.dp.and2[3].y"-
~("t.dp.and2[3]._y")->"t.dp.and2[3].y"+
= "t.dp.s[0]" "t.dp.mu2[0].s"
= "t.dp.s[0]" "t.dp.and2[0].b"
= "t.dp.s[1]" "t.dp.mu2[1].s"
= "t.dp.s[1]" "t.dp.and2[1].b"
= "t.dp.s[2]" "t.dp.mu2[2].s"
= "t.dp.s[2]" "t.dp.and2[2].b"
= "t.dp.s[3]" "t.dp.mu2[3].s"
= "t.dp.s[3]" "t.dp.and2[3].b"
= "t.dp.supply.vdd" "t.dp.dly[14].vdd"
= "t.dp.supply.vdd" "t.dp.dly[13].vdd"
= "t.dp.supply.vdd" "t.dp.dly[12].vdd"
= "t.dp.supply.vdd" "t.dp.dly[11].vdd"
= "t.dp.supply.vdd" "t.dp.dly[10].vdd"
= "t.dp.supply.vdd" "t.dp.dly[9].vdd"
= "t.dp.supply.vdd" "t.dp.dly[8].vdd"
= "t.dp.supply.vdd" "t.dp.dly[7].vdd"
= "t.dp.supply.vdd" "t.dp.dly[6].vdd"
= "t.dp.supply.vdd" "t.dp.dly[5].vdd"
= "t.dp.supply.vdd" "t.dp.dly[4].vdd"
= "t.dp.supply.vdd" "t.dp.dly[3].vdd"
= "t.dp.supply.vdd" "t.dp.dly[2].vdd"
= "t.dp.supply.vdd" "t.dp.dly[1].vdd"
= "t.dp.supply.vdd" "t.dp.dly[0].vdd"
= "t.dp.supply.vdd" "t.dp.mu2[3].vdd"
= "t.dp.supply.vdd" "t.dp.mu2[2].vdd"
= "t.dp.supply.vdd" "t.dp.mu2[1].vdd"
= "t.dp.supply.vdd" "t.dp.mu2[0].vdd"
= "t.dp.supply.vdd" "t.dp.and2[3].vdd"
= "t.dp.supply.vdd" "t.dp.and2[2].vdd"
= "t.dp.supply.vdd" "t.dp.and2[1].vdd"
= "t.dp.supply.vdd" "t.dp.and2[0].vdd"
= "t.dp.supply.vss" "t.dp.dly[14].vss"
= "t.dp.supply.vss" "t.dp.dly[13].vss"
= "t.dp.supply.vss" "t.dp.dly[12].vss"
= "t.dp.supply.vss" "t.dp.dly[11].vss"
= "t.dp.supply.vss" "t.dp.dly[10].vss"
= "t.dp.supply.vss" "t.dp.dly[9].vss"
= "t.dp.supply.vss" "t.dp.dly[8].vss"
= "t.dp.supply.vss" "t.dp.dly[7].vss"
= "t.dp.supply.vss" "t.dp.dly[6].vss"
= "t.dp.supply.vss" "t.dp.dly[5].vss"
= "t.dp.supply.vss" "t.dp.dly[4].vss"
= "t.dp.supply.vss" "t.dp.dly[3].vss"
= "t.dp.supply.vss" "t.dp.dly[2].vss"
= "t.dp.supply.vss" "t.dp.dly[1].vss"
= "t.dp.supply.vss" "t.dp.dly[0].vss"
= "t.dp.supply.vss" "t.dp.mu2[3].vss"
= "t.dp.supply.vss" "t.dp.mu2[2].vss"
= "t.dp.supply.vss" "t.dp.mu2[1].vss"
= "t.dp.supply.vss" "t.dp.mu2[0].vss"
= "t.dp.supply.vss" "t.dp.and2[3].vss"
= "t.dp.supply.vss" "t.dp.and2[2].vss"
= "t.dp.supply.vss" "t.dp.and2[1].vss"
= "t.dp.supply.vss" "t.dp.and2[0].vss"
"t.dp.mu2[0].s"->"t.dp.mu2[0]._s"-
~("t.dp.mu2[0].s")->"t.dp.mu2[0]._s"+
~"t.dp.mu2[0].a"&~"t.dp.mu2[0].s"|~"t.dp.mu2[0].b"&~"t.dp.mu2[0]._s"->"t.dp.mu2[0]._y"+
"t.dp.mu2[0].a"&"t.dp.mu2[0]._s"|"t.dp.mu2[0].b"&"t.dp.mu2[0].s"->"t.dp.mu2[0]._y"-
"t.dp.mu2[0]._y"->"t.dp.mu2[0].y"-
~("t.dp.mu2[0]._y")->"t.dp.mu2[0].y"+
"t.dp.mu2[1].s"->"t.dp.mu2[1]._s"-
~("t.dp.mu2[1].s")->"t.dp.mu2[1]._s"+
~"t.dp.mu2[1].a"&~"t.dp.mu2[1].s"|~"t.dp.mu2[1].b"&~"t.dp.mu2[1]._s"->"t.dp.mu2[1]._y"+
"t.dp.mu2[1].a"&"t.dp.mu2[1]._s"|"t.dp.mu2[1].b"&"t.dp.mu2[1].s"->"t.dp.mu2[1]._y"-
"t.dp.mu2[1]._y"->"t.dp.mu2[1].y"-
~("t.dp.mu2[1]._y")->"t.dp.mu2[1].y"+
"t.dp.mu2[2].s"->"t.dp.mu2[2]._s"-
~("t.dp.mu2[2].s")->"t.dp.mu2[2]._s"+
~"t.dp.mu2[2].a"&~"t.dp.mu2[2].s"|~"t.dp.mu2[2].b"&~"t.dp.mu2[2]._s"->"t.dp.mu2[2]._y"+
"t.dp.mu2[2].a"&"t.dp.mu2[2]._s"|"t.dp.mu2[2].b"&"t.dp.mu2[2].s"->"t.dp.mu2[2]._y"-
"t.dp.mu2[2]._y"->"t.dp.mu2[2].y"-
~("t.dp.mu2[2]._y")->"t.dp.mu2[2].y"+
"t.dp.mu2[3].s"->"t.dp.mu2[3]._s"-
~("t.dp.mu2[3].s")->"t.dp.mu2[3]._s"+
~"t.dp.mu2[3].a"&~"t.dp.mu2[3].s"|~"t.dp.mu2[3].b"&~"t.dp.mu2[3]._s"->"t.dp.mu2[3]._y"+
"t.dp.mu2[3].a"&"t.dp.mu2[3]._s"|"t.dp.mu2[3].b"&"t.dp.mu2[3].s"->"t.dp.mu2[3]._y"-
"t.dp.mu2[3]._y"->"t.dp.mu2[3].y"-
~("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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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.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"
= "t.dp._a[1]" "t.dp.mu2[1].a"
= "t.dp._a[1]" "t.dp.and2[1].a"
= "t.dp._a[1]" "t.dp.mu2[0].y"
= "t.dp._a[2]" "t.dp.mu2[2].a"
= "t.dp._a[2]" "t.dp.and2[2].a"
= "t.dp._a[2]" "t.dp.mu2[1].y"
= "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.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]"
= "t.s[3]" "t.dp.s[3]"