From 382714d11e134d0b9ce68888283e1871723a9223 Mon Sep 17 00:00:00 2001 From: alexmadison Date: Thu, 3 Mar 2022 17:10:55 +0100 Subject: [PATCH] decoder dly with and grid unit test --- .../decoder_2d_dly_and_2_4/run/prsim.out | 351 +++++++ .../decoder_2d_dly_and_2_4/run/prsim.pdf | Bin 0 -> 83531 bytes .../decoder_2d_dly_and_2_4/run/test.prs | 948 ++++++++++++++++++ .../decoder_2d_dly_and_2_4/test.act | 52 + .../decoder_2d_dly_and_2_4/test.prsim | 57 ++ 5 files changed, 1408 insertions(+) create mode 100644 test/unit_tests/decoder_2d_dly_and_2_4/run/prsim.out create mode 100644 test/unit_tests/decoder_2d_dly_and_2_4/run/prsim.pdf create mode 100644 test/unit_tests/decoder_2d_dly_and_2_4/run/test.prs create mode 100644 test/unit_tests/decoder_2d_dly_and_2_4/test.act create mode 100644 test/unit_tests/decoder_2d_dly_and_2_4/test.prsim diff --git a/test/unit_tests/decoder_2d_dly_and_2_4/run/prsim.out b/test/unit_tests/decoder_2d_dly_and_2_4/run/prsim.out new file mode 100644 index 0000000..0597801 --- /dev/null +++ b/test/unit_tests/decoder_2d_dly_and_2_4/run/prsim.out @@ -0,0 +1,351 @@ +t.de.dly.dly[2].y t.de.dly.dly[4].y t.de.addr_buf._in_v t.de.dly._a[2] t.in.d.d[1].f t.de.dly.mu2[3].b t.de.dly.dly[3].y t.de.dly.dly[7].y t.de.dly.dly[3].___y t.in.d.d[0].t t.dly_cfg[1] t.de.dly.dly[13].__y t.de.dly.dly[1]._y t.de.dly.dly[13]._y t.de.addr_buf._out_a_BX_t[0] t.de.dly.dly[7].a t.de.dly.mu2[3]._y t.de.dly.dly[3].a t.in.d.d[0].f t.de.dly.dly[5]._y t.de.dly.dly[7].__y t.de.addr_buf._out_a_B t.de.dly.dly[3].__y t.dly_cfg[2] t.de.dly.dly[2].__y t.de.dly.dly[8].___y t.de.addr_buf._out_a_BX_f[0] t.de.addr_buf.vc.ct.in[0] t.de.dly.dly[13].___y t.de.dly.dly[1].a t.in.d.d[1].t t.in.v t.de.dly.dly[5].__y t.in.d.d[2].t t.de.addr_buf.in_v_buf._y t.de.dly.dly[9].y t.dly_cfg[0] t.in.d.d[2].f t.de.dly.out t.de.dly.mu2[2]._y t.dly_cfg[3] t.de.dly.dly[10]._y t.de.dly.dly[9].__y t.de.dly.and2[3]._y t.de.dly._a[3] t.de.addr_buf.vc.OR2_tf[1]._y t.de.addr_buf.vc.ct.in[2] t.de.dly.dly[5].y t.de.dly.dly[11].___y t.de.dly.dly[4].__y t.de.dly.and2[1]._y t.de.dly.dly[6].___y t.de.dly.dly[10].y t.de.dly.dly[11]._y t.de.dly.dly[10].__y t.de.dly.dly[12].__y t.de.dly.dly[1].__y t.de.addr_buf.vc.ct.in[1] t.de.addr_buf.out_a_B_buf_f.buf1._y t.de.dly._a[1] t.de.dly.dly[14].__y t.de.dly.dly[6].y t.de.dly.dly[11].y t.de.dly.dly[7]._y t.de.addr_buf.vc.ct.C3Els[0]._y t.de.dly.mu2[1]._y t.de.dly.dly[9]._y t.de.dly.dly[5].___y t.de.dly.dly[14]._y t.de.dly.and2[2]._y t.de.dly.dly[8].y t.de.dly.dly[9].___y t.de.dly.mu2[0]._s t.de.dly.mu2[1]._s t.de.dly.dly[2]._y t.de.dly.dly[8].__y t.de.dly.dly[12].___y t.de.dly.dly[13].y t.de.dly.dly[10].___y t.de.dly.dly[1].y t.de.dly.dly[1].___y t.de.dly.dly[2].___y t.de.addr_buf.out_a_B_buf_t.buf1._y t.de.dly.dly[4]._y t.de.dly.dly[8]._y t.de.dly.dly[4].___y t.de.dly.dly[12].y t.de.dly.dly[6].__y t.de.dly.dly[7].___y t.de.addr_buf.vc.OR2_tf[2]._y t.de.dly.dly[3]._y t.de.dly.dly[14].___y t.de.dly.mu2[3]._s t.de.dly.dly[11].__y t.de.dly.dly[6]._y t.de.addr_buf.vc.OR2_tf[0]._y t.de.dly.mu2[2]._s t.de.dly.mu2[0]._y t.de.dly.dly[12]._y + 244317 t.in.d.d[0].f : 0 + 244317 t.dly_cfg[3] : 1 + 244317 t.dly_cfg[2] : 1 + 244317 t.in.d.d[1].f : 0 + 244317 Reset : 0 + 244317 t.dly_cfg[1] : 1 + 244317 t.in.d.d[2].t : 0 + 244317 t.in.d.d[0].t : 0 + 244317 t.dly_cfg[0] : 1 + 244317 t.in.d.d[2].f : 0 + 244317 t.in.d.d[1].t : 0 + 244318 t._reset_B : 1 [by Reset:=0] + 244404 t.de.dly.mu2[3]._s : 0 [by t.dly_cfg[3]:=1] + 244495 t.de.addr_buf.vc.OR2_tf[1]._y : 1 [by t.in.d.d[1].t:=0] + 244611 t.de.dly.mu2[2]._s : 0 [by t.dly_cfg[2]:=1] + 244659 t.de.addr_buf.vc.ct.in[1] : 0 [by t.de.addr_buf.vc.OR2_tf[1]._y:=1] + 244907 t.de.addr_buf.vc.OR2_tf[2]._y : 1 [by t.in.d.d[2].f:=0] + 245121 t.de.addr_buf.reset_buf._y : 0 [by t._reset_B:=1] + 245143 t.de.addr_buf._reset_BX : 1 [by t.de.addr_buf.reset_buf._y:=0] + 245526 t.de.dly.mu2[0]._s : 0 [by t.dly_cfg[0]:=1] + 245990 t.de.addr_buf.reset_bufarray.buf1._y : 0 [by t.de.addr_buf._reset_BX:=1] + 246123 t.de.dly.mu2[1]._s : 0 [by t.dly_cfg[1]:=1] + 246123 t.de.addr_buf._reset_BXX[0] : 1 [by t.de.addr_buf.reset_bufarray.buf1._y:=0] + 246324 t.de.addr_buf.vc.OR2_tf[0]._y : 1 [by t.in.d.d[0].t:=0] + 247102 t.de.addr_buf.vc.ct.in[2] : 0 [by t.de.addr_buf.vc.OR2_tf[2]._y:=1] + 261986 t.de.addr_buf.vc.ct.in[0] : 0 [by t.de.addr_buf.vc.OR2_tf[0]._y:=1] + 262345 t.de.addr_buf.vc.ct.C3Els[0]._y : 1 [by t.de.addr_buf.vc.ct.in[0]:=0] + 275654 t.de.dly.mu2[0]._y : 1 [by t.de.dly.mu2[0]._s:=0] + 275875 t.de.dly._a[1] : 0 [by t.de.dly.mu2[0]._y:=1] + 275882 t.de.dly.and2[1]._y : 1 [by t.de.dly._a[1]:=0] + 275912 t.de.dly.dly[1].a : 0 [by t.de.dly.and2[1]._y:=1] + 276461 t.de.addr_buf._in_v : 0 [by t.de.addr_buf.vc.ct.C3Els[0]._y:=1] + 282625 t.de.dly.dly[1]._y : 1 [by t.de.dly.dly[1].a:=0] + 282716 t.de.dly.dly[1].__y : 0 [by t.de.dly.dly[1]._y:=1] + 284905 t.de.dly.dly[1].___y : 1 [by t.de.dly.dly[1].__y:=0] + 284912 t.de.dly.dly[1].y : 0 [by t.de.dly.dly[1].___y:=1] + 287699 t.de.dly.dly[2]._y : 1 [by t.de.dly.dly[1].y:=0] + 287805 t.de.dly.dly[2].__y : 0 [by t.de.dly.dly[2]._y:=1] + 287883 t.de.dly.dly[2].___y : 1 [by t.de.dly.dly[2].__y:=0] + 288158 t.de.dly.dly[2].y : 0 [by t.de.dly.dly[2].___y:=1] + 307154 t.de.dly.mu2[1]._y : 1 [by t.de.dly.dly[2].y:=0] + 307609 t.de.dly._a[2] : 0 [by t.de.dly.mu2[1]._y:=1] + 307621 t.de.dly.and2[2]._y : 1 [by t.de.dly._a[2]:=0] + 308025 t.de.dly.dly[3].a : 0 [by t.de.dly.and2[2]._y:=1] + 308037 t.de.dly.dly[3]._y : 1 [by t.de.dly.dly[3].a:=0] + 313953 t.de.dly.dly[3].__y : 0 [by t.de.dly.dly[3]._y:=1] + 318229 t.de.dly.dly[3].___y : 1 [by t.de.dly.dly[3].__y:=0] + 321128 t.de.dly.dly[3].y : 0 [by t.de.dly.dly[3].___y:=1] + 325423 t.de.dly.dly[4]._y : 1 [by t.de.dly.dly[3].y:=0] + 325425 t.de.dly.dly[4].__y : 0 [by t.de.dly.dly[4]._y:=1] + 329960 t.de.dly.dly[4].___y : 1 [by t.de.dly.dly[4].__y:=0] + 331209 t.de.dly.dly[4].y : 0 [by t.de.dly.dly[4].___y:=1] + 333922 t.de.addr_buf.in_v_buf._y : 1 [by t.de.addr_buf._in_v:=0] + 334088 t.in.v : 0 [by t.de.addr_buf.in_v_buf._y:=1] + 334708 t.de.dly.dly[5]._y : 1 [by t.de.dly.dly[4].y:=0] + 334783 t.de.dly.dly[5].__y : 0 [by t.de.dly.dly[5]._y:=1] + 335128 t.de.dly.dly[5].___y : 1 [by t.de.dly.dly[5].__y:=0] + 335266 t.de.dly.dly[5].y : 0 [by t.de.dly.dly[5].___y:=1] + 340529 t.de.dly.dly[6]._y : 1 [by t.de.dly.dly[5].y:=0] + 340531 t.de.dly.dly[6].__y : 0 [by t.de.dly.dly[6]._y:=1] + 384448 t.de.dly.dly[6].___y : 1 [by t.de.dly.dly[6].__y:=0] + 384449 t.de.dly.dly[6].y : 0 [by t.de.dly.dly[6].___y:=1] + 384997 t.de.dly.mu2[2]._y : 1 [by t.de.dly.dly[6].y:=0] + 385008 t.de.dly._a[3] : 0 [by t.de.dly.mu2[2]._y:=1] + 385378 t.de.dly.and2[3]._y : 1 [by t.de.dly._a[3]:=0] + 385445 t.de.dly.dly[7].a : 0 [by t.de.dly.and2[3]._y:=1] + 388086 t.de.dly.dly[7]._y : 1 [by t.de.dly.dly[7].a:=0] + 388102 t.de.dly.dly[7].__y : 0 [by t.de.dly.dly[7]._y:=1] + 392664 t.de.dly.dly[7].___y : 1 [by t.de.dly.dly[7].__y:=0] + 393192 t.de.dly.dly[7].y : 0 [by t.de.dly.dly[7].___y:=1] + 395627 t.de.dly.dly[8]._y : 1 [by t.de.dly.dly[7].y:=0] + 422507 t.de.dly.dly[8].__y : 0 [by t.de.dly.dly[8]._y:=1] + 446432 t.de.dly.dly[8].___y : 1 [by t.de.dly.dly[8].__y:=0] + 459473 t.de.dly.dly[8].y : 0 [by t.de.dly.dly[8].___y:=1] + 459475 t.de.dly.dly[9]._y : 1 [by t.de.dly.dly[8].y:=0] + 520433 t.de.dly.dly[9].__y : 0 [by t.de.dly.dly[9]._y:=1] + 520436 t.de.dly.dly[9].___y : 1 [by t.de.dly.dly[9].__y:=0] + 520465 t.de.dly.dly[9].y : 0 [by t.de.dly.dly[9].___y:=1] + 520782 t.de.dly.dly[10]._y : 1 [by t.de.dly.dly[9].y:=0] + 522383 t.de.dly.dly[10].__y : 0 [by t.de.dly.dly[10]._y:=1] + 522536 t.de.dly.dly[10].___y : 1 [by t.de.dly.dly[10].__y:=0] + 522580 t.de.dly.dly[10].y : 0 [by t.de.dly.dly[10].___y:=1] + 525341 t.de.dly.dly[11]._y : 1 [by t.de.dly.dly[10].y:=0] + 539024 t.de.dly.dly[11].__y : 0 [by t.de.dly.dly[11]._y:=1] + 539025 t.de.dly.dly[11].___y : 1 [by t.de.dly.dly[11].__y:=0] + 539242 t.de.dly.dly[11].y : 0 [by t.de.dly.dly[11].___y:=1] + 539264 t.de.dly.dly[12]._y : 1 [by t.de.dly.dly[11].y:=0] + 539265 t.de.dly.dly[12].__y : 0 [by t.de.dly.dly[12]._y:=1] + 540846 t.de.dly.dly[12].___y : 1 [by t.de.dly.dly[12].__y:=0] + 550191 t.de.dly.dly[12].y : 0 [by t.de.dly.dly[12].___y:=1] + 550350 t.de.dly.dly[13]._y : 1 [by t.de.dly.dly[12].y:=0] + 570026 t.de.dly.dly[13].__y : 0 [by t.de.dly.dly[13]._y:=1] + 571313 t.de.dly.dly[13].___y : 1 [by t.de.dly.dly[13].__y:=0] + 573545 t.de.dly.dly[13].y : 0 [by t.de.dly.dly[13].___y:=1] + 573690 t.de.dly.dly[14]._y : 1 [by t.de.dly.dly[13].y:=0] + 576522 t.de.dly.dly[14].__y : 0 [by t.de.dly.dly[14]._y:=1] + 582876 t.de.dly.dly[14].___y : 1 [by t.de.dly.dly[14].__y:=0] + 582877 t.de.dly.mu2[3].b : 0 [by t.de.dly.dly[14].___y:=1] + 622161 t.de.dly.mu2[3]._y : 1 [by t.de.dly.mu2[3].b:=0] + 622323 t.de.dly.out : 0 [by t.de.dly.mu2[3]._y:=1] + 629692 t.de.addr_buf._out_a_B : 1 [by t.de.dly.out:=0] + 629699 t.de.addr_buf.out_a_B_buf_f.buf1._y : 0 [by t.de.addr_buf._out_a_B:=1] + 629706 t.de.addr_buf.out_a_B_buf_t.buf1._y : 0 [by t.de.addr_buf._out_a_B:=1] + 629859 t.de.addr_buf._out_a_BX_t[0] : 1 [by t.de.addr_buf.out_a_B_buf_f.buf1._y:=0] + 651263 t.de.addr_buf._out_a_BX_f[0] : 1 [by t.de.addr_buf.out_a_B_buf_t.buf1._y:=0] +[] set Reset 1 + 651263 Reset : 1 + 651264 t._reset_B : 0 [by Reset:=1] + 651265 t.de.addr_buf.reset_buf._y : 1 [by t._reset_B:=0] + 651266 t.de.addr_buf._reset_BX : 0 [by t.de.addr_buf.reset_buf._y:=1] + 653509 t.de.addr_buf.reset_bufarray.buf1._y : 1 [by t.de.addr_buf._reset_BX:=0] + 653696 t.de.addr_buf._reset_BXX[0] : 0 [by t.de.addr_buf.reset_bufarray.buf1._y:=1] +[] set Reset 0 + 653696 Reset : 0 + 653697 t._reset_B : 1 [by Reset:=0] + 657879 t.de.addr_buf.reset_buf._y : 0 [by t._reset_B:=1] + 692661 t.de.addr_buf._reset_BX : 1 [by t.de.addr_buf.reset_buf._y:=0] + 692662 t.de.addr_buf.reset_bufarray.buf1._y : 0 [by t.de.addr_buf._reset_BX:=1] + 693515 t.de.addr_buf._reset_BXX[0] : 1 [by t.de.addr_buf.reset_bufarray.buf1._y:=0] +[] Sending packet in + 693515 t.in.d.d[0].t : 1 + 693515 t.in.d.d[2].t : 1 + 693515 t.in.d.d[1].t : 1 + 693516 t.de.addr_buf.vc.OR2_tf[2]._y : 0 [by t.in.d.d[2].t:=1] + 693519 t.de.addr_buf.vc.ct.in[2] : 1 [by t.de.addr_buf.vc.OR2_tf[2]._y:=0] + 693520 t.de.addr_buf.vc.OR2_tf[0]._y : 0 [by t.in.d.d[0].t:=1] + 693532 t.de.addr_buf.t_buf_func[2]._y : 0 [by t.in.d.d[2].t:=1] + 694406 t.de.addr_buf.t_buf_func[0]._y : 0 [by t.in.d.d[0].t:=1] + 694407 t.de.atree_x[1].in[0] : 1 [by t.de.addr_buf.t_buf_func[0]._y:=0] + 694449 t.de.atree_x[1].b._y : 0 [by t.de.atree_x[1].in[0]:=1] + 694461 t.de.addr_buf.vc.ct.in[0] : 1 [by t.de.addr_buf.vc.OR2_tf[0]._y:=0] + 696088 t.de.addr_buf.vc.OR2_tf[1]._y : 0 [by t.in.d.d[1].t:=1] + 696183 t.de.addr_buf.vc.ct.in[1] : 1 [by t.de.addr_buf.vc.OR2_tf[1]._y:=0] + 696518 t.de.addr_buf.vc.ct.C3Els[0]._y : 0 [by t.de.addr_buf.vc.ct.in[1]:=1] + 696526 t.de.addr_buf._in_v : 1 [by t.de.addr_buf.vc.ct.C3Els[0]._y:=0] + 696560 t.de.addr_buf.in_v_buf._y : 0 [by t.de.addr_buf._in_v:=1] + 697224 t.de.vtree_x.OR2_tf[0]._y : 0 [by t.de.atree_x[1].in[0]:=1] + 698142 t.de.vtree_x.ct.in[0] : 1 [by t.de.vtree_x.OR2_tf[0]._y:=0] + 698146 t.de.vtree_x.ct.b._y : 0 [by t.de.vtree_x.ct.in[0]:=1] + 701876 t.de.addr_buf.t_buf_func[1]._y : 0 [by t.in.d.d[1].t:=1] + 704274 t.de.atree_y[1].in[0] : 1 [by t.de.addr_buf.t_buf_func[1]._y:=0] + 707489 t.de.vtree_y.OR2_tf[0]._y : 0 [by t.de.atree_y[1].in[0]:=1] + 708182 t.ag.inx[1] : 1 [by t.de.atree_x[1].b._y:=0] + 710447 t.in.v : 1 [by t.de.addr_buf.in_v_buf._y:=0] + 744524 t.de.C2el.c1 : 1 [by t.de.vtree_x.ct.b._y:=0] + 752494 t.de.atree_y[2].in[1] : 1 [by t.de.addr_buf.t_buf_func[2]._y:=0] + 752497 t.de.vtree_y.OR2_tf[1]._y : 0 [by t.de.atree_y[2].in[1]:=1] + 752542 t.de.atree_y[3].and2s[0]._y : 0 [by t.de.atree_y[2].in[1]:=1] + 752675 t.de.vtree_y.ct.in[1] : 1 [by t.de.vtree_y.OR2_tf[1]._y:=0] + 754608 t.de.vtree_y.ct.in[0] : 1 [by t.de.vtree_y.OR2_tf[0]._y:=0] + 766507 t.de.vtree_y.ct.C2Els[0]._y : 0 [by t.de.vtree_y.ct.in[0]:=1] + 772458 t.de.C2el.c2 : 1 [by t.de.vtree_y.ct.C2Els[0]._y:=0] + 773519 t.ag.iny[3] : 1 [by t.de.atree_y[3].and2s[0]._y:=0] + 774346 t.ag.ands[7]._y : 0 [by t.ag.iny[3]:=1] + 774519 t.out[7] : 1 [by t.ag.ands[7]._y:=0] + 811943 t.de.C2el._y : 0 [by t.de.C2el.c2:=1] + 812127 t.de.C2el.y : 1 [by t.de.C2el._y:=0] + 812128 t.de.dly.and2[0]._y : 0 [by t.de.C2el.y:=1] + 812132 t.de.dly.dly[0].a : 1 [by t.de.dly.and2[0]._y:=0] + 812200 t.de.addr_buf.inack_ctl._y : 0 [by t.de.C2el.y:=1] + 812296 t.in.a : 1 [by t.de.addr_buf.inack_ctl._y:=0] + 812432 t.de.addr_buf._en : 0 [by t.in.a:=1] + 812433 t.de.addr_buf.en_buf_f.buf1._y : 1 [by t.de.addr_buf._en:=0] + 812674 t.de.addr_buf._en_X_f[0] : 0 [by t.de.addr_buf.en_buf_f.buf1._y:=1] + 831478 t.de.addr_buf.en_buf_t.buf1._y : 1 [by t.de.addr_buf._en:=0] + 835437 t.de.addr_buf._en_X_t[0] : 0 [by t.de.addr_buf.en_buf_t.buf1._y:=1] + 849420 t.de.dly.dly[0]._y : 0 [by t.de.dly.dly[0].a:=1] + 849432 t.de.dly.dly[0].__y : 1 [by t.de.dly.dly[0]._y:=0] + 853332 t.de.dly.dly[0].___y : 0 [by t.de.dly.dly[0].__y:=1] + 854361 t.de.dly.dly[0].y : 1 [by t.de.dly.dly[0].___y:=0] + 854362 t.de.dly.mu2[0]._y : 0 [by t.de.dly.dly[0].y:=1] + 854418 t.de.dly._a[1] : 1 [by t.de.dly.mu2[0]._y:=0] + 899424 t.de.dly.and2[1]._y : 0 [by t.de.dly._a[1]:=1] + 899425 t.de.dly.dly[1].a : 1 [by t.de.dly.and2[1]._y:=0] + 899462 t.de.dly.dly[1]._y : 0 [by t.de.dly.dly[1].a:=1] + 922837 t.de.dly.dly[1].__y : 1 [by t.de.dly.dly[1]._y:=0] + 922838 t.de.dly.dly[1].___y : 0 [by t.de.dly.dly[1].__y:=1] + 926402 t.de.dly.dly[1].y : 1 [by t.de.dly.dly[1].___y:=0] + 928094 t.de.dly.dly[2]._y : 0 [by t.de.dly.dly[1].y:=1] + 928107 t.de.dly.dly[2].__y : 1 [by t.de.dly.dly[2]._y:=0] + 945091 t.de.dly.dly[2].___y : 0 [by t.de.dly.dly[2].__y:=1] + 945448 t.de.dly.dly[2].y : 1 [by t.de.dly.dly[2].___y:=0] + 945473 t.de.dly.mu2[1]._y : 0 [by t.de.dly.dly[2].y:=1] + 945494 t.de.dly._a[2] : 1 [by t.de.dly.mu2[1]._y:=0] + 945495 t.de.dly.and2[2]._y : 0 [by t.de.dly._a[2]:=1] + 955143 t.de.dly.dly[3].a : 1 [by t.de.dly.and2[2]._y:=0] + 955144 t.de.dly.dly[3]._y : 0 [by t.de.dly.dly[3].a:=1] + 955145 t.de.dly.dly[3].__y : 1 [by t.de.dly.dly[3]._y:=0] + 955306 t.de.dly.dly[3].___y : 0 [by t.de.dly.dly[3].__y:=1] + 956343 t.de.dly.dly[3].y : 1 [by t.de.dly.dly[3].___y:=0] + 956348 t.de.dly.dly[4]._y : 0 [by t.de.dly.dly[3].y:=1] + 956929 t.de.dly.dly[4].__y : 1 [by t.de.dly.dly[4]._y:=0] + 957337 t.de.dly.dly[4].___y : 0 [by t.de.dly.dly[4].__y:=1] + 957348 t.de.dly.dly[4].y : 1 [by t.de.dly.dly[4].___y:=0] + 958395 t.de.dly.dly[5]._y : 0 [by t.de.dly.dly[4].y:=1] + 958409 t.de.dly.dly[5].__y : 1 [by t.de.dly.dly[5]._y:=0] + 958427 t.de.dly.dly[5].___y : 0 [by t.de.dly.dly[5].__y:=1] + 958431 t.de.dly.dly[5].y : 1 [by t.de.dly.dly[5].___y:=0] + 958535 t.de.dly.dly[6]._y : 0 [by t.de.dly.dly[5].y:=1] + 989979 t.de.dly.dly[6].__y : 1 [by t.de.dly.dly[6]._y:=0] + 991183 t.de.dly.dly[6].___y : 0 [by t.de.dly.dly[6].__y:=1] + 999638 t.de.dly.dly[6].y : 1 [by t.de.dly.dly[6].___y:=0] + 999866 t.de.dly.mu2[2]._y : 0 [by t.de.dly.dly[6].y:=1] + 1000709 t.de.dly._a[3] : 1 [by t.de.dly.mu2[2]._y:=0] + 1002168 t.de.dly.and2[3]._y : 0 [by t.de.dly._a[3]:=1] + 1002238 t.de.dly.dly[7].a : 1 [by t.de.dly.and2[3]._y:=0] + 1052660 t.de.dly.dly[7]._y : 0 [by t.de.dly.dly[7].a:=1] + 1052671 t.de.dly.dly[7].__y : 1 [by t.de.dly.dly[7]._y:=0] + 1052674 t.de.dly.dly[7].___y : 0 [by t.de.dly.dly[7].__y:=1] + 1052728 t.de.dly.dly[7].y : 1 [by t.de.dly.dly[7].___y:=0] + 1053876 t.de.dly.dly[8]._y : 0 [by t.de.dly.dly[7].y:=1] + 1055037 t.de.dly.dly[8].__y : 1 [by t.de.dly.dly[8]._y:=0] + 1063689 t.de.dly.dly[8].___y : 0 [by t.de.dly.dly[8].__y:=1] + 1063770 t.de.dly.dly[8].y : 1 [by t.de.dly.dly[8].___y:=0] + 1074847 t.de.dly.dly[9]._y : 0 [by t.de.dly.dly[8].y:=1] + 1092830 t.de.dly.dly[9].__y : 1 [by t.de.dly.dly[9]._y:=0] + 1092922 t.de.dly.dly[9].___y : 0 [by t.de.dly.dly[9].__y:=1] + 1101233 t.de.dly.dly[9].y : 1 [by t.de.dly.dly[9].___y:=0] + 1102977 t.de.dly.dly[10]._y : 0 [by t.de.dly.dly[9].y:=1] + 1103590 t.de.dly.dly[10].__y : 1 [by t.de.dly.dly[10]._y:=0] + 1117612 t.de.dly.dly[10].___y : 0 [by t.de.dly.dly[10].__y:=1] + 1117657 t.de.dly.dly[10].y : 1 [by t.de.dly.dly[10].___y:=0] + 1118654 t.de.dly.dly[11]._y : 0 [by t.de.dly.dly[10].y:=1] + 1120303 t.de.dly.dly[11].__y : 1 [by t.de.dly.dly[11]._y:=0] + 1120828 t.de.dly.dly[11].___y : 0 [by t.de.dly.dly[11].__y:=1] + 1121728 t.de.dly.dly[11].y : 1 [by t.de.dly.dly[11].___y:=0] + 1121780 t.de.dly.dly[12]._y : 0 [by t.de.dly.dly[11].y:=1] + 1121787 t.de.dly.dly[12].__y : 1 [by t.de.dly.dly[12]._y:=0] + 1137399 t.de.dly.dly[12].___y : 0 [by t.de.dly.dly[12].__y:=1] + 1143866 t.de.dly.dly[12].y : 1 [by t.de.dly.dly[12].___y:=0] + 1143868 t.de.dly.dly[13]._y : 0 [by t.de.dly.dly[12].y:=1] + 1144222 t.de.dly.dly[13].__y : 1 [by t.de.dly.dly[13]._y:=0] + 1144355 t.de.dly.dly[13].___y : 0 [by t.de.dly.dly[13].__y:=1] + 1144356 t.de.dly.dly[13].y : 1 [by t.de.dly.dly[13].___y:=0] + 1144360 t.de.dly.dly[14]._y : 0 [by t.de.dly.dly[13].y:=1] + 1144906 t.de.dly.dly[14].__y : 1 [by t.de.dly.dly[14]._y:=0] + 1190469 t.de.dly.dly[14].___y : 0 [by t.de.dly.dly[14].__y:=1] + 1190470 t.de.dly.mu2[3].b : 1 [by t.de.dly.dly[14].___y:=0] + 1202848 t.de.dly.mu2[3]._y : 0 [by t.de.dly.mu2[3].b:=1] + 1202927 t.de.dly.out : 1 [by t.de.dly.mu2[3]._y:=0] + 1205360 t.de.addr_buf._out_a_B : 0 [by t.de.dly.out:=1] + 1205448 t.de.addr_buf.out_a_B_buf_t.buf1._y : 1 [by t.de.addr_buf._out_a_B:=0] + 1213142 t.de.addr_buf.out_a_B_buf_f.buf1._y : 1 [by t.de.addr_buf._out_a_B:=0] + 1213201 t.de.addr_buf._out_a_BX_t[0] : 0 [by t.de.addr_buf.out_a_B_buf_f.buf1._y:=1] + 1213231 t.de.addr_buf.t_buf_func[0]._y : 1 [by t.de.addr_buf._out_a_BX_t[0]:=0] + 1214668 t.de.addr_buf.t_buf_func[1]._y : 1 [by t.de.addr_buf._out_a_BX_t[0]:=0] + 1215353 t.de.atree_y[1].in[0] : 0 [by t.de.addr_buf.t_buf_func[1]._y:=1] + 1215480 t.de.vtree_y.OR2_tf[0]._y : 1 [by t.de.atree_y[1].in[0]:=0] + 1215649 t.de.vtree_y.ct.in[0] : 0 [by t.de.vtree_y.OR2_tf[0]._y:=1] + 1232068 t.de.atree_y[3].and2s[0]._y : 1 [by t.de.atree_y[1].in[0]:=0] + 1232111 t.ag.iny[3] : 0 [by t.de.atree_y[3].and2s[0]._y:=1] + 1232123 t.ag.ands[7]._y : 1 [by t.ag.iny[3]:=0] + 1232615 t.de.atree_x[1].in[0] : 0 [by t.de.addr_buf.t_buf_func[0]._y:=1] + 1232618 t.de.vtree_x.OR2_tf[0]._y : 1 [by t.de.atree_x[1].in[0]:=0] + 1232656 t.de.vtree_x.ct.in[0] : 0 [by t.de.vtree_x.OR2_tf[0]._y:=1] + 1232657 t.de.vtree_x.ct.b._y : 1 [by t.de.vtree_x.ct.in[0]:=0] + 1232848 t.de.atree_x[1].b._y : 1 [by t.de.atree_x[1].in[0]:=0] + 1232940 t.ag.inx[1] : 0 [by t.de.atree_x[1].b._y:=1] + 1233402 t.out[7] : 0 [by t.ag.ands[7]._y:=1] + 1233775 t.de.addr_buf._out_a_BX_f[0] : 0 [by t.de.addr_buf.out_a_B_buf_t.buf1._y:=1] + 1245409 t.de.C2el.c1 : 0 [by t.de.vtree_x.ct.b._y:=1] + 1272705 t.de.addr_buf.t_buf_func[2]._y : 1 [by t.de.addr_buf._out_a_BX_t[0]:=0] + 1275432 t.de.atree_y[2].in[1] : 0 [by t.de.addr_buf.t_buf_func[2]._y:=1] + 1275434 t.de.vtree_y.OR2_tf[1]._y : 1 [by t.de.atree_y[2].in[1]:=0] + 1275435 t.de.vtree_y.ct.in[1] : 0 [by t.de.vtree_y.OR2_tf[1]._y:=1] + 1276936 t.de.vtree_y.ct.C2Els[0]._y : 1 [by t.de.vtree_y.ct.in[1]:=0] + 1276938 t.de.C2el.c2 : 0 [by t.de.vtree_y.ct.C2Els[0]._y:=1] + 1276956 t.de.C2el._y : 1 [by t.de.C2el.c2:=0] + 1277075 t.de.C2el.y : 0 [by t.de.C2el._y:=1] + 1282795 t.de.dly.and2[0]._y : 1 [by t.de.C2el.y:=0] + 1282803 t.de.dly.dly[0].a : 0 [by t.de.dly.and2[0]._y:=1] + 1282857 t.de.dly.dly[0]._y : 1 [by t.de.dly.dly[0].a:=0] + 1333395 t.de.dly.dly[0].__y : 0 [by t.de.dly.dly[0]._y:=1] + 1333400 t.de.dly.dly[0].___y : 1 [by t.de.dly.dly[0].__y:=0] + 1334467 t.de.dly.dly[0].y : 0 [by t.de.dly.dly[0].___y:=1] + 1334468 t.de.dly.mu2[0]._y : 1 [by t.de.dly.dly[0].y:=0] + 1334606 t.de.dly._a[1] : 0 [by t.de.dly.mu2[0]._y:=1] + 1334607 t.de.dly.and2[1]._y : 1 [by t.de.dly._a[1]:=0] + 1334671 t.de.dly.dly[1].a : 0 [by t.de.dly.and2[1]._y:=1] + 1334794 t.de.dly.dly[1]._y : 1 [by t.de.dly.dly[1].a:=0] + 1334796 t.de.dly.dly[1].__y : 0 [by t.de.dly.dly[1]._y:=1] + 1334833 t.de.dly.dly[1].___y : 1 [by t.de.dly.dly[1].__y:=0] + 1334976 t.de.dly.dly[1].y : 0 [by t.de.dly.dly[1].___y:=1] + 1335027 t.de.dly.dly[2]._y : 1 [by t.de.dly.dly[1].y:=0] + 1335469 t.de.dly.dly[2].__y : 0 [by t.de.dly.dly[2]._y:=1] + 1335480 t.de.dly.dly[2].___y : 1 [by t.de.dly.dly[2].__y:=0] + 1335481 t.de.dly.dly[2].y : 0 [by t.de.dly.dly[2].___y:=1] + 1335490 t.de.dly.mu2[1]._y : 1 [by t.de.dly.dly[2].y:=0] + 1335515 t.de.dly._a[2] : 0 [by t.de.dly.mu2[1]._y:=1] + 1345768 t.de.dly.and2[2]._y : 1 [by t.de.dly._a[2]:=0] + 1349289 t.de.dly.dly[3].a : 0 [by t.de.dly.and2[2]._y:=1] + 1349434 t.de.dly.dly[3]._y : 1 [by t.de.dly.dly[3].a:=0] + 1365602 t.de.dly.dly[3].__y : 0 [by t.de.dly.dly[3]._y:=1] + 1365832 t.de.dly.dly[3].___y : 1 [by t.de.dly.dly[3].__y:=0] + 1366523 t.de.dly.dly[3].y : 0 [by t.de.dly.dly[3].___y:=1] + 1366537 t.de.dly.dly[4]._y : 1 [by t.de.dly.dly[3].y:=0] + 1368080 t.de.dly.dly[4].__y : 0 [by t.de.dly.dly[4]._y:=1] + 1369691 t.de.dly.dly[4].___y : 1 [by t.de.dly.dly[4].__y:=0] + 1387203 t.de.dly.dly[4].y : 0 [by t.de.dly.dly[4].___y:=1] + 1387214 t.de.dly.dly[5]._y : 1 [by t.de.dly.dly[4].y:=0] + 1387215 t.de.dly.dly[5].__y : 0 [by t.de.dly.dly[5]._y:=1] + 1387216 t.de.dly.dly[5].___y : 1 [by t.de.dly.dly[5].__y:=0] + 1393717 t.de.dly.dly[5].y : 0 [by t.de.dly.dly[5].___y:=1] + 1394356 t.de.dly.dly[6]._y : 1 [by t.de.dly.dly[5].y:=0] + 1396149 t.de.dly.dly[6].__y : 0 [by t.de.dly.dly[6]._y:=1] + 1396281 t.de.dly.dly[6].___y : 1 [by t.de.dly.dly[6].__y:=0] + 1396282 t.de.dly.dly[6].y : 0 [by t.de.dly.dly[6].___y:=1] + 1396299 t.de.dly.mu2[2]._y : 1 [by t.de.dly.dly[6].y:=0] + 1396451 t.de.dly._a[3] : 0 [by t.de.dly.mu2[2]._y:=1] + 1399434 t.de.dly.and2[3]._y : 1 [by t.de.dly._a[3]:=0] + 1399437 t.de.dly.dly[7].a : 0 [by t.de.dly.and2[3]._y:=1] + 1399861 t.de.dly.dly[7]._y : 1 [by t.de.dly.dly[7].a:=0] + 1399867 t.de.dly.dly[7].__y : 0 [by t.de.dly.dly[7]._y:=1] + 1402455 t.de.dly.dly[7].___y : 1 [by t.de.dly.dly[7].__y:=0] + 1404916 t.de.dly.dly[7].y : 0 [by t.de.dly.dly[7].___y:=1] + 1405746 t.de.dly.dly[8]._y : 1 [by t.de.dly.dly[7].y:=0] + 1428678 t.de.dly.dly[8].__y : 0 [by t.de.dly.dly[8]._y:=1] + 1428680 t.de.dly.dly[8].___y : 1 [by t.de.dly.dly[8].__y:=0] + 1428874 t.de.dly.dly[8].y : 0 [by t.de.dly.dly[8].___y:=1] + 1429477 t.de.dly.dly[9]._y : 1 [by t.de.dly.dly[8].y:=0] + 1429615 t.de.dly.dly[9].__y : 0 [by t.de.dly.dly[9]._y:=1] + 1429632 t.de.dly.dly[9].___y : 1 [by t.de.dly.dly[9].__y:=0] + 1429649 t.de.dly.dly[9].y : 0 [by t.de.dly.dly[9].___y:=1] + 1430075 t.de.dly.dly[10]._y : 1 [by t.de.dly.dly[9].y:=0] + 1430076 t.de.dly.dly[10].__y : 0 [by t.de.dly.dly[10]._y:=1] + 1430077 t.de.dly.dly[10].___y : 1 [by t.de.dly.dly[10].__y:=0] + 1431103 t.de.dly.dly[10].y : 0 [by t.de.dly.dly[10].___y:=1] + 1431104 t.de.dly.dly[11]._y : 1 [by t.de.dly.dly[10].y:=0] + 1431123 t.de.dly.dly[11].__y : 0 [by t.de.dly.dly[11]._y:=1] + 1431291 t.de.dly.dly[11].___y : 1 [by t.de.dly.dly[11].__y:=0] + 1431830 t.de.dly.dly[11].y : 0 [by t.de.dly.dly[11].___y:=1] + 1431991 t.de.dly.dly[12]._y : 1 [by t.de.dly.dly[11].y:=0] + 1432164 t.de.dly.dly[12].__y : 0 [by t.de.dly.dly[12]._y:=1] + 1434711 t.de.dly.dly[12].___y : 1 [by t.de.dly.dly[12].__y:=0] + 1449772 t.de.dly.dly[12].y : 0 [by t.de.dly.dly[12].___y:=1] + 1449773 t.de.dly.dly[13]._y : 1 [by t.de.dly.dly[12].y:=0] + 1449774 t.de.dly.dly[13].__y : 0 [by t.de.dly.dly[13]._y:=1] + 1450164 t.de.dly.dly[13].___y : 1 [by t.de.dly.dly[13].__y:=0] + 1450371 t.de.dly.dly[13].y : 0 [by t.de.dly.dly[13].___y:=1] + 1451204 t.de.dly.dly[14]._y : 1 [by t.de.dly.dly[13].y:=0] + 1451232 t.de.dly.dly[14].__y : 0 [by t.de.dly.dly[14]._y:=1] + 1451239 t.de.dly.dly[14].___y : 1 [by t.de.dly.dly[14].__y:=0] + 1451653 t.de.dly.mu2[3].b : 0 [by t.de.dly.dly[14].___y:=1] + 1451657 t.de.dly.mu2[3]._y : 1 [by t.de.dly.mu2[3].b:=0] + 1453436 t.de.dly.out : 0 [by t.de.dly.mu2[3]._y:=1] + 1476310 t.de.addr_buf._out_a_B : 1 [by t.de.dly.out:=0] + 1476476 t.de.addr_buf.out_a_B_buf_t.buf1._y : 0 [by t.de.addr_buf._out_a_B:=1] + 1485121 t.de.addr_buf._out_a_BX_f[0] : 1 [by t.de.addr_buf.out_a_B_buf_t.buf1._y:=0] + 1516180 t.de.addr_buf.out_a_B_buf_f.buf1._y : 0 [by t.de.addr_buf._out_a_B:=1] + 1517113 t.de.addr_buf._out_a_BX_t[0] : 1 [by t.de.addr_buf.out_a_B_buf_f.buf1._y:=0] diff --git a/test/unit_tests/decoder_2d_dly_and_2_4/run/prsim.pdf b/test/unit_tests/decoder_2d_dly_and_2_4/run/prsim.pdf new file mode 100644 index 0000000000000000000000000000000000000000..537d4702a8d8aad7778c72a205477a9f304f6ab7 GIT binary patch literal 83531 zcmaI6Wk8hC^ENDkAh3WUu}gQy(%sS^-QCR+OC!>`bR(V8AV^Cs-7N}8Nh#7u!?Wn` z_x}Iy^WpilXV1=DbDf#F&zUp#(yG3eVdY@s#-OcQrl@Sg;Gh6gK+NqigoP>CRn2Uy z+$lH_GwKxVnm#U86zo!FP%}q}4TY#EhLyABqagqPQjqqB%4$H(pjH&z|CD4P&QJ=j ze`8fMDAdZ$nS$r>D+ar&8^l7x3QA#su=835fp6svrC^tLLfDl2&!^OXKIJKlDA+Y@ z%`EMlZ76vEsq3nk+gn*cDfs?^{|_AwFk<4r3y^SjhCtmBCJ_2k2r5?2h;IV_0A$@D z9xfD*%aqcfV1I4pX=h=jE{iaY_@?P*=Irib=4Rz=;q%{>|C2`;Vpq1Zv@?^0cq4Eh zjq!5vak6oMIrw?_!C+nr4o)6^HUUlneqI4S4z5Sbs*ga>e}2SZSGRJ9c(_?09Q)|G z|Ie|HzW!fceI)tcRmj*mA{}x9vh$SKrN>mGv3ErYgZp7#YDSsv3wD~TNga1M= zxr)ajJ>iTAx|9HAZ{^)#SRmBvr@GtB>%1C-kRKeYTuye0-fpH}PC~i_ZkGTcNte{&_^G zXXqJ)y4g2~&Xn?v%h%hlV>+J|48kj}gD%?BJ_G!Hw|%L~Y=>-foISiKYg2B zAy!VBb%@ME#;Sd*8_MAO6t>1m3t0VsfcI!t7NQw~RVls4@wn2w~NFGF^p%r<+{&bFM6xZgH>rYNl@rDl3p zbY@K};%BMx=XZSCo$d>_^9BRf=(1y1e#Rz_N;~Mz81Kh*H~j zv~cKd=;dj*IVwJBmI24_S)GyThb?O)WWUd6^=TS(%T1!d5m$c|ZjIrhPj8El?1 z@=nN-e9e~-Sx)+yuMf)2!1qN3U2JG~J}Ei|hq{TR96IJ5Qb1ONLioWOxrL0@CSty) z5$l(e1LbyvT3@mP2%ljpwf~;TV&+S3Oe*XgOp{4NfR-lZ&#OO`JBqEDpoGk$HZ)sQDhSZ5Q}GvWijA@h}ZOTyATBdX96L0Y|Xz4fWLh2oXinphpa*Vd{X5CGle zIcht|7l%MbrnWUyB12diN9m??4_yXRMp~Z!6Vm5X$*`Q)cWZg-$1C*WZ*o0lnNthv zdA8@Id=j$SBf{R8!%JVVCi;OiH^gXfDT*|v(HFyEx*3tf?)WpnI@5j>Atf4yZmj5P z-8`~VSFG{w=y`G(d=(}u{(Kh^{8NW7I2oExtZ0M|veil>d)C1P*~#*S;zBiiy0b}k z`K9(ww$~+stXDH12MTUp7ip7z(ElKK<80gE${-W5LM`KLTRoi>F+N)GTu{{$I2av= zwH7!c@K84=#c>JpeU{7y_hnL#Y$hOeYmN>dVt7r@8zfN)6PYF4mO3vwE`k`XOHm|3yTRtSboHD#6 z4S#>n<6qfV%?BKIDI{X)=I(wX@Ou9p0k+)cJ%k!-vBEZZge->mhw z(0w+yml+wjPOIyd7*`G2+25|^YSLSTBY!fLk>V*7QjQpZ)^D1~omAki^kB@2UD2U7 znNpw%=Lh88nd>hGArlMvO8?rFzhm>=$c$+g+m<^Wj_zlGrwb^uJYR%}8=?(mXk3nd zb2`PFXONms{h4A}VjTvDj=XC4*S-2GRP(mxsq~tc{k1Le5%JP!< zxza9BjMhI1(@41L>0Lp8;T2;vX$`phYsj0HL)G4AEmN~&%Vp3_@qU8PtNW=6gv-?g zRZ&>Dw!efW7YLZdT9SQfh3$dY#3%6%h5iU)5zVO*`=iZ@OY?l2I#cve_&D>i*X;Ur z!QXWG>v9N#uWn1D;L$kRHuXMJdOrj;#2Ul!t^!0snALWq7M5*#lAlPSLo|?S{A4I6 zwm63susAKC8c>9W<`nX+C0cVb&myrv#4&QwZVlY5`34jnL}1b9@c=HAaNgzLVa3~b zM&C}zkVh5dl|#Eh*G{!#7^=58hv5`u#N6J^Wnjih_1=?d^rbJJP~>cK%RqM{!=>i? zISVfuu_icQ+r&#ZQfFx&QKD+{bqmSZ#cu&2q6mNurMWfhG)KMrl- z0$PkRLUk+gLj0aDJ-Ila{s<38qNdKZY;5h;rD{b5o)k(x&yU7Xs!S7Uf_1;rrrd;p zv&FGL@}%pyu?yso+5=s%jNDuptDu+Rx*$dJsqQs*(I_d?X&V-jsEEnZYF(iJhp23Aed}xb zQ@r;mMDpw@<0?Tm^_(g_yUS*aJ`@(|Ls(t4GnTrd$a<*p@nXfodq9W9cKZO}`tom$ zd?%}J&F{|LM2=+{nEuL*_fH4Y?HNBTdL>ul6lKOJF@j0Brq9+drbHL!=VD!Qv8-Ay zJ^H8yr9g4n{n(t{N7+k_n#rHcxsCSJ(7)*Gm^!jE?zib^DV_scNVyJ4iaSE{!wktw zo(YH@>`+u^6irCOF#Dghl1}%?2oAdh+exE?mK2bkGZfI`RhC=L=K_ikvTA!7jCqAA zn-feWgU85XZ3o0Bgg^A_yo>bVtP3dkEGkw7^{vcAn3gE(&9!w=*wM2R)uWO$_Jm#@xs$(<#zgmUU&`Qd53=A0*cuuS5rek!fB$z8VhZ! zxw^&hQxH-A4_fC%*80(rqr3ND({}f?q@E?=Dq4zJ?=!~Zi$(H!*Y?CQ#SQ{D;eG~G z!S?RXUpUO9#uDeySXQE3!P3*kzQV!hlc^CbP1R=#hH>|19;Y<##8S79Aa%0859=G@ zs%NeVZ)Q1sVG%E5cfe4m*OSsOu>evA_+Nj@a5S=|LaTkk2L7Z-*7|9G(uxmhcRig5 z!hk>1Xy6y?vw1>fX`{zDhc7bB>N%m|UJzfiLG$DFC!{BAvw+F$4|Jx1&|9m@l>tKC zHf*`NZ06vefOQP-x&&xws8b)ly4jMyw5cxbUIG?NaL2pgF5cT`EKS)y*WCV;J(v+{ zvh9#=lsBPC@I{O%A40tF7A!?RUrv$|z0+s&uTYZ@1ZSVGd}*7uw_V06@rpBYwtn_q zhC4kqAI{(ko;mlh>UM{T4P#G|k2Btu>y4=QU@Gbu%H4W+8-_Bgd3{#iJ| znS0@@eSL~M6|CkJPH=k~J>7KXLvDv(RKwo$LD(}|m<8O$zQ{wmA1xusGNQ_%BE!8n zt*9h|vnvs|sP0zpG;di%Jg(X{H3asZj@)Q`LF(~oP494UI)+!!p|x<9QHYy}cH z9_bSys!Q6^O>Js`YDHQj2jhZzk&>xjxmr&1n`_R?9q#!AUm1vM1=o!8cb4qXE~)$! z2c}d33HA82lky5~Ox#9t6CKW*G|ERth7&eFV!=c>Qc|_rU|Mw1qmhQ#O|gBsopx(e~W#)3H?S(=xvaQwrX* z?UowUhG$8*@Y#OnS6KHY(d4Y{rTS*z@Axs>oXmU+UHGjUAVH|9fNESNjsWLyBGj+| zpO^f{$gG1J6-xJOjG0>$W$wWt2};5Yxx}srI(^RonppuWxd|MO=xGe$nd`clS5Cbn zIV1V&TRt}4#eEY@XTUWehy0X@lX94?AX@msxHJJrSbYYVDPmR1GD2AmbuV)|?#Rk` zs{6frly#GIJnLuQT%OD({f{%T)(l4WdkUvSv3rcM#uxkZ+FaNN1LHzy_Wd8@NO4RX z%7k<&-k>reTUbO~6o4qwk@ZUkl{qyhcF_`i<_*oJ1G9a4{ZSR47j>UhssUGQ$Q&_S z;hq(@BL3bgv+pRRUV(CQ9``A5#af3864#8-@g-KLZz%$jyoq-9x2+&|T( zIrC{7pJ+*g(08^$$6%blg_sXQ^5Nw|7<0y_46um1#*kVz11HcKoskzV1u!8;Dp{XRxk=p{KqHH`9`<Nl{3`0;Q+ zcV-K@{8iLG_LeGpDc}bWQHKfuv;PI>zSo4>hj0giLu83R!lge*XhF;*D!Pl_#y`zY z%;U^~M`TeEoRZ;hKuR;DheynWA&JYtO;7;B?^7N})~)#VdoX*b5s7B3%mf~MZ_@tA z?L$WY-Mn(iy_th6;g^cmA-rTFspDiE_#yKoV-BXa?}h|eunor)Hv}64%ONDk^K~qY zXc|jPvxrdYU4>fIf`X2mBR%7fHVrMI^A|0ooDhcj6`!*y*AKNb|-Ah>V;% zj#^#%2)n6>;(RoddCIct1<(b$P4OqPcyibFGDD;k@xR(5&Ida7J()wotb)AUHRWbe zV*7#al?NZQi%Z&(@mcq%8K(q1oZz#cm z`|c{#MTAf#T$wPDNfGd|3`#!rJDl@wrJvN9E0YdA8ZdKlX;rfe9OfM6Cjpyi+#NmZ zNPie*3I;JYg+3cDY3utVIZVQTZp#yJoHcA|C11VWHezf0thWbiaG&{wOeCu1n&Up4 zzhhB4Vk)$xt<2jt4Jc7$HL^1<;t(mB{@>eTZ%WVp2Uv(p2Z!gUaQEU~1`HQoFfTX# zRJdFDbSr_cbn~fr+?k|hB9u&QFyMRg6v^fvwUObTNxy*S0)&@&CunW}!cn<2WM!}K z%evUeQ~4uDz#n|Dgxxx0?8rJbLGk;AZCuKg!+Z_i-qV!v_j^`F+W zYYv)91JlH^Y&mjhaAIqP%>o+HMFD4dh+%9+A)0StNz}^t8hS4AsTT8!wts?zSD1V2 zC^A|>^V1Ir4bs?T(-Pg7ECdwk$Cnwah#Op*_OS28g**h!Mtg`g&PsDr(q+VYo(Fq6< zd@76OZ(D5OtrjZ^xGVpx_;KMZ%wjj4-hMV_k|2w$3q*cM63;;%c4)w#?A^V7xt4~U zq~n`A-H_Fzb0vG0_X;L5GBB5nZIMSn^~&hT`g3lqjU})tgN=Oc6hnOH1WnKrpmdZR z$J_lCv0$moGfk9aI56Y6E-&?BLx%jwkF1rdj4LX2LkJ&jWt|2ke)shP34g;kH^) ze4ky`>pzzsy?56BJzuopjQ81nk#iCGJEfC|?wat&G}F0m`fs|dZojiAf8_Q#(SX7e zmJ5zDz20naN1IImOSx!~@}9!Q&QkKQp%u&12{1d-I@E;aw^sS(v=)cK7Jg*W#4-iz ztKJ39#X1KK8_$5;05hDtHz5*}krym)!tIy|Sjo~F;v1cFEnmWk2T^t2UA|p|yH<^d zKm~>4{tQPBz<*V8tFrh`p1(A{oBDs$09+A~I|1JelQr|@>Tst(;$IU`_Z8do>f6-5fNiq^_H zzlPjA=RU2@irCeG(mK9#g{cepxU=#^Ek89^lz32_BgTXV8A60iC;QPnC4pN7!k+o-W5gs5rRsdF@*gQ!*Qv|9*+jN4JA=5nhlu}ht)Wp0hk z@E*j9CpGlZ$db}xJjrfi|9OYe&K)N*?ewpmwr(hfDhQH9jLb=t{t{Qi4Ys(O-B}m) zO?-=kqpAKxY9P5Mahs$lywUcXk^Dg+7Vd!P{A9aBNcJRm&a%gQPtI=95w#NS(PRb2 zOf-Jdci`LXY5nqT%P@DOkgM=J?6R+AI42i#GVar{rZ8;H=;x8D2I+y~*% z8wx5rPYTdB2ds9X7l|_ppciSk(&KSf@yUN2rttD+Hlw*fUdR#3!5m*34yZY~ms7MU z9iVchL&X}>H5JRdW;jwhihh}ha@$Y<2!@ExNKgABY8jdrF_=!5BAX_@S4#SR=r*^C zj3kxF1cRqn%d-2}Vs1&c1D`r45tGvl;n5ZeJumc! zy`)pvnrxLs=@hTYnREm0S(GcaN0m_JNdl0UAQ$&$R_@fv+=c|0t9-5AZMCR=J0bXV z+Ec7y>PV&FKobXy_sI)rk=I_l^|$*jVs;2gKHzEtS7nYzF%HgzjY~b4@$if++x$6b zf_#U5SXj!&zxs8a*%j5nh?2pc((y|g!)k@^CY)<&BMtINTqGDQFH8jBBiS3FI<@M6t$cix#n^$DZNX6_IMY#K}`0-?ZAwp&Y)p!p!rC0+=d{k0n+m z{`Vm!@>g|CZGJv;GO}3Jwb=D!pTLRJpfrI-s1W}A2kGflf>hh;Q_QH}RAB~Q<@P0@ zCtk?gIRa#_sxDE8GfVmI0bHv*@+TP?tAvof?UkGNnjdr%xNu-sauGk0 zZoa(@J`JNus-whL+G-ZWDj21=n%@7 z56vl~fy%_gi&IOm6J=G+<3;tYUuRsMZ3eUCclF2&%(tfZ2sC(O>dv~$OK+YE5BEfA z*k%w5TI!uhGW&2o=Zp_DMYv%K$JRT0a)Nk@i~7@!QHN6{9q|g{ebm1;;9_pu)cf4e z-|Po^R$6>^#KSWCK9RL3ZUkWgSU_cs6>F;92d%qjRXDkMTIyUzQff}-yN1bl?`hza zxBD2JrsSONvg^?qpP{6+z9E&^O#$*sjw!8`Fw1b&=om8)Krjk?Nv`c%Hk$3%Xv-<0 z;io=B*=8aOaJY{ z+G$zcgz9H7+F5O>g*FgS3~EwYMk|B#Hyh@j;!VxXZyqy?M zGr29ruJql18$yq)&CAEedC7b1f4PLc2CyZ`3+(Cea;7;AEKB1`?J#rsC1bJ`k@{vb z7=o=xX7*6CMh0%V@mto$_Drc_cXC3*$tr6p&HLI0`k3oGqxj_yW&x88M-5LR z(|%ajxc42-!l$ zwdfR3=Q4SFm21yKGL`w3+N~6Ww0iBmd_hCD<{>?4GL{UsR=264bDVMK%d56h7ecDf z;>jnd!TmT2X+5e#k@D9u7c0Rstugvasb3h%m@SEWP|Sjkd!&jo zDOg6~43(wyIZ01XBeNM5ew%=!FUQpEJG%$f7`38Wc@uyoD9AMNPESaA?b9we+Q!43 z8!h=2YPT^f$N@C7?xim)YL$!T7hA}c4@tVh*l~z(xTeNJ7`gf>hB{W9T$tJmLq_-_ zH>8tBpuuBwl5UU2m0Nlw2aV8;5$|Gv9idA^{)!G!>s6M|_4q8c}P`^s|&xUTQm}Fk*TP(GAPI0I07H-R1^? zPM}{E%FKoZz1VH*L^;||BXdC?xs-Yes-qn}5Y6xObZF5P=J?cqT1w~O77#atq`3ds zl%7jJ2ra!N!ZXc<3YnKHgcuLmvPrx{&gX%Yrs=t5ldiv<&)x5vt2A{W)~k&EW?YjJ z`Jm>$HN#HF4Ree8)wM3eCk z3BGXGy^|zo?so+s-=C8Izem;O-EaR>X>yr^X#u6H!ZIGwmwrhS#XQuaG*Pj84L{|b zm4)SeG>LC*NI~KIbeF6~-(o!FgY_x-^zUbyFJ;3;ur1ltc}5hCMooj!v*Zw+jhY~o zD%=^SZL63brOxR0A_cY%l8#!i-qv?^IMe`?AsYumiMz1dHXb z&(b=sxr$E`-)i4|O{%QUa)cIv6w>wE7H$z$OgW;8`C3_RkJk~0cri8g^XttR(e0Xj z*zf#dAzQHRQcADo7$LHysN4y(Ro?mY@U0~f)MSw+uqO2kmc>=s3|6Rsov&*=`;v5X zEAWtH7n#XXT5lLpz$xJN;a=E>8z34!p~czH_%(MlPj2rQwDw!`cNk#1+`as!V=4%T!TP(DCOT5yxN}+3#CI?okXHI@?)Jm*& zW((KeqBX3%>*YL~30pb)Ij_!zdN431gvQv+%pxdJQ-rha)uVZRH@rKBF~bvrWWwUp zFUkihxhyPKq=A1a) z?gIzrqxtCB6x-x#jtB{dgxkD5fIa`X>vKce`sHhrcJA+?O7Wui^m=_@0tG{|8$WHw zh(QfRwqP6>7RqqL!kCimbc$41n0jwi{!2ez)YO? ztpS~hm~F}4=eAS-h_}S%)sDKR+#X&FaWlpct%7QABmqrg!ms3M$S!aAVsar%?T!wm z)n`f>q3e(Dcr=tOc3m<2xhmdG7SZvaeKy$hmyYjDOt20Kp9Dx2YdKAw0xID5ADaFr zX=XZPEPNG;bVMqb{*kw-AMD?(F z`5?O`nLF+UCS6UQXiK{Gk&}^y$v16>w)y0BhVh^5ySY;tj;njx8Q-<5d5bnZg+D`3 zEEfDq56qJYH8NFzb-_%@8HNBl>a?dsBD+k^6sMno`Sb?o%D^gzwHPMc!5?jB@_Nm` z^i(EZc$^E2dTUp571n<9M2)Tqv&lF4bgCp(tKcWY(Z)#*?4~pBxDsd(I5q1?9cK~Q z?VFKdQJQ&msW5ClsIJ7&`Zdk|<220N&{y+g>IgpGk`$raY{8^<*7q)ARtQOMBBQCE zZ~j+v8&jx^Y28r;q8$Hji!Ptu-%GZwOI7runXTv8oCB@neD;ch~MGz@%G!wWmSH{G(IQ02dK9Ci4s=zi> z43kZtr9!-@|DI*nR^K=EUB_IZgY-ufHg}Hocj4slE_s+F*=q|YWnD!$W=i+{I+b&R zg)nEkJ20z!NSig>wfq>j#-pZgkxhNkBi)#l2YJn^@sk9b$d{>k2@Yh70Ufk+l&iUG0gz?b%wM}jJ-mEXLcWY1RT50@2$taeDDJy#$9hW>PpJ{rDze3+d!2>N1i2KQHhD~u!eS2W6WgmZ(@Ks!i8#YHmT80Npmtq)kRLybdK!JkG#bZ+$y=Sx zb)m-G3@J6TQ46EwBjc#t$;A+}7e{y)GKJ});prL;!X}+XKS!)+EXXXbMyw`)KTsB{ z!q8Q*?u=r01Tir)D?b*$Fz@Bzy-&mT*6rV`ufN<6t+BUAny@s;<kTAlaj zC;G%y_nY#o$dB(t)iz49X}EQZzt&vwjG@RzJDX~B6?rpS0*Ds_-El~HWl-h_S)s8T z1J*m`Y8A3dt=*4drwfcUY|yT}DX~sk7HN=glD_T*R11O&1zb+me<)>K8Oij&FdC1? zp0I&|_ubMvQiXGF??SP?3pm1?2L(%R29mia{Ya;ZYz}nFrven4)af2quVEnp9z?@e zvS-#=$K@C>mye=f2KdI@y@FZ`p!xU+7jY?*3bxo3(4!I$J{90(Hs~KJw-j)RaQtio z=PZClT_(8ykmP;d-cKEwDd8u9=UF*B_R7fIDaN`j&XP8`+Bk#;f0*)rB)%ja0IiJJ zRTcOV49uSK@sKCqcbAS-XEjH>33#~iJ3$+QjVLWA&|7K&ku`GR@}BV%Ifk zTtqD=;834vAGF=QZL_Uy2U)scD_%Co8FOdPuf=u+%Nm*OMTJHm6)v>5o+s2Q(?hAl zta?RMK5?Hbj|W63t!8QRm3XjR`5W@PgZ;>ge8VrLr0T4ucg9X0Bv4mr3CP@(K|lMn zfh^ohnR9LAY_K+7xj^F=&;$Pb=pg1_1Z6^H!gG~SUBiVxhRmO*ifXu zGP!y#m!pLcmtYFR*H1P8=89>5R`b`y151rBevEOBb|k&v!;V><1cpvf!jmkVCREv# zhfQJXfqH8@Fp0Szn~+(_6vbx;w8}MJToL_;HUO#=+<>^Kw`G8HmTbUwnw3+Kpbf0> zK{a$?yXH50VP?VRxX|>TYm5^}67pHn>h(biM|9i6WqadV&X3Y+ zJ6&>-RYDs_9e5)1eg5!`3Yp*p(3A2^J&TP4e-|OTG5$6kR(L2DXZ1#WAt5Q`NyF>! zT+b7>3=}N(QV;|}bGN={ytgu>!neTlcsOphqa1dS-F5+|tLc_x5|x4(jRzo{s4?j! zqx9P>X<`{u0&S679Z)HQVulsH>it{}g`et&ewV#Vn)xwPCJ_x6(B934RNPBlGa0_J zI@7vKBWv77MvDaK%~msGAa;NyD~=!cWGHYonJD?Rgfizg%q* z9Eh=wIY9CA9`V!#XCu>erZrD11gTIkg~(m~$sXAJs+g0RpvUN`(5xmeF~O1%=Q#nS z;Zd7A3iDz#Wzczm>12ULhXR|)eaJX%7N?3C&a*k`MzjCs&QfDHA5liJi_(~gbz~J~ zAM{s8tre*4(r&MThG!Yn)yx7UBZ^ogctbXRM`6i7DbBw^aTDZ;| zo?dy}@X$9X8*w85KL}C#*=AY-aUWn9IrVt?&2slpJ(y7}{&@MS#mL@ql~Z)+$rJkc z!)+MzQWRL%8{Cx9X$ttaBTe1Z)Zsy$8u4bdlD1~H|{)7+Nu@Z>M zffl3=M_IDS;F3|hAbffUvp34;5Bs9n7FD!JWOR>s+7}+G3rT1 z>Ss{5Up9eAt83&{!Z>P(Y^|_f;AR@0SuI5|;?2cbFrCOLLw_|fsFxv1@1w-O^Wluv z)KZ{f*I2zo3CRADZuMO{ljG+T8pvit#9L~U>U+oqNp#k)jXsie8;(skH>Nv53ub9P`S*aNPtulzR- z=;_h*=>b}N20-ATMFYY)(`)7M)?Ga)itOJReJQ2`BzNqjzGKDV>ves9&GjNZi0!F%AD%f7-TIx*5&=l9;Qag3koYIIPKqxFj_jmLQC zG1affQw^@VPk`DkRJ%z>V(!RNzT7Zpm+PweaXY>Nh5c3%HB<@op9og8T$adX+T}hs zcNe@H=}odbYM{-*H1$x*o!zteO{z_@Z^Dtw;}@1&qH6^+;XqaE$RB$16VG8{39sO1 z1t;vulJSiirwrR*1Ah}rHXjVadLlx7h>S?L<2q<*r-JOww?Zy(%_j(I{t^!olPny-1 z+Y{bt%p3Rx7kM_NvCbwK*$*1wOsdQPGDe%u>I_a9wYXbDT*C3(-B_ZZGST1b#H))z!lHBX7&M zq3b!g?+~z%fsHjrBI=wH(=ZA0`qMveM}X4D!Uh<)pn;_n(^0np-BTaDcaxX=F$KLX zMMZp8(AIAs&Pi6n2ET%z&ZdZBv^|_HK`C;Le#H9hfaF}EnB~Z6= z78#w}ij{pR8&(SBD9WODyrffQ@SpJLH8(AFA5lrtZo{Y`q>T7D{Jg_!ujaKX$N{h{wzVltSxG?s*Lc|iuw+d%8OFK>ChW{+Ylg4Juu%E|?EHoMYzFCM` zHMy9|2Dba(Q|pDEkQ}d%`>*%j$t%nn3udWL<2>oi3s0fm0`a+AV=K-ZlS!{d#}Jj@ zchqP`OCUren2oTE?JYelzCqI@*>+F>zWiGONr=AZ^gk<~m5h~5!<6&O!jcgJW^ei! zVsDBJQen=|9wlCo}vQ%3-!na7^ zxw>D{Ow5oad(im(KDf_sPhU!G^paFq+k?K3=KSSV10%eH^oi6@MW6C85i?jJ(BAO& z@AH!WQbR5IF}OWgm(igQ%0N1Pb&On&SjfeH-SAYSu3KSKs|)*m-;ni>3X2IULE-YV zgNdNAKHez0@st`1>Q~7mR+GpH?7$EjR7G$>XF(S$bw;(>A6RBKSad?rRFunSj}Smg z!l*Sr;d zpFjG(lRL;i5P)2=lr5^X;l-U%cZ78Oa?x9lsu6cJ3LbfUbXEpPZbd7t({%YI49P%j zpe*0k^wS%Uq7n64q*q=rUc&rw@Y)dxO`cj1nA7Y_c0o*3<}0cO%szI0I+g@X;U=O> zY>x@VwdQF~cZTzl%lDG#0zjracKAvr|4H1jD?uQ0?AM7MfFG|Klo`)>ia3@q0H0!UEk1w{#bNc? zIkn?SE@D5|4Jic5^B29Z6K512pdb1=2?{A*V((H$+W5{Tk{(Ndf}EpY(uDGZyz0*% z^z5>iv7Qfzh~Y=-u`^4gZa8p-<7;{23_Ohuzvrdh<<%3y?A@(_~QbC8?p*fNY;s`;Q}@Zyb?#e zR*?>q3_QfxDZtUG&vT8YRD6pqHn>!`&s3;Pk#+>&GIxPeLZKW%CN45&EG@}bT<}Zs z-GK(VoM-~Qios=Xf`Oqyyi2x~;#-y~xx{+Da72~LEV8X-)tfq33T2K|*(i8>ASm=P z_M7>e5xP7?{*K5+c?noefSa0Aa!!&&>}1HFt-QN-5{#_k+MMS3Gm+k^5Vw)>9ZuKH zTBS0b(N{hOYU(PHl(xX?LTr)v8DH{*Cgb+oOFd^!doSXyUDL=bme~;Zk{XYaI1O{r zDlp<+?A&>~nt!~0+@&Z{eRTN+(slVO?_tYp_1*oF$^HE1O;XW&F|6+Ivr;hV=m0v}@AUDUYAn-(lD}4u{D#zbC#0aoTgKF3#5T$VW!F*_H>)n~PeHM#fV4a@j2|%=def zh$l5Lvf)TEkDR?n2GQdG*&a!{{SzoJWrx=zhpqmxpq1HPfH;%1N7rM;*f_`UetRTDNZ`n?j#T(hxSRzmOOfm^ zaFSkX_I$q#3n7AXUvT|V)?j@laH$Su(p=`MUq=H$nPju9zOxgyg7BB3t-Sr)&zJTH zWJNQmDvZ4|3&Aaksd6Tj&_wx>vC`E0o0!^C1VY`@RLu3i2p3OQ6a~ir36x7sA^Rkpa>K9069k$UjYnh1uiu;h`X&+UF zO+TQHNPkBQJ5C0qIuIa+s9`FhLaV7u5|u+Y`E|mE)h?d_N%S7%FTx3Z%h{b141c^; zz4T|7PlO={6dbRoNS_oRAosq|@-JQd z3wLCdn%+D3&mg2w-O8~k$Sv_gV*OVGokt*6N=ye92D5Ds*nOI!^}|izQHiqPuOoXJ z!bhq^_LTTSw)lvlsPM6kgg(|^<9yWR&CY1mRFDv=!wFq@??1ic(Au#>+kZ@PDHU5) z|1mwO{$2I0yx?&Gx)S|)C0smzE#|3)l5}|VvHcXKfUQH+rDrHwA6L#FacJezhxcfE zZb)5YTKsVqtVRX@ zoTy<*0D>pN;K0@h3dvvRl{8a(PT~O{$Ef{6)@3+)ocatbS)DHd$$dKk+woJTY}Yd2 zj*Fk_%p<|AyTm8evslxNxDNhpraFX(C^%PV$Y|s_2po-2eFcpeiMSyc zlU{uuu9X+P6a!cd(7=Q^8(*w^vhXp$x=tkRq||3GAFyyPpL5Fl?&aWS)A57RkyGa!~(<*82d zrSX~jG+(gUZ+UuwRMx*-nZ;#>n;rj|46T<7Hv4NbIWv0bN>tGGalsn5uZLS4{z(wj z$(XEf3s0d*HS>XLk6e@3bIaxb ziU4Bvw1y4r{{a?F$baMh2YBtKrtb3yNS-k=;-obb`On{qH3ISwyT8)79f35hB!77; zq03e!?M(lT8u#S2lLvGI58*&-J0;QBH`xfM&H4+~ZQo2sX*`CqdFm7Izs1a+mn6v2 zzd<;md~af7eW|l8__?UsU<=>>esad?> zUo9msSrw5-s6*rsJNNFUvyfM1d&E7V15~(gT{gH8@zB)W>ID3=#rbP+@E-tC$CK6N zwLZJ+ft^vdH5`A^zr5%!shhGNjd_XghZ8;-EbbEi9WaBi{F_1G>_3)8B$=)L0b{d2 zxiKU9OBj`RG|}DdpXoktQ{;+&LrZU@p0a;>6+*foufJi*Sit$BPyXoZjMu&EIQ6Wh zlnvpCXXe$&OZO8-!`)`sJGj_3BfhvOaZ``@EuvTDwG z<-C5^nrp&rgVmVq#QT6yPu&#)SX3ij=tD;pP8@s=Fj76w;Hbag4aGO($=jh$TCbU$ zu>dA%pdiU%YcRWZ78YT+$Y@?HBbb2;y4IH$`ORTNc{()5ZAOMum*cYx6W-T=LX$;w zz;RNhq7C%})L?@;zlQcya}eTtJxn8T*=u24i$bEb<`hWSni<_`V`6Yp>PB#%=)gvj z^yhI`3Y6CXtB3+`RL8GJ^b@hLmvVxr*CSec;JHKkG!W(zMki*T4t!%L0!T0<(Yk5d zk=_jA9f2zI*_%l4YKVUGtuxGHz4?VNZ7H}^KJzlgCa&oPld%y2P89OgPl5T#YCd4? ziaW1et(_KO)<#$mW1#9?3xkcsq-b3mAGxWsCqN*?wBwSpx~T#;NtJZf5xEw7L>ZWzAs?8e z^KT+XJd#e)U08gHGG-B7`}}wY&M@{}Pk^LOQTT8BZK3dsW@d64S58}}%J zT%>;RBx#0)(PIp5)GdBbFihA7DRM_49VGx+sUPsilGwU1ZKUX@gsX?F!0vv)6>>$v z>VkQgb;ZTGug7j)L@RD29qEQb)s3esau44lL`-7zqD?>=%6!`cWPSjRHP7C6*w@WW zidVEdx9VYWin3Phz_f40=WSh}T%28s4gpF8jbm`9W|wdYD zMsUPFThwyQPyvp|@l6rmJn0lYJcfUf{Or~8!ttWjt9`5Mtu5Wb6b>xRIW!c;l! zR9=pasQVUh2F)(Y0A4I(nA5jkZdPZRz_G%-0h&%O(|61dCX?8)jCSaARNaUat z2K`-d+JFP4*wnWVQT?pZlJpmz*zkY5K?ZQa|4tem`=@bFh{XBuF53~dBk%AV}SY%Nv`1ph3cbU4-8~rHpWtT zbPXFM`DEn+H`s@mJ>qWE3-5d58q75}NC9X$iR%X2LWn;YP+WHfs7B*2d;uJ)%pKMh z70?yO*)@t?J5d$Y&#FgxH(g;g!%+?XWFTGsx+_!}b!^EGH#gx8A4gwz1q^dCW#|o8 zfbmDZ-?V3GhRgi+cl!tEt8lG=ZDfmAh(6xj<>WeUCjUv5;Opj3r&=^6`>CVH^w6K0 z4FO*(84t@9n{PMlM)mjr5P$s3OuSgMt~X|4Aa`hZex12=nFAwYceex)7A)sOtXpc} zuanJBA$p%Uv9D8BQbV}jPY`ohh*IQ@RH{sXAG(fFAxGJ~IPZZ_fmMw?`@xp#CNjBo zogs={17Qfz2h}qzW}qGNox5lvf5nQb6@7V9pzZ-8?Wd5Y2zQcJSa6k96g~(EK7oxd z0-PKT6xstIY#<1{`7WHxIt`4CLsaH0p__OGc@Mc1ioQk-TJ%sKCP{x{fO&?_OI(Y> z(Sm;RY{-(6^YUNR8dvVt*owhDt<@)R2M&ie8f zUNBzU_pYmB+)Jw2fQ)1K9hzyDP~Ppat39fZYh#jK64Zw)jmapP75zh9$I$^7$43WU zV^kWux|SbUIn~roD}t+Y2kQd9Ed?AEw4BmTkx3?d@&2$#so~Fv;r#YI&h)4h1wTYA z18##*b6`pvymB~ikyMO(`EAGO;@fP%k56J($Bxf4{V%)9u<9k`dhe?oe)6*}mwgta zhc0$;q0)Aa`slR}TIa3M^qA)%q;r(4dL!LGycj|TFja(ccI>t*UtPJh5u7xM{Wt;F zaj~SQa6Bo5?oy<*>fTXrmOeJRIv*3eu;HRo|CX+Bs29Cl5rPsPpB`~8A$Ds+TDzAa z^8uQ4)s-K;ZE-F_pJ+xu4H0p4_I9q#UR2E(`qk-a*1OnoI-9{R7TfZ#Xp?LK^jim3 zg{C5UxU|7oa^-xXNQ@9NmM$JuuQS1zN( zuf6u|>dSqxd)-D^Z~V^)UOee~K#JNml=GV2zpQ?EBA%w2hkq?RdV`Lyvt-;g*f+b; zyFG;^oV>IveRt16UNrB=c67jx={7$R88U@?1P=!9bq~G(RV^xwi)A)`-xTxh+cJp2 zL?$<3E5(Z2w@k#}yh3n(4z2e-)q2&}dYd@^ASH)eHnDO)qoMW%0M##^ZSwd;srhP!loQD2Add^qSyAwfueV|`)?%)z)U@xt>jeMBp#dgOCJyn-C zQ-bAd&S1@}H~#DlinaH23si4uQ_dxmAhr-y3tXN@i(UO77%5p58>{Jjp>hAShKufn zNt(2Pa2o-a&LBO#F={dVP_Zx)Rql@kBbFX%yE~K{t+% zxO{=O$%kLbeuw%BSR%0ba|W7qv}*V{Q)WC)yL07IY$Y<(cx5uw+wCzklOxsB943)G z)>I+_|F$tNq}bfMG5&K8$a2|>vvg}dM-Kf`?JfBS=8g9=dyP^Z<02KD+ztLSLLWdj zt=`7q@`cv5n{?3$r@Thac8(2AfCl76*TAp_{ zJSCO(iF5FUPTI!GvqSkp*^48M(Su8;A2uIx&kzlXuf|V3_!Zem+AkW4R&WFSex!My zjhq~G72xW8$MaH1UR!hg@jVsM%a1Bac|A%yKDlJ$;KJzh1yW}4Y=O89I5ME^(*H5I zz2rmOC+!z)xB&yFl)`ws$xp4VjIR7Y`)x4B_}d{#YI=T3*UL)ps%W%gHRfH?ZKziYn@;S18bNw~+eoAgQwtn6bMi#Sp81 z(_uC)Md;Lph4eOIpSqAmBLja>$M<4U!u6y4@LKz0gZ}VD zXXgseP4$YfvhlUf$GqCa?vo>!F4_+)BY9@TTc^HGjzsuxm^%0B^FKu3vRH9DwmC#2 z-ZM3KSzC1ZNUO45)3dEX8*M}R{*_#-wMTGqJayW+hF4`}MB_Eo=Ls+dd?G0lEsE96lwsdgo=#seuHWiii z?FO-HS#4vC_t4{45U*ZsO4o63-6p!N&3tE9sk`PD(F4nRru3YxxOAT7p_S!Y5|MFs z{n)imtJE$Z0fDlw>L}JIqLtqjb)bpWTVA>_6QnW^%GoHcaF7CM1GMD@CqTwS2sS+L?>eiD%Qim z5GM8DkZC|m#duI=c38Ak)i=m)QtQ`~k}Ua_8!h@CD*bWBLk7l#p0Co}mrkSKH^!#E z)&=2Ds)3Qb`d-vaP3Dc&LNK01Md|f!DlNBwW}@_q`WgGYkHz*0HiMFshF_nx(4~L}J;)_C7Otm|NW1;?lcU zR=}-g$7MwXZ)$Py&MEaV6RU}j=#G&x5<4Z**c_d<=VkL*8}SsUB$1EEw{%ATK=l6n z66ndS&STxobY8_M_^21?gY=~#c!=H-yTc^JJLVyDzGmx!KAzCho~Znn>zNM79gdMh z`Ggr1UD@A#~21k{J zMD0{7DIt}i@RsNvpOH?g58fF@O0<~dauj#*xb&?Q#M9I%e`$5G)jv%pG-0PRMBTk! zj?%Q9rG?FDU0WiqYPcQd{=#G}c`EPj4@G4?5}pkDWW*fZɩhPQHDwS&08=i^tG zzU9uWOs2{A*=g83(zk559(^zm3Cq$ts8+2!ow{8xps6ZbvJ8G+SCguOe_^MSlePY> zAEBf9<;v>fd^y0pl9{_vC}Hjyx9*YlEzFMBA!^LcHefckG^-}EO%)?|v7zmWksUnC zHM_f(#K$&wJ6A;odt-L2oGbLiryHh=vaAI3YQj-7{Ax>%>U&>rutmJ>+{PS0yaL{r zhoY!3-@dItSW5#a54pK(vzQXd@NGzG{~l8DBse71E z77>yd`@84#4?aDd5xT4&=7r+bY(tGc!?QV2tyg~69F?DCBk5;KiK#^OrDkIL`l{VD zpyCq=*@5K?GUPG}+LWXYr;dpT+i z$jPw;>xnO$1l&h|7G+VSA3TK5z@00PHX^TDj{1a&bLpd#C4_r?-*6+e~wy!Oj#zHRFrcE;a z_>Sn=ju)?_{QV5_&fbTm`oRKDGfS<6nxym9_)`_3{Gsl9imBeJE;U= zOna%`;1Lh#@^P8syZ&dCt)|iK=`TiNM&mkI1qgk@o?NBtwr^mHN9@HWGnXpGnnc!I z%Su?;k8Eb&X+=FDBu;7O4y~Z&eTCS{mI(4%0|aWcbPf+29l;jbGY>g@?C(xY=J%zv z=axxa4p#l1=a*@fq4dCf{u`g7T&X633S3ijhP!+Ti zgE$OpZZu=o0Da*~e|#Hqrm7M0hE({XvPdVYd$m%T6$*VB z5~mwE1A@M@*uoUk!=;*M?A^q>GgeXWe8kx~?$shW<_wXnLX+dQ`^MCQ>MDB?l)p}r z22qu2b}McP;}=D#S-FarfC`yb7UqfV^xSKU+yy-K&`p2v=BHk<4STSnEv#-+2ys1b z>RQIlB=rDruV0_CTsr)NrE{X{g`38crlv(o`e5>i2M*9-j)%IQp6*e2q+LtK$2z5Z zb5m!-55i*>;fAQ`@D>F;NNh``KC>V`AE*+KTy{7NImDeCbTAKoqwa0avDLkLf7cYu zMS@>nQII2LZ+0Fvr!!d=)=1WdUoj#(9*jNwen@u@A8RHA+G~?NT650JjT1iX4ohM&%lOhF zN?OrB37k*Ko0sDnASQ*rnVzSL@1*cOHI%pAw=C?sj8LG!8tDBtz4c*vP*(>19(rHz zScPxLaX{?KOI+4dL9W|+G*R)I?|c$F`1caALQJ@eSk>N#g?SNvzeSJG)Q3dCdp`TA zlXYu)689UM;@Y;tmOv|x`(Xc2KIC(nT=WC*xqG1xM_mc3A->xZX)dFdxuH2y$j8^_ zkY%ziG{o#Lv!4)1?V(@dgC7uc?2H1PeSBiXK_&O9RA@8($&N3p8DT^cU8kTbb;S## z(8hk<6NR`BHocWra`Bfmh&y{M?KE=w?tNUV295Iu#+TqngLKr>!U*km+^d_yA`_MA z)6zKe@JdFa(CiFK>H_fZv7h(m#+*c9*%`5tVrA#cROceJBvz`2N~xI1K)BPJNVj7u z-vPhCuKb9BRT6b+JLh$CG9Bk6r(0i6C^@Mv)sT&+Y`q)vmUdB`C!^V$COS*w1RebO z%@<3^u9ao!Pw3Ppe3>32?^r$xjBMrVibs-7eqd5y{IWhacJ`uk?x7)qailSQQ+%bc zx-34?$U+1M{bNJ(!*WyT3_VR+HE-w((mqL#I!G_RS@w%n5%n;>CQOS`ia0ux@rneE z^-rf!SSYgP<`4w366bL0_q!Y^O3q(s*f`G`Oz}#s;=YrUS~t)rEOL)1=*C>Q7f$XN zN{i8wZoLcSa5NdBhYa|`+_ERRM%Z2f#t&^t|XNv`hHT; z+iWpT)lGM0?)MOKT$`M#9D;})e$^N@j0c@jzH~7 zjW0QTliR)?75RmRA$EAceFL{)UjK}NxlE=AiSsy6M|t1U72OxU?tw5#TO=}}KWgoj zke@M4nYXq?GQp%q$5tEZCuT6NZk!bR>@cH3>H8C!oK9K272|d;BSTXGu&6_orPEf!(z&I*M z53j_8#d)B@n6!V=F+@Ck7yoxb0~*{m9sAgRv$Q$^zAM40^I=PO z`V12HMabT{H)refXjv=Qc_JB#0*o&T?h|^XC7cW$y(E;)yUp|Zpq$d(g<*cPR<~iw z(Y+lvJkp3-b9By)V@-e`> z8oi~nTiU8j*ubJ++m-O%>QEFBp;0>`6gBYlY;oKsH`b#7G_@uTK+eG2iqrRmB z!li(D%N3FiO-d!p-NLgRR;G)pEawrbX?S}}Om-dEAVQ<3C;`@JFQr&#} z>-fmk@-kS6bg14g2`u#CP0cVLly8!rGrCtEr7PGZx+|hl12w5(+RGvd&SWkz@=3$I z0Szrz(!7)4WSGF6)vgKu#E!68tqoFi%>4M#XJdSlEo-%06jf44e1?m%7V|*JdOf^5 zY;0^TzpklqA36>sJul2TbQ zf8asv_T8p#1phoD53v_9qF`y@u;hqZyp1x#rYB$t%Y9JSQl3S3CRKu+D|)OYa$21! zyLGPA^?(lrYw>a8pinY>zfRmtS9?n;ho2uPk@Wq-2mR`*{iXeh2qUlB`w~7T+;=nc zfR1)Mh7wg@c~jGLFE5U$7DP@bnB4`>xMtXWZCaAH3rxi7{mkVo>Adgo$fR*tOOGzH zj=P#=IOfHtiK`%sNa|+fR(D&DMfQS(N-`?^7R*U_e~ZQi1JB6@J50n!ULqe--mV(< z;-i{*c+Kc8jtEfuPSgncjNq4H`W+^IE8!h)ZB2K=FNoM*4SH1FKsQ%XqWhkWy78^a z&ZfcJl1Mm<(ywyiqwJO3p@SnE5~M@O_YquE3D-(}AJOKNaVS)GugQ#&P#Old4Q^Sx z$0pKK5O=W+_$&ifbjBGx~@k$q@{@9{g(=EcRL5;}S@b4W89?VUg1Bi9*Jzb|VnCuh}@Ej;$W9S<$UOlt#iuNTMO( z9txI0UOpO8-NfFO&zsx9-HoaFWZOo%eW;@|nJ1geh9x$qdg0(YAdGC-9|M|yc1Lbt z$(|#ja&WExY;L~--K2Thp5r7#$AC4vvN?{Gc@g$dxA&P;&rG*FrR8i?WW8dx1_|B} z4QtU#JmB=5qYsq)!b5sCH1P?77YAfZq+4V`Y{w~$ng_hewaR?@B#5l%Rq{4`FEBN? zbwVU#4|Ui~E-kU21pP=vS_8Aa{nGbdG{5Z!FVXS02n*#8UH6VqvFgWY1vY9{5GF=T z!;0Cj4uQX1eeq*6G-1!X)Q~_(M!9!0d&-E({Y!T@x74^uv_)&eH>!ZkuGaylq3=a6 zU&AJeZ(TH5trxbPf4xGu+mC&{9m-!@aQw9~%JtS9usuAupgg=hKetQagl$*?y9?WS z@?c zznsXk3V%b?(=7j%++#iSA30`ECiLPIkzbPSC*~x~RcL0Ct=-{SO3=5_Ka&E|LTHw@MXMqD`1z?aD~+fCpBqF;E8}T@h5CxF&)7q3;>M8X2`BG3=c{w7 zX4d7|1FCn&mgX=G{!7FE+XMu57hOWtgj|q0(RTbW3_#o)j+s{6ujTjO%T&Z$ zn!ux@Z;H%?btjWdP_937y#LaY)Soe;`RqP(dNZ+Fpr*7g_1=g3qc$NOuCy8-To^=$ zh8ZVK`w)u5`A46pTSCw{qjnw&P+F#;icrs@(mL$&3~6Cmx9Anmo<6wLkUsBke6c>m z{Nh28-btiL_|WK15&Iry&hwA?potaWuL6UNy3>2487D^kxz{V=c#sN^4{13Qw&z!% zo!w)RNGkJ_pZpR+WIJxeyz#77a*)Xx{sc z!v1ty8NOeAPidqHyB&muG@ijMjPT(~RIRuofSjC0!c6RwvS0@e;o`>%l82A#9~|YW zrTA^9;>W4Fib&~l(+dXY8hsmrbfwJo*B;bq?-MVRQ;_~ATU`I#v**9sk@H`6R29HM z;=wl=W#7%5Se|W}-bGT5kT7749Q7nv;Qie|i+#2Hq-e zBWN#(V>6PFZ*-tcW_{!&XZBXB^&_fTuh6futIJ)Qt)l|dqfO7ytTFFT*R;mi-5$WP z6=P9a7#+G*`N57%dy8Tjtx4w*qXLP4+h+(pff(-6H#J`azMP%gR*X6fwqssfa-WR8 z4CdhWI5Te%SMCkdof;Kr#1(1ySRGhj6x8>9$Bl8&7Wj>>V0%^lNpR)n=Kn=kP<4ek zJ#n;!HjOQWa+}K$uk^I(waW#x-O{W;BK#O4{{C(SEVU??9xAV(Bf-G7optLUqRUUG zf(mFZ+TU1{AM~X`)hc*QnTJKcUNBMjX{^4#wbdX?U}?_f0wN9j{zf!l=7plb50qSM z*KbU6-nZE2mdHGO@5hKw#FHiMu7$d@S2Ut2rI6dwkP5uvf{yiNtZ-$J(27s9f#fpl zRR|+xx$g*Bv3td=coq|b{ad1DxuT1bwUD`L(Kn2RQqc>TXl}J-(KUoOJ=|t`ZrPi* z@H8Zj=5$FUJ^iGyEnN!P5PgMh2LCy!_aGOe5Vm}l%{o$wNz2!#&S|{z^%|3V29>Yh zTQQg{Zd6pOb77A@)V0tG@b$fPG zUn#YWX@#nIEu3)n?CQtz*qB%hpI_x~Oat2m>`zR?|Ep!#qbjl6A!tZGDjjGaP$N&n z)qB3zbCIKk_Vo?bw_# z@$_;}lxslyv0OMD6WBeqDqk36&47OOc4fs>X#LS##>jB{8!0fs5c60zYxkn`c~xpu zW0hb}aTnyJ-brD4M2J#++9rzvX&q)p*PHOoB)@K4KAu8U_b7!XM z?#(}f3KPH3+@2ziCRQWdIHy*575Yj3qpvU%wZ0ETh6sNRSTp{-TEFbGp~P35Ic~dS1ZW9lHwsM)9!y;QmDMT-^VPZ)$QbNYq$Or>rM|MV+jN z8OkF?$5*y&+;Yl9#%B1(0V>_`{ zStu$li}v=4V*>5UCqj7-B|EZ`DZ#94w4qv#Fu_#1R~{zLHb+U+G@0&Z(7v+>Wg3sZ z)yq=Ijv8Iugca(NGeeG2k^!PXgI95dHj6-*sNvh*;BB|!K(prA+7kln4-H?9R!~L# zuA)i4H7twu?(5V1Mr*Kb@cu+=e4M{{D|aoADnzvcqA?C6rJ9f`9&HF8x2i1X8UjY3 zZi7Cgk^(X`jNi@0!zXF_DUDRZB32i)>QZlvve`a7v?7lPcT__}`x|!tG^^$P)rNnu z!=rP<4lhLQFLr`BT|3w+>~M$`DT6IgOi4)7K$XLfdjsiLuwqCBoF-lBC*Ve(5KjJv zl|N4kA-|{wswU?E4CLk=!s9@=j~s1%;wpPruPGtc{ljC`YcZ`Xz_3F(; zrk%YQFgR)wCcJ}Q7sRNBWEkQzkIvypl6=8G?0abVKp>t>g$qPHe{v|*Z=8I0t9_Sj z%H)MLl{5N;>FcZGlDQqhesbi*j6*m5*?B^4ydklsf{b;50N3}$xVWek78b_~1_PT<%Me0M*);~(5 zn9!v|cj{jhtoF1StaHzFG-0=zCJ`gmLgK$9_M{GZbm)>XIxAO^o6SnunHlVSx;=xZ z$b?A!at}h^PeI7+SCtbfAgH_+zG+(A!_jtN;@6SS`Kpsb2U%s@Ts2ALfFX;L_~iX` z)O$Ie2tx#}SYwlybQ`1hmCvSa@Aaug&~P&5lCE*#O{ABbVq~ND2nu1a5F#gUyACdi zUOhC>Q~FO`asP3i$^-qywWL*>q9i%7c0`bg(Tp$Hd@>%%CN8vz$jdlArG6k5_W(a7 ztX%=CGQsiVJsEKk%r@euAGy27h@Xm&2It;Q|3Z2z)idOsjKh|P(`a)ScccIUanA#% z{K?d>`g3dPsEoHp?Guh7B^u>437s`FofVIYtHz>c1M}Y4RZqt5Qbz?V$k8(-`)jaV z)iCR^Y`v2vsE}O?j921WVH1;#Gab%KP&FMJi5d31^R zJnQ~%-iNvWG?C>N_%+KHQCDyP-qseznCtK69V)qG6fN&B1?asP)-1*VBi3>zBx4oP zi*3h+aVz?NaWVL)_PNE*#%hClpMy95OxMMzF=Wo=ZJKGN3dI1pzeZCxTYD)-^5`iO z0WKW-hd|_&R*I`5;=+#Eil;7JKIRC<@>33XdnMnJ%H9{pGx;7%xRtB=+HU2538XVs z`ZU|kGz>clj=8l2J3OUuJ}WdhF|L?$;wUorP_M%v+(cDRZvn~Ea{Si(a%>bH_ugAl z=lgiJVj`b%)VSWLk>V;@`5rBCsUN=ux}E4>8kDpelVCKa+mK7ybfR6!SP;kLJaK-V zq+)lP!mJ&8h%7V+kJxgt92Yg_^MNf=e_>aV@$jv60R=%>>mAdJCt`LAFZBCZL#1yQ zHZ!65&x#W``|9?bn&(J8s)3)OC76Cle+vu0b94{#*|XPcewnal<3#FVj?|s0=XfGa zRXywJgcSupN=GUwGH@Au9BZNzhKCD-38y@~3v0*BD5oA}eE;?Xo&zrXH?M8LOZA^& z5GObHFT+78S{%O%f`)kD|1{%qCH!%Qo45RB0DBDYKJs4V4urnh`}>Mk zu7VTq^K*JqX<;-Q%tc~NVh7K4vL@G!PmRUCgYNcfrn_4?aoo=MROAo_<(63KgAOc|L5uxd?4lnNt#y+qEG2nD6#q4PJ7|DZUJu z^r=I9Qg!6~WJ2!yS7&dyk_&H?CEN)L8r|P;_@|lXzuyj})fHTNAZQDlxAlSPBCFNo zW@VjE7j=nFf=j|DSZL^6A{Mgwi@ZtZ!D|$s^K{I^reiW?o=bJ#de5BQUjDhEIjLK} z-yvN7D4S9&IggKPqy!f9>q*^;(?AFZpm=u*nz_=@}3}^PCBV3m#?#U~ep09*ig>0b9 z(Rs^`WzGTF3dRi-Wf5n=o>(V2{$7N;&&odDZaku#`v@j34@)~lcNer!YVOQ<_pwhR z9_>Kg8R3wI+`)iS`i-5+CVGt+OB}ap?w#(p=&@6Aqjg{mnC4H@S>9jY4!ODNVCgImJbnlf1IC6W3I=nC{@vE1@CFGEVp**2 zLHKH{$2IinL1B6lJmLvKy0`Ky87yzf@gveCqreT+5U&4*mp{#A`F~BVMTVOQA4AZP z$3-=o@g#g7@2*x(TIkM2& zugK5lLlgOi!gRRU$k--gXdkKVZy5X2%=TZ|$8VLCbW59qSdk5N7~yS_69!EN3S6ci z)|=lD{nPxAllND30Mk$ST_7xA`bpy6;XM@J47W!4gSIkirRv88m3L7dF(MVcK_+;M z47OKj#1z#-AMN$r;&p)HuOYcV*3Mmhn4s?0&|{tGcJz?fl@+s$fYK7jJ0XWO>y{wl z^4_a8m;C+F^LtKTjK18f+)p3rZZ}`Y3AX&gyzl#hQq5q=JYd4iVa7Iq@N02JO=;eG z@WQA8cNWrq5yjpGa*?ZG@PA6m^QYMzH!xrM&keVsYE8~P5Ud?2GV$TdvqYX~*Vls! zZP<5(2u;Y4?iM$j%Qxt6$7xk{uH6gWzO8gFYMlQA=S$4$)}49kMva*y9}={oZsEM= zx=Kkt^~ix>ET!;PQoI4)_or>8kA~281ad($39Yxfv0TV;>-7O>g7^yz-8x+sIzvjaF8Y6`z%9j<2L z*m;|fkt#1RAx&{0AyjZMu9R7YQdGe-v^jL$!JL<# zMH(DmL4P`qapV`iar<;>I;mQcC;6d(KPERzF*)U=0&kiV3qfPnVi)%}Ylc6#8W@VA*QjIO= z&upFZ1u>+YWNbb^b2I6w>X*!&MuLhU+P;A+U-mxddw9={^zkl1_$p5xh2+&tecujZ z=ri?`->BzL(=PsB-Bdafn8b&mN%`a(Bl$B}W-=vK2atp07oAiZed-1AxipqdLPC); zu-HO0j!;r_jG^^1>QOIub1EE++yghfHA=pmqOz!XcsPrU43YkhuRl(pxOsmWKT4_! z4pP)u3$D-fKgiKh!;eZ%Yi(XGRCa0Zv4oHW$l`vg(z>&wVd@^f`#Dc3d63JCuy9>v z;Ytk)!QpDWU%aL+@}=np{!C9No$xvjEji;X8&$NB3c2Oe-tMT?mmH+VnMCkVy~L3~ z0eeBdyNxkqb;Z@o=BijU+Y%$F@f_&|ZsZF-DF(RdBzBSrf{I@em_VqgnHC3$0q?Js&LSYm9P^xJ{#{#$aEG;V#Cu{MeA`t zDBmGKkZU8|KViuS7Q=PCXDRS&gQtr!(D;op|1@jj`SptoH*XC9d=MT8YMe~S-K5xX ziD%TrvT)tQ>p|!nkME=0C40q>TFwy4iVfGhh0X9A!hf0!aYBDhcco(*V1rD`RZAQl zzXEN$vhVGqt0Lla`5H$!_R!b#8pTwMH2I6O4^JRoIGIZH+H7+Swee&wAh5DT4z%SjNMaGILlU@`rcLKC3rrs-$?nVc?I{sz7Vpj z3p}Ue#2UK5@Hd9r`FxadM{(-=m7AOvGIFuqknoyImlVA}Tg-x*?Z;Ue%dF1B*CoSG z4`dhm1;cFnrS%7rI<2JG);PO`yMqoE&PeZ^mktk9qxOR5Pf4|Ri_nK8dLy`Nx>$gn zdHO4jcW8=zJT-E=isfhXgynVrQeBIF4XAZCRyK0yq)x9 z&w6xdO<{*kr*HKf1iaD-N!aK-eg%2d>&5Y$%icoD*2L;bZg0=mjk)MNB!jJ9i(Gz$ z^Hi2jMESH~yH}vg{!i2eT(|PeKgl!JsS!Tf9?-9DXnrZjrFSa*Y~=RnPG{e z!4Q1)Fxzk-8!cu`5(S4OrWwTE)GpW9(iFw~K8O?4I05H!h9CPIUj8(v;s!q4{{s5J zI{`2ZfG~|$N!1pH<{HN#_^19Y^s7~oCB}Ak5(uUQ0 zPKl~-kFmeLH-=Zoj)9~`AacgVNJuj^Hnk<_X_738`1+PIGm$51JRHjF6(i3Cm@v&sL=sMCAB9vqkMC5+3u7Al*`&sVBVVaidQxhas9E;JLl_0Ow!oqU&A-UrWSi{>t5eIcz7Jb0 zMxpFci&krZga#z}H?sU`TJ-PNSE#x``O;mi>(vgAJx02gRnDtynbeBN1<7t;k?}_@UbbIkxu&o4V4XehBBoi+#j%Dc7x|Fe8-3ZghS} zcp!P~)lUYpOi6l%VW1sOtUMs@?>d8K1V;1 z`n$&*g8_ykAaRWuCTrjE;+JMjX`~iUA5o-X@$^xI4igB6a^okQ_%Zn#DKIoL#fsrz zX9pPF$%#xyafEk$n_2q|k@#rd{U<OoEgplE zQ=*m=MbYE`X^8fvi59I5)^~k{g;`gEQ8FGOq7q?&yn8z7LjygStf&{wBkj_fWF^A4 z@SWNgBrno;*Z7tv8mfCv&J10vnjwU`M;mX*W0c;U@qs@A+wkq2|3ECv(H||V9*5^2gH9BvB@4O`Derxhxfe3J2Pi+koc*NztJ3ra`9?Gph#8NBZ`FT zSPdU`_0b6EGP{s9&`kn!U2n0t0w2jVlW{43L;Fv&KfYgSLnABkfOiN)pZsw&UR~pZ zcm-)-s?%2)5lo4j{Ho&tc4H8&lY7yRx3mTg%+kqbqd_aq#YVE6G9rbvtIK^V4Mt8x z_a2zd?lSo3+vCszRMG$shM4m$7%pvo$ zaCw~mRAZdH+zCpnSZ`B)lEphUzAL^rwjr7w509kxZg@=U$2H3*d>LI{~gEi2A7wAa>-~+@f00K*cfc1J{6%ao_NF4;$00C=g zz`7s-P7v7C#l+0k!p+XY(hVfQjq&r^<+>{YC%C%^;r z1AI6#xTzv#;cDh$?d0a@0s;tLs~px+$;8bCP>~)8!U2K65+vaN-)BHmMU%fMaX|qg zluhgbUjE0B7+?)|Q@3jdVQg}P{^It=;5ydkZVv$q!>~ymmL2|F*!$1GE$(V&0eFW1 z7hnNN6DQdlBLQ;37=}Gz=K`iXz%q6wR<3|20K)&7y#Hnu1eS9%v9mT4cd)Xv00H_} zGV#1-5a5pou)Btvg}pYw=szU*hswaZe>3(EIevn!9*7qL`M*&x{!jbi=Hv(Q0QTeI zg@E{h7|P4diy;6c?|i@<78f5B#0`8jf)yyhC+s<_J~uGoe0>Dg1p)Q{TfzAGoExYM zE3iI(7ATPVb3$MW;O7Af(2)Q?h>s7r1_mw^AkGIX00?slKrw&<;)U{ppunsMKj5c) zz&PduK#3OuoWqW==iER6R)6yW?O}Zi@CyLPn|rY1wJ_X#7_cLZ37Al@!V7pBtSuA} z{H70}EJ_6;5O3<@0i0cF9C z*M$pKkM~*$up^BAwb5V-1b6@xiUFeu1=?II88vGsP{+W?U0P*-b2m*iuC=nJ80np)u zy|n{pDxm8H+`ySS2(aw+Jq-{S?41a>rwam%44h#A*ur%kxnU3k82tL_Kk^{QFjNNtiwS@$jBB6={O0D#O|tM8T{pmKZ|>jZ z2hhJ%3`-e+k$T<29R&SL$^XD}=wHM=0MEIp<_Q8q*L4FgAhO+@T_+*X8_NHK4Y1z+ zUS0@{ubU43=Q*tFpU=fPfusjOKXG89?I+xOy4}-oGjRjZ*31OB4KxIcbN#ILH%dwW zN40;zER5t|B>smkjQ#((36ta}Gjag4H%j@RM%OofR*jv)jKqANw1r{`dRb4F1 ztg@%yLM*^N-74PwiAm;eWmJ z_tj&;M7+N*{&iBQ@xRUfS0ykF{J-#$1(B9k|Bnr)s|$>Vh&O6(O+Q|Th^#aTi5M0z z{!8<4aEIqfpZ@>c7_J@VfBpDh8vB1?wEv9=|57sCe+!b0-`x!g`2N54t_LWJ>x{n` zHOeHR6Wd8UMA%MiHBI#PcJKD?0L4!JO;r9wP3oU2pqz%tzrgV)1aZ?QG0miE$HxDF zNhgp_qQ(@#pyE~2(gu}jph64iIjNx+0-iZ57(}{zw{LgvTiuy3;d;o!8QH8m}l7K`!N2pG*Qp@@2~(-jMSkGq;R1 zBarwI7y&Nn%qo__oqJ;7a%Slpb~2--#J9s`x~K4ezhQ6Bk;tl zMKnq}crsg z`8eXU(U397zp_NlffUdsKzqE(h{q3IbpJQM_(bCDOMS8(+ut1@agf+UAhNpFCSnhP zaE*XHM9%`MHuoXt>Ehz`W#yhlTB+@_Jlrg~E8&a+?>_cU__%v_9{fpx zb7I^03rkXF_VQ-qqQAbpqhm|g>a^eVZae(U9rsV)5Z)Ht`Q09)?G_)1>m`DO7uSP4 zwY?kLRm!<*@XYp3`P!9PH7GbW6ZQP_uMkJO4@u=eqUo zEVYi#ALuFhXS@_f=z6~FYO8y4MVd|s;rk?n5E7J_&mkhZ!BE58YS*2{aZ#?gBLPgz z_r)X^$V}}Tm=X7J#nsmEqctV2nVOkN1+F3D$As7fPrDIECZj?8QBv*BNavj&Da>8; zY*%Ae@rmEZ^e6#>2;FzR3cKLXr4msMVbnETk+@X|SCD_bUYrxTxjDjhM8)O(^L%P{ zdBQ-qtZd7(Nug(mthsr>h}K|l1zL)XKqVlL5vdijo!7Y%qDzOPW_ja)35(s z=WN50x5yy{Kuuz$1AqkGa4FaXr71iWmz*5u`B!7Xz)P+2toWyWUPKmz-HpNG@zfHff$?(g` z*_FFmUWzyz|Jtu#d2Z*ui?=cx6HdM7OuTziPt&K%CS=^$8r6?yCZ)qY*g;MW0U(Ec zL}t_@d9EgNHx55RN9&sF66Cj5@lo!g!^&l(Uf@Xwao9taBFZ^LB-l{}eKncw%E4o* zr+U8}hr&N$jZ|G_&(w()k02^Jq~r+bpQB!q2A4|;WQG;Qw2HA29}|;&Rp9g9FBRd< zAJJ1}EW}L@`J1Tm5D^q)NW_CaLtWj2d3ZnSi9NGjeKwQd_|=B{e6!@&eyC#=&mtkQ zke0)BGV8eMh8Z?GR+|YYG>i5e=xf5;P(=GwZP%GV9+wD5G;hek!Zq<-YCs7cNNRUS zdaRA-&o@tryr7cd&iDMf379#*RxgT>2yg%w8i@e@u_}p&`J47)drfBXoz4Sl8QyXF z+K2LcV`Z9oGW0^O$Vp@wD4Yo$DfZ0|hKg$#{dOPWB(gIxe_88`Y%T#@DA+rxF&YCdzE$&hLN|VGCPGD9y!N=+7nV1iR9=28 z)8;(kVHpdY3Gzu;z1Mz>Q6AQVL@z424BRR- z{8{2X4P{6K12^Ar&3hTg#iIVTz76HdP8GKcZ-rPiHC#9q?_Y`2yF|xfPgD^Ny@PDj zC1M;>pygO*J9i9!FUM70e=bfI`Xj?-cMON@h@o;>mQw;V%oRV?tRm8>4!5W;_y5*RQa=R{p$BFov7;I zHapOap97SfF)(nzJ>FF~=X_K%eht2}u>bI}c&z9+hd$w^suvlMe;`NaqiEZ2{VlaT z(kuW+!PZD10f-D6l9+vmDkJ31`sY+!+U%BJHd{0=sI#`hHn;+U zj0RaDbOd|hvUTywH`JVs!e9RRD*W9v*X9*x`Y>~&(w7N$LrS91A!X=j1R?Xl_eCqJ zM$;E{mt>s;of;5zlGuvIYjesZntDoV+#2%Y0vF$S>yHF}r1OC_(hNf=rE|*&B;OJw zo$33`opN6#2fOPNv6_vXi|Y0${C>P9{w}#9%-r>hTYsqJjLwHjNHd7!7X*@T3zCF& z``q%!r(74kgGMZ;5lVD_c9p}Io~cA^L(owR`ALG91R0XDv&)*5Z}1F#s?w_YOF1@0 z$4+S@_7F%bKAPBi045;>NuWKX=$Y2_6$yB@e3e7t?INb#fp2Ki94ApN04RHjwgnJD zL58Ha`s}VOc@BKkztww2Pt11j`e?tgn@?`5y!D4l?hKh7Ffj_q)RZzwV-=FBLuVZd z%eJhqkE_IXzJ5k!#76zAiP(l*gUHq{gdyq8SGiqoOi?>%-k#Mp;27t;-)HahFTqpM zPGmQv=9m?WqvEGJPH1rS;)utEICb7ZHdGi3DGi|w)fjcv*R=`; zYsLA9JSRJ#TrNL-8yH6}R9x+C<5E!=|L&@#^PX&2kg;XLl5y{B+A%GHo-)pX5jyz^p_%13-lHI-_2X@0N`tr;hCDReY23QkQSLwL>yxBXOh2K>0Jo zvj_k|D9Dg>D*krw{@TwR_=`I7yqw$YDotH3_Gj8IkN_zF$>s zNDDU?QY$FK;umu4lp!f~tv!#LGY7Zj#QS28zQ)2>j`ZxTM^hbkYR03{49ze!OS47` zZD!36(adz3p8jB%;SsT3b}ls|KGl(vk?qJxUquzLvxI*SQ_ngaIeF0rL#BLdR(9@M zp;1z9c3S>wdtj@av^CVK)Ya>R^+`QEsG3|+u6<1yO>xFBTK=OrvoIHG4JDTuIm&mJ z%96^g3~e-lGS+GnS_Re<$~X%wv(X&vkG0WOZ9OAx1#N}iIXDJQn`qdUrWs9J#%wcb z$2FP+@`!)(+E@!~F>1<;+A@w~;JB>S#6VnxaXGjShGT^h1IJ}Jj)rSvIExw1nX%9& zI6ub1-lWW87Wg(`ZH&cc)Rb8ntHAVu^{i%_w#;JEwzXO{bFmq%8Vqcvo0M5;*dI#^ zD+Y66X_JN3lv!-rGMgFV#~N8JuNloW#FRC1;)5T6f$&UPH1!0&hje2Z6RnvG!`Za; z1m=Kautqb)k7XH)ww_swmGIDLurdi?!7)rGR$FFfG;0%J*38*#)bJH+HgTHynJrpO z&DNXrXR|=wU^yeJ!H;82u%6Xuv%zr%Ii&8-k(-*HVbAqR+9$KtWK%xbyO1(0%+3}? lwkW3!i_(kjg1{4nV4fp2*WnX^R)%4XVbi8PmiTzs{{Z?T@#z2n literal 0 HcmV?d00001 diff --git a/test/unit_tests/decoder_2d_dly_and_2_4/run/test.prs b/test/unit_tests/decoder_2d_dly_and_2_4/run/test.prs new file mode 100644 index 0000000..36414e6 --- /dev/null +++ b/test/unit_tests/decoder_2d_dly_and_2_4/run/test.prs @@ -0,0 +1,948 @@ += "GND" "GND" += "Vdd" "Vdd" += "Reset" "Reset" +"Reset"->"t._reset_B"- +~("Reset")->"t._reset_B"+ += "t._reset_B" "t.de.reset_B" += "t.ag.iny[0]" "t.ag.ands[1].b" += "t.ag.iny[0]" "t.ag.ands[0].b" += "t.ag.iny[1]" "t.ag.ands[3].b" += "t.ag.iny[1]" "t.ag.ands[2].b" += "t.ag.iny[2]" "t.ag.ands[5].b" += "t.ag.iny[2]" "t.ag.ands[4].b" += "t.ag.iny[3]" "t.ag.ands[7].b" += "t.ag.iny[3]" "t.ag.ands[6].b" += "t.ag.inx[0]" "t.ag.ands[6].a" += "t.ag.inx[0]" "t.ag.ands[4].a" += "t.ag.inx[0]" "t.ag.ands[2].a" += "t.ag.inx[0]" "t.ag.ands[0].a" += "t.ag.inx[1]" "t.ag.ands[7].a" += "t.ag.inx[1]" "t.ag.ands[5].a" += "t.ag.inx[1]" "t.ag.ands[3].a" += "t.ag.inx[1]" "t.ag.ands[1].a" +"t.ag.ands[0].a"&"t.ag.ands[0].b"->"t.ag.ands[0]._y"- +~("t.ag.ands[0].a"&"t.ag.ands[0].b")->"t.ag.ands[0]._y"+ +"t.ag.ands[0]._y"->"t.ag.ands[0].y"- +~("t.ag.ands[0]._y")->"t.ag.ands[0].y"+ +"t.ag.ands[1].a"&"t.ag.ands[1].b"->"t.ag.ands[1]._y"- +~("t.ag.ands[1].a"&"t.ag.ands[1].b")->"t.ag.ands[1]._y"+ +"t.ag.ands[1]._y"->"t.ag.ands[1].y"- +~("t.ag.ands[1]._y")->"t.ag.ands[1].y"+ +"t.ag.ands[2].a"&"t.ag.ands[2].b"->"t.ag.ands[2]._y"- +~("t.ag.ands[2].a"&"t.ag.ands[2].b")->"t.ag.ands[2]._y"+ +"t.ag.ands[2]._y"->"t.ag.ands[2].y"- +~("t.ag.ands[2]._y")->"t.ag.ands[2].y"+ +"t.ag.ands[3].a"&"t.ag.ands[3].b"->"t.ag.ands[3]._y"- +~("t.ag.ands[3].a"&"t.ag.ands[3].b")->"t.ag.ands[3]._y"+ +"t.ag.ands[3]._y"->"t.ag.ands[3].y"- +~("t.ag.ands[3]._y")->"t.ag.ands[3].y"+ +"t.ag.ands[4].a"&"t.ag.ands[4].b"->"t.ag.ands[4]._y"- +~("t.ag.ands[4].a"&"t.ag.ands[4].b")->"t.ag.ands[4]._y"+ +"t.ag.ands[4]._y"->"t.ag.ands[4].y"- +~("t.ag.ands[4]._y")->"t.ag.ands[4].y"+ +"t.ag.ands[5].a"&"t.ag.ands[5].b"->"t.ag.ands[5]._y"- +~("t.ag.ands[5].a"&"t.ag.ands[5].b")->"t.ag.ands[5]._y"+ +"t.ag.ands[5]._y"->"t.ag.ands[5].y"- +~("t.ag.ands[5]._y")->"t.ag.ands[5].y"+ +"t.ag.ands[6].a"&"t.ag.ands[6].b"->"t.ag.ands[6]._y"- +~("t.ag.ands[6].a"&"t.ag.ands[6].b")->"t.ag.ands[6]._y"+ +"t.ag.ands[6]._y"->"t.ag.ands[6].y"- +~("t.ag.ands[6]._y")->"t.ag.ands[6].y"+ +"t.ag.ands[7].a"&"t.ag.ands[7].b"->"t.ag.ands[7]._y"- +~("t.ag.ands[7].a"&"t.ag.ands[7].b")->"t.ag.ands[7]._y"+ +"t.ag.ands[7]._y"->"t.ag.ands[7].y"- +~("t.ag.ands[7]._y")->"t.ag.ands[7].y"+ += "t.ag.supply.vdd" "t.ag.ands[7].vdd" += "t.ag.supply.vdd" "t.ag.ands[6].vdd" += "t.ag.supply.vdd" "t.ag.ands[5].vdd" += "t.ag.supply.vdd" "t.ag.ands[4].vdd" += "t.ag.supply.vdd" "t.ag.ands[3].vdd" += "t.ag.supply.vdd" "t.ag.ands[2].vdd" += "t.ag.supply.vdd" "t.ag.ands[1].vdd" += "t.ag.supply.vdd" "t.ag.ands[0].vdd" += "t.ag.supply.vss" "t.ag.ands[7].vss" += "t.ag.supply.vss" "t.ag.ands[6].vss" += "t.ag.supply.vss" "t.ag.ands[5].vss" += "t.ag.supply.vss" "t.ag.ands[4].vss" += "t.ag.supply.vss" "t.ag.ands[3].vss" += "t.ag.supply.vss" "t.ag.ands[2].vss" += "t.ag.supply.vss" "t.ag.ands[1].vss" += "t.ag.supply.vss" "t.ag.ands[0].vss" += "t.ag.out[0]" "t.ag.ands[0].y" += "t.ag.out[1]" "t.ag.ands[1].y" += "t.ag.out[2]" "t.ag.ands[2].y" += "t.ag.out[3]" "t.ag.ands[3].y" += "t.ag.out[4]" "t.ag.ands[4].y" += "t.ag.out[5]" "t.ag.ands[5].y" += "t.ag.out[6]" "t.ag.ands[6].y" += "t.ag.out[7]" "t.ag.ands[7].y" += "t.ag.inx[0]" "t.de.outx[0]" += "t.ag.inx[1]" "t.de.outx[1]" += "t.ag.iny[0]" "t.de.outy[0]" += "t.ag.iny[1]" "t.de.outy[1]" += "t.ag.iny[2]" "t.de.outy[2]" += "t.ag.iny[3]" "t.de.outy[3]" += "Vdd" "t.ag.supply.vdd" += "GND" "t.ag.supply.vss" +"t.de.atree_x[0].b.a"->"t.de.atree_x[0].b._y"- +~("t.de.atree_x[0].b.a")->"t.de.atree_x[0].b._y"+ +"t.de.atree_x[0].b._y"->"t.de.atree_x[0].b.y"- +~("t.de.atree_x[0].b._y")->"t.de.atree_x[0].b.y"+ += "t.de.atree_x[0].supply.vdd" "t.de.atree_x[0].b.vdd" += "t.de.atree_x[0].supply.vss" "t.de.atree_x[0].b.vss" += "t.de.atree_x[0].out" "t.de.atree_x[0].b.y" += "t.de.atree_x[0].in[0]" "t.de.atree_x[0].b.a" +"t.de.atree_x[1].b.a"->"t.de.atree_x[1].b._y"- +~("t.de.atree_x[1].b.a")->"t.de.atree_x[1].b._y"+ +"t.de.atree_x[1].b._y"->"t.de.atree_x[1].b.y"- +~("t.de.atree_x[1].b._y")->"t.de.atree_x[1].b.y"+ += "t.de.atree_x[1].supply.vdd" "t.de.atree_x[1].b.vdd" += "t.de.atree_x[1].supply.vss" "t.de.atree_x[1].b.vss" += "t.de.atree_x[1].out" "t.de.atree_x[1].b.y" += "t.de.atree_x[1].in[0]" "t.de.atree_x[1].b.a" += "t.de.atree_x[1].in[0]" "t.de.addr_buf.out.d.d[0].t" += "t.de.atree_x[1].in[0]" "t.de.addr_buf.out.d.d[0].d[1]" += "t.de.atree_x[1].in[0]" "t.de.vtree_x.in.d[0].t" += "t.de.atree_x[1].in[0]" "t.de.vtree_x.in.d[0].d[1]" += "t.de.atree_x[0].in[0]" "t.de.addr_buf.out.d.d[0].f" += "t.de.atree_x[0].in[0]" "t.de.addr_buf.out.d.d[0].d[0]" += "t.de.atree_x[0].in[0]" "t.de.vtree_x.in.d[0].f" += "t.de.atree_x[0].in[0]" "t.de.vtree_x.in.d[0].d[0]" += "t.de.dly_cfg[0]" "t.de.dly.s[0]" += "t.de.dly_cfg[1]" "t.de.dly.s[1]" += "t.de.dly_cfg[2]" "t.de.dly.s[2]" += "t.de.dly_cfg[3]" "t.de.dly.s[3]" += "t.de.supply.vss" "t.de.atree_y[3].supply.vss" += "t.de.supply.vdd" "t.de.atree_y[3].supply.vdd" += "t.de.supply.vss" "t.de.atree_y[2].supply.vss" += "t.de.supply.vdd" "t.de.atree_y[2].supply.vdd" += "t.de.supply.vss" "t.de.atree_y[1].supply.vss" += "t.de.supply.vdd" "t.de.atree_y[1].supply.vdd" += "t.de.supply.vss" "t.de.atree_y[0].supply.vss" += "t.de.supply.vdd" "t.de.atree_y[0].supply.vdd" += "t.de.supply.vss" "t.de.atree_x[1].supply.vss" += "t.de.supply.vdd" "t.de.atree_x[1].supply.vdd" += "t.de.supply.vss" "t.de.atree_x[0].supply.vss" += "t.de.supply.vdd" "t.de.atree_x[0].supply.vdd" += "t.de.supply.vss" "t.de.dly.supply.vss" += "t.de.supply.vdd" "t.de.dly.supply.vdd" += "t.de.supply.vss" "t.de.vtree_y.supply.vss" += "t.de.supply.vdd" "t.de.vtree_y.supply.vdd" += "t.de.supply.vss" "t.de.vtree_x.supply.vss" += "t.de.supply.vdd" "t.de.vtree_x.supply.vdd" += "t.de.supply.vss" "t.de.addr_buf.supply.vss" += "t.de.supply.vdd" "t.de.addr_buf.supply.vdd" += "t.de.supply.vdd" "t.de.C2el.vdd" += "t.de.supply.vss" "t.de.C2el.vss" +~"t.de.C2el.c1"&~"t.de.C2el.c2"->"t.de.C2el._y"+ +"t.de.C2el.c1"&"t.de.C2el.c2"->"t.de.C2el._y"- +"t.de.C2el._y"->"t.de.C2el.y"- +~("t.de.C2el._y")->"t.de.C2el.y"+ += "t.de.C2el.c1" "t.de.vtree_x.out" += "t.de.C2el.c2" "t.de.vtree_y.out" +"t.de.dly.and2[0].a"&"t.de.dly.and2[0].b"->"t.de.dly.and2[0]._y"- +~("t.de.dly.and2[0].a"&"t.de.dly.and2[0].b")->"t.de.dly.and2[0]._y"+ +"t.de.dly.and2[0]._y"->"t.de.dly.and2[0].y"- +~("t.de.dly.and2[0]._y")->"t.de.dly.and2[0].y"+ +"t.de.dly.and2[1].a"&"t.de.dly.and2[1].b"->"t.de.dly.and2[1]._y"- +~("t.de.dly.and2[1].a"&"t.de.dly.and2[1].b")->"t.de.dly.and2[1]._y"+ +"t.de.dly.and2[1]._y"->"t.de.dly.and2[1].y"- +~("t.de.dly.and2[1]._y")->"t.de.dly.and2[1].y"+ +"t.de.dly.and2[2].a"&"t.de.dly.and2[2].b"->"t.de.dly.and2[2]._y"- +~("t.de.dly.and2[2].a"&"t.de.dly.and2[2].b")->"t.de.dly.and2[2]._y"+ +"t.de.dly.and2[2]._y"->"t.de.dly.and2[2].y"- +~("t.de.dly.and2[2]._y")->"t.de.dly.and2[2].y"+ +"t.de.dly.and2[3].a"&"t.de.dly.and2[3].b"->"t.de.dly.and2[3]._y"- +~("t.de.dly.and2[3].a"&"t.de.dly.and2[3].b")->"t.de.dly.and2[3]._y"+ +"t.de.dly.and2[3]._y"->"t.de.dly.and2[3].y"- +~("t.de.dly.and2[3]._y")->"t.de.dly.and2[3].y"+ += "t.de.dly.s[0]" "t.de.dly.mu2[0].s" += "t.de.dly.s[0]" "t.de.dly.and2[0].b" += "t.de.dly.s[1]" "t.de.dly.mu2[1].s" += "t.de.dly.s[1]" "t.de.dly.and2[1].b" += "t.de.dly.s[2]" "t.de.dly.mu2[2].s" += "t.de.dly.s[2]" "t.de.dly.and2[2].b" += "t.de.dly.s[3]" "t.de.dly.mu2[3].s" += "t.de.dly.s[3]" "t.de.dly.and2[3].b" += "t.de.dly.supply.vdd" "t.de.dly.dly[14].vdd" += "t.de.dly.supply.vdd" "t.de.dly.dly[13].vdd" += "t.de.dly.supply.vdd" "t.de.dly.dly[12].vdd" += "t.de.dly.supply.vdd" "t.de.dly.dly[11].vdd" += "t.de.dly.supply.vdd" "t.de.dly.dly[10].vdd" += "t.de.dly.supply.vdd" "t.de.dly.dly[9].vdd" += "t.de.dly.supply.vdd" "t.de.dly.dly[8].vdd" += "t.de.dly.supply.vdd" "t.de.dly.dly[7].vdd" += "t.de.dly.supply.vdd" "t.de.dly.dly[6].vdd" += "t.de.dly.supply.vdd" "t.de.dly.dly[5].vdd" += "t.de.dly.supply.vdd" "t.de.dly.dly[4].vdd" += "t.de.dly.supply.vdd" "t.de.dly.dly[3].vdd" += "t.de.dly.supply.vdd" "t.de.dly.dly[2].vdd" += "t.de.dly.supply.vdd" "t.de.dly.dly[1].vdd" += "t.de.dly.supply.vdd" "t.de.dly.dly[0].vdd" += "t.de.dly.supply.vdd" "t.de.dly.mu2[3].vdd" += "t.de.dly.supply.vdd" "t.de.dly.mu2[2].vdd" += "t.de.dly.supply.vdd" "t.de.dly.mu2[1].vdd" += "t.de.dly.supply.vdd" "t.de.dly.mu2[0].vdd" += "t.de.dly.supply.vdd" "t.de.dly.and2[3].vdd" += "t.de.dly.supply.vdd" "t.de.dly.and2[2].vdd" += "t.de.dly.supply.vdd" "t.de.dly.and2[1].vdd" += "t.de.dly.supply.vdd" "t.de.dly.and2[0].vdd" += "t.de.dly.supply.vss" "t.de.dly.dly[14].vss" += "t.de.dly.supply.vss" "t.de.dly.dly[13].vss" += "t.de.dly.supply.vss" "t.de.dly.dly[12].vss" += "t.de.dly.supply.vss" "t.de.dly.dly[11].vss" += "t.de.dly.supply.vss" "t.de.dly.dly[10].vss" += "t.de.dly.supply.vss" "t.de.dly.dly[9].vss" += "t.de.dly.supply.vss" "t.de.dly.dly[8].vss" += "t.de.dly.supply.vss" "t.de.dly.dly[7].vss" += "t.de.dly.supply.vss" "t.de.dly.dly[6].vss" += "t.de.dly.supply.vss" "t.de.dly.dly[5].vss" += "t.de.dly.supply.vss" "t.de.dly.dly[4].vss" += "t.de.dly.supply.vss" "t.de.dly.dly[3].vss" += "t.de.dly.supply.vss" "t.de.dly.dly[2].vss" += "t.de.dly.supply.vss" "t.de.dly.dly[1].vss" += "t.de.dly.supply.vss" "t.de.dly.dly[0].vss" += "t.de.dly.supply.vss" "t.de.dly.mu2[3].vss" += "t.de.dly.supply.vss" "t.de.dly.mu2[2].vss" += "t.de.dly.supply.vss" "t.de.dly.mu2[1].vss" += "t.de.dly.supply.vss" "t.de.dly.mu2[0].vss" += "t.de.dly.supply.vss" "t.de.dly.and2[3].vss" += "t.de.dly.supply.vss" "t.de.dly.and2[2].vss" += "t.de.dly.supply.vss" "t.de.dly.and2[1].vss" += "t.de.dly.supply.vss" "t.de.dly.and2[0].vss" +"t.de.dly.mu2[0].s"->"t.de.dly.mu2[0]._s"- +~("t.de.dly.mu2[0].s")->"t.de.dly.mu2[0]._s"+ +~"t.de.dly.mu2[0].a"&~"t.de.dly.mu2[0].s"|~"t.de.dly.mu2[0].b"&~"t.de.dly.mu2[0]._s"->"t.de.dly.mu2[0]._y"+ +"t.de.dly.mu2[0].a"&"t.de.dly.mu2[0]._s"|"t.de.dly.mu2[0].b"&"t.de.dly.mu2[0].s"->"t.de.dly.mu2[0]._y"- +"t.de.dly.mu2[0]._y"->"t.de.dly.mu2[0].y"- +~("t.de.dly.mu2[0]._y")->"t.de.dly.mu2[0].y"+ +"t.de.dly.mu2[1].s"->"t.de.dly.mu2[1]._s"- +~("t.de.dly.mu2[1].s")->"t.de.dly.mu2[1]._s"+ +~"t.de.dly.mu2[1].a"&~"t.de.dly.mu2[1].s"|~"t.de.dly.mu2[1].b"&~"t.de.dly.mu2[1]._s"->"t.de.dly.mu2[1]._y"+ +"t.de.dly.mu2[1].a"&"t.de.dly.mu2[1]._s"|"t.de.dly.mu2[1].b"&"t.de.dly.mu2[1].s"->"t.de.dly.mu2[1]._y"- +"t.de.dly.mu2[1]._y"->"t.de.dly.mu2[1].y"- +~("t.de.dly.mu2[1]._y")->"t.de.dly.mu2[1].y"+ +"t.de.dly.mu2[2].s"->"t.de.dly.mu2[2]._s"- +~("t.de.dly.mu2[2].s")->"t.de.dly.mu2[2]._s"+ +~"t.de.dly.mu2[2].a"&~"t.de.dly.mu2[2].s"|~"t.de.dly.mu2[2].b"&~"t.de.dly.mu2[2]._s"->"t.de.dly.mu2[2]._y"+ +"t.de.dly.mu2[2].a"&"t.de.dly.mu2[2]._s"|"t.de.dly.mu2[2].b"&"t.de.dly.mu2[2].s"->"t.de.dly.mu2[2]._y"- +"t.de.dly.mu2[2]._y"->"t.de.dly.mu2[2].y"- +~("t.de.dly.mu2[2]._y")->"t.de.dly.mu2[2].y"+ +"t.de.dly.mu2[3].s"->"t.de.dly.mu2[3]._s"- +~("t.de.dly.mu2[3].s")->"t.de.dly.mu2[3]._s"+ +~"t.de.dly.mu2[3].a"&~"t.de.dly.mu2[3].s"|~"t.de.dly.mu2[3].b"&~"t.de.dly.mu2[3]._s"->"t.de.dly.mu2[3]._y"+ +"t.de.dly.mu2[3].a"&"t.de.dly.mu2[3]._s"|"t.de.dly.mu2[3].b"&"t.de.dly.mu2[3].s"->"t.de.dly.mu2[3]._y"- +"t.de.dly.mu2[3]._y"->"t.de.dly.mu2[3].y"- +~("t.de.dly.mu2[3]._y")->"t.de.dly.mu2[3].y"+ +"t.de.dly.dly[0].a"->"t.de.dly.dly[0]._y"- +~("t.de.dly.dly[0].a")->"t.de.dly.dly[0]._y"+ +"t.de.dly.dly[0]._y"->"t.de.dly.dly[0].__y"- +~("t.de.dly.dly[0]._y")->"t.de.dly.dly[0].__y"+ +"t.de.dly.dly[0].__y"->"t.de.dly.dly[0].___y"- +~("t.de.dly.dly[0].__y")->"t.de.dly.dly[0].___y"+ +"t.de.dly.dly[0].___y"->"t.de.dly.dly[0].y"- +~("t.de.dly.dly[0].___y")->"t.de.dly.dly[0].y"+ +"t.de.dly.dly[1].a"->"t.de.dly.dly[1]._y"- +~("t.de.dly.dly[1].a")->"t.de.dly.dly[1]._y"+ +"t.de.dly.dly[1]._y"->"t.de.dly.dly[1].__y"- +~("t.de.dly.dly[1]._y")->"t.de.dly.dly[1].__y"+ +"t.de.dly.dly[1].__y"->"t.de.dly.dly[1].___y"- +~("t.de.dly.dly[1].__y")->"t.de.dly.dly[1].___y"+ +"t.de.dly.dly[1].___y"->"t.de.dly.dly[1].y"- +~("t.de.dly.dly[1].___y")->"t.de.dly.dly[1].y"+ +"t.de.dly.dly[2].a"->"t.de.dly.dly[2]._y"- +~("t.de.dly.dly[2].a")->"t.de.dly.dly[2]._y"+ +"t.de.dly.dly[2]._y"->"t.de.dly.dly[2].__y"- +~("t.de.dly.dly[2]._y")->"t.de.dly.dly[2].__y"+ +"t.de.dly.dly[2].__y"->"t.de.dly.dly[2].___y"- +~("t.de.dly.dly[2].__y")->"t.de.dly.dly[2].___y"+ +"t.de.dly.dly[2].___y"->"t.de.dly.dly[2].y"- +~("t.de.dly.dly[2].___y")->"t.de.dly.dly[2].y"+ +"t.de.dly.dly[3].a"->"t.de.dly.dly[3]._y"- +~("t.de.dly.dly[3].a")->"t.de.dly.dly[3]._y"+ +"t.de.dly.dly[3]._y"->"t.de.dly.dly[3].__y"- +~("t.de.dly.dly[3]._y")->"t.de.dly.dly[3].__y"+ +"t.de.dly.dly[3].__y"->"t.de.dly.dly[3].___y"- +~("t.de.dly.dly[3].__y")->"t.de.dly.dly[3].___y"+ +"t.de.dly.dly[3].___y"->"t.de.dly.dly[3].y"- +~("t.de.dly.dly[3].___y")->"t.de.dly.dly[3].y"+ +"t.de.dly.dly[4].a"->"t.de.dly.dly[4]._y"- +~("t.de.dly.dly[4].a")->"t.de.dly.dly[4]._y"+ +"t.de.dly.dly[4]._y"->"t.de.dly.dly[4].__y"- +~("t.de.dly.dly[4]._y")->"t.de.dly.dly[4].__y"+ +"t.de.dly.dly[4].__y"->"t.de.dly.dly[4].___y"- +~("t.de.dly.dly[4].__y")->"t.de.dly.dly[4].___y"+ +"t.de.dly.dly[4].___y"->"t.de.dly.dly[4].y"- +~("t.de.dly.dly[4].___y")->"t.de.dly.dly[4].y"+ +"t.de.dly.dly[5].a"->"t.de.dly.dly[5]._y"- +~("t.de.dly.dly[5].a")->"t.de.dly.dly[5]._y"+ +"t.de.dly.dly[5]._y"->"t.de.dly.dly[5].__y"- +~("t.de.dly.dly[5]._y")->"t.de.dly.dly[5].__y"+ +"t.de.dly.dly[5].__y"->"t.de.dly.dly[5].___y"- +~("t.de.dly.dly[5].__y")->"t.de.dly.dly[5].___y"+ +"t.de.dly.dly[5].___y"->"t.de.dly.dly[5].y"- +~("t.de.dly.dly[5].___y")->"t.de.dly.dly[5].y"+ +"t.de.dly.dly[6].a"->"t.de.dly.dly[6]._y"- +~("t.de.dly.dly[6].a")->"t.de.dly.dly[6]._y"+ +"t.de.dly.dly[6]._y"->"t.de.dly.dly[6].__y"- +~("t.de.dly.dly[6]._y")->"t.de.dly.dly[6].__y"+ +"t.de.dly.dly[6].__y"->"t.de.dly.dly[6].___y"- +~("t.de.dly.dly[6].__y")->"t.de.dly.dly[6].___y"+ +"t.de.dly.dly[6].___y"->"t.de.dly.dly[6].y"- +~("t.de.dly.dly[6].___y")->"t.de.dly.dly[6].y"+ +"t.de.dly.dly[7].a"->"t.de.dly.dly[7]._y"- +~("t.de.dly.dly[7].a")->"t.de.dly.dly[7]._y"+ +"t.de.dly.dly[7]._y"->"t.de.dly.dly[7].__y"- +~("t.de.dly.dly[7]._y")->"t.de.dly.dly[7].__y"+ +"t.de.dly.dly[7].__y"->"t.de.dly.dly[7].___y"- +~("t.de.dly.dly[7].__y")->"t.de.dly.dly[7].___y"+ +"t.de.dly.dly[7].___y"->"t.de.dly.dly[7].y"- +~("t.de.dly.dly[7].___y")->"t.de.dly.dly[7].y"+ +"t.de.dly.dly[8].a"->"t.de.dly.dly[8]._y"- +~("t.de.dly.dly[8].a")->"t.de.dly.dly[8]._y"+ +"t.de.dly.dly[8]._y"->"t.de.dly.dly[8].__y"- +~("t.de.dly.dly[8]._y")->"t.de.dly.dly[8].__y"+ +"t.de.dly.dly[8].__y"->"t.de.dly.dly[8].___y"- +~("t.de.dly.dly[8].__y")->"t.de.dly.dly[8].___y"+ +"t.de.dly.dly[8].___y"->"t.de.dly.dly[8].y"- +~("t.de.dly.dly[8].___y")->"t.de.dly.dly[8].y"+ +"t.de.dly.dly[9].a"->"t.de.dly.dly[9]._y"- +~("t.de.dly.dly[9].a")->"t.de.dly.dly[9]._y"+ +"t.de.dly.dly[9]._y"->"t.de.dly.dly[9].__y"- +~("t.de.dly.dly[9]._y")->"t.de.dly.dly[9].__y"+ +"t.de.dly.dly[9].__y"->"t.de.dly.dly[9].___y"- +~("t.de.dly.dly[9].__y")->"t.de.dly.dly[9].___y"+ +"t.de.dly.dly[9].___y"->"t.de.dly.dly[9].y"- +~("t.de.dly.dly[9].___y")->"t.de.dly.dly[9].y"+ +"t.de.dly.dly[10].a"->"t.de.dly.dly[10]._y"- +~("t.de.dly.dly[10].a")->"t.de.dly.dly[10]._y"+ +"t.de.dly.dly[10]._y"->"t.de.dly.dly[10].__y"- +~("t.de.dly.dly[10]._y")->"t.de.dly.dly[10].__y"+ +"t.de.dly.dly[10].__y"->"t.de.dly.dly[10].___y"- +~("t.de.dly.dly[10].__y")->"t.de.dly.dly[10].___y"+ +"t.de.dly.dly[10].___y"->"t.de.dly.dly[10].y"- +~("t.de.dly.dly[10].___y")->"t.de.dly.dly[10].y"+ +"t.de.dly.dly[11].a"->"t.de.dly.dly[11]._y"- +~("t.de.dly.dly[11].a")->"t.de.dly.dly[11]._y"+ +"t.de.dly.dly[11]._y"->"t.de.dly.dly[11].__y"- +~("t.de.dly.dly[11]._y")->"t.de.dly.dly[11].__y"+ +"t.de.dly.dly[11].__y"->"t.de.dly.dly[11].___y"- +~("t.de.dly.dly[11].__y")->"t.de.dly.dly[11].___y"+ +"t.de.dly.dly[11].___y"->"t.de.dly.dly[11].y"- +~("t.de.dly.dly[11].___y")->"t.de.dly.dly[11].y"+ +"t.de.dly.dly[12].a"->"t.de.dly.dly[12]._y"- +~("t.de.dly.dly[12].a")->"t.de.dly.dly[12]._y"+ +"t.de.dly.dly[12]._y"->"t.de.dly.dly[12].__y"- +~("t.de.dly.dly[12]._y")->"t.de.dly.dly[12].__y"+ +"t.de.dly.dly[12].__y"->"t.de.dly.dly[12].___y"- +~("t.de.dly.dly[12].__y")->"t.de.dly.dly[12].___y"+ +"t.de.dly.dly[12].___y"->"t.de.dly.dly[12].y"- +~("t.de.dly.dly[12].___y")->"t.de.dly.dly[12].y"+ +"t.de.dly.dly[13].a"->"t.de.dly.dly[13]._y"- +~("t.de.dly.dly[13].a")->"t.de.dly.dly[13]._y"+ +"t.de.dly.dly[13]._y"->"t.de.dly.dly[13].__y"- +~("t.de.dly.dly[13]._y")->"t.de.dly.dly[13].__y"+ +"t.de.dly.dly[13].__y"->"t.de.dly.dly[13].___y"- +~("t.de.dly.dly[13].__y")->"t.de.dly.dly[13].___y"+ +"t.de.dly.dly[13].___y"->"t.de.dly.dly[13].y"- +~("t.de.dly.dly[13].___y")->"t.de.dly.dly[13].y"+ +"t.de.dly.dly[14].a"->"t.de.dly.dly[14]._y"- +~("t.de.dly.dly[14].a")->"t.de.dly.dly[14]._y"+ +"t.de.dly.dly[14]._y"->"t.de.dly.dly[14].__y"- +~("t.de.dly.dly[14]._y")->"t.de.dly.dly[14].__y"+ +"t.de.dly.dly[14].__y"->"t.de.dly.dly[14].___y"- +~("t.de.dly.dly[14].__y")->"t.de.dly.dly[14].___y"+ +"t.de.dly.dly[14].___y"->"t.de.dly.dly[14].y"- +~("t.de.dly.dly[14].___y")->"t.de.dly.dly[14].y"+ += "t.de.dly.dly[14].y" "t.de.dly.mu2[3].b" += "t.de.dly.dly[14].a" "t.de.dly.dly[13].y" += "t.de.dly.dly[13].a" "t.de.dly.dly[12].y" += "t.de.dly.dly[12].a" "t.de.dly.dly[11].y" += "t.de.dly.dly[11].a" "t.de.dly.dly[10].y" += "t.de.dly.dly[10].a" "t.de.dly.dly[9].y" += "t.de.dly.dly[9].a" "t.de.dly.dly[8].y" += "t.de.dly.dly[8].a" "t.de.dly.dly[7].y" += "t.de.dly.dly[7].a" "t.de.dly.and2[3].y" += "t.de.dly.dly[6].y" "t.de.dly.mu2[2].b" += "t.de.dly.dly[6].a" "t.de.dly.dly[5].y" += "t.de.dly.dly[5].a" "t.de.dly.dly[4].y" += "t.de.dly.dly[4].a" "t.de.dly.dly[3].y" += "t.de.dly.dly[3].a" "t.de.dly.and2[2].y" += "t.de.dly.dly[2].y" "t.de.dly.mu2[1].b" += "t.de.dly.dly[2].a" "t.de.dly.dly[1].y" += "t.de.dly.dly[1].a" "t.de.dly.and2[1].y" += "t.de.dly.dly[0].y" "t.de.dly.mu2[0].b" += "t.de.dly.dly[0].a" "t.de.dly.and2[0].y" += "t.de.dly._a[1]" "t.de.dly.mu2[1].a" += "t.de.dly._a[1]" "t.de.dly.and2[1].a" += "t.de.dly._a[1]" "t.de.dly.mu2[0].y" += "t.de.dly._a[2]" "t.de.dly.mu2[2].a" += "t.de.dly._a[2]" "t.de.dly.and2[2].a" += "t.de.dly._a[2]" "t.de.dly.mu2[1].y" += "t.de.dly._a[3]" "t.de.dly.mu2[3].a" += "t.de.dly._a[3]" "t.de.dly.and2[3].a" += "t.de.dly._a[3]" "t.de.dly.mu2[2].y" += "t.de.dly.out" "t.de.dly.mu2[3].y" += "t.de.dly.out" "t.de.dly._a[4]" += "t.de.dly.in" "t.de.dly.mu2[0].a" += "t.de.dly.in" "t.de.dly.and2[0].a" += "t.de.dly.in" "t.de.dly._a[0]" += "t.de.dly.out" "t.de.addr_buf.out.a" += "t.de.dly.in" "t.de.addr_buf.out.v" += "t.de.dly.in" "t.de.C2el.y" += "t.de.atree_y[0].supply.vdd" "t.de.atree_y[0].and2s[0].vdd" += "t.de.atree_y[0].supply.vss" "t.de.atree_y[0].and2s[0].vss" +"t.de.atree_y[0].and2s[0].a"&"t.de.atree_y[0].and2s[0].b"->"t.de.atree_y[0].and2s[0]._y"- +~("t.de.atree_y[0].and2s[0].a"&"t.de.atree_y[0].and2s[0].b")->"t.de.atree_y[0].and2s[0]._y"+ +"t.de.atree_y[0].and2s[0]._y"->"t.de.atree_y[0].and2s[0].y"- +~("t.de.atree_y[0].and2s[0]._y")->"t.de.atree_y[0].and2s[0].y"+ += "t.de.atree_y[0].in[0]" "t.de.atree_y[0].and2s[0].a" += "t.de.atree_y[0].in[0]" "t.de.atree_y[0].tmp[0]" += "t.de.atree_y[0].in[1]" "t.de.atree_y[0].and2s[0].b" += "t.de.atree_y[0].in[1]" "t.de.atree_y[0].tmp[1]" += "t.de.atree_y[0].out" "t.de.atree_y[0].and2s[0].y" += "t.de.atree_y[0].out" "t.de.atree_y[0].tmp[2]" += "t.de.atree_y[1].supply.vdd" "t.de.atree_y[1].and2s[0].vdd" += "t.de.atree_y[1].supply.vss" "t.de.atree_y[1].and2s[0].vss" +"t.de.atree_y[1].and2s[0].a"&"t.de.atree_y[1].and2s[0].b"->"t.de.atree_y[1].and2s[0]._y"- +~("t.de.atree_y[1].and2s[0].a"&"t.de.atree_y[1].and2s[0].b")->"t.de.atree_y[1].and2s[0]._y"+ +"t.de.atree_y[1].and2s[0]._y"->"t.de.atree_y[1].and2s[0].y"- +~("t.de.atree_y[1].and2s[0]._y")->"t.de.atree_y[1].and2s[0].y"+ += "t.de.atree_y[1].in[0]" "t.de.atree_y[1].and2s[0].a" += "t.de.atree_y[1].in[0]" "t.de.atree_y[1].tmp[0]" += "t.de.atree_y[1].in[1]" "t.de.atree_y[1].and2s[0].b" += "t.de.atree_y[1].in[1]" "t.de.atree_y[1].tmp[1]" += "t.de.atree_y[1].out" "t.de.atree_y[1].and2s[0].y" += "t.de.atree_y[1].out" "t.de.atree_y[1].tmp[2]" += "t.de.atree_y[2].supply.vdd" "t.de.atree_y[2].and2s[0].vdd" += "t.de.atree_y[2].supply.vss" "t.de.atree_y[2].and2s[0].vss" +"t.de.atree_y[2].and2s[0].a"&"t.de.atree_y[2].and2s[0].b"->"t.de.atree_y[2].and2s[0]._y"- +~("t.de.atree_y[2].and2s[0].a"&"t.de.atree_y[2].and2s[0].b")->"t.de.atree_y[2].and2s[0]._y"+ +"t.de.atree_y[2].and2s[0]._y"->"t.de.atree_y[2].and2s[0].y"- +~("t.de.atree_y[2].and2s[0]._y")->"t.de.atree_y[2].and2s[0].y"+ += "t.de.atree_y[2].in[0]" "t.de.atree_y[2].and2s[0].a" += "t.de.atree_y[2].in[0]" "t.de.atree_y[2].tmp[0]" += "t.de.atree_y[2].in[1]" "t.de.atree_y[2].and2s[0].b" += "t.de.atree_y[2].in[1]" "t.de.atree_y[2].tmp[1]" += "t.de.atree_y[2].out" "t.de.atree_y[2].and2s[0].y" += "t.de.atree_y[2].out" "t.de.atree_y[2].tmp[2]" += "t.de.atree_y[3].supply.vdd" "t.de.atree_y[3].and2s[0].vdd" += "t.de.atree_y[3].supply.vss" "t.de.atree_y[3].and2s[0].vss" +"t.de.atree_y[3].and2s[0].a"&"t.de.atree_y[3].and2s[0].b"->"t.de.atree_y[3].and2s[0]._y"- +~("t.de.atree_y[3].and2s[0].a"&"t.de.atree_y[3].and2s[0].b")->"t.de.atree_y[3].and2s[0]._y"+ +"t.de.atree_y[3].and2s[0]._y"->"t.de.atree_y[3].and2s[0].y"- +~("t.de.atree_y[3].and2s[0]._y")->"t.de.atree_y[3].and2s[0].y"+ += "t.de.atree_y[3].in[0]" "t.de.atree_y[3].and2s[0].a" += "t.de.atree_y[3].in[0]" "t.de.atree_y[3].tmp[0]" += "t.de.atree_y[3].in[1]" "t.de.atree_y[3].and2s[0].b" += "t.de.atree_y[3].in[1]" "t.de.atree_y[3].tmp[1]" += "t.de.atree_y[3].out" "t.de.atree_y[3].and2s[0].y" += "t.de.atree_y[3].out" "t.de.atree_y[3].tmp[2]" += "t.de.atree_y[3].in[0]" "t.de.addr_buf.out.d.d[1].t" += "t.de.atree_y[3].in[0]" "t.de.addr_buf.out.d.d[1].d[1]" += "t.de.atree_y[3].in[0]" "t.de.vtree_y.in.d[0].t" += "t.de.atree_y[3].in[0]" "t.de.vtree_y.in.d[0].d[1]" += "t.de.atree_y[3].in[0]" "t.de.atree_y[1].in[0]" += "t.de.atree_y[3].in[1]" "t.de.addr_buf.out.d.d[2].t" += "t.de.atree_y[3].in[1]" "t.de.addr_buf.out.d.d[2].d[1]" += "t.de.atree_y[3].in[1]" "t.de.vtree_y.in.d[1].t" += "t.de.atree_y[3].in[1]" "t.de.vtree_y.in.d[1].d[1]" += "t.de.atree_y[3].in[1]" "t.de.atree_y[2].in[1]" += "t.de.atree_y[2].in[0]" "t.de.addr_buf.out.d.d[1].f" += "t.de.atree_y[2].in[0]" "t.de.addr_buf.out.d.d[1].d[0]" += "t.de.atree_y[2].in[0]" "t.de.vtree_y.in.d[0].f" += "t.de.atree_y[2].in[0]" "t.de.vtree_y.in.d[0].d[0]" += "t.de.atree_y[2].in[0]" "t.de.atree_y[0].in[0]" += "t.de.atree_y[1].in[1]" "t.de.addr_buf.out.d.d[2].f" += "t.de.atree_y[1].in[1]" "t.de.addr_buf.out.d.d[2].d[0]" += "t.de.atree_y[1].in[1]" "t.de.vtree_y.in.d[1].f" += "t.de.atree_y[1].in[1]" "t.de.vtree_y.in.d[1].d[0]" += "t.de.atree_y[1].in[1]" "t.de.atree_y[0].in[1]" += "t.de.in.d.d[0].d[0]" "t.de.in.d.d[0].f" += "t.de.in.d.d[0].d[1]" "t.de.in.d.d[0].t" += "t.de.in.d.d[1].d[0]" "t.de.in.d.d[1].f" += "t.de.in.d.d[1].d[1]" "t.de.in.d.d[1].t" += "t.de.in.d.d[2].d[0]" "t.de.in.d.d[2].f" += "t.de.in.d.d[2].d[1]" "t.de.in.d.d[2].t" += "t.de.in.d.d[2].d[0]" "t.de.in.d.d[2].f" += "t.de.in.d.d[2].d[1]" "t.de.in.d.d[2].t" += "t.de.in.d.d[1].d[0]" "t.de.in.d.d[1].f" += "t.de.in.d.d[1].d[1]" "t.de.in.d.d[1].t" += "t.de.in.d.d[0].d[0]" "t.de.in.d.d[0].f" += "t.de.in.d.d[0].d[1]" "t.de.in.d.d[0].t" += "t.de.in.d.d[2].d[0]" "t.de.in.d.d[2].f" += "t.de.in.d.d[2].d[1]" "t.de.in.d.d[2].t" += "t.de.in.d.d[1].d[0]" "t.de.in.d.d[1].f" += "t.de.in.d.d[1].d[1]" "t.de.in.d.d[1].t" += "t.de.in.d.d[0].d[0]" "t.de.in.d.d[0].f" += "t.de.in.d.d[0].d[1]" "t.de.in.d.d[0].t" += "t.de.in.v" "t.de.addr_buf.in.v" += "t.de.in.a" "t.de.addr_buf.in.a" += "t.de.in.d.d[0].f" "t.de.addr_buf.in.d.d[0].f" += "t.de.in.d.d[0].t" "t.de.addr_buf.in.d.d[0].t" += "t.de.in.d.d[0].d[0]" "t.de.addr_buf.in.d.d[0].d[0]" += "t.de.in.d.d[0].d[1]" "t.de.addr_buf.in.d.d[0].d[1]" += "t.de.in.d.d[1].f" "t.de.addr_buf.in.d.d[1].f" += "t.de.in.d.d[1].t" "t.de.addr_buf.in.d.d[1].t" += "t.de.in.d.d[1].d[0]" "t.de.addr_buf.in.d.d[1].d[0]" += "t.de.in.d.d[1].d[1]" "t.de.addr_buf.in.d.d[1].d[1]" += "t.de.in.d.d[2].f" "t.de.addr_buf.in.d.d[2].f" += "t.de.in.d.d[2].t" "t.de.addr_buf.in.d.d[2].t" += "t.de.in.d.d[2].d[0]" "t.de.addr_buf.in.d.d[2].d[0]" += "t.de.in.d.d[2].d[1]" "t.de.addr_buf.in.d.d[2].d[1]" += "t.de.in.d.d[2].d[0]" "t.de.in.d.d[2].f" += "t.de.in.d.d[2].d[1]" "t.de.in.d.d[2].t" += "t.de.in.d.d[1].d[0]" "t.de.in.d.d[1].f" += "t.de.in.d.d[1].d[1]" "t.de.in.d.d[1].t" += "t.de.in.d.d[0].d[0]" "t.de.in.d.d[0].f" += "t.de.in.d.d[0].d[1]" "t.de.in.d.d[0].t" +~"t.de.vtree_y.ct.C2Els[0].c1"&~"t.de.vtree_y.ct.C2Els[0].c2"->"t.de.vtree_y.ct.C2Els[0]._y"+ +"t.de.vtree_y.ct.C2Els[0].c1"&"t.de.vtree_y.ct.C2Els[0].c2"->"t.de.vtree_y.ct.C2Els[0]._y"- +"t.de.vtree_y.ct.C2Els[0]._y"->"t.de.vtree_y.ct.C2Els[0].y"- +~("t.de.vtree_y.ct.C2Els[0]._y")->"t.de.vtree_y.ct.C2Els[0].y"+ += "t.de.vtree_y.ct.supply.vdd" "t.de.vtree_y.ct.C2Els[0].vdd" += "t.de.vtree_y.ct.supply.vss" "t.de.vtree_y.ct.C2Els[0].vss" += "t.de.vtree_y.ct.in[0]" "t.de.vtree_y.ct.C2Els[0].c1" += "t.de.vtree_y.ct.in[0]" "t.de.vtree_y.ct.tmp[0]" += "t.de.vtree_y.ct.in[1]" "t.de.vtree_y.ct.C2Els[0].c2" += "t.de.vtree_y.ct.in[1]" "t.de.vtree_y.ct.tmp[1]" += "t.de.vtree_y.ct.out" "t.de.vtree_y.ct.C2Els[0].y" += "t.de.vtree_y.ct.out" "t.de.vtree_y.ct.tmp[2]" += "t.de.vtree_y.ct.in[0]" "t.de.vtree_y.OR2_tf[0].y" += "t.de.vtree_y.ct.in[1]" "t.de.vtree_y.OR2_tf[1].y" +"t.de.vtree_y.OR2_tf[0].a"|"t.de.vtree_y.OR2_tf[0].b"->"t.de.vtree_y.OR2_tf[0]._y"- +~("t.de.vtree_y.OR2_tf[0].a"|"t.de.vtree_y.OR2_tf[0].b")->"t.de.vtree_y.OR2_tf[0]._y"+ +"t.de.vtree_y.OR2_tf[0]._y"->"t.de.vtree_y.OR2_tf[0].y"- +~("t.de.vtree_y.OR2_tf[0]._y")->"t.de.vtree_y.OR2_tf[0].y"+ +"t.de.vtree_y.OR2_tf[1].a"|"t.de.vtree_y.OR2_tf[1].b"->"t.de.vtree_y.OR2_tf[1]._y"- +~("t.de.vtree_y.OR2_tf[1].a"|"t.de.vtree_y.OR2_tf[1].b")->"t.de.vtree_y.OR2_tf[1]._y"+ +"t.de.vtree_y.OR2_tf[1]._y"->"t.de.vtree_y.OR2_tf[1].y"- +~("t.de.vtree_y.OR2_tf[1]._y")->"t.de.vtree_y.OR2_tf[1].y"+ += "t.de.vtree_y.supply.vss" "t.de.vtree_y.ct.supply.vss" += "t.de.vtree_y.supply.vdd" "t.de.vtree_y.ct.supply.vdd" += "t.de.vtree_y.supply.vdd" "t.de.vtree_y.OR2_tf[1].vdd" += "t.de.vtree_y.supply.vdd" "t.de.vtree_y.OR2_tf[0].vdd" += "t.de.vtree_y.supply.vss" "t.de.vtree_y.OR2_tf[1].vss" += "t.de.vtree_y.supply.vss" "t.de.vtree_y.OR2_tf[0].vss" += "t.de.vtree_y.out" "t.de.vtree_y.ct.out" += "t.de.vtree_y.in.d[0].d[0]" "t.de.vtree_y.in.d[0].f" += "t.de.vtree_y.in.d[0].d[1]" "t.de.vtree_y.in.d[0].t" += "t.de.vtree_y.in.d[1].d[0]" "t.de.vtree_y.in.d[1].f" += "t.de.vtree_y.in.d[1].d[1]" "t.de.vtree_y.in.d[1].t" += "t.de.vtree_y.in.d[1].d[0]" "t.de.vtree_y.in.d[1].f" += "t.de.vtree_y.in.d[1].d[1]" "t.de.vtree_y.in.d[1].t" += "t.de.vtree_y.in.d[0].d[0]" "t.de.vtree_y.in.d[0].f" += "t.de.vtree_y.in.d[0].d[1]" "t.de.vtree_y.in.d[0].t" += "t.de.vtree_y.in.d[1].d[0]" "t.de.vtree_y.OR2_tf[1].b" += "t.de.vtree_y.in.d[1].d[0]" "t.de.vtree_y.in.d[1].f" += "t.de.vtree_y.in.d[1].d[1]" "t.de.vtree_y.OR2_tf[1].a" += "t.de.vtree_y.in.d[1].d[1]" "t.de.vtree_y.in.d[1].t" += "t.de.vtree_y.in.d[0].d[0]" "t.de.vtree_y.OR2_tf[0].b" += "t.de.vtree_y.in.d[0].d[0]" "t.de.vtree_y.in.d[0].f" += "t.de.vtree_y.in.d[0].d[1]" "t.de.vtree_y.OR2_tf[0].a" += "t.de.vtree_y.in.d[0].d[1]" "t.de.vtree_y.in.d[0].t" += "t.de.outy[0]" "t.de.atree_y[0].out" += "t.de.outy[1]" "t.de.atree_y[1].out" += "t.de.outy[2]" "t.de.atree_y[2].out" += "t.de.outy[3]" "t.de.atree_y[3].out" += "t.de.outx[0]" "t.de.atree_x[0].out" += "t.de.outx[1]" "t.de.atree_x[1].out" += "t.de.reset_B" "t.de.addr_buf.reset_B" +"t.de.addr_buf.out_a_B_buf_t.buf1.a"->"t.de.addr_buf.out_a_B_buf_t.buf1._y"- +~("t.de.addr_buf.out_a_B_buf_t.buf1.a")->"t.de.addr_buf.out_a_B_buf_t.buf1._y"+ +"t.de.addr_buf.out_a_B_buf_t.buf1._y"->"t.de.addr_buf.out_a_B_buf_t.buf1.y"- +~("t.de.addr_buf.out_a_B_buf_t.buf1._y")->"t.de.addr_buf.out_a_B_buf_t.buf1.y"+ += "t.de.addr_buf.out_a_B_buf_t.supply.vdd" "t.de.addr_buf.out_a_B_buf_t.buf1.vdd" += "t.de.addr_buf.out_a_B_buf_t.supply.vss" "t.de.addr_buf.out_a_B_buf_t.buf1.vss" += "t.de.addr_buf.out_a_B_buf_t.out[0]" "t.de.addr_buf.out_a_B_buf_t.out[2]" += "t.de.addr_buf.out_a_B_buf_t.out[0]" "t.de.addr_buf.out_a_B_buf_t.out[1]" += "t.de.addr_buf.out_a_B_buf_t.out[0]" "t.de.addr_buf.out_a_B_buf_t.buf1.y" += "t.de.addr_buf.out_a_B_buf_t.in" "t.de.addr_buf.out_a_B_buf_t.buf1.a" += "t.de.addr_buf._en_X_f[0]" "t.de.addr_buf.en_buf_f.out[0]" += "t.de.addr_buf._en_X_f[1]" "t.de.addr_buf.en_buf_f.out[1]" += "t.de.addr_buf._en_X_f[2]" "t.de.addr_buf.en_buf_f.out[2]" += "t.de.addr_buf._en_X_f[0]" "t.de.addr_buf.f_buf_func[2].c1" += "t.de.addr_buf._en_X_f[0]" "t.de.addr_buf.f_buf_func[1].c1" += "t.de.addr_buf._en_X_f[0]" "t.de.addr_buf.f_buf_func[0].c1" += "t.de.addr_buf._en_X_f[0]" "t.de.addr_buf._en_X_f[2]" += "t.de.addr_buf._en_X_f[0]" "t.de.addr_buf._en_X_f[1]" +~"t.de.addr_buf.inack_ctl.c1"&~"t.de.addr_buf.inack_ctl.c2"&~"t.de.addr_buf.inack_ctl.c3"|~"t.de.addr_buf.inack_ctl.pr_B"->"t.de.addr_buf.inack_ctl._y"+ +"t.de.addr_buf.inack_ctl.c1"&"t.de.addr_buf.inack_ctl.c2"&"t.de.addr_buf.inack_ctl.c3"&"t.de.addr_buf.inack_ctl.sr_B"->"t.de.addr_buf.inack_ctl._y"- +"t.de.addr_buf.inack_ctl._y"->"t.de.addr_buf.inack_ctl.y"- +~("t.de.addr_buf.inack_ctl._y")->"t.de.addr_buf.inack_ctl.y"+ +"t.de.addr_buf.reset_bufarray.buf1.a"->"t.de.addr_buf.reset_bufarray.buf1._y"- +~("t.de.addr_buf.reset_bufarray.buf1.a")->"t.de.addr_buf.reset_bufarray.buf1._y"+ +"t.de.addr_buf.reset_bufarray.buf1._y"->"t.de.addr_buf.reset_bufarray.buf1.y"- +~("t.de.addr_buf.reset_bufarray.buf1._y")->"t.de.addr_buf.reset_bufarray.buf1.y"+ += "t.de.addr_buf.reset_bufarray.supply.vdd" "t.de.addr_buf.reset_bufarray.buf1.vdd" += "t.de.addr_buf.reset_bufarray.supply.vss" "t.de.addr_buf.reset_bufarray.buf1.vss" += "t.de.addr_buf.reset_bufarray.out[0]" "t.de.addr_buf.reset_bufarray.out[2]" += "t.de.addr_buf.reset_bufarray.out[0]" "t.de.addr_buf.reset_bufarray.out[1]" += "t.de.addr_buf.reset_bufarray.out[0]" "t.de.addr_buf.reset_bufarray.buf1.y" += "t.de.addr_buf.reset_bufarray.in" "t.de.addr_buf.reset_bufarray.buf1.a" +"t.de.addr_buf.in_v_buf.a"->"t.de.addr_buf.in_v_buf._y"- +~("t.de.addr_buf.in_v_buf.a")->"t.de.addr_buf.in_v_buf._y"+ +"t.de.addr_buf.in_v_buf._y"->"t.de.addr_buf.in_v_buf.y"- +~("t.de.addr_buf.in_v_buf._y")->"t.de.addr_buf.in_v_buf.y"+ +"t.de.addr_buf.out_a_inv.a"->"t.de.addr_buf.out_a_inv.y"- +~("t.de.addr_buf.out_a_inv.a")->"t.de.addr_buf.out_a_inv.y"+ += "t.de.addr_buf.supply.vss" "t.de.addr_buf.en_buf_f.supply.vss" += "t.de.addr_buf.supply.vdd" "t.de.addr_buf.en_buf_f.supply.vdd" += "t.de.addr_buf.supply.vss" "t.de.addr_buf.en_buf_t.supply.vss" += "t.de.addr_buf.supply.vdd" "t.de.addr_buf.en_buf_t.supply.vdd" += "t.de.addr_buf.supply.vss" "t.de.addr_buf.vc.supply.vss" += "t.de.addr_buf.supply.vdd" "t.de.addr_buf.vc.supply.vdd" += "t.de.addr_buf.supply.vdd" "t.de.addr_buf.t_buf_func[2].vdd" += "t.de.addr_buf.supply.vdd" "t.de.addr_buf.f_buf_func[2].vdd" += "t.de.addr_buf.supply.vdd" "t.de.addr_buf.t_buf_func[1].vdd" += "t.de.addr_buf.supply.vdd" "t.de.addr_buf.f_buf_func[1].vdd" += "t.de.addr_buf.supply.vdd" "t.de.addr_buf.t_buf_func[0].vdd" += "t.de.addr_buf.supply.vdd" "t.de.addr_buf.f_buf_func[0].vdd" += "t.de.addr_buf.supply.vdd" "t.de.addr_buf.in_v_buf.vdd" += "t.de.addr_buf.supply.vdd" "t.de.addr_buf.reset_buf.vdd" += "t.de.addr_buf.supply.vdd" "t.de.addr_buf.en_ctl.vdd" += "t.de.addr_buf.supply.vdd" "t.de.addr_buf.inack_ctl.vdd" += "t.de.addr_buf.supply.vss" "t.de.addr_buf.t_buf_func[2].vss" += "t.de.addr_buf.supply.vss" "t.de.addr_buf.f_buf_func[2].vss" += "t.de.addr_buf.supply.vss" "t.de.addr_buf.t_buf_func[1].vss" += "t.de.addr_buf.supply.vss" "t.de.addr_buf.f_buf_func[1].vss" += "t.de.addr_buf.supply.vss" "t.de.addr_buf.t_buf_func[0].vss" += "t.de.addr_buf.supply.vss" "t.de.addr_buf.f_buf_func[0].vss" += "t.de.addr_buf.supply.vss" "t.de.addr_buf.in_v_buf.vss" += "t.de.addr_buf.supply.vss" "t.de.addr_buf.reset_buf.vss" += "t.de.addr_buf.supply.vss" "t.de.addr_buf.en_ctl.vss" += "t.de.addr_buf.supply.vss" "t.de.addr_buf.inack_ctl.vss" +~"t.de.addr_buf.vc.ct.C3Els[0].c1"&~"t.de.addr_buf.vc.ct.C3Els[0].c2"&~"t.de.addr_buf.vc.ct.C3Els[0].c3"->"t.de.addr_buf.vc.ct.C3Els[0]._y"+ +"t.de.addr_buf.vc.ct.C3Els[0].c1"&"t.de.addr_buf.vc.ct.C3Els[0].c2"&"t.de.addr_buf.vc.ct.C3Els[0].c3"->"t.de.addr_buf.vc.ct.C3Els[0]._y"- +"t.de.addr_buf.vc.ct.C3Els[0]._y"->"t.de.addr_buf.vc.ct.C3Els[0].y"- +~("t.de.addr_buf.vc.ct.C3Els[0]._y")->"t.de.addr_buf.vc.ct.C3Els[0].y"+ += "t.de.addr_buf.vc.ct.supply.vdd" "t.de.addr_buf.vc.ct.C3Els[0].vdd" += "t.de.addr_buf.vc.ct.supply.vss" "t.de.addr_buf.vc.ct.C3Els[0].vss" += "t.de.addr_buf.vc.ct.in[0]" "t.de.addr_buf.vc.ct.C3Els[0].c1" += "t.de.addr_buf.vc.ct.in[0]" "t.de.addr_buf.vc.ct.tmp[0]" += "t.de.addr_buf.vc.ct.in[1]" "t.de.addr_buf.vc.ct.C3Els[0].c2" += "t.de.addr_buf.vc.ct.in[1]" "t.de.addr_buf.vc.ct.tmp[1]" += "t.de.addr_buf.vc.ct.in[2]" "t.de.addr_buf.vc.ct.C3Els[0].c3" += "t.de.addr_buf.vc.ct.in[2]" "t.de.addr_buf.vc.ct.tmp[2]" += "t.de.addr_buf.vc.ct.out" "t.de.addr_buf.vc.ct.C3Els[0].y" += "t.de.addr_buf.vc.ct.out" "t.de.addr_buf.vc.ct.tmp[3]" += "t.de.addr_buf.vc.ct.in[0]" "t.de.addr_buf.vc.OR2_tf[0].y" += "t.de.addr_buf.vc.ct.in[1]" "t.de.addr_buf.vc.OR2_tf[1].y" += "t.de.addr_buf.vc.ct.in[2]" "t.de.addr_buf.vc.OR2_tf[2].y" +"t.de.addr_buf.vc.OR2_tf[0].a"|"t.de.addr_buf.vc.OR2_tf[0].b"->"t.de.addr_buf.vc.OR2_tf[0]._y"- +~("t.de.addr_buf.vc.OR2_tf[0].a"|"t.de.addr_buf.vc.OR2_tf[0].b")->"t.de.addr_buf.vc.OR2_tf[0]._y"+ +"t.de.addr_buf.vc.OR2_tf[0]._y"->"t.de.addr_buf.vc.OR2_tf[0].y"- +~("t.de.addr_buf.vc.OR2_tf[0]._y")->"t.de.addr_buf.vc.OR2_tf[0].y"+ +"t.de.addr_buf.vc.OR2_tf[1].a"|"t.de.addr_buf.vc.OR2_tf[1].b"->"t.de.addr_buf.vc.OR2_tf[1]._y"- +~("t.de.addr_buf.vc.OR2_tf[1].a"|"t.de.addr_buf.vc.OR2_tf[1].b")->"t.de.addr_buf.vc.OR2_tf[1]._y"+ +"t.de.addr_buf.vc.OR2_tf[1]._y"->"t.de.addr_buf.vc.OR2_tf[1].y"- +~("t.de.addr_buf.vc.OR2_tf[1]._y")->"t.de.addr_buf.vc.OR2_tf[1].y"+ +"t.de.addr_buf.vc.OR2_tf[2].a"|"t.de.addr_buf.vc.OR2_tf[2].b"->"t.de.addr_buf.vc.OR2_tf[2]._y"- +~("t.de.addr_buf.vc.OR2_tf[2].a"|"t.de.addr_buf.vc.OR2_tf[2].b")->"t.de.addr_buf.vc.OR2_tf[2]._y"+ +"t.de.addr_buf.vc.OR2_tf[2]._y"->"t.de.addr_buf.vc.OR2_tf[2].y"- +~("t.de.addr_buf.vc.OR2_tf[2]._y")->"t.de.addr_buf.vc.OR2_tf[2].y"+ += "t.de.addr_buf.vc.supply.vss" "t.de.addr_buf.vc.ct.supply.vss" += "t.de.addr_buf.vc.supply.vdd" "t.de.addr_buf.vc.ct.supply.vdd" += "t.de.addr_buf.vc.supply.vdd" "t.de.addr_buf.vc.OR2_tf[2].vdd" += "t.de.addr_buf.vc.supply.vdd" "t.de.addr_buf.vc.OR2_tf[1].vdd" += "t.de.addr_buf.vc.supply.vdd" "t.de.addr_buf.vc.OR2_tf[0].vdd" += "t.de.addr_buf.vc.supply.vss" "t.de.addr_buf.vc.OR2_tf[2].vss" += "t.de.addr_buf.vc.supply.vss" "t.de.addr_buf.vc.OR2_tf[1].vss" += "t.de.addr_buf.vc.supply.vss" "t.de.addr_buf.vc.OR2_tf[0].vss" += "t.de.addr_buf.vc.out" "t.de.addr_buf.vc.ct.out" += "t.de.addr_buf.vc.in.d[0].d[0]" "t.de.addr_buf.vc.in.d[0].f" += "t.de.addr_buf.vc.in.d[0].d[1]" "t.de.addr_buf.vc.in.d[0].t" += "t.de.addr_buf.vc.in.d[1].d[0]" "t.de.addr_buf.vc.in.d[1].f" += "t.de.addr_buf.vc.in.d[1].d[1]" "t.de.addr_buf.vc.in.d[1].t" += "t.de.addr_buf.vc.in.d[2].d[0]" "t.de.addr_buf.vc.in.d[2].f" += "t.de.addr_buf.vc.in.d[2].d[1]" "t.de.addr_buf.vc.in.d[2].t" += "t.de.addr_buf.vc.in.d[2].d[0]" "t.de.addr_buf.vc.in.d[2].f" += "t.de.addr_buf.vc.in.d[2].d[1]" "t.de.addr_buf.vc.in.d[2].t" += "t.de.addr_buf.vc.in.d[1].d[0]" "t.de.addr_buf.vc.in.d[1].f" += "t.de.addr_buf.vc.in.d[1].d[1]" "t.de.addr_buf.vc.in.d[1].t" += "t.de.addr_buf.vc.in.d[0].d[0]" "t.de.addr_buf.vc.in.d[0].f" += "t.de.addr_buf.vc.in.d[0].d[1]" "t.de.addr_buf.vc.in.d[0].t" += "t.de.addr_buf.vc.in.d[2].d[0]" "t.de.addr_buf.vc.OR2_tf[2].b" += "t.de.addr_buf.vc.in.d[2].d[0]" "t.de.addr_buf.vc.in.d[2].f" += "t.de.addr_buf.vc.in.d[2].d[1]" "t.de.addr_buf.vc.OR2_tf[2].a" += "t.de.addr_buf.vc.in.d[2].d[1]" "t.de.addr_buf.vc.in.d[2].t" += "t.de.addr_buf.vc.in.d[1].d[0]" "t.de.addr_buf.vc.OR2_tf[1].b" += "t.de.addr_buf.vc.in.d[1].d[0]" "t.de.addr_buf.vc.in.d[1].f" += "t.de.addr_buf.vc.in.d[1].d[1]" "t.de.addr_buf.vc.OR2_tf[1].a" += "t.de.addr_buf.vc.in.d[1].d[1]" "t.de.addr_buf.vc.in.d[1].t" += "t.de.addr_buf.vc.in.d[0].d[0]" "t.de.addr_buf.vc.OR2_tf[0].b" += "t.de.addr_buf.vc.in.d[0].d[0]" "t.de.addr_buf.vc.in.d[0].f" += "t.de.addr_buf.vc.in.d[0].d[1]" "t.de.addr_buf.vc.OR2_tf[0].a" += "t.de.addr_buf.vc.in.d[0].d[1]" "t.de.addr_buf.vc.in.d[0].t" += "t.de.addr_buf._out_a_BX_f[0]" "t.de.addr_buf.out_a_B_buf_t.out[0]" += "t.de.addr_buf._out_a_BX_f[1]" "t.de.addr_buf.out_a_B_buf_t.out[1]" += "t.de.addr_buf._out_a_BX_f[2]" "t.de.addr_buf.out_a_B_buf_t.out[2]" += "t.de.addr_buf._out_a_BX_f[0]" "t.de.addr_buf.f_buf_func[2].c2" += "t.de.addr_buf._out_a_BX_f[0]" "t.de.addr_buf.f_buf_func[1].c2" += "t.de.addr_buf._out_a_BX_f[0]" "t.de.addr_buf.f_buf_func[0].c2" += "t.de.addr_buf._out_a_BX_f[0]" "t.de.addr_buf._out_a_BX_f[2]" += "t.de.addr_buf._out_a_BX_f[0]" "t.de.addr_buf._out_a_BX_f[1]" +"t.de.addr_buf.out_a_B_buf_f.buf1.a"->"t.de.addr_buf.out_a_B_buf_f.buf1._y"- +~("t.de.addr_buf.out_a_B_buf_f.buf1.a")->"t.de.addr_buf.out_a_B_buf_f.buf1._y"+ +"t.de.addr_buf.out_a_B_buf_f.buf1._y"->"t.de.addr_buf.out_a_B_buf_f.buf1.y"- +~("t.de.addr_buf.out_a_B_buf_f.buf1._y")->"t.de.addr_buf.out_a_B_buf_f.buf1.y"+ += "t.de.addr_buf.out_a_B_buf_f.supply.vdd" "t.de.addr_buf.out_a_B_buf_f.buf1.vdd" += "t.de.addr_buf.out_a_B_buf_f.supply.vss" "t.de.addr_buf.out_a_B_buf_f.buf1.vss" += "t.de.addr_buf.out_a_B_buf_f.out[0]" "t.de.addr_buf.out_a_B_buf_f.out[2]" += "t.de.addr_buf.out_a_B_buf_f.out[0]" "t.de.addr_buf.out_a_B_buf_f.out[1]" += "t.de.addr_buf.out_a_B_buf_f.out[0]" "t.de.addr_buf.out_a_B_buf_f.buf1.y" += "t.de.addr_buf.out_a_B_buf_f.in" "t.de.addr_buf.out_a_B_buf_f.buf1.a" += "t.de.addr_buf._en" "t.de.addr_buf.en_buf_f.in" += "t.de.addr_buf._en" "t.de.addr_buf.en_buf_t.in" += "t.de.addr_buf._en" "t.de.addr_buf.en_ctl.y" += "t.de.addr_buf._en" "t.de.addr_buf.inack_ctl.c1" +~"t.de.addr_buf.en_ctl.p1"&~"t.de.addr_buf.en_ctl.c1"->"t.de.addr_buf.en_ctl.y"+ +"t.de.addr_buf.en_ctl.c1"->"t.de.addr_buf.en_ctl.y"- += "t.de.addr_buf.out.d.d[0].d[0]" "t.de.addr_buf.out.d.d[0].f" += "t.de.addr_buf.out.d.d[0].d[1]" "t.de.addr_buf.out.d.d[0].t" += "t.de.addr_buf.out.d.d[1].d[0]" "t.de.addr_buf.out.d.d[1].f" += "t.de.addr_buf.out.d.d[1].d[1]" "t.de.addr_buf.out.d.d[1].t" += "t.de.addr_buf.out.d.d[2].d[0]" "t.de.addr_buf.out.d.d[2].f" += "t.de.addr_buf.out.d.d[2].d[1]" "t.de.addr_buf.out.d.d[2].t" += "t.de.addr_buf.out.d.d[2].d[0]" "t.de.addr_buf.out.d.d[2].f" += "t.de.addr_buf.out.d.d[2].d[1]" "t.de.addr_buf.out.d.d[2].t" += "t.de.addr_buf.out.d.d[1].d[0]" "t.de.addr_buf.out.d.d[1].f" += "t.de.addr_buf.out.d.d[1].d[1]" "t.de.addr_buf.out.d.d[1].t" += "t.de.addr_buf.out.d.d[0].d[0]" "t.de.addr_buf.out.d.d[0].f" += "t.de.addr_buf.out.d.d[0].d[1]" "t.de.addr_buf.out.d.d[0].t" += "t.de.addr_buf.out.d.d[2].d[0]" "t.de.addr_buf.out.d.d[2].f" += "t.de.addr_buf.out.d.d[2].d[1]" "t.de.addr_buf.out.d.d[2].t" += "t.de.addr_buf.out.d.d[1].d[0]" "t.de.addr_buf.out.d.d[1].f" += "t.de.addr_buf.out.d.d[1].d[1]" "t.de.addr_buf.out.d.d[1].t" += "t.de.addr_buf.out.d.d[0].d[0]" "t.de.addr_buf.out.d.d[0].f" += "t.de.addr_buf.out.d.d[0].d[1]" "t.de.addr_buf.out.d.d[0].t" += "t.de.addr_buf.out.a" "t.de.addr_buf.out_a_inv.a" += "t.de.addr_buf.out.v" "t.de.addr_buf.en_ctl.p1" += "t.de.addr_buf.out.v" "t.de.addr_buf.inack_ctl.c3" += "t.de.addr_buf.out.d.d[2].d[0]" "t.de.addr_buf.f_buf_func[2].y" += "t.de.addr_buf.out.d.d[2].d[0]" "t.de.addr_buf.out.d.d[2].f" += "t.de.addr_buf.out.d.d[2].d[1]" "t.de.addr_buf.t_buf_func[2].y" += "t.de.addr_buf.out.d.d[2].d[1]" "t.de.addr_buf.out.d.d[2].t" += "t.de.addr_buf.out.d.d[1].d[0]" "t.de.addr_buf.f_buf_func[1].y" += "t.de.addr_buf.out.d.d[1].d[0]" "t.de.addr_buf.out.d.d[1].f" += "t.de.addr_buf.out.d.d[1].d[1]" "t.de.addr_buf.t_buf_func[1].y" += "t.de.addr_buf.out.d.d[1].d[1]" "t.de.addr_buf.out.d.d[1].t" += "t.de.addr_buf.out.d.d[0].d[0]" "t.de.addr_buf.f_buf_func[0].y" += "t.de.addr_buf.out.d.d[0].d[0]" "t.de.addr_buf.out.d.d[0].f" += "t.de.addr_buf.out.d.d[0].d[1]" "t.de.addr_buf.t_buf_func[0].y" += "t.de.addr_buf.out.d.d[0].d[1]" "t.de.addr_buf.out.d.d[0].t" += "t.de.addr_buf.in.d.d[0].d[0]" "t.de.addr_buf.in.d.d[0].f" += "t.de.addr_buf.in.d.d[0].d[1]" "t.de.addr_buf.in.d.d[0].t" += "t.de.addr_buf.in.d.d[1].d[0]" "t.de.addr_buf.in.d.d[1].f" += "t.de.addr_buf.in.d.d[1].d[1]" "t.de.addr_buf.in.d.d[1].t" += "t.de.addr_buf.in.d.d[2].d[0]" "t.de.addr_buf.in.d.d[2].f" += "t.de.addr_buf.in.d.d[2].d[1]" "t.de.addr_buf.in.d.d[2].t" += "t.de.addr_buf.in.d.d[2].d[0]" "t.de.addr_buf.in.d.d[2].f" += "t.de.addr_buf.in.d.d[2].d[1]" "t.de.addr_buf.in.d.d[2].t" += "t.de.addr_buf.in.d.d[1].d[0]" "t.de.addr_buf.in.d.d[1].f" += "t.de.addr_buf.in.d.d[1].d[1]" "t.de.addr_buf.in.d.d[1].t" += "t.de.addr_buf.in.d.d[0].d[0]" "t.de.addr_buf.in.d.d[0].f" += "t.de.addr_buf.in.d.d[0].d[1]" "t.de.addr_buf.in.d.d[0].t" += "t.de.addr_buf.in.d.d[2].d[0]" "t.de.addr_buf.in.d.d[2].f" += "t.de.addr_buf.in.d.d[2].d[1]" "t.de.addr_buf.in.d.d[2].t" += "t.de.addr_buf.in.d.d[1].d[0]" "t.de.addr_buf.in.d.d[1].f" += "t.de.addr_buf.in.d.d[1].d[1]" "t.de.addr_buf.in.d.d[1].t" += "t.de.addr_buf.in.d.d[0].d[0]" "t.de.addr_buf.in.d.d[0].f" += "t.de.addr_buf.in.d.d[0].d[1]" "t.de.addr_buf.in.d.d[0].t" += "t.de.addr_buf.in.d.d[0].f" "t.de.addr_buf.vc.in.d[0].f" += "t.de.addr_buf.in.d.d[0].t" "t.de.addr_buf.vc.in.d[0].t" += "t.de.addr_buf.in.d.d[0].d[0]" "t.de.addr_buf.vc.in.d[0].d[0]" += "t.de.addr_buf.in.d.d[0].d[1]" "t.de.addr_buf.vc.in.d[0].d[1]" += "t.de.addr_buf.in.d.d[1].f" "t.de.addr_buf.vc.in.d[1].f" += "t.de.addr_buf.in.d.d[1].t" "t.de.addr_buf.vc.in.d[1].t" += "t.de.addr_buf.in.d.d[1].d[0]" "t.de.addr_buf.vc.in.d[1].d[0]" += "t.de.addr_buf.in.d.d[1].d[1]" "t.de.addr_buf.vc.in.d[1].d[1]" += "t.de.addr_buf.in.d.d[2].f" "t.de.addr_buf.vc.in.d[2].f" += "t.de.addr_buf.in.d.d[2].t" "t.de.addr_buf.vc.in.d[2].t" += "t.de.addr_buf.in.d.d[2].d[0]" "t.de.addr_buf.vc.in.d[2].d[0]" += "t.de.addr_buf.in.d.d[2].d[1]" "t.de.addr_buf.vc.in.d[2].d[1]" += "t.de.addr_buf.in.a" "t.de.addr_buf.en_ctl.c1" += "t.de.addr_buf.in.a" "t.de.addr_buf.inack_ctl.y" += "t.de.addr_buf.in.v" "t.de.addr_buf.in_v_buf.y" += "t.de.addr_buf.in.v" "t.de.addr_buf.inack_ctl.c2" += "t.de.addr_buf.in.d.d[2].d[0]" "t.de.addr_buf.f_buf_func[2].n1" += "t.de.addr_buf.in.d.d[2].d[0]" "t.de.addr_buf.in.d.d[2].f" += "t.de.addr_buf.in.d.d[2].d[1]" "t.de.addr_buf.t_buf_func[2].n1" += "t.de.addr_buf.in.d.d[2].d[1]" "t.de.addr_buf.in.d.d[2].t" += "t.de.addr_buf.in.d.d[1].d[0]" "t.de.addr_buf.f_buf_func[1].n1" += "t.de.addr_buf.in.d.d[1].d[0]" "t.de.addr_buf.in.d.d[1].f" += "t.de.addr_buf.in.d.d[1].d[1]" "t.de.addr_buf.t_buf_func[1].n1" += "t.de.addr_buf.in.d.d[1].d[1]" "t.de.addr_buf.in.d.d[1].t" += "t.de.addr_buf.in.d.d[0].d[0]" "t.de.addr_buf.f_buf_func[0].n1" += "t.de.addr_buf.in.d.d[0].d[0]" "t.de.addr_buf.in.d.d[0].f" += "t.de.addr_buf.in.d.d[0].d[1]" "t.de.addr_buf.t_buf_func[0].n1" += "t.de.addr_buf.in.d.d[0].d[1]" "t.de.addr_buf.in.d.d[0].t" +"t.de.addr_buf.reset_buf.a"->"t.de.addr_buf.reset_buf._y"- +~("t.de.addr_buf.reset_buf.a")->"t.de.addr_buf.reset_buf._y"+ +"t.de.addr_buf.reset_buf._y"->"t.de.addr_buf.reset_buf.y"- +~("t.de.addr_buf.reset_buf._y")->"t.de.addr_buf.reset_buf.y"+ += "t.de.addr_buf._in_v" "t.de.addr_buf.in_v_buf.a" += "t.de.addr_buf._in_v" "t.de.addr_buf.vc.out" += "t.de.addr_buf._reset_BX" "t.de.addr_buf.reset_bufarray.in" += "t.de.addr_buf._reset_BX" "t.de.addr_buf.reset_buf.y" += "t.de.addr_buf._reset_BX" "t.de.addr_buf.inack_ctl.sr_B" += "t.de.addr_buf._reset_BX" "t.de.addr_buf.inack_ctl.pr_B" += "t.de.addr_buf.reset_B" "t.de.addr_buf.reset_buf.a" += "t.de.addr_buf._out_a_BX_t[0]" "t.de.addr_buf.out_a_B_buf_f.out[0]" += "t.de.addr_buf._out_a_BX_t[1]" "t.de.addr_buf.out_a_B_buf_f.out[1]" += "t.de.addr_buf._out_a_BX_t[2]" "t.de.addr_buf.out_a_B_buf_f.out[2]" += "t.de.addr_buf._out_a_BX_t[0]" "t.de.addr_buf.t_buf_func[2].c2" += "t.de.addr_buf._out_a_BX_t[0]" "t.de.addr_buf.t_buf_func[1].c2" += "t.de.addr_buf._out_a_BX_t[0]" "t.de.addr_buf.t_buf_func[0].c2" += "t.de.addr_buf._out_a_BX_t[0]" "t.de.addr_buf._out_a_BX_t[2]" += "t.de.addr_buf._out_a_BX_t[0]" "t.de.addr_buf._out_a_BX_t[1]" +"t.de.addr_buf.en_buf_f.buf1.a"->"t.de.addr_buf.en_buf_f.buf1._y"- +~("t.de.addr_buf.en_buf_f.buf1.a")->"t.de.addr_buf.en_buf_f.buf1._y"+ +"t.de.addr_buf.en_buf_f.buf1._y"->"t.de.addr_buf.en_buf_f.buf1.y"- +~("t.de.addr_buf.en_buf_f.buf1._y")->"t.de.addr_buf.en_buf_f.buf1.y"+ += "t.de.addr_buf.en_buf_f.supply.vdd" "t.de.addr_buf.en_buf_f.buf1.vdd" += "t.de.addr_buf.en_buf_f.supply.vss" "t.de.addr_buf.en_buf_f.buf1.vss" += "t.de.addr_buf.en_buf_f.out[0]" "t.de.addr_buf.en_buf_f.out[2]" += "t.de.addr_buf.en_buf_f.out[0]" "t.de.addr_buf.en_buf_f.out[1]" += "t.de.addr_buf.en_buf_f.out[0]" "t.de.addr_buf.en_buf_f.buf1.y" += "t.de.addr_buf.en_buf_f.in" "t.de.addr_buf.en_buf_f.buf1.a" +"t.de.addr_buf.en_buf_t.buf1.a"->"t.de.addr_buf.en_buf_t.buf1._y"- +~("t.de.addr_buf.en_buf_t.buf1.a")->"t.de.addr_buf.en_buf_t.buf1._y"+ +"t.de.addr_buf.en_buf_t.buf1._y"->"t.de.addr_buf.en_buf_t.buf1.y"- +~("t.de.addr_buf.en_buf_t.buf1._y")->"t.de.addr_buf.en_buf_t.buf1.y"+ += "t.de.addr_buf.en_buf_t.supply.vdd" "t.de.addr_buf.en_buf_t.buf1.vdd" += "t.de.addr_buf.en_buf_t.supply.vss" "t.de.addr_buf.en_buf_t.buf1.vss" += "t.de.addr_buf.en_buf_t.out[0]" "t.de.addr_buf.en_buf_t.out[2]" += "t.de.addr_buf.en_buf_t.out[0]" "t.de.addr_buf.en_buf_t.out[1]" += "t.de.addr_buf.en_buf_t.out[0]" "t.de.addr_buf.en_buf_t.buf1.y" += "t.de.addr_buf.en_buf_t.in" "t.de.addr_buf.en_buf_t.buf1.a" += "t.de.addr_buf._out_a_B" "t.de.addr_buf.out_a_B_buf_t.in" += "t.de.addr_buf._out_a_B" "t.de.addr_buf.out_a_B_buf_f.in" += "t.de.addr_buf._out_a_B" "t.de.addr_buf.out_a_inv.y" += "t.de.addr_buf._reset_BXX[0]" "t.de.addr_buf.reset_bufarray.out[0]" += "t.de.addr_buf._reset_BXX[1]" "t.de.addr_buf.reset_bufarray.out[1]" += "t.de.addr_buf._reset_BXX[2]" "t.de.addr_buf.reset_bufarray.out[2]" += "t.de.addr_buf._reset_BXX[0]" "t.de.addr_buf.f_buf_func[2].sr_B" += "t.de.addr_buf._reset_BXX[0]" "t.de.addr_buf.f_buf_func[2].pr_B" += "t.de.addr_buf._reset_BXX[0]" "t.de.addr_buf.t_buf_func[2].sr_B" += "t.de.addr_buf._reset_BXX[0]" "t.de.addr_buf.t_buf_func[2].pr_B" += "t.de.addr_buf._reset_BXX[0]" "t.de.addr_buf.f_buf_func[1].sr_B" += "t.de.addr_buf._reset_BXX[0]" "t.de.addr_buf.f_buf_func[1].pr_B" += "t.de.addr_buf._reset_BXX[0]" "t.de.addr_buf.t_buf_func[1].sr_B" += "t.de.addr_buf._reset_BXX[0]" "t.de.addr_buf.t_buf_func[1].pr_B" += "t.de.addr_buf._reset_BXX[0]" "t.de.addr_buf.f_buf_func[0].sr_B" += "t.de.addr_buf._reset_BXX[0]" "t.de.addr_buf.f_buf_func[0].pr_B" += "t.de.addr_buf._reset_BXX[0]" "t.de.addr_buf.t_buf_func[0].sr_B" += "t.de.addr_buf._reset_BXX[0]" "t.de.addr_buf.t_buf_func[0].pr_B" += "t.de.addr_buf._reset_BXX[0]" "t.de.addr_buf._reset_BXX[2]" += "t.de.addr_buf._reset_BXX[0]" "t.de.addr_buf._reset_BXX[1]" +~"t.de.addr_buf.t_buf_func[0].c1"&~"t.de.addr_buf.t_buf_func[0].c2"|~"t.de.addr_buf.t_buf_func[0].pr_B"->"t.de.addr_buf.t_buf_func[0]._y"+ +"t.de.addr_buf.t_buf_func[0].c1"&"t.de.addr_buf.t_buf_func[0].c2"&"t.de.addr_buf.t_buf_func[0].n1"&"t.de.addr_buf.t_buf_func[0].sr_B"->"t.de.addr_buf.t_buf_func[0]._y"- +"t.de.addr_buf.t_buf_func[0]._y"->"t.de.addr_buf.t_buf_func[0].y"- +~("t.de.addr_buf.t_buf_func[0]._y")->"t.de.addr_buf.t_buf_func[0].y"+ +~"t.de.addr_buf.t_buf_func[1].c1"&~"t.de.addr_buf.t_buf_func[1].c2"|~"t.de.addr_buf.t_buf_func[1].pr_B"->"t.de.addr_buf.t_buf_func[1]._y"+ +"t.de.addr_buf.t_buf_func[1].c1"&"t.de.addr_buf.t_buf_func[1].c2"&"t.de.addr_buf.t_buf_func[1].n1"&"t.de.addr_buf.t_buf_func[1].sr_B"->"t.de.addr_buf.t_buf_func[1]._y"- +"t.de.addr_buf.t_buf_func[1]._y"->"t.de.addr_buf.t_buf_func[1].y"- +~("t.de.addr_buf.t_buf_func[1]._y")->"t.de.addr_buf.t_buf_func[1].y"+ +~"t.de.addr_buf.t_buf_func[2].c1"&~"t.de.addr_buf.t_buf_func[2].c2"|~"t.de.addr_buf.t_buf_func[2].pr_B"->"t.de.addr_buf.t_buf_func[2]._y"+ +"t.de.addr_buf.t_buf_func[2].c1"&"t.de.addr_buf.t_buf_func[2].c2"&"t.de.addr_buf.t_buf_func[2].n1"&"t.de.addr_buf.t_buf_func[2].sr_B"->"t.de.addr_buf.t_buf_func[2]._y"- +"t.de.addr_buf.t_buf_func[2]._y"->"t.de.addr_buf.t_buf_func[2].y"- +~("t.de.addr_buf.t_buf_func[2]._y")->"t.de.addr_buf.t_buf_func[2].y"+ +~"t.de.addr_buf.f_buf_func[0].c1"&~"t.de.addr_buf.f_buf_func[0].c2"|~"t.de.addr_buf.f_buf_func[0].pr_B"->"t.de.addr_buf.f_buf_func[0]._y"+ +"t.de.addr_buf.f_buf_func[0].c1"&"t.de.addr_buf.f_buf_func[0].c2"&"t.de.addr_buf.f_buf_func[0].n1"&"t.de.addr_buf.f_buf_func[0].sr_B"->"t.de.addr_buf.f_buf_func[0]._y"- +"t.de.addr_buf.f_buf_func[0]._y"->"t.de.addr_buf.f_buf_func[0].y"- +~("t.de.addr_buf.f_buf_func[0]._y")->"t.de.addr_buf.f_buf_func[0].y"+ +~"t.de.addr_buf.f_buf_func[1].c1"&~"t.de.addr_buf.f_buf_func[1].c2"|~"t.de.addr_buf.f_buf_func[1].pr_B"->"t.de.addr_buf.f_buf_func[1]._y"+ +"t.de.addr_buf.f_buf_func[1].c1"&"t.de.addr_buf.f_buf_func[1].c2"&"t.de.addr_buf.f_buf_func[1].n1"&"t.de.addr_buf.f_buf_func[1].sr_B"->"t.de.addr_buf.f_buf_func[1]._y"- +"t.de.addr_buf.f_buf_func[1]._y"->"t.de.addr_buf.f_buf_func[1].y"- +~("t.de.addr_buf.f_buf_func[1]._y")->"t.de.addr_buf.f_buf_func[1].y"+ +~"t.de.addr_buf.f_buf_func[2].c1"&~"t.de.addr_buf.f_buf_func[2].c2"|~"t.de.addr_buf.f_buf_func[2].pr_B"->"t.de.addr_buf.f_buf_func[2]._y"+ +"t.de.addr_buf.f_buf_func[2].c1"&"t.de.addr_buf.f_buf_func[2].c2"&"t.de.addr_buf.f_buf_func[2].n1"&"t.de.addr_buf.f_buf_func[2].sr_B"->"t.de.addr_buf.f_buf_func[2]._y"- +"t.de.addr_buf.f_buf_func[2]._y"->"t.de.addr_buf.f_buf_func[2].y"- +~("t.de.addr_buf.f_buf_func[2]._y")->"t.de.addr_buf.f_buf_func[2].y"+ += "t.de.addr_buf._en_X_t[0]" "t.de.addr_buf.en_buf_t.out[0]" += "t.de.addr_buf._en_X_t[1]" "t.de.addr_buf.en_buf_t.out[1]" += "t.de.addr_buf._en_X_t[2]" "t.de.addr_buf.en_buf_t.out[2]" += "t.de.addr_buf._en_X_t[0]" "t.de.addr_buf.t_buf_func[2].c1" += "t.de.addr_buf._en_X_t[0]" "t.de.addr_buf.t_buf_func[1].c1" += "t.de.addr_buf._en_X_t[0]" "t.de.addr_buf.t_buf_func[0].c1" += "t.de.addr_buf._en_X_t[0]" "t.de.addr_buf._en_X_t[2]" += "t.de.addr_buf._en_X_t[0]" "t.de.addr_buf._en_X_t[1]" +"t.de.vtree_x.ct.b.a"->"t.de.vtree_x.ct.b._y"- +~("t.de.vtree_x.ct.b.a")->"t.de.vtree_x.ct.b._y"+ +"t.de.vtree_x.ct.b._y"->"t.de.vtree_x.ct.b.y"- +~("t.de.vtree_x.ct.b._y")->"t.de.vtree_x.ct.b.y"+ += "t.de.vtree_x.ct.supply.vdd" "t.de.vtree_x.ct.b.vdd" += "t.de.vtree_x.ct.supply.vss" "t.de.vtree_x.ct.b.vss" += "t.de.vtree_x.ct.out" "t.de.vtree_x.ct.b.y" += "t.de.vtree_x.ct.in[0]" "t.de.vtree_x.ct.b.a" += "t.de.vtree_x.ct.in[0]" "t.de.vtree_x.OR2_tf[0].y" +"t.de.vtree_x.OR2_tf[0].a"|"t.de.vtree_x.OR2_tf[0].b"->"t.de.vtree_x.OR2_tf[0]._y"- +~("t.de.vtree_x.OR2_tf[0].a"|"t.de.vtree_x.OR2_tf[0].b")->"t.de.vtree_x.OR2_tf[0]._y"+ +"t.de.vtree_x.OR2_tf[0]._y"->"t.de.vtree_x.OR2_tf[0].y"- +~("t.de.vtree_x.OR2_tf[0]._y")->"t.de.vtree_x.OR2_tf[0].y"+ += "t.de.vtree_x.supply.vss" "t.de.vtree_x.ct.supply.vss" += "t.de.vtree_x.supply.vdd" "t.de.vtree_x.ct.supply.vdd" += "t.de.vtree_x.supply.vdd" "t.de.vtree_x.OR2_tf[0].vdd" += "t.de.vtree_x.supply.vss" "t.de.vtree_x.OR2_tf[0].vss" += "t.de.vtree_x.out" "t.de.vtree_x.ct.out" += "t.de.vtree_x.in.d[0].d[0]" "t.de.vtree_x.in.d[0].f" += "t.de.vtree_x.in.d[0].d[1]" "t.de.vtree_x.in.d[0].t" += "t.de.vtree_x.in.d[0].d[0]" "t.de.vtree_x.in.d[0].f" += "t.de.vtree_x.in.d[0].d[1]" "t.de.vtree_x.in.d[0].t" += "t.de.vtree_x.in.d[0].d[0]" "t.de.vtree_x.OR2_tf[0].b" += "t.de.vtree_x.in.d[0].d[0]" "t.de.vtree_x.in.d[0].f" += "t.de.vtree_x.in.d[0].d[1]" "t.de.vtree_x.OR2_tf[0].a" += "t.de.vtree_x.in.d[0].d[1]" "t.de.vtree_x.in.d[0].t" += "Vdd" "t.de.supply.vdd" += "GND" "t.de.supply.vss" += "t.dly_cfg[0]" "t.de.dly_cfg[0]" += "t.dly_cfg[1]" "t.de.dly_cfg[1]" += "t.dly_cfg[2]" "t.de.dly_cfg[2]" += "t.dly_cfg[3]" "t.de.dly_cfg[3]" += "t.out[0]" "t.ag.out[0]" += "t.out[1]" "t.ag.out[1]" += "t.out[2]" "t.ag.out[2]" += "t.out[3]" "t.ag.out[3]" += "t.out[4]" "t.ag.out[4]" += "t.out[5]" "t.ag.out[5]" += "t.out[6]" "t.ag.out[6]" += "t.out[7]" "t.ag.out[7]" += "t.in.d.d[0].d[0]" "t.in.d.d[0].f" += "t.in.d.d[0].d[1]" "t.in.d.d[0].t" += "t.in.d.d[1].d[0]" "t.in.d.d[1].f" += "t.in.d.d[1].d[1]" "t.in.d.d[1].t" += "t.in.d.d[2].d[0]" "t.in.d.d[2].f" += "t.in.d.d[2].d[1]" "t.in.d.d[2].t" += "t.in.d.d[2].d[0]" "t.in.d.d[2].f" += "t.in.d.d[2].d[1]" "t.in.d.d[2].t" += "t.in.d.d[1].d[0]" "t.in.d.d[1].f" += "t.in.d.d[1].d[1]" "t.in.d.d[1].t" += "t.in.d.d[0].d[0]" "t.in.d.d[0].f" += "t.in.d.d[0].d[1]" "t.in.d.d[0].t" += "t.in.d.d[2].d[0]" "t.in.d.d[2].f" += "t.in.d.d[2].d[1]" "t.in.d.d[2].t" += "t.in.d.d[1].d[0]" "t.in.d.d[1].f" += "t.in.d.d[1].d[1]" "t.in.d.d[1].t" += "t.in.d.d[0].d[0]" "t.in.d.d[0].f" += "t.in.d.d[0].d[1]" "t.in.d.d[0].t" += "t.in.v" "t.de.in.v" += "t.in.a" "t.de.in.a" += "t.in.d.d[0].f" "t.de.in.d.d[0].f" += "t.in.d.d[0].t" "t.de.in.d.d[0].t" += "t.in.d.d[0].d[0]" "t.de.in.d.d[0].d[0]" += "t.in.d.d[0].d[1]" "t.de.in.d.d[0].d[1]" += "t.in.d.d[1].f" "t.de.in.d.d[1].f" += "t.in.d.d[1].t" "t.de.in.d.d[1].t" += "t.in.d.d[1].d[0]" "t.de.in.d.d[1].d[0]" += "t.in.d.d[1].d[1]" "t.de.in.d.d[1].d[1]" += "t.in.d.d[2].f" "t.de.in.d.d[2].f" += "t.in.d.d[2].t" "t.de.in.d.d[2].t" += "t.in.d.d[2].d[0]" "t.de.in.d.d[2].d[0]" += "t.in.d.d[2].d[1]" "t.de.in.d.d[2].d[1]" += "t.in.d.d[2].d[0]" "t.in.d.d[2].f" += "t.in.d.d[2].d[1]" "t.in.d.d[2].t" += "t.in.d.d[1].d[0]" "t.in.d.d[1].f" += "t.in.d.d[1].d[1]" "t.in.d.d[1].t" += "t.in.d.d[0].d[0]" "t.in.d.d[0].f" += "t.in.d.d[0].d[1]" "t.in.d.d[0].t" diff --git a/test/unit_tests/decoder_2d_dly_and_2_4/test.act b/test/unit_tests/decoder_2d_dly_and_2_4/test.act new file mode 100644 index 0000000..0d0b397 --- /dev/null +++ b/test/unit_tests/decoder_2d_dly_and_2_4/test.act @@ -0,0 +1,52 @@ +/************************************************************************* + * + * This file is part of ACT dataflow neuro library. + * It's the testing facility for cell_lib_std.act + * + * Copyright (c) 2022 University of Groningen - Ole Richter + * Copyright (c) 2022 University of Groningen - Hugh Greatorex + * Copyright (c) 2022 University of Groningen - Michele Mastella + * Copyright (c) 2022 University of Groningen - Madison Cotteret + * + * This source describes Open Hardware and is licensed under the CERN-OHL-W v2 or later + * + * You may redistribute and modify this documentation and make products + * using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl). + * This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED + * WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY + * AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2 + * for applicable conditions. + * + * Source location: https://git.web.rug.nl/bics/actlib_dataflow_neuro + * + * As per CERN-OHL-W v2 section 4.1, should You produce hardware based on + * these sources, You must maintain the Source Location visible in its + * documentation. + * + ************************************************************************** + */ + +import "../../dataflow_neuro/coders.act"; +import globals; + +open tmpl::dataflow_neuro; + +defproc decoder_2d_dly_and_2_4(avMx1of2<1+2> in; bool? out[2*4], dly_cfg[4]) + +{ + bool _reset_B; + prs { + Reset => _reset_B- + } + decoder_2d_dly<1,2,2,4,4> de(.in = in, .dly_cfg = dly_cfg); + de.supply.vdd = Vdd; + de.supply.vss = GND; + de.reset_B = _reset_B; + + and_grid<2,4> ag(.inx = de.outx, .iny = de.outy, .out = out); + ag.supply.vdd = Vdd; + ag.supply.vss = GND; + +} + +decoder_2d_dly_and_2_4 t; \ No newline at end of file diff --git a/test/unit_tests/decoder_2d_dly_and_2_4/test.prsim b/test/unit_tests/decoder_2d_dly_and_2_4/test.prsim new file mode 100644 index 0000000..a0cd1d0 --- /dev/null +++ b/test/unit_tests/decoder_2d_dly_and_2_4/test.prsim @@ -0,0 +1,57 @@ +watchall + +set-qdi-channel-neutral "t.in" 3 +set Reset 0 + +# Set delay config lines +set t.dly_cfg[0] 1 +set t.dly_cfg[1] 1 +set t.dly_cfg[2] 1 +set t.dly_cfg[3] 1 +cycle + +system "echo '[] set Reset 1'" +set Reset 1 +cycle + +system "echo '[] set Reset 0'" +set Reset 0 +mode run +cycle + +system "echo '[] Sending packet in'" +set-qdi-channel-valid "t.in" 3 7 +cycle +assert t.in.a 1 +assert t.in.v 1 + + +# system "echo '[]' Setting ack from DLY high" +# set b.b.addr_buf.out.a 1 +# cycle + +# assert b.outx[0] 0 +# assert b.outx[1] 0 +# assert b.outx[2] 0 +# assert b.outx[3] 0 +# assert b.outx[4] 0 +# assert b.outx[5] 0 +# assert b.outx[6] 0 +# assert b.outx[7] 0 + +# assert b.outy[0] 0 +# assert b.outy[1] 0 +# assert b.outy[2] 0 +# assert b.outy[3] 0 +# assert b.outy[4] 0 +# assert b.outy[5] 0 +# assert b.outy[6] 0 +# assert b.outy[7] 0 +# assert b.outy[8] 0 +# assert b.outy[9] 0 +# assert b.outy[10] 0 +# assert b.outy[11] 0 +# assert b.outy[12] 0 +# assert b.outy[13] 0 +# assert b.outy[14] 0 +# assert b.outy[15] 0 \ No newline at end of file