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 0000000..537d470 Binary files /dev/null and b/test/unit_tests/decoder_2d_dly_and_2_4/run/prsim.pdf differ 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