merge with simple test is working
This commit is contained in:
286
test/unit_tests/merge_t_2_simple/run/prsim.out
Normal file
286
test/unit_tests/merge_t_2_simple/run/prsim.out
Normal file
@ -0,0 +1,286 @@
|
||||
my_merge.merge_cell.vc2.OR2_tf[1]._y my_merge.merge_cell.validity_arb.arbiter._y1 my_merge.merge_cell.vc1.OR2_tf[0].y my_merge.merge_cell.merge_func_f[0].n4 my_merge.merge_cell._en my_merge.merge_cell._en_X[0] my_merge.in1.v my_merge.merge_cell.merge_func_f[1].n4 my_merge.merge_cell.arb2function1.buf1._y my_merge.merge_cell.merge_func_t[0].n4 my_merge.merge_cell.en_buffer.buf1._y my_merge.merge_cell._in2_arb my_merge.merge_cell.merge_func_t[1].n4 my_merge.merge_cell._in2_arb_X[0] my_merge.merge_cell._in1_arb_X[0] my_merge.merge_cell._out_temp.a my_merge.merge_cell.vc1.myctree.C2Els[0]._y my_merge.merge_cell._out_a_B my_merge.in2.v my_merge.merge_cell.merge_func_t[0].n2 my_merge.merge_cell.merge_func_f[1].n2 my_merge.out.v my_merge.merge_cell._in2_arb_temp my_merge.merge_cell.AND_arb2._y my_merge.merge_cell._in1_arb my_merge.merge_cell.vc2.OR2_tf[1].y my_merge.out.a my_merge.merge_cell.validity_arb._y1_arb my_merge.merge_cell._out_a_BX[0] my_merge.merge_cell.vc1.OR2_tf[1]._y my_merge.merge_cell.merge_func_f[0].n2 my_merge.merge_cell.vc1.OR2_tf[1].y my_merge.merge_cell.validity_arb.or_cell._y my_merge.merge_cell._in1_arb_temp my_merge.merge_cell.vc2.myctree.C2Els[0]._y my_merge.merge_cell.merge_func_t[1].n2 my_merge.merge_cell.validity_arb._y2_arb my_merge.merge_cell.vc2.OR2_tf[0]._y my_merge.merge_cell.validity_arb.ack_cell1._y my_merge.merge_cell.vc2.OR2_tf[0].y my_merge.merge_cell.validity_arb.arbiter._y2 my_merge.merge_cell.vc1.OR2_tf[0]._y my_merge.merge_cell.validity_arb.ack_cell2._y my_merge.merge_cell.arb2function2.buf1._y my_merge.merge_cell.AND_arb1._y my_merge.merge_cell.out_a_buffer.buf1._y
|
||||
83058 my_merge.merge_cell.merge_func_f[0].n2 : 0
|
||||
83058 my_merge.out.v : 0
|
||||
83058 my_merge.out.a : 0
|
||||
83058 my_merge.in2.v : 0
|
||||
83058 my_merge.merge_cell.merge_func_f[1].n2 : 0
|
||||
83058 my_merge.merge_cell.merge_func_f[1].n4 : 0
|
||||
83058 my_merge.merge_cell.merge_func_t[0].n4 : 0
|
||||
83058 my_merge.in1.v : 0
|
||||
83058 my_merge.merge_cell.merge_func_t[1].n4 : 0
|
||||
83058 my_merge.merge_cell.merge_func_t[0].n2 : 0
|
||||
83058 my_merge.merge_cell.merge_func_f[0].n4 : 0
|
||||
83058 my_merge.merge_cell.merge_func_t[1].n2 : 0
|
||||
83062 my_merge.merge_cell.validity_arb.arbiter._y2 : 1 [by my_merge.in2.v:=0]
|
||||
83073 my_merge.merge_cell.vc2.OR2_tf[1]._y : 1 [by my_merge.merge_cell.merge_func_t[1].n4:=0]
|
||||
83113 my_merge.merge_cell.vc1.OR2_tf[1]._y : 1 [by my_merge.merge_cell.merge_func_t[1].n2:=0]
|
||||
92187 my_merge.merge_cell.validity_arb.arbiter._y1 : 1 [by my_merge.in1.v:=0]
|
||||
96782 my_merge.merge_cell._out_a_B : 1 [by my_merge.out.a:=0]
|
||||
96962 my_merge.merge_cell.vc1.OR2_tf[1].y : 0 [by my_merge.merge_cell.vc1.OR2_tf[1]._y:=1]
|
||||
111125 my_merge.merge_cell.out_a_buffer.buf1._y : 0 [by my_merge.merge_cell._out_a_B:=1]
|
||||
111547 my_merge.merge_cell._out_a_BX[0] : 1 [by my_merge.merge_cell.out_a_buffer.buf1._y:=0]
|
||||
112853 my_merge.merge_cell.vc2.OR2_tf[1].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[1]._y:=1]
|
||||
116999 my_merge.merge_cell.validity_arb._y1_arb : 0 [by my_merge.merge_cell.validity_arb.arbiter._y1:=1]
|
||||
119989 my_merge.merge_cell.vc2.OR2_tf[0]._y : 1 [by my_merge.merge_cell.merge_func_f[0].n4:=0]
|
||||
126306 my_merge.merge_cell.vc1.OR2_tf[0]._y : 1 [by my_merge.merge_cell.merge_func_t[0].n2:=0]
|
||||
126307 my_merge.merge_cell.vc1.OR2_tf[0].y : 0 [by my_merge.merge_cell.vc1.OR2_tf[0]._y:=1]
|
||||
126308 my_merge.merge_cell.vc1.myctree.C2Els[0]._y : 1 [by my_merge.merge_cell.vc1.OR2_tf[0].y:=0]
|
||||
127156 my_merge.merge_cell._en : 1 [by my_merge.out.a:=0]
|
||||
134715 my_merge.merge_cell.validity_arb._y2_arb : 0 [by my_merge.merge_cell.validity_arb.arbiter._y2:=1]
|
||||
134997 my_merge.merge_cell.validity_arb.or_cell._y : 1 [by my_merge.merge_cell.validity_arb._y2_arb:=0]
|
||||
135765 my_merge.merge_cell._out_temp.a : 0 [by my_merge.merge_cell.validity_arb.or_cell._y:=1]
|
||||
135768 my_merge.merge_cell.validity_arb.ack_cell2._y : 1 [by my_merge.merge_cell._out_temp.a:=0]
|
||||
136319 my_merge.merge_cell._in2_arb_temp : 0 [by my_merge.merge_cell.validity_arb.ack_cell2._y:=1]
|
||||
137390 my_merge.merge_cell.AND_arb2._y : 1 [by my_merge.merge_cell._in2_arb_temp:=0]
|
||||
138344 my_merge.merge_cell._in2_arb : 0 [by my_merge.merge_cell.AND_arb2._y:=1]
|
||||
139425 my_merge.merge_cell.arb2function2.buf1._y : 1 [by my_merge.merge_cell._in2_arb:=0]
|
||||
147361 my_merge.merge_cell.en_buffer.buf1._y : 0 [by my_merge.merge_cell._en:=1]
|
||||
148343 my_merge.merge_cell._en_X[0] : 1 [by my_merge.merge_cell.en_buffer.buf1._y:=0]
|
||||
158206 my_merge.merge_cell.validity_arb.ack_cell1._y : 1 [by my_merge.merge_cell._out_temp.a:=0]
|
||||
158224 my_merge.merge_cell._in1_arb_temp : 0 [by my_merge.merge_cell.validity_arb.ack_cell1._y:=1]
|
||||
162237 my_merge.merge_cell.AND_arb1._y : 1 [by my_merge.merge_cell._in1_arb_temp:=0]
|
||||
166240 my_merge.merge_cell._in1_arb : 0 [by my_merge.merge_cell.AND_arb1._y:=1]
|
||||
168703 my_merge.merge_cell.vc2.OR2_tf[0].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[0]._y:=1]
|
||||
190287 my_merge.merge_cell.vc2.myctree.C2Els[0]._y : 1 [by my_merge.merge_cell.vc2.OR2_tf[0].y:=0]
|
||||
193895 my_merge.merge_cell._in2_arb_X[0] : 0 [by my_merge.merge_cell.arb2function2.buf1._y:=1]
|
||||
211141 my_merge.merge_cell.arb2function1.buf1._y : 1 [by my_merge.merge_cell._in1_arb:=0]
|
||||
215901 my_merge.merge_cell._in1_arb_X[0] : 0 [by my_merge.merge_cell.arb2function1.buf1._y:=1]
|
||||
-------------------------------------------------
|
||||
[0] System initialized
|
||||
215901 Reset : 0
|
||||
216403 my_merge._reset_B : 1 [by Reset:=0]
|
||||
216606 my_merge.merge_cell.reset_buf._y : 0 [by my_merge._reset_B:=1]
|
||||
218460 my_merge.merge_cell._reset_BX : 1 [by my_merge.merge_cell.reset_buf._y:=0]
|
||||
218599 my_merge.merge_cell.reset_bufarray.buf1._y : 0 [by my_merge.merge_cell._reset_BX:=1]
|
||||
254945 my_merge.merge_cell._reset_BXX[0] : 1 [by my_merge.merge_cell.reset_bufarray.buf1._y:=0]
|
||||
-------------------------------------------------
|
||||
[1] System reset completed
|
||||
|
||||
-------------------------------------------------
|
||||
[2] Output neutral checked
|
||||
254945 my_merge.merge_cell.merge_func_f[0].n2 : 1
|
||||
254945 my_merge.merge_cell.merge_func_t[1].n2 : 1
|
||||
254956 my_merge.merge_cell.vc1.OR2_tf[1]._y : 0 [by my_merge.merge_cell.merge_func_t[1].n2:=1]
|
||||
255014 my_merge.merge_cell.vc1.OR2_tf[0]._y : 0 [by my_merge.merge_cell.merge_func_f[0].n2:=1]
|
||||
255218 my_merge.merge_cell.vc1.OR2_tf[0].y : 1 [by my_merge.merge_cell.vc1.OR2_tf[0]._y:=0]
|
||||
306742 my_merge.merge_cell.vc1.OR2_tf[1].y : 1 [by my_merge.merge_cell.vc1.OR2_tf[1]._y:=0]
|
||||
306757 my_merge.merge_cell.vc1.myctree.C2Els[0]._y : 0 [by my_merge.merge_cell.vc1.OR2_tf[1].y:=1]
|
||||
306758 my_merge.in1.v : 1 [by my_merge.merge_cell.vc1.myctree.C2Els[0]._y:=0]
|
||||
306795 my_merge.merge_cell.validity_arb.arbiter._y1 : 0 [by my_merge.in1.v:=1]
|
||||
307534 my_merge.merge_cell.validity_arb._y1_arb : 1 [by my_merge.merge_cell.validity_arb.arbiter._y1:=0]
|
||||
307646 my_merge.merge_cell.validity_arb.or_cell._y : 0 [by my_merge.merge_cell.validity_arb._y1_arb:=1]
|
||||
355158 my_merge.merge_cell._out_temp.a : 1 [by my_merge.merge_cell.validity_arb.or_cell._y:=0]
|
||||
355198 my_merge.merge_cell.validity_arb.ack_cell1._y : 0 [by my_merge.merge_cell._out_temp.a:=1]
|
||||
355455 my_merge.merge_cell._in1_arb_temp : 1 [by my_merge.merge_cell.validity_arb.ack_cell1._y:=0]
|
||||
355542 my_merge.merge_cell.AND_arb1._y : 0 [by my_merge.merge_cell._in1_arb_temp:=1]
|
||||
355836 my_merge.merge_cell._in1_arb : 1 [by my_merge.merge_cell.AND_arb1._y:=0]
|
||||
355837 my_merge.merge_cell.arb2function1.buf1._y : 0 [by my_merge.merge_cell._in1_arb:=1]
|
||||
357643 my_merge.merge_cell._in1_arb_X[0] : 1 [by my_merge.merge_cell.arb2function1.buf1._y:=0]
|
||||
358852 my_merge.merge_cell.merge_func_t[1]._y : 0 [by my_merge.merge_cell._in1_arb_X[0]:=1]
|
||||
359442 my_merge.merge_cell.merge_func_t[1].y : 1 [by my_merge.merge_cell.merge_func_t[1]._y:=0]
|
||||
359650 my_merge.merge_cell.merge_func_f[0]._y : 0 [by my_merge.merge_cell._in1_arb_X[0]:=1]
|
||||
359828 my_merge.merge_cell.merge_func_f[0].y : 1 [by my_merge.merge_cell.merge_func_f[0]._y:=0]
|
||||
359828 my_merge.out.v : 1
|
||||
360631 my_merge.merge_cell.in1ack_ctl._y : 0 [by my_merge.out.v:=1]
|
||||
360795 my_merge.in1.a : 1 [by my_merge.merge_cell.in1ack_ctl._y:=0]
|
||||
360817 my_merge.merge_cell._en : 0 [by my_merge.in1.a:=1]
|
||||
361664 my_merge.merge_cell.en_buffer.buf1._y : 1 [by my_merge.merge_cell._en:=0]
|
||||
362990 my_merge.merge_cell._in1_a_B : 0 [by my_merge.in1.a:=1]
|
||||
391792 my_merge.merge_cell._en_X[0] : 0 [by my_merge.merge_cell.en_buffer.buf1._y:=1]
|
||||
391792 my_merge.merge_cell.merge_func_f[0].n2 : 0
|
||||
391792 my_merge.merge_cell.merge_func_t[1].n2 : 0
|
||||
391925 my_merge.merge_cell.vc1.OR2_tf[0]._y : 1 [by my_merge.merge_cell.merge_func_f[0].n2:=0]
|
||||
392284 my_merge.merge_cell.vc1.OR2_tf[0].y : 0 [by my_merge.merge_cell.vc1.OR2_tf[0]._y:=1]
|
||||
407454 my_merge.merge_cell.vc1.OR2_tf[1]._y : 1 [by my_merge.merge_cell.merge_func_t[1].n2:=0]
|
||||
421570 my_merge.merge_cell.vc1.OR2_tf[1].y : 0 [by my_merge.merge_cell.vc1.OR2_tf[1]._y:=1]
|
||||
421791 my_merge.merge_cell.vc1.myctree.C2Els[0]._y : 1 [by my_merge.merge_cell.vc1.OR2_tf[1].y:=0]
|
||||
421798 my_merge.in1.v : 0 [by my_merge.merge_cell.vc1.myctree.C2Els[0]._y:=1]
|
||||
421828 my_merge.merge_cell.validity_arb.arbiter._y1 : 1 [by my_merge.in1.v:=0]
|
||||
428541 my_merge.merge_cell.validity_arb._y1_arb : 0 [by my_merge.merge_cell.validity_arb.arbiter._y1:=1]
|
||||
486002 my_merge.merge_cell.validity_arb.or_cell._y : 1 [by my_merge.merge_cell.validity_arb._y1_arb:=0]
|
||||
486093 my_merge.merge_cell._out_temp.a : 0 [by my_merge.merge_cell.validity_arb.or_cell._y:=1]
|
||||
488282 my_merge.merge_cell.validity_arb.ack_cell1._y : 1 [by my_merge.merge_cell._out_temp.a:=0]
|
||||
488289 my_merge.merge_cell._in1_arb_temp : 0 [by my_merge.merge_cell.validity_arb.ack_cell1._y:=1]
|
||||
491076 my_merge.merge_cell.AND_arb1._y : 1 [by my_merge.merge_cell._in1_arb_temp:=0]
|
||||
491182 my_merge.merge_cell._in1_arb : 0 [by my_merge.merge_cell.AND_arb1._y:=1]
|
||||
491260 my_merge.merge_cell.arb2function1.buf1._y : 1 [by my_merge.merge_cell._in1_arb:=0]
|
||||
491535 my_merge.merge_cell._in1_arb_X[0] : 0 [by my_merge.merge_cell.arb2function1.buf1._y:=1]
|
||||
491535 my_merge.out.a : 1
|
||||
510531 my_merge.merge_cell._out_a_B : 0 [by my_merge.out.a:=1]
|
||||
510986 my_merge.merge_cell.out_a_buffer.buf1._y : 1 [by my_merge.merge_cell._out_a_B:=0]
|
||||
510998 my_merge.merge_cell._out_a_BX[0] : 0 [by my_merge.merge_cell.out_a_buffer.buf1._y:=1]
|
||||
511010 my_merge.merge_cell.merge_func_f[0]._y : 1 [by my_merge.merge_cell._out_a_BX[0]:=0]
|
||||
511402 my_merge.merge_cell.merge_func_t[1]._y : 1 [by my_merge.merge_cell._out_a_BX[0]:=0]
|
||||
515678 my_merge.merge_cell.merge_func_t[1].y : 0 [by my_merge.merge_cell.merge_func_t[1]._y:=1]
|
||||
516926 my_merge.merge_cell.merge_func_f[0].y : 0 [by my_merge.merge_cell.merge_func_f[0]._y:=1]
|
||||
516926 my_merge.out.v : 0
|
||||
516926 my_merge.out.a : 0
|
||||
519825 my_merge.merge_cell.in1ack_ctl._y : 1 [by my_merge.out.v:=0]
|
||||
519827 my_merge.in1.a : 0 [by my_merge.merge_cell.in1ack_ctl._y:=1]
|
||||
521076 my_merge.merge_cell._en : 1 [by my_merge.in1.a:=0]
|
||||
521221 my_merge.merge_cell._out_a_B : 1 [by my_merge.out.a:=0]
|
||||
521387 my_merge.merge_cell.out_a_buffer.buf1._y : 0 [by my_merge.merge_cell._out_a_B:=1]
|
||||
521462 my_merge.merge_cell._out_a_BX[0] : 1 [by my_merge.merge_cell.out_a_buffer.buf1._y:=0]
|
||||
524362 my_merge.merge_cell._in1_a_B : 1 [by my_merge.in1.a:=0]
|
||||
524575 my_merge.merge_cell.en_buffer.buf1._y : 0 [by my_merge.merge_cell._en:=1]
|
||||
524920 my_merge.merge_cell._en_X[0] : 1 [by my_merge.merge_cell.en_buffer.buf1._y:=0]
|
||||
-------------------------------------------------
|
||||
[3] In1 channel checked
|
||||
524920 my_merge.merge_cell.merge_func_f[0].n4 : 1
|
||||
524920 my_merge.merge_cell.merge_func_t[1].n4 : 1
|
||||
525058 my_merge.merge_cell.vc2.OR2_tf[0]._y : 0 [by my_merge.merge_cell.merge_func_f[0].n4:=1]
|
||||
525060 my_merge.merge_cell.vc2.OR2_tf[0].y : 1 [by my_merge.merge_cell.vc2.OR2_tf[0]._y:=0]
|
||||
530183 my_merge.merge_cell.vc2.OR2_tf[1]._y : 0 [by my_merge.merge_cell.merge_func_t[1].n4:=1]
|
||||
574100 my_merge.merge_cell.vc2.OR2_tf[1].y : 1 [by my_merge.merge_cell.vc2.OR2_tf[1]._y:=0]
|
||||
574101 my_merge.merge_cell.vc2.myctree.C2Els[0]._y : 0 [by my_merge.merge_cell.vc2.OR2_tf[1].y:=1]
|
||||
574649 my_merge.in2.v : 1 [by my_merge.merge_cell.vc2.myctree.C2Els[0]._y:=0]
|
||||
574660 my_merge.merge_cell.validity_arb.arbiter._y2 : 0 [by my_merge.in2.v:=1]
|
||||
575030 my_merge.merge_cell.validity_arb._y2_arb : 1 [by my_merge.merge_cell.validity_arb.arbiter._y2:=0]
|
||||
575097 my_merge.merge_cell.validity_arb.or_cell._y : 0 [by my_merge.merge_cell.validity_arb._y2_arb:=1]
|
||||
577738 my_merge.merge_cell._out_temp.a : 1 [by my_merge.merge_cell.validity_arb.or_cell._y:=0]
|
||||
577754 my_merge.merge_cell.validity_arb.ack_cell2._y : 0 [by my_merge.merge_cell._out_temp.a:=1]
|
||||
582316 my_merge.merge_cell._in2_arb_temp : 1 [by my_merge.merge_cell.validity_arb.ack_cell2._y:=0]
|
||||
582844 my_merge.merge_cell.AND_arb2._y : 0 [by my_merge.merge_cell._in2_arb_temp:=1]
|
||||
585279 my_merge.merge_cell._in2_arb : 1 [by my_merge.merge_cell.AND_arb2._y:=0]
|
||||
612159 my_merge.merge_cell.arb2function2.buf1._y : 0 [by my_merge.merge_cell._in2_arb:=1]
|
||||
636084 my_merge.merge_cell._in2_arb_X[0] : 1 [by my_merge.merge_cell.arb2function2.buf1._y:=0]
|
||||
636086 my_merge.merge_cell.merge_func_t[1]._y : 0 [by my_merge.merge_cell._in2_arb_X[0]:=1]
|
||||
649125 my_merge.merge_cell.merge_func_f[0]._y : 0 [by my_merge.merge_cell._in2_arb_X[0]:=1]
|
||||
649128 my_merge.merge_cell.merge_func_f[0].y : 1 [by my_merge.merge_cell.merge_func_f[0]._y:=0]
|
||||
697044 my_merge.merge_cell.merge_func_t[1].y : 1 [by my_merge.merge_cell.merge_func_t[1]._y:=0]
|
||||
697044 my_merge.out.v : 1
|
||||
697073 my_merge.merge_cell.in2ack_ctl._y : 0 [by my_merge.out.v:=1]
|
||||
697390 my_merge.in2.a : 1 [by my_merge.merge_cell.in2ack_ctl._y:=0]
|
||||
697543 my_merge.merge_cell._in2_a_B : 0 [by my_merge.in2.a:=1]
|
||||
698991 my_merge.merge_cell._en : 0 [by my_merge.in2.a:=1]
|
||||
699035 my_merge.merge_cell.en_buffer.buf1._y : 1 [by my_merge.merge_cell._en:=0]
|
||||
701796 my_merge.merge_cell._en_X[0] : 0 [by my_merge.merge_cell.en_buffer.buf1._y:=1]
|
||||
701796 my_merge.merge_cell.merge_func_f[0].n4 : 0
|
||||
701796 my_merge.merge_cell.merge_func_t[1].n4 : 0
|
||||
701797 my_merge.merge_cell.vc2.OR2_tf[1]._y : 1 [by my_merge.merge_cell.merge_func_t[1].n4:=0]
|
||||
702014 my_merge.merge_cell.vc2.OR2_tf[1].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[1]._y:=1]
|
||||
715479 my_merge.merge_cell.vc2.OR2_tf[0]._y : 1 [by my_merge.merge_cell.merge_func_f[0].n4:=0]
|
||||
715501 my_merge.merge_cell.vc2.OR2_tf[0].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[0]._y:=1]
|
||||
715502 my_merge.merge_cell.vc2.myctree.C2Els[0]._y : 1 [by my_merge.merge_cell.vc2.OR2_tf[0].y:=0]
|
||||
717083 my_merge.in2.v : 0 [by my_merge.merge_cell.vc2.myctree.C2Els[0]._y:=1]
|
||||
726428 my_merge.merge_cell.validity_arb.arbiter._y2 : 1 [by my_merge.in2.v:=0]
|
||||
726587 my_merge.merge_cell.validity_arb._y2_arb : 0 [by my_merge.merge_cell.validity_arb.arbiter._y2:=1]
|
||||
746263 my_merge.merge_cell.validity_arb.or_cell._y : 1 [by my_merge.merge_cell.validity_arb._y2_arb:=0]
|
||||
747550 my_merge.merge_cell._out_temp.a : 0 [by my_merge.merge_cell.validity_arb.or_cell._y:=1]
|
||||
749782 my_merge.merge_cell.validity_arb.ack_cell2._y : 1 [by my_merge.merge_cell._out_temp.a:=0]
|
||||
749927 my_merge.merge_cell._in2_arb_temp : 0 [by my_merge.merge_cell.validity_arb.ack_cell2._y:=1]
|
||||
752759 my_merge.merge_cell.AND_arb2._y : 1 [by my_merge.merge_cell._in2_arb_temp:=0]
|
||||
759113 my_merge.merge_cell._in2_arb : 0 [by my_merge.merge_cell.AND_arb2._y:=1]
|
||||
759114 my_merge.merge_cell.arb2function2.buf1._y : 1 [by my_merge.merge_cell._in2_arb:=0]
|
||||
798398 my_merge.merge_cell._in2_arb_X[0] : 0 [by my_merge.merge_cell.arb2function2.buf1._y:=1]
|
||||
798398 my_merge.out.a : 1
|
||||
798560 my_merge.merge_cell._out_a_B : 0 [by my_merge.out.a:=1]
|
||||
805929 my_merge.merge_cell.out_a_buffer.buf1._y : 1 [by my_merge.merge_cell._out_a_B:=0]
|
||||
805943 my_merge.merge_cell._out_a_BX[0] : 0 [by my_merge.merge_cell.out_a_buffer.buf1._y:=1]
|
||||
805950 my_merge.merge_cell.merge_func_t[1]._y : 1 [by my_merge.merge_cell._out_a_BX[0]:=0]
|
||||
806103 my_merge.merge_cell.merge_func_f[0]._y : 1 [by my_merge.merge_cell._out_a_BX[0]:=0]
|
||||
806104 my_merge.merge_cell.merge_func_f[0].y : 0 [by my_merge.merge_cell.merge_func_f[0]._y:=1]
|
||||
827507 my_merge.merge_cell.merge_func_t[1].y : 0 [by my_merge.merge_cell.merge_func_t[1]._y:=1]
|
||||
827507 my_merge.out.a : 0
|
||||
827507 my_merge.out.v : 0
|
||||
827508 my_merge.merge_cell._out_a_B : 1 [by my_merge.out.a:=0]
|
||||
827508 my_merge.merge_cell.in2ack_ctl._y : 1 [by my_merge.out.v:=0]
|
||||
827695 my_merge.in2.a : 0 [by my_merge.merge_cell.in2ack_ctl._y:=1]
|
||||
827696 my_merge.merge_cell._en : 1 [by my_merge.in2.a:=0]
|
||||
829751 my_merge.merge_cell.out_a_buffer.buf1._y : 0 [by my_merge.merge_cell._out_a_B:=1]
|
||||
829752 my_merge.merge_cell._out_a_BX[0] : 1 [by my_merge.merge_cell.out_a_buffer.buf1._y:=0]
|
||||
831877 my_merge.merge_cell._in2_a_B : 1 [by my_merge.in2.a:=0]
|
||||
862478 my_merge.merge_cell.en_buffer.buf1._y : 0 [by my_merge.merge_cell._en:=1]
|
||||
863331 my_merge.merge_cell._en_X[0] : 1 [by my_merge.merge_cell.en_buffer.buf1._y:=0]
|
||||
-------------------------------------------------
|
||||
[4] In2 valid checked
|
||||
863331 my_merge.merge_cell.merge_func_f[0].n4 : 1
|
||||
863331 my_merge.merge_cell.merge_func_t[1].n2 : 1
|
||||
863331 my_merge.merge_cell.merge_func_f[0].n2 : 1
|
||||
863331 my_merge.merge_cell.merge_func_t[1].n4 : 1
|
||||
863332 my_merge.merge_cell.vc1.OR2_tf[0]._y : 0 [by my_merge.merge_cell.merge_func_f[0].n2:=1]
|
||||
863336 my_merge.merge_cell.vc2.OR2_tf[0]._y : 0 [by my_merge.merge_cell.merge_func_f[0].n4:=1]
|
||||
863348 my_merge.merge_cell.vc2.OR2_tf[1]._y : 0 [by my_merge.merge_cell.merge_func_t[1].n4:=1]
|
||||
863351 my_merge.merge_cell.vc2.OR2_tf[1].y : 1 [by my_merge.merge_cell.vc2.OR2_tf[1]._y:=0]
|
||||
864222 my_merge.merge_cell.vc1.OR2_tf[1]._y : 0 [by my_merge.merge_cell.merge_func_t[1].n2:=1]
|
||||
865163 my_merge.merge_cell.vc1.OR2_tf[1].y : 1 [by my_merge.merge_cell.vc1.OR2_tf[1]._y:=0]
|
||||
865905 my_merge.merge_cell.vc1.OR2_tf[0].y : 1 [by my_merge.merge_cell.vc1.OR2_tf[0]._y:=0]
|
||||
871697 my_merge.merge_cell.vc2.OR2_tf[0].y : 1 [by my_merge.merge_cell.vc2.OR2_tf[0]._y:=0]
|
||||
871698 my_merge.merge_cell.vc2.myctree.C2Els[0]._y : 0 [by my_merge.merge_cell.vc2.OR2_tf[0].y:=1]
|
||||
871740 my_merge.in2.v : 1 [by my_merge.merge_cell.vc2.myctree.C2Els[0]._y:=0]
|
||||
874557 my_merge.merge_cell.validity_arb.arbiter._y2 : 0 [by my_merge.in2.v:=1]
|
||||
888290 my_merge.merge_cell.validity_arb._y2_arb : 1 [by my_merge.merge_cell.validity_arb.arbiter._y2:=0]
|
||||
888385 my_merge.merge_cell.validity_arb.or_cell._y : 0 [by my_merge.merge_cell.validity_arb._y2_arb:=1]
|
||||
888720 my_merge.merge_cell._out_temp.a : 1 [by my_merge.merge_cell.validity_arb.or_cell._y:=0]
|
||||
888728 my_merge.merge_cell.validity_arb.ack_cell2._y : 0 [by my_merge.merge_cell._out_temp.a:=1]
|
||||
888762 my_merge.merge_cell._in2_arb_temp : 1 [by my_merge.merge_cell.validity_arb.ack_cell2._y:=0]
|
||||
902649 my_merge.merge_cell.AND_arb2._y : 0 [by my_merge.merge_cell._in2_arb_temp:=1]
|
||||
903567 my_merge.merge_cell._in2_arb : 1 [by my_merge.merge_cell.AND_arb2._y:=0]
|
||||
903571 my_merge.merge_cell.arb2function2.buf1._y : 0 [by my_merge.merge_cell._in2_arb:=1]
|
||||
924867 my_merge.merge_cell.vc1.myctree.C2Els[0]._y : 0 [by my_merge.merge_cell.vc1.OR2_tf[0].y:=1]
|
||||
927265 my_merge.in1.v : 1 [by my_merge.merge_cell.vc1.myctree.C2Els[0]._y:=0]
|
||||
949949 my_merge.merge_cell._in2_arb_X[0] : 1 [by my_merge.merge_cell.arb2function2.buf1._y:=0]
|
||||
953164 my_merge.merge_cell.merge_func_f[0]._y : 0 [by my_merge.merge_cell._in2_arb_X[0]:=1]
|
||||
953212 my_merge.merge_cell.merge_func_f[0].y : 1 [by my_merge.merge_cell.merge_func_f[0]._y:=0]
|
||||
997068 my_merge.merge_cell.merge_func_t[1]._y : 0 [by my_merge.merge_cell._in2_arb_X[0]:=1]
|
||||
997071 my_merge.merge_cell.merge_func_t[1].y : 1 [by my_merge.merge_cell.merge_func_t[1]._y:=0]
|
||||
997071 my_merge.out.v : 1
|
||||
997249 my_merge.merge_cell.in2ack_ctl._y : 0 [by my_merge.out.v:=1]
|
||||
1018226 my_merge.in2.a : 1 [by my_merge.merge_cell.in2ack_ctl._y:=0]
|
||||
1024177 my_merge.merge_cell._in2_a_B : 0 [by my_merge.in2.a:=1]
|
||||
1030125 my_merge.merge_cell._en : 0 [by my_merge.in2.a:=1]
|
||||
1069610 my_merge.merge_cell.en_buffer.buf1._y : 1 [by my_merge.merge_cell._en:=0]
|
||||
1070437 my_merge.merge_cell._en_X[0] : 0 [by my_merge.merge_cell.en_buffer.buf1._y:=1]
|
||||
1070437 my_merge.out.a : 1
|
||||
1070610 my_merge.merge_cell._out_a_B : 0 [by my_merge.out.a:=1]
|
||||
1070794 my_merge.merge_cell.out_a_buffer.buf1._y : 1 [by my_merge.merge_cell._out_a_B:=0]
|
||||
1070795 my_merge.merge_cell._out_a_BX[0] : 0 [by my_merge.merge_cell.out_a_buffer.buf1._y:=1]
|
||||
1070799 my_merge.merge_cell.merge_func_f[0]._y : 1 [by my_merge.merge_cell._out_a_BX[0]:=0]
|
||||
1070868 my_merge.merge_cell.merge_func_t[1]._y : 1 [by my_merge.merge_cell._out_a_BX[0]:=0]
|
||||
1070964 my_merge.merge_cell.merge_func_t[1].y : 0 [by my_merge.merge_cell.merge_func_t[1]._y:=1]
|
||||
1108087 my_merge.merge_cell.merge_func_f[0].y : 0 [by my_merge.merge_cell.merge_func_f[0]._y:=1]
|
||||
1108087 my_merge.out.a : 0
|
||||
1108087 my_merge.out.v : 0
|
||||
1108223 my_merge.merge_cell._out_a_B : 1 [by my_merge.out.a:=0]
|
||||
1108224 my_merge.merge_cell.out_a_buffer.buf1._y : 0 [by my_merge.merge_cell._out_a_B:=1]
|
||||
1127270 my_merge.merge_cell._out_a_BX[0] : 1 [by my_merge.merge_cell.out_a_buffer.buf1._y:=0]
|
||||
1127270 my_merge.merge_cell.merge_func_f[0].n4 : 0
|
||||
1127270 my_merge.merge_cell.merge_func_t[1].n4 : 0
|
||||
1127511 my_merge.merge_cell.vc2.OR2_tf[0]._y : 1 [by my_merge.merge_cell.merge_func_f[0].n4:=0]
|
||||
1127523 my_merge.merge_cell.vc2.OR2_tf[0].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[0]._y:=1]
|
||||
1131229 my_merge.merge_cell.vc2.OR2_tf[1]._y : 1 [by my_merge.merge_cell.merge_func_t[1].n4:=0]
|
||||
1135129 my_merge.merge_cell.vc2.OR2_tf[1].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[1]._y:=1]
|
||||
1136158 my_merge.merge_cell.vc2.myctree.C2Els[0]._y : 1 [by my_merge.merge_cell.vc2.OR2_tf[1].y:=0]
|
||||
1136159 my_merge.in2.v : 0 [by my_merge.merge_cell.vc2.myctree.C2Els[0]._y:=1]
|
||||
1136215 my_merge.merge_cell.validity_arb.arbiter._y2 : 1 [by my_merge.in2.v:=0]
|
||||
1136216 my_merge.merge_cell.validity_arb._y2_arb : 0 [by my_merge.merge_cell.validity_arb.arbiter._y2:=1]
|
||||
1136253 my_merge.merge_cell.validity_arb.or_cell._y : 1 [by my_merge.merge_cell.validity_arb._y2_arb:=0]
|
||||
1159628 my_merge.merge_cell._out_temp.a : 0 [by my_merge.merge_cell.validity_arb.or_cell._y:=1]
|
||||
1159629 my_merge.merge_cell.validity_arb.ack_cell2._y : 1 [by my_merge.merge_cell._out_temp.a:=0]
|
||||
1163193 my_merge.merge_cell._in2_arb_temp : 0 [by my_merge.merge_cell.validity_arb.ack_cell2._y:=1]
|
||||
1164885 my_merge.merge_cell.AND_arb2._y : 1 [by my_merge.merge_cell._in2_arb_temp:=0]
|
||||
1164898 my_merge.merge_cell._in2_arb : 0 [by my_merge.merge_cell.AND_arb2._y:=1]
|
||||
1165255 my_merge.merge_cell.in2ack_ctl._y : 1 [by my_merge.merge_cell._in2_arb:=0]
|
||||
1165280 my_merge.in2.a : 0 [by my_merge.merge_cell.in2ack_ctl._y:=1]
|
||||
1165281 my_merge.merge_cell._in2_a_B : 1 [by my_merge.in2.a:=0]
|
||||
1165301 my_merge.merge_cell._en : 1 [by my_merge.in2.a:=0]
|
||||
1174949 my_merge.merge_cell.en_buffer.buf1._y : 0 [by my_merge.merge_cell._en:=1]
|
||||
1174950 my_merge.merge_cell._en_X[0] : 1 [by my_merge.merge_cell.en_buffer.buf1._y:=0]
|
||||
1181221 my_merge.merge_cell.validity_arb.arbiter._y1 : 0 [by my_merge.merge_cell.validity_arb.arbiter._y2:=1]
|
||||
1181222 my_merge.merge_cell.validity_arb._y1_arb : 1 [by my_merge.merge_cell.validity_arb.arbiter._y1:=0]
|
||||
1181383 my_merge.merge_cell.validity_arb.or_cell._y : 0 [by my_merge.merge_cell.validity_arb._y1_arb:=1]
|
||||
1181882 my_merge.merge_cell.arb2function2.buf1._y : 1 [by my_merge.merge_cell._in2_arb:=0]
|
||||
1181887 my_merge.merge_cell._in2_arb_X[0] : 0 [by my_merge.merge_cell.arb2function2.buf1._y:=1]
|
||||
1182420 my_merge.merge_cell._out_temp.a : 1 [by my_merge.merge_cell.validity_arb.or_cell._y:=0]
|
||||
1183001 my_merge.merge_cell.validity_arb.ack_cell1._y : 0 [by my_merge.merge_cell._out_temp.a:=1]
|
||||
1183409 my_merge.merge_cell._in1_arb_temp : 1 [by my_merge.merge_cell.validity_arb.ack_cell1._y:=0]
|
||||
1183420 my_merge.merge_cell.AND_arb1._y : 0 [by my_merge.merge_cell._in1_arb_temp:=1]
|
||||
1184467 my_merge.merge_cell._in1_arb : 1 [by my_merge.merge_cell.AND_arb1._y:=0]
|
||||
1184481 my_merge.merge_cell.arb2function1.buf1._y : 0 [by my_merge.merge_cell._in1_arb:=1]
|
||||
1184499 my_merge.merge_cell._in1_arb_X[0] : 1 [by my_merge.merge_cell.arb2function1.buf1._y:=0]
|
||||
1184503 my_merge.merge_cell.merge_func_f[0]._y : 0 [by my_merge.merge_cell._in1_arb_X[0]:=1]
|
||||
1184603 my_merge.merge_cell.merge_func_t[1]._y : 0 [by my_merge.merge_cell._in1_arb_X[0]:=1]
|
||||
1185807 my_merge.merge_cell.merge_func_t[1].y : 1 [by my_merge.merge_cell.merge_func_t[1]._y:=0]
|
||||
1215947 my_merge.merge_cell.merge_func_f[0].y : 1 [by my_merge.merge_cell.merge_func_f[0]._y:=0]
|
||||
-------------------------------------------------
|
||||
Finished
|
556
test/unit_tests/merge_t_2_simple/run/test.prs
Normal file
556
test/unit_tests/merge_t_2_simple/run/test.prs
Normal file
@ -0,0 +1,556 @@
|
||||
= "GND" "GND"
|
||||
= "Vdd" "Vdd"
|
||||
= "Reset" "Reset"
|
||||
"Reset"->"my_merge._reset_B"-
|
||||
~("Reset")->"my_merge._reset_B"+
|
||||
= "my_merge._reset_B" "my_merge.merge_cell.reset_B"
|
||||
= "my_merge.in1.d.d[0].d[0]" "my_merge.in1.d.d[0].f"
|
||||
= "my_merge.in1.d.d[0].d[1]" "my_merge.in1.d.d[0].t"
|
||||
= "my_merge.in1.d.d[1].d[0]" "my_merge.in1.d.d[1].f"
|
||||
= "my_merge.in1.d.d[1].d[1]" "my_merge.in1.d.d[1].t"
|
||||
= "my_merge.in1.d.d[1].d[0]" "my_merge.in1.d.d[1].f"
|
||||
= "my_merge.in1.d.d[1].d[1]" "my_merge.in1.d.d[1].t"
|
||||
= "my_merge.in1.d.d[0].d[0]" "my_merge.in1.d.d[0].f"
|
||||
= "my_merge.in1.d.d[0].d[1]" "my_merge.in1.d.d[0].t"
|
||||
= "my_merge.in1.d.d[1].d[0]" "my_merge.in1.d.d[1].f"
|
||||
= "my_merge.in1.d.d[1].d[1]" "my_merge.in1.d.d[1].t"
|
||||
= "my_merge.in1.d.d[0].d[0]" "my_merge.in1.d.d[0].f"
|
||||
= "my_merge.in1.d.d[0].d[1]" "my_merge.in1.d.d[0].t"
|
||||
= "my_merge.in1.v" "my_merge.merge_cell.in1.v"
|
||||
= "my_merge.in1.a" "my_merge.merge_cell.in1.a"
|
||||
= "my_merge.in1.d.d[0].f" "my_merge.merge_cell.in1.d.d[0].f"
|
||||
= "my_merge.in1.d.d[0].t" "my_merge.merge_cell.in1.d.d[0].t"
|
||||
= "my_merge.in1.d.d[0].d[0]" "my_merge.merge_cell.in1.d.d[0].d[0]"
|
||||
= "my_merge.in1.d.d[0].d[1]" "my_merge.merge_cell.in1.d.d[0].d[1]"
|
||||
= "my_merge.in1.d.d[1].f" "my_merge.merge_cell.in1.d.d[1].f"
|
||||
= "my_merge.in1.d.d[1].t" "my_merge.merge_cell.in1.d.d[1].t"
|
||||
= "my_merge.in1.d.d[1].d[0]" "my_merge.merge_cell.in1.d.d[1].d[0]"
|
||||
= "my_merge.in1.d.d[1].d[1]" "my_merge.merge_cell.in1.d.d[1].d[1]"
|
||||
= "my_merge.in1.d.d[1].d[0]" "my_merge.in1.d.d[1].f"
|
||||
= "my_merge.in1.d.d[1].d[1]" "my_merge.in1.d.d[1].t"
|
||||
= "my_merge.in1.d.d[0].d[0]" "my_merge.in1.d.d[0].f"
|
||||
= "my_merge.in1.d.d[0].d[1]" "my_merge.in1.d.d[0].t"
|
||||
~"my_merge.merge_cell.merge_func_f[0].c1"&~"my_merge.merge_cell.merge_func_f[0].c2"|~"my_merge.merge_cell.merge_func_f[0].pr_B"->"my_merge.merge_cell.merge_func_f[0]._y"+
|
||||
"my_merge.merge_cell.merge_func_f[0].c1"&"my_merge.merge_cell.merge_func_f[0].c2"&("my_merge.merge_cell.merge_func_f[0].n1"&"my_merge.merge_cell.merge_func_f[0].n2"|"my_merge.merge_cell.merge_func_f[0].n3"&"my_merge.merge_cell.merge_func_f[0].n4")&"my_merge.merge_cell.merge_func_f[0].sr_B"->"my_merge.merge_cell.merge_func_f[0]._y"-
|
||||
"my_merge.merge_cell.merge_func_f[0]._y"->"my_merge.merge_cell.merge_func_f[0].y"-
|
||||
~("my_merge.merge_cell.merge_func_f[0]._y")->"my_merge.merge_cell.merge_func_f[0].y"+
|
||||
~"my_merge.merge_cell.merge_func_f[1].c1"&~"my_merge.merge_cell.merge_func_f[1].c2"|~"my_merge.merge_cell.merge_func_f[1].pr_B"->"my_merge.merge_cell.merge_func_f[1]._y"+
|
||||
"my_merge.merge_cell.merge_func_f[1].c1"&"my_merge.merge_cell.merge_func_f[1].c2"&("my_merge.merge_cell.merge_func_f[1].n1"&"my_merge.merge_cell.merge_func_f[1].n2"|"my_merge.merge_cell.merge_func_f[1].n3"&"my_merge.merge_cell.merge_func_f[1].n4")&"my_merge.merge_cell.merge_func_f[1].sr_B"->"my_merge.merge_cell.merge_func_f[1]._y"-
|
||||
"my_merge.merge_cell.merge_func_f[1]._y"->"my_merge.merge_cell.merge_func_f[1].y"-
|
||||
~("my_merge.merge_cell.merge_func_f[1]._y")->"my_merge.merge_cell.merge_func_f[1].y"+
|
||||
= "my_merge.merge_cell.in1.d.d[0].d[0]" "my_merge.merge_cell.in1.d.d[0].f"
|
||||
= "my_merge.merge_cell.in1.d.d[0].d[1]" "my_merge.merge_cell.in1.d.d[0].t"
|
||||
= "my_merge.merge_cell.in1.d.d[1].d[0]" "my_merge.merge_cell.in1.d.d[1].f"
|
||||
= "my_merge.merge_cell.in1.d.d[1].d[1]" "my_merge.merge_cell.in1.d.d[1].t"
|
||||
= "my_merge.merge_cell.in1.d.d[1].d[0]" "my_merge.merge_cell.in1.d.d[1].f"
|
||||
= "my_merge.merge_cell.in1.d.d[1].d[1]" "my_merge.merge_cell.in1.d.d[1].t"
|
||||
= "my_merge.merge_cell.in1.d.d[0].d[0]" "my_merge.merge_cell.in1.d.d[0].f"
|
||||
= "my_merge.merge_cell.in1.d.d[0].d[1]" "my_merge.merge_cell.in1.d.d[0].t"
|
||||
= "my_merge.merge_cell.in1.d.d[1].d[0]" "my_merge.merge_cell.in1.d.d[1].f"
|
||||
= "my_merge.merge_cell.in1.d.d[1].d[1]" "my_merge.merge_cell.in1.d.d[1].t"
|
||||
= "my_merge.merge_cell.in1.d.d[0].d[0]" "my_merge.merge_cell.in1.d.d[0].f"
|
||||
= "my_merge.merge_cell.in1.d.d[0].d[1]" "my_merge.merge_cell.in1.d.d[0].t"
|
||||
= "my_merge.merge_cell.in1.d.d[0].f" "my_merge.merge_cell.vc1.in.d[0].f"
|
||||
= "my_merge.merge_cell.in1.d.d[0].t" "my_merge.merge_cell.vc1.in.d[0].t"
|
||||
= "my_merge.merge_cell.in1.d.d[0].d[0]" "my_merge.merge_cell.vc1.in.d[0].d[0]"
|
||||
= "my_merge.merge_cell.in1.d.d[0].d[1]" "my_merge.merge_cell.vc1.in.d[0].d[1]"
|
||||
= "my_merge.merge_cell.in1.d.d[1].f" "my_merge.merge_cell.vc1.in.d[1].f"
|
||||
= "my_merge.merge_cell.in1.d.d[1].t" "my_merge.merge_cell.vc1.in.d[1].t"
|
||||
= "my_merge.merge_cell.in1.d.d[1].d[0]" "my_merge.merge_cell.vc1.in.d[1].d[0]"
|
||||
= "my_merge.merge_cell.in1.d.d[1].d[1]" "my_merge.merge_cell.vc1.in.d[1].d[1]"
|
||||
= "my_merge.merge_cell.in1.a" "my_merge.merge_cell.in1ack_ctl_inv.a"
|
||||
= "my_merge.merge_cell.in1.a" "my_merge.merge_cell.en_ctl.n1"
|
||||
= "my_merge.merge_cell.in1.a" "my_merge.merge_cell.en_ctl.p1"
|
||||
= "my_merge.merge_cell.in1.a" "my_merge.merge_cell.in1ack_ctl.y"
|
||||
= "my_merge.merge_cell.in1.v" "my_merge.merge_cell._in1_temp.r"
|
||||
= "my_merge.merge_cell.in1.v" "my_merge.merge_cell._in1_temp.d.d[0]"
|
||||
= "my_merge.merge_cell.in1.v" "my_merge.merge_cell.vc1.out"
|
||||
= "my_merge.merge_cell.in1.v" "my_merge.merge_cell.in1ack_ctl.c3"
|
||||
= "my_merge.merge_cell.in1.d.d[1].d[0]" "my_merge.merge_cell.merge_func_f[1].n2"
|
||||
= "my_merge.merge_cell.in1.d.d[1].d[0]" "my_merge.merge_cell.in1.d.d[1].f"
|
||||
= "my_merge.merge_cell.in1.d.d[1].d[1]" "my_merge.merge_cell.merge_func_t[1].n2"
|
||||
= "my_merge.merge_cell.in1.d.d[1].d[1]" "my_merge.merge_cell.in1.d.d[1].t"
|
||||
= "my_merge.merge_cell.in1.d.d[0].d[0]" "my_merge.merge_cell.merge_func_f[0].n2"
|
||||
= "my_merge.merge_cell.in1.d.d[0].d[0]" "my_merge.merge_cell.in1.d.d[0].f"
|
||||
= "my_merge.merge_cell.in1.d.d[0].d[1]" "my_merge.merge_cell.merge_func_t[0].n2"
|
||||
= "my_merge.merge_cell.in1.d.d[0].d[1]" "my_merge.merge_cell.in1.d.d[0].t"
|
||||
= "my_merge.merge_cell._in1_arb_X[0]" "my_merge.merge_cell.arb2function1.out[0]"
|
||||
= "my_merge.merge_cell._in1_arb_X[1]" "my_merge.merge_cell.arb2function1.out[1]"
|
||||
= "my_merge.merge_cell._in1_arb_X[2]" "my_merge.merge_cell.arb2function1.out[2]"
|
||||
= "my_merge.merge_cell._in1_arb_X[3]" "my_merge.merge_cell.arb2function1.out[3]"
|
||||
= "my_merge.merge_cell._in1_arb_X[0]" "my_merge.merge_cell.merge_func_f[1].n1"
|
||||
= "my_merge.merge_cell._in1_arb_X[0]" "my_merge.merge_cell.merge_func_t[1].n1"
|
||||
= "my_merge.merge_cell._in1_arb_X[0]" "my_merge.merge_cell.merge_func_f[0].n1"
|
||||
= "my_merge.merge_cell._in1_arb_X[0]" "my_merge.merge_cell.merge_func_t[0].n1"
|
||||
= "my_merge.merge_cell._in1_arb_X[0]" "my_merge.merge_cell._in1_arb_X[3]"
|
||||
= "my_merge.merge_cell._in1_arb_X[0]" "my_merge.merge_cell._in1_arb_X[2]"
|
||||
= "my_merge.merge_cell._in1_arb_X[0]" "my_merge.merge_cell._in1_arb_X[1]"
|
||||
= "my_merge.merge_cell._in2_arb_X[0]" "my_merge.merge_cell.arb2function2.out[0]"
|
||||
= "my_merge.merge_cell._in2_arb_X[1]" "my_merge.merge_cell.arb2function2.out[1]"
|
||||
= "my_merge.merge_cell._in2_arb_X[2]" "my_merge.merge_cell.arb2function2.out[2]"
|
||||
= "my_merge.merge_cell._in2_arb_X[3]" "my_merge.merge_cell.arb2function2.out[3]"
|
||||
= "my_merge.merge_cell._in2_arb_X[0]" "my_merge.merge_cell.merge_func_f[1].n3"
|
||||
= "my_merge.merge_cell._in2_arb_X[0]" "my_merge.merge_cell.merge_func_t[1].n3"
|
||||
= "my_merge.merge_cell._in2_arb_X[0]" "my_merge.merge_cell.merge_func_f[0].n3"
|
||||
= "my_merge.merge_cell._in2_arb_X[0]" "my_merge.merge_cell.merge_func_t[0].n3"
|
||||
= "my_merge.merge_cell._in2_arb_X[0]" "my_merge.merge_cell._in2_arb_X[3]"
|
||||
= "my_merge.merge_cell._in2_arb_X[0]" "my_merge.merge_cell._in2_arb_X[2]"
|
||||
= "my_merge.merge_cell._in2_arb_X[0]" "my_merge.merge_cell._in2_arb_X[1]"
|
||||
"my_merge.merge_cell.reset_bufarray.buf1.a"->"my_merge.merge_cell.reset_bufarray.buf1._y"-
|
||||
~("my_merge.merge_cell.reset_bufarray.buf1.a")->"my_merge.merge_cell.reset_bufarray.buf1._y"+
|
||||
"my_merge.merge_cell.reset_bufarray.buf1._y"->"my_merge.merge_cell.reset_bufarray.buf1.y"-
|
||||
~("my_merge.merge_cell.reset_bufarray.buf1._y")->"my_merge.merge_cell.reset_bufarray.buf1.y"+
|
||||
= "my_merge.merge_cell.reset_bufarray.supply.vdd" "my_merge.merge_cell.reset_bufarray.buf1.vdd"
|
||||
= "my_merge.merge_cell.reset_bufarray.supply.vss" "my_merge.merge_cell.reset_bufarray.buf1.vss"
|
||||
= "my_merge.merge_cell.reset_bufarray.out[0]" "my_merge.merge_cell.reset_bufarray.out[3]"
|
||||
= "my_merge.merge_cell.reset_bufarray.out[0]" "my_merge.merge_cell.reset_bufarray.out[2]"
|
||||
= "my_merge.merge_cell.reset_bufarray.out[0]" "my_merge.merge_cell.reset_bufarray.out[1]"
|
||||
= "my_merge.merge_cell.reset_bufarray.out[0]" "my_merge.merge_cell.reset_bufarray.buf1.y"
|
||||
= "my_merge.merge_cell.reset_bufarray.in" "my_merge.merge_cell.reset_bufarray.buf1.a"
|
||||
= "my_merge.merge_cell._out_temp.d.d[0]" "my_merge.merge_cell._out_temp.r"
|
||||
= "my_merge.merge_cell._out_temp.r" "my_merge.merge_cell.validity_arb.out.r"
|
||||
= "my_merge.merge_cell._out_temp.a" "my_merge.merge_cell.validity_arb.out.a"
|
||||
= "my_merge.merge_cell._out_temp.d.d[0]" "my_merge.merge_cell.validity_arb.out.d.d[0]"
|
||||
= "my_merge.merge_cell._out_temp.d.d[0]" "my_merge.merge_cell._out_temp.a"
|
||||
= "my_merge.merge_cell._out_temp.d.d[0]" "my_merge.merge_cell._out_temp.r"
|
||||
"my_merge.merge_cell.arb2function2.buf1.a"->"my_merge.merge_cell.arb2function2.buf1._y"-
|
||||
~("my_merge.merge_cell.arb2function2.buf1.a")->"my_merge.merge_cell.arb2function2.buf1._y"+
|
||||
"my_merge.merge_cell.arb2function2.buf1._y"->"my_merge.merge_cell.arb2function2.buf1.y"-
|
||||
~("my_merge.merge_cell.arb2function2.buf1._y")->"my_merge.merge_cell.arb2function2.buf1.y"+
|
||||
= "my_merge.merge_cell.arb2function2.supply.vdd" "my_merge.merge_cell.arb2function2.buf1.vdd"
|
||||
= "my_merge.merge_cell.arb2function2.supply.vss" "my_merge.merge_cell.arb2function2.buf1.vss"
|
||||
= "my_merge.merge_cell.arb2function2.out[0]" "my_merge.merge_cell.arb2function2.out[3]"
|
||||
= "my_merge.merge_cell.arb2function2.out[0]" "my_merge.merge_cell.arb2function2.out[2]"
|
||||
= "my_merge.merge_cell.arb2function2.out[0]" "my_merge.merge_cell.arb2function2.out[1]"
|
||||
= "my_merge.merge_cell.arb2function2.out[0]" "my_merge.merge_cell.arb2function2.buf1.y"
|
||||
= "my_merge.merge_cell.arb2function2.in" "my_merge.merge_cell.arb2function2.buf1.a"
|
||||
"my_merge.merge_cell.AND_arb2.a"&"my_merge.merge_cell.AND_arb2.b"->"my_merge.merge_cell.AND_arb2._y"-
|
||||
~("my_merge.merge_cell.AND_arb2.a"&"my_merge.merge_cell.AND_arb2.b")->"my_merge.merge_cell.AND_arb2._y"+
|
||||
"my_merge.merge_cell.AND_arb2._y"->"my_merge.merge_cell.AND_arb2.y"-
|
||||
~("my_merge.merge_cell.AND_arb2._y")->"my_merge.merge_cell.AND_arb2.y"+
|
||||
= "my_merge.merge_cell._en_X[0]" "my_merge.merge_cell.en_buffer.out[0]"
|
||||
= "my_merge.merge_cell._en_X[1]" "my_merge.merge_cell.en_buffer.out[1]"
|
||||
= "my_merge.merge_cell._en_X[2]" "my_merge.merge_cell.en_buffer.out[2]"
|
||||
= "my_merge.merge_cell._en_X[3]" "my_merge.merge_cell.en_buffer.out[3]"
|
||||
= "my_merge.merge_cell._en_X[0]" "my_merge.merge_cell.merge_func_f[1].c1"
|
||||
= "my_merge.merge_cell._en_X[0]" "my_merge.merge_cell.merge_func_t[1].c1"
|
||||
= "my_merge.merge_cell._en_X[0]" "my_merge.merge_cell.merge_func_f[0].c1"
|
||||
= "my_merge.merge_cell._en_X[0]" "my_merge.merge_cell.merge_func_t[0].c1"
|
||||
= "my_merge.merge_cell._en_X[0]" "my_merge.merge_cell._en_X[3]"
|
||||
= "my_merge.merge_cell._en_X[0]" "my_merge.merge_cell._en_X[2]"
|
||||
= "my_merge.merge_cell._en_X[0]" "my_merge.merge_cell._en_X[1]"
|
||||
"my_merge.merge_cell.arb2function1.buf1.a"->"my_merge.merge_cell.arb2function1.buf1._y"-
|
||||
~("my_merge.merge_cell.arb2function1.buf1.a")->"my_merge.merge_cell.arb2function1.buf1._y"+
|
||||
"my_merge.merge_cell.arb2function1.buf1._y"->"my_merge.merge_cell.arb2function1.buf1.y"-
|
||||
~("my_merge.merge_cell.arb2function1.buf1._y")->"my_merge.merge_cell.arb2function1.buf1.y"+
|
||||
= "my_merge.merge_cell.arb2function1.supply.vdd" "my_merge.merge_cell.arb2function1.buf1.vdd"
|
||||
= "my_merge.merge_cell.arb2function1.supply.vss" "my_merge.merge_cell.arb2function1.buf1.vss"
|
||||
= "my_merge.merge_cell.arb2function1.out[0]" "my_merge.merge_cell.arb2function1.out[3]"
|
||||
= "my_merge.merge_cell.arb2function1.out[0]" "my_merge.merge_cell.arb2function1.out[2]"
|
||||
= "my_merge.merge_cell.arb2function1.out[0]" "my_merge.merge_cell.arb2function1.out[1]"
|
||||
= "my_merge.merge_cell.arb2function1.out[0]" "my_merge.merge_cell.arb2function1.buf1.y"
|
||||
= "my_merge.merge_cell.arb2function1.in" "my_merge.merge_cell.arb2function1.buf1.a"
|
||||
"my_merge.merge_cell.AND_arb1.a"&"my_merge.merge_cell.AND_arb1.b"->"my_merge.merge_cell.AND_arb1._y"-
|
||||
~("my_merge.merge_cell.AND_arb1.a"&"my_merge.merge_cell.AND_arb1.b")->"my_merge.merge_cell.AND_arb1._y"+
|
||||
"my_merge.merge_cell.AND_arb1._y"->"my_merge.merge_cell.AND_arb1.y"-
|
||||
~("my_merge.merge_cell.AND_arb1._y")->"my_merge.merge_cell.AND_arb1.y"+
|
||||
= "my_merge.merge_cell._en" "my_merge.merge_cell.en_buffer.in"
|
||||
= "my_merge.merge_cell._en" "my_merge.merge_cell.en_ctl.y"
|
||||
= "my_merge.merge_cell._en" "my_merge.merge_cell.in2ack_ctl.c2"
|
||||
= "my_merge.merge_cell._en" "my_merge.merge_cell.in1ack_ctl.c2"
|
||||
"my_merge.merge_cell.en_buffer.buf1.a"->"my_merge.merge_cell.en_buffer.buf1._y"-
|
||||
~("my_merge.merge_cell.en_buffer.buf1.a")->"my_merge.merge_cell.en_buffer.buf1._y"+
|
||||
"my_merge.merge_cell.en_buffer.buf1._y"->"my_merge.merge_cell.en_buffer.buf1.y"-
|
||||
~("my_merge.merge_cell.en_buffer.buf1._y")->"my_merge.merge_cell.en_buffer.buf1.y"+
|
||||
= "my_merge.merge_cell.en_buffer.supply.vdd" "my_merge.merge_cell.en_buffer.buf1.vdd"
|
||||
= "my_merge.merge_cell.en_buffer.supply.vss" "my_merge.merge_cell.en_buffer.buf1.vss"
|
||||
= "my_merge.merge_cell.en_buffer.out[0]" "my_merge.merge_cell.en_buffer.out[3]"
|
||||
= "my_merge.merge_cell.en_buffer.out[0]" "my_merge.merge_cell.en_buffer.out[2]"
|
||||
= "my_merge.merge_cell.en_buffer.out[0]" "my_merge.merge_cell.en_buffer.out[1]"
|
||||
= "my_merge.merge_cell.en_buffer.out[0]" "my_merge.merge_cell.en_buffer.buf1.y"
|
||||
= "my_merge.merge_cell.en_buffer.in" "my_merge.merge_cell.en_buffer.buf1.a"
|
||||
"my_merge.merge_cell.reset_buf.a"->"my_merge.merge_cell.reset_buf._y"-
|
||||
~("my_merge.merge_cell.reset_buf.a")->"my_merge.merge_cell.reset_buf._y"+
|
||||
"my_merge.merge_cell.reset_buf._y"->"my_merge.merge_cell.reset_buf.y"-
|
||||
~("my_merge.merge_cell.reset_buf._y")->"my_merge.merge_cell.reset_buf.y"+
|
||||
= "my_merge.merge_cell._in1_temp.d.d[0]" "my_merge.merge_cell._in1_temp.r"
|
||||
= "my_merge.merge_cell._in1_temp.r" "my_merge.merge_cell.validity_arb.in1.r"
|
||||
= "my_merge.merge_cell._in1_temp.a" "my_merge.merge_cell.validity_arb.in1.a"
|
||||
= "my_merge.merge_cell._in1_temp.d.d[0]" "my_merge.merge_cell.validity_arb.in1.d.d[0]"
|
||||
= "my_merge.merge_cell._reset_BX" "my_merge.merge_cell.reset_bufarray.in"
|
||||
= "my_merge.merge_cell._reset_BX" "my_merge.merge_cell.reset_buf.y"
|
||||
= "my_merge.merge_cell._reset_BX" "my_merge.merge_cell.in2ack_ctl.sr_B"
|
||||
= "my_merge.merge_cell._reset_BX" "my_merge.merge_cell.in2ack_ctl.pr_B"
|
||||
= "my_merge.merge_cell._reset_BX" "my_merge.merge_cell.in1ack_ctl.sr_B"
|
||||
= "my_merge.merge_cell._reset_BX" "my_merge.merge_cell.in1ack_ctl.pr_B"
|
||||
= "my_merge.merge_cell._in2_a_B" "my_merge.merge_cell.AND_arb1.a"
|
||||
= "my_merge.merge_cell._in2_a_B" "my_merge.merge_cell.in2ack_ctl_inv.y"
|
||||
= "my_merge.merge_cell.reset_B" "my_merge.merge_cell.reset_buf.a"
|
||||
~"my_merge.merge_cell.vc1.myctree.C2Els[0].c1"&~"my_merge.merge_cell.vc1.myctree.C2Els[0].c2"->"my_merge.merge_cell.vc1.myctree.C2Els[0]._y"+
|
||||
"my_merge.merge_cell.vc1.myctree.C2Els[0].c1"&"my_merge.merge_cell.vc1.myctree.C2Els[0].c2"->"my_merge.merge_cell.vc1.myctree.C2Els[0]._y"-
|
||||
"my_merge.merge_cell.vc1.myctree.C2Els[0]._y"->"my_merge.merge_cell.vc1.myctree.C2Els[0].y"-
|
||||
~("my_merge.merge_cell.vc1.myctree.C2Els[0]._y")->"my_merge.merge_cell.vc1.myctree.C2Els[0].y"+
|
||||
= "my_merge.merge_cell.vc1.myctree.supply.vdd" "my_merge.merge_cell.vc1.myctree.C2Els[0].vdd"
|
||||
= "my_merge.merge_cell.vc1.myctree.supply.vss" "my_merge.merge_cell.vc1.myctree.C2Els[0].vss"
|
||||
= "my_merge.merge_cell.vc1.myctree.in[0]" "my_merge.merge_cell.vc1.myctree.C2Els[0].c1"
|
||||
= "my_merge.merge_cell.vc1.myctree.in[0]" "my_merge.merge_cell.vc1.myctree.tmp[0]"
|
||||
= "my_merge.merge_cell.vc1.myctree.in[1]" "my_merge.merge_cell.vc1.myctree.C2Els[0].c2"
|
||||
= "my_merge.merge_cell.vc1.myctree.in[1]" "my_merge.merge_cell.vc1.myctree.tmp[1]"
|
||||
= "my_merge.merge_cell.vc1.myctree.out" "my_merge.merge_cell.vc1.myctree.C2Els[0].y"
|
||||
= "my_merge.merge_cell.vc1.myctree.out" "my_merge.merge_cell.vc1.myctree.tmp[2]"
|
||||
"my_merge.merge_cell.vc1.OR2_tf[0].a"|"my_merge.merge_cell.vc1.OR2_tf[0].b"->"my_merge.merge_cell.vc1.OR2_tf[0]._y"-
|
||||
~("my_merge.merge_cell.vc1.OR2_tf[0].a"|"my_merge.merge_cell.vc1.OR2_tf[0].b")->"my_merge.merge_cell.vc1.OR2_tf[0]._y"+
|
||||
"my_merge.merge_cell.vc1.OR2_tf[0]._y"->"my_merge.merge_cell.vc1.OR2_tf[0].y"-
|
||||
~("my_merge.merge_cell.vc1.OR2_tf[0]._y")->"my_merge.merge_cell.vc1.OR2_tf[0].y"+
|
||||
"my_merge.merge_cell.vc1.OR2_tf[1].a"|"my_merge.merge_cell.vc1.OR2_tf[1].b"->"my_merge.merge_cell.vc1.OR2_tf[1]._y"-
|
||||
~("my_merge.merge_cell.vc1.OR2_tf[1].a"|"my_merge.merge_cell.vc1.OR2_tf[1].b")->"my_merge.merge_cell.vc1.OR2_tf[1]._y"+
|
||||
"my_merge.merge_cell.vc1.OR2_tf[1]._y"->"my_merge.merge_cell.vc1.OR2_tf[1].y"-
|
||||
~("my_merge.merge_cell.vc1.OR2_tf[1]._y")->"my_merge.merge_cell.vc1.OR2_tf[1].y"+
|
||||
= "my_merge.merge_cell.vc1.OR2_tf[1].y" "my_merge.merge_cell.vc1.myctree.in[1]"
|
||||
= "my_merge.merge_cell.vc1.OR2_tf[0].y" "my_merge.merge_cell.vc1.myctree.in[0]"
|
||||
= "my_merge.merge_cell.vc1.supply.vss" "my_merge.merge_cell.vc1.myctree.supply.vss"
|
||||
= "my_merge.merge_cell.vc1.supply.vdd" "my_merge.merge_cell.vc1.myctree.supply.vdd"
|
||||
= "my_merge.merge_cell.vc1.supply.vdd" "my_merge.merge_cell.vc1.OR2_tf[1].vdd"
|
||||
= "my_merge.merge_cell.vc1.supply.vdd" "my_merge.merge_cell.vc1.OR2_tf[0].vdd"
|
||||
= "my_merge.merge_cell.vc1.supply.vss" "my_merge.merge_cell.vc1.OR2_tf[1].vss"
|
||||
= "my_merge.merge_cell.vc1.supply.vss" "my_merge.merge_cell.vc1.OR2_tf[0].vss"
|
||||
= "my_merge.merge_cell.vc1.out" "my_merge.merge_cell.vc1.myctree.out"
|
||||
= "my_merge.merge_cell.vc1.in.d[0].d[0]" "my_merge.merge_cell.vc1.in.d[0].f"
|
||||
= "my_merge.merge_cell.vc1.in.d[0].d[1]" "my_merge.merge_cell.vc1.in.d[0].t"
|
||||
= "my_merge.merge_cell.vc1.in.d[1].d[0]" "my_merge.merge_cell.vc1.in.d[1].f"
|
||||
= "my_merge.merge_cell.vc1.in.d[1].d[1]" "my_merge.merge_cell.vc1.in.d[1].t"
|
||||
= "my_merge.merge_cell.vc1.in.d[1].d[0]" "my_merge.merge_cell.vc1.in.d[1].f"
|
||||
= "my_merge.merge_cell.vc1.in.d[1].d[1]" "my_merge.merge_cell.vc1.in.d[1].t"
|
||||
= "my_merge.merge_cell.vc1.in.d[0].d[0]" "my_merge.merge_cell.vc1.in.d[0].f"
|
||||
= "my_merge.merge_cell.vc1.in.d[0].d[1]" "my_merge.merge_cell.vc1.in.d[0].t"
|
||||
= "my_merge.merge_cell.vc1.in.d[1].d[0]" "my_merge.merge_cell.vc1.OR2_tf[1].b"
|
||||
= "my_merge.merge_cell.vc1.in.d[1].d[0]" "my_merge.merge_cell.vc1.in.d[1].f"
|
||||
= "my_merge.merge_cell.vc1.in.d[1].d[1]" "my_merge.merge_cell.vc1.OR2_tf[1].a"
|
||||
= "my_merge.merge_cell.vc1.in.d[1].d[1]" "my_merge.merge_cell.vc1.in.d[1].t"
|
||||
= "my_merge.merge_cell.vc1.in.d[0].d[0]" "my_merge.merge_cell.vc1.OR2_tf[0].b"
|
||||
= "my_merge.merge_cell.vc1.in.d[0].d[0]" "my_merge.merge_cell.vc1.in.d[0].f"
|
||||
= "my_merge.merge_cell.vc1.in.d[0].d[1]" "my_merge.merge_cell.vc1.OR2_tf[0].a"
|
||||
= "my_merge.merge_cell.vc1.in.d[0].d[1]" "my_merge.merge_cell.vc1.in.d[0].t"
|
||||
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.reset_bufarray.out[0]"
|
||||
= "my_merge.merge_cell._reset_BXX[1]" "my_merge.merge_cell.reset_bufarray.out[1]"
|
||||
= "my_merge.merge_cell._reset_BXX[2]" "my_merge.merge_cell.reset_bufarray.out[2]"
|
||||
= "my_merge.merge_cell._reset_BXX[3]" "my_merge.merge_cell.reset_bufarray.out[3]"
|
||||
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.merge_func_f[1].sr_B"
|
||||
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.merge_func_f[1].pr_B"
|
||||
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.merge_func_t[1].sr_B"
|
||||
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.merge_func_t[1].pr_B"
|
||||
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.merge_func_f[0].sr_B"
|
||||
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.merge_func_f[0].pr_B"
|
||||
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.merge_func_t[0].sr_B"
|
||||
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.merge_func_t[0].pr_B"
|
||||
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell._reset_BXX[3]"
|
||||
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell._reset_BXX[2]"
|
||||
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell._reset_BXX[1]"
|
||||
"my_merge.merge_cell.in1ack_ctl_inv.a"->"my_merge.merge_cell.in1ack_ctl_inv.y"-
|
||||
~("my_merge.merge_cell.in1ack_ctl_inv.a")->"my_merge.merge_cell.in1ack_ctl_inv.y"+
|
||||
= "my_merge.merge_cell._in1_arb_temp" "my_merge.merge_cell.AND_arb1.b"
|
||||
= "my_merge.merge_cell._in1_arb_temp" "my_merge.merge_cell._in1_temp.a"
|
||||
~"my_merge.merge_cell.merge_func_t[0].c1"&~"my_merge.merge_cell.merge_func_t[0].c2"|~"my_merge.merge_cell.merge_func_t[0].pr_B"->"my_merge.merge_cell.merge_func_t[0]._y"+
|
||||
"my_merge.merge_cell.merge_func_t[0].c1"&"my_merge.merge_cell.merge_func_t[0].c2"&("my_merge.merge_cell.merge_func_t[0].n1"&"my_merge.merge_cell.merge_func_t[0].n2"|"my_merge.merge_cell.merge_func_t[0].n3"&"my_merge.merge_cell.merge_func_t[0].n4")&"my_merge.merge_cell.merge_func_t[0].sr_B"->"my_merge.merge_cell.merge_func_t[0]._y"-
|
||||
"my_merge.merge_cell.merge_func_t[0]._y"->"my_merge.merge_cell.merge_func_t[0].y"-
|
||||
~("my_merge.merge_cell.merge_func_t[0]._y")->"my_merge.merge_cell.merge_func_t[0].y"+
|
||||
~"my_merge.merge_cell.merge_func_t[1].c1"&~"my_merge.merge_cell.merge_func_t[1].c2"|~"my_merge.merge_cell.merge_func_t[1].pr_B"->"my_merge.merge_cell.merge_func_t[1]._y"+
|
||||
"my_merge.merge_cell.merge_func_t[1].c1"&"my_merge.merge_cell.merge_func_t[1].c2"&("my_merge.merge_cell.merge_func_t[1].n1"&"my_merge.merge_cell.merge_func_t[1].n2"|"my_merge.merge_cell.merge_func_t[1].n3"&"my_merge.merge_cell.merge_func_t[1].n4")&"my_merge.merge_cell.merge_func_t[1].sr_B"->"my_merge.merge_cell.merge_func_t[1]._y"-
|
||||
"my_merge.merge_cell.merge_func_t[1]._y"->"my_merge.merge_cell.merge_func_t[1].y"-
|
||||
~("my_merge.merge_cell.merge_func_t[1]._y")->"my_merge.merge_cell.merge_func_t[1].y"+
|
||||
= "my_merge.merge_cell.in2.d.d[0].d[0]" "my_merge.merge_cell.in2.d.d[0].f"
|
||||
= "my_merge.merge_cell.in2.d.d[0].d[1]" "my_merge.merge_cell.in2.d.d[0].t"
|
||||
= "my_merge.merge_cell.in2.d.d[1].d[0]" "my_merge.merge_cell.in2.d.d[1].f"
|
||||
= "my_merge.merge_cell.in2.d.d[1].d[1]" "my_merge.merge_cell.in2.d.d[1].t"
|
||||
= "my_merge.merge_cell.in2.d.d[1].d[0]" "my_merge.merge_cell.in2.d.d[1].f"
|
||||
= "my_merge.merge_cell.in2.d.d[1].d[1]" "my_merge.merge_cell.in2.d.d[1].t"
|
||||
= "my_merge.merge_cell.in2.d.d[0].d[0]" "my_merge.merge_cell.in2.d.d[0].f"
|
||||
= "my_merge.merge_cell.in2.d.d[0].d[1]" "my_merge.merge_cell.in2.d.d[0].t"
|
||||
= "my_merge.merge_cell.in2.d.d[1].d[0]" "my_merge.merge_cell.in2.d.d[1].f"
|
||||
= "my_merge.merge_cell.in2.d.d[1].d[1]" "my_merge.merge_cell.in2.d.d[1].t"
|
||||
= "my_merge.merge_cell.in2.d.d[0].d[0]" "my_merge.merge_cell.in2.d.d[0].f"
|
||||
= "my_merge.merge_cell.in2.d.d[0].d[1]" "my_merge.merge_cell.in2.d.d[0].t"
|
||||
= "my_merge.merge_cell.in2.d.d[0].f" "my_merge.merge_cell.vc2.in.d[0].f"
|
||||
= "my_merge.merge_cell.in2.d.d[0].t" "my_merge.merge_cell.vc2.in.d[0].t"
|
||||
= "my_merge.merge_cell.in2.d.d[0].d[0]" "my_merge.merge_cell.vc2.in.d[0].d[0]"
|
||||
= "my_merge.merge_cell.in2.d.d[0].d[1]" "my_merge.merge_cell.vc2.in.d[0].d[1]"
|
||||
= "my_merge.merge_cell.in2.d.d[1].f" "my_merge.merge_cell.vc2.in.d[1].f"
|
||||
= "my_merge.merge_cell.in2.d.d[1].t" "my_merge.merge_cell.vc2.in.d[1].t"
|
||||
= "my_merge.merge_cell.in2.d.d[1].d[0]" "my_merge.merge_cell.vc2.in.d[1].d[0]"
|
||||
= "my_merge.merge_cell.in2.d.d[1].d[1]" "my_merge.merge_cell.vc2.in.d[1].d[1]"
|
||||
= "my_merge.merge_cell.in2.a" "my_merge.merge_cell.in2ack_ctl_inv.a"
|
||||
= "my_merge.merge_cell.in2.a" "my_merge.merge_cell.en_ctl.n2"
|
||||
= "my_merge.merge_cell.in2.a" "my_merge.merge_cell.en_ctl.p2"
|
||||
= "my_merge.merge_cell.in2.a" "my_merge.merge_cell.in2ack_ctl.y"
|
||||
= "my_merge.merge_cell.in2.v" "my_merge.merge_cell._in2_temp.r"
|
||||
= "my_merge.merge_cell.in2.v" "my_merge.merge_cell._in2_temp.d.d[0]"
|
||||
= "my_merge.merge_cell.in2.v" "my_merge.merge_cell.vc2.out"
|
||||
= "my_merge.merge_cell.in2.v" "my_merge.merge_cell.in2ack_ctl.c3"
|
||||
= "my_merge.merge_cell.in2.d.d[1].d[0]" "my_merge.merge_cell.merge_func_f[1].n4"
|
||||
= "my_merge.merge_cell.in2.d.d[1].d[0]" "my_merge.merge_cell.in2.d.d[1].f"
|
||||
= "my_merge.merge_cell.in2.d.d[1].d[1]" "my_merge.merge_cell.merge_func_t[1].n4"
|
||||
= "my_merge.merge_cell.in2.d.d[1].d[1]" "my_merge.merge_cell.in2.d.d[1].t"
|
||||
= "my_merge.merge_cell.in2.d.d[0].d[0]" "my_merge.merge_cell.merge_func_f[0].n4"
|
||||
= "my_merge.merge_cell.in2.d.d[0].d[0]" "my_merge.merge_cell.in2.d.d[0].f"
|
||||
= "my_merge.merge_cell.in2.d.d[0].d[1]" "my_merge.merge_cell.merge_func_t[0].n4"
|
||||
= "my_merge.merge_cell.in2.d.d[0].d[1]" "my_merge.merge_cell.in2.d.d[0].t"
|
||||
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.arb2function2.supply.vss"
|
||||
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.arb2function2.supply.vdd"
|
||||
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.arb2function1.supply.vss"
|
||||
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.arb2function1.supply.vdd"
|
||||
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.validity_arb.supply.vss"
|
||||
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.validity_arb.supply.vdd"
|
||||
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.vc2.supply.vss"
|
||||
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.vc2.supply.vdd"
|
||||
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.vc1.supply.vss"
|
||||
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.vc1.supply.vdd"
|
||||
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.en_buffer.supply.vss"
|
||||
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.en_buffer.supply.vdd"
|
||||
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.out_a_buffer.supply.vss"
|
||||
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.out_a_buffer.supply.vdd"
|
||||
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.merge_func_f[1].vdd"
|
||||
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.merge_func_t[1].vdd"
|
||||
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.merge_func_f[0].vdd"
|
||||
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.merge_func_t[0].vdd"
|
||||
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.reset_buf.vdd"
|
||||
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.in2ack_ctl_inv.vdd"
|
||||
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.in1ack_ctl_inv.vdd"
|
||||
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.en_ctl.vdd"
|
||||
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.in2ack_ctl.vdd"
|
||||
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.in1ack_ctl.vdd"
|
||||
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.merge_func_f[1].vss"
|
||||
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.merge_func_t[1].vss"
|
||||
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.merge_func_f[0].vss"
|
||||
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.merge_func_t[0].vss"
|
||||
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.reset_buf.vss"
|
||||
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.in2ack_ctl_inv.vss"
|
||||
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.in1ack_ctl_inv.vss"
|
||||
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.en_ctl.vss"
|
||||
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.in2ack_ctl.vss"
|
||||
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.in1ack_ctl.vss"
|
||||
= "my_merge.merge_cell._in2_temp.d.d[0]" "my_merge.merge_cell._in2_temp.r"
|
||||
= "my_merge.merge_cell._in2_temp.r" "my_merge.merge_cell.validity_arb.in2.r"
|
||||
= "my_merge.merge_cell._in2_temp.a" "my_merge.merge_cell.validity_arb.in2.a"
|
||||
= "my_merge.merge_cell._in2_temp.d.d[0]" "my_merge.merge_cell.validity_arb.in2.d.d[0]"
|
||||
~"my_merge.merge_cell.in1ack_ctl.c1"&~"my_merge.merge_cell.in1ack_ctl.c2"&~"my_merge.merge_cell.in1ack_ctl.c3"&~"my_merge.merge_cell.in1ack_ctl.c4"|~"my_merge.merge_cell.in1ack_ctl.pr_B"->"my_merge.merge_cell.in1ack_ctl._y"+
|
||||
"my_merge.merge_cell.in1ack_ctl.c1"&"my_merge.merge_cell.in1ack_ctl.c2"&"my_merge.merge_cell.in1ack_ctl.c3"&"my_merge.merge_cell.in1ack_ctl.c4"&"my_merge.merge_cell.in1ack_ctl.sr_B"->"my_merge.merge_cell.in1ack_ctl._y"-
|
||||
"my_merge.merge_cell.in1ack_ctl._y"->"my_merge.merge_cell.in1ack_ctl.y"-
|
||||
~("my_merge.merge_cell.in1ack_ctl._y")->"my_merge.merge_cell.in1ack_ctl.y"+
|
||||
~"my_merge.merge_cell.en_ctl.p1"&~"my_merge.merge_cell.en_ctl.p2"&~"my_merge.merge_cell.en_ctl.p3"&~"my_merge.merge_cell.en_ctl.p4"->"my_merge.merge_cell.en_ctl.y"+
|
||||
"my_merge.merge_cell.en_ctl.n1"|"my_merge.merge_cell.en_ctl.n2"->"my_merge.merge_cell.en_ctl.y"-
|
||||
"my_merge.merge_cell.out_a_buffer.buf1.a"->"my_merge.merge_cell.out_a_buffer.buf1._y"-
|
||||
~("my_merge.merge_cell.out_a_buffer.buf1.a")->"my_merge.merge_cell.out_a_buffer.buf1._y"+
|
||||
"my_merge.merge_cell.out_a_buffer.buf1._y"->"my_merge.merge_cell.out_a_buffer.buf1.y"-
|
||||
~("my_merge.merge_cell.out_a_buffer.buf1._y")->"my_merge.merge_cell.out_a_buffer.buf1.y"+
|
||||
= "my_merge.merge_cell.out_a_buffer.supply.vdd" "my_merge.merge_cell.out_a_buffer.buf1.vdd"
|
||||
= "my_merge.merge_cell.out_a_buffer.supply.vss" "my_merge.merge_cell.out_a_buffer.buf1.vss"
|
||||
= "my_merge.merge_cell.out_a_buffer.out[0]" "my_merge.merge_cell.out_a_buffer.out[3]"
|
||||
= "my_merge.merge_cell.out_a_buffer.out[0]" "my_merge.merge_cell.out_a_buffer.out[2]"
|
||||
= "my_merge.merge_cell.out_a_buffer.out[0]" "my_merge.merge_cell.out_a_buffer.out[1]"
|
||||
= "my_merge.merge_cell.out_a_buffer.out[0]" "my_merge.merge_cell.out_a_buffer.buf1.y"
|
||||
= "my_merge.merge_cell.out_a_buffer.in" "my_merge.merge_cell.out_a_buffer.buf1.a"
|
||||
= "my_merge.merge_cell.out.d.d[0].d[0]" "my_merge.merge_cell.out.d.d[0].f"
|
||||
= "my_merge.merge_cell.out.d.d[0].d[1]" "my_merge.merge_cell.out.d.d[0].t"
|
||||
= "my_merge.merge_cell.out.d.d[1].d[0]" "my_merge.merge_cell.out.d.d[1].f"
|
||||
= "my_merge.merge_cell.out.d.d[1].d[1]" "my_merge.merge_cell.out.d.d[1].t"
|
||||
= "my_merge.merge_cell.out.d.d[1].d[0]" "my_merge.merge_cell.out.d.d[1].f"
|
||||
= "my_merge.merge_cell.out.d.d[1].d[1]" "my_merge.merge_cell.out.d.d[1].t"
|
||||
= "my_merge.merge_cell.out.d.d[0].d[0]" "my_merge.merge_cell.out.d.d[0].f"
|
||||
= "my_merge.merge_cell.out.d.d[0].d[1]" "my_merge.merge_cell.out.d.d[0].t"
|
||||
= "my_merge.merge_cell.out.d.d[1].d[0]" "my_merge.merge_cell.out.d.d[1].f"
|
||||
= "my_merge.merge_cell.out.d.d[1].d[1]" "my_merge.merge_cell.out.d.d[1].t"
|
||||
= "my_merge.merge_cell.out.d.d[0].d[0]" "my_merge.merge_cell.out.d.d[0].f"
|
||||
= "my_merge.merge_cell.out.d.d[0].d[1]" "my_merge.merge_cell.out.d.d[0].t"
|
||||
= "my_merge.merge_cell.out.a" "my_merge.merge_cell.en_ctl.p3"
|
||||
= "my_merge.merge_cell.out.a" "my_merge.merge_cell.out_a_inverter.a"
|
||||
= "my_merge.merge_cell.out.v" "my_merge.merge_cell.en_ctl.p4"
|
||||
= "my_merge.merge_cell.out.v" "my_merge.merge_cell.in2ack_ctl.c4"
|
||||
= "my_merge.merge_cell.out.v" "my_merge.merge_cell.in1ack_ctl.c4"
|
||||
= "my_merge.merge_cell.out.d.d[1].d[0]" "my_merge.merge_cell.merge_func_f[1].y"
|
||||
= "my_merge.merge_cell.out.d.d[1].d[0]" "my_merge.merge_cell.out.d.d[1].f"
|
||||
= "my_merge.merge_cell.out.d.d[1].d[1]" "my_merge.merge_cell.merge_func_t[1].y"
|
||||
= "my_merge.merge_cell.out.d.d[1].d[1]" "my_merge.merge_cell.out.d.d[1].t"
|
||||
= "my_merge.merge_cell.out.d.d[0].d[0]" "my_merge.merge_cell.merge_func_f[0].y"
|
||||
= "my_merge.merge_cell.out.d.d[0].d[0]" "my_merge.merge_cell.out.d.d[0].f"
|
||||
= "my_merge.merge_cell.out.d.d[0].d[1]" "my_merge.merge_cell.merge_func_t[0].y"
|
||||
= "my_merge.merge_cell.out.d.d[0].d[1]" "my_merge.merge_cell.out.d.d[0].t"
|
||||
= "my_merge.merge_cell._in2_arb_temp" "my_merge.merge_cell.AND_arb2.b"
|
||||
= "my_merge.merge_cell._in2_arb_temp" "my_merge.merge_cell._in2_temp.a"
|
||||
= "my_merge.merge_cell._in1_a_B" "my_merge.merge_cell.AND_arb2.a"
|
||||
= "my_merge.merge_cell._in1_a_B" "my_merge.merge_cell.in1ack_ctl_inv.y"
|
||||
= "my_merge.merge_cell.validity_arb.in1.d.d[0]" "my_merge.merge_cell.validity_arb.in1.r"
|
||||
= "my_merge.merge_cell.validity_arb.in1.a" "my_merge.merge_cell.validity_arb.arbiter.d"
|
||||
= "my_merge.merge_cell.validity_arb.in1.a" "my_merge.merge_cell.validity_arb.ack_cell1.y"
|
||||
= "my_merge.merge_cell.validity_arb.in1.d.d[0]" "my_merge.merge_cell.validity_arb.arbiter.a"
|
||||
= "my_merge.merge_cell.validity_arb.in1.d.d[0]" "my_merge.merge_cell.validity_arb.in1.r"
|
||||
~"my_merge.merge_cell.validity_arb.ack_cell1.c1"&~"my_merge.merge_cell.validity_arb.ack_cell1.c2"->"my_merge.merge_cell.validity_arb.ack_cell1._y"+
|
||||
"my_merge.merge_cell.validity_arb.ack_cell1.c1"&"my_merge.merge_cell.validity_arb.ack_cell1.c2"->"my_merge.merge_cell.validity_arb.ack_cell1._y"-
|
||||
"my_merge.merge_cell.validity_arb.ack_cell1._y"->"my_merge.merge_cell.validity_arb.ack_cell1.y"-
|
||||
~("my_merge.merge_cell.validity_arb.ack_cell1._y")->"my_merge.merge_cell.validity_arb.ack_cell1.y"+
|
||||
= "my_merge.merge_cell.validity_arb.in2.d.d[0]" "my_merge.merge_cell.validity_arb.in2.r"
|
||||
= "my_merge.merge_cell.validity_arb.in2.a" "my_merge.merge_cell.validity_arb.arbiter.c"
|
||||
= "my_merge.merge_cell.validity_arb.in2.a" "my_merge.merge_cell.validity_arb.ack_cell2.y"
|
||||
= "my_merge.merge_cell.validity_arb.in2.d.d[0]" "my_merge.merge_cell.validity_arb.arbiter.b"
|
||||
= "my_merge.merge_cell.validity_arb.in2.d.d[0]" "my_merge.merge_cell.validity_arb.in2.r"
|
||||
= "my_merge.merge_cell.validity_arb.supply.vdd" "my_merge.merge_cell.validity_arb.arbiter.vdd"
|
||||
= "my_merge.merge_cell.validity_arb.supply.vdd" "my_merge.merge_cell.validity_arb.or_cell.vdd"
|
||||
= "my_merge.merge_cell.validity_arb.supply.vdd" "my_merge.merge_cell.validity_arb.ack_cell2.vdd"
|
||||
= "my_merge.merge_cell.validity_arb.supply.vdd" "my_merge.merge_cell.validity_arb.ack_cell1.vdd"
|
||||
= "my_merge.merge_cell.validity_arb.supply.vss" "my_merge.merge_cell.validity_arb.arbiter.vss"
|
||||
= "my_merge.merge_cell.validity_arb.supply.vss" "my_merge.merge_cell.validity_arb.or_cell.vss"
|
||||
= "my_merge.merge_cell.validity_arb.supply.vss" "my_merge.merge_cell.validity_arb.ack_cell2.vss"
|
||||
= "my_merge.merge_cell.validity_arb.supply.vss" "my_merge.merge_cell.validity_arb.ack_cell1.vss"
|
||||
"my_merge.merge_cell.validity_arb.arbiter.a"&"my_merge.merge_cell.validity_arb.arbiter._y2"->"my_merge.merge_cell.validity_arb.arbiter._y1"-
|
||||
~"my_merge.merge_cell.validity_arb.arbiter.a"|~"my_merge.merge_cell.validity_arb.arbiter._y2"->"my_merge.merge_cell.validity_arb.arbiter._y1"+
|
||||
"my_merge.merge_cell.validity_arb.arbiter.b"&"my_merge.merge_cell.validity_arb.arbiter._y1"->"my_merge.merge_cell.validity_arb.arbiter._y2"-
|
||||
~"my_merge.merge_cell.validity_arb.arbiter.b"|~"my_merge.merge_cell.validity_arb.arbiter._y1"->"my_merge.merge_cell.validity_arb.arbiter._y2"+
|
||||
"my_merge.merge_cell.validity_arb.arbiter._y1"|"my_merge.merge_cell.validity_arb.arbiter.c"->"my_merge.merge_cell.validity_arb.arbiter.y1"-
|
||||
~("my_merge.merge_cell.validity_arb.arbiter._y1"|"my_merge.merge_cell.validity_arb.arbiter.c")->"my_merge.merge_cell.validity_arb.arbiter.y1"+
|
||||
"my_merge.merge_cell.validity_arb.arbiter._y2"|"my_merge.merge_cell.validity_arb.arbiter.d"->"my_merge.merge_cell.validity_arb.arbiter.y2"-
|
||||
~("my_merge.merge_cell.validity_arb.arbiter._y2"|"my_merge.merge_cell.validity_arb.arbiter.d")->"my_merge.merge_cell.validity_arb.arbiter.y2"+
|
||||
mk_excllo("my_merge.merge_cell.validity_arb.arbiter._y1","my_merge.merge_cell.validity_arb.arbiter._y2")
|
||||
= "my_merge.merge_cell.validity_arb._y1_arb" "my_merge.merge_cell.validity_arb.arbiter.y1"
|
||||
= "my_merge.merge_cell.validity_arb._y1_arb" "my_merge.merge_cell.validity_arb.or_cell.a"
|
||||
= "my_merge.merge_cell.validity_arb._y1_arb" "my_merge.merge_cell.validity_arb.ack_cell1.c2"
|
||||
~"my_merge.merge_cell.validity_arb.ack_cell2.c1"&~"my_merge.merge_cell.validity_arb.ack_cell2.c2"->"my_merge.merge_cell.validity_arb.ack_cell2._y"+
|
||||
"my_merge.merge_cell.validity_arb.ack_cell2.c1"&"my_merge.merge_cell.validity_arb.ack_cell2.c2"->"my_merge.merge_cell.validity_arb.ack_cell2._y"-
|
||||
"my_merge.merge_cell.validity_arb.ack_cell2._y"->"my_merge.merge_cell.validity_arb.ack_cell2.y"-
|
||||
~("my_merge.merge_cell.validity_arb.ack_cell2._y")->"my_merge.merge_cell.validity_arb.ack_cell2.y"+
|
||||
"my_merge.merge_cell.validity_arb.or_cell.a"|"my_merge.merge_cell.validity_arb.or_cell.b"->"my_merge.merge_cell.validity_arb.or_cell._y"-
|
||||
~("my_merge.merge_cell.validity_arb.or_cell.a"|"my_merge.merge_cell.validity_arb.or_cell.b")->"my_merge.merge_cell.validity_arb.or_cell._y"+
|
||||
"my_merge.merge_cell.validity_arb.or_cell._y"->"my_merge.merge_cell.validity_arb.or_cell.y"-
|
||||
~("my_merge.merge_cell.validity_arb.or_cell._y")->"my_merge.merge_cell.validity_arb.or_cell.y"+
|
||||
= "my_merge.merge_cell.validity_arb.out.d.d[0]" "my_merge.merge_cell.validity_arb.out.r"
|
||||
= "my_merge.merge_cell.validity_arb.out.a" "my_merge.merge_cell.validity_arb.ack_cell2.c1"
|
||||
= "my_merge.merge_cell.validity_arb.out.a" "my_merge.merge_cell.validity_arb.ack_cell1.c1"
|
||||
= "my_merge.merge_cell.validity_arb.out.d.d[0]" "my_merge.merge_cell.validity_arb.or_cell.y"
|
||||
= "my_merge.merge_cell.validity_arb.out.d.d[0]" "my_merge.merge_cell.validity_arb.out.r"
|
||||
= "my_merge.merge_cell.validity_arb._y2_arb" "my_merge.merge_cell.validity_arb.arbiter.y2"
|
||||
= "my_merge.merge_cell.validity_arb._y2_arb" "my_merge.merge_cell.validity_arb.or_cell.b"
|
||||
= "my_merge.merge_cell.validity_arb._y2_arb" "my_merge.merge_cell.validity_arb.ack_cell2.c2"
|
||||
"my_merge.merge_cell.out_a_inverter.a"->"my_merge.merge_cell.out_a_inverter.y"-
|
||||
~("my_merge.merge_cell.out_a_inverter.a")->"my_merge.merge_cell.out_a_inverter.y"+
|
||||
= "my_merge.merge_cell._in1_arb" "my_merge.merge_cell.arb2function1.in"
|
||||
= "my_merge.merge_cell._in1_arb" "my_merge.merge_cell.AND_arb1.y"
|
||||
= "my_merge.merge_cell._in1_arb" "my_merge.merge_cell.in1ack_ctl.c1"
|
||||
= "my_merge.merge_cell._out_a_B" "my_merge.merge_cell.out_a_buffer.in"
|
||||
= "my_merge.merge_cell._out_a_B" "my_merge.merge_cell.out_a_inverter.y"
|
||||
= "my_merge.merge_cell._out_a_BX[0]" "my_merge.merge_cell.out_a_buffer.out[0]"
|
||||
= "my_merge.merge_cell._out_a_BX[1]" "my_merge.merge_cell.out_a_buffer.out[1]"
|
||||
= "my_merge.merge_cell._out_a_BX[2]" "my_merge.merge_cell.out_a_buffer.out[2]"
|
||||
= "my_merge.merge_cell._out_a_BX[3]" "my_merge.merge_cell.out_a_buffer.out[3]"
|
||||
= "my_merge.merge_cell._out_a_BX[0]" "my_merge.merge_cell.merge_func_f[1].c2"
|
||||
= "my_merge.merge_cell._out_a_BX[0]" "my_merge.merge_cell.merge_func_t[1].c2"
|
||||
= "my_merge.merge_cell._out_a_BX[0]" "my_merge.merge_cell.merge_func_f[0].c2"
|
||||
= "my_merge.merge_cell._out_a_BX[0]" "my_merge.merge_cell.merge_func_t[0].c2"
|
||||
= "my_merge.merge_cell._out_a_BX[0]" "my_merge.merge_cell._out_a_BX[3]"
|
||||
= "my_merge.merge_cell._out_a_BX[0]" "my_merge.merge_cell._out_a_BX[2]"
|
||||
= "my_merge.merge_cell._out_a_BX[0]" "my_merge.merge_cell._out_a_BX[1]"
|
||||
~"my_merge.merge_cell.vc2.myctree.C2Els[0].c1"&~"my_merge.merge_cell.vc2.myctree.C2Els[0].c2"->"my_merge.merge_cell.vc2.myctree.C2Els[0]._y"+
|
||||
"my_merge.merge_cell.vc2.myctree.C2Els[0].c1"&"my_merge.merge_cell.vc2.myctree.C2Els[0].c2"->"my_merge.merge_cell.vc2.myctree.C2Els[0]._y"-
|
||||
"my_merge.merge_cell.vc2.myctree.C2Els[0]._y"->"my_merge.merge_cell.vc2.myctree.C2Els[0].y"-
|
||||
~("my_merge.merge_cell.vc2.myctree.C2Els[0]._y")->"my_merge.merge_cell.vc2.myctree.C2Els[0].y"+
|
||||
= "my_merge.merge_cell.vc2.myctree.supply.vdd" "my_merge.merge_cell.vc2.myctree.C2Els[0].vdd"
|
||||
= "my_merge.merge_cell.vc2.myctree.supply.vss" "my_merge.merge_cell.vc2.myctree.C2Els[0].vss"
|
||||
= "my_merge.merge_cell.vc2.myctree.in[0]" "my_merge.merge_cell.vc2.myctree.C2Els[0].c1"
|
||||
= "my_merge.merge_cell.vc2.myctree.in[0]" "my_merge.merge_cell.vc2.myctree.tmp[0]"
|
||||
= "my_merge.merge_cell.vc2.myctree.in[1]" "my_merge.merge_cell.vc2.myctree.C2Els[0].c2"
|
||||
= "my_merge.merge_cell.vc2.myctree.in[1]" "my_merge.merge_cell.vc2.myctree.tmp[1]"
|
||||
= "my_merge.merge_cell.vc2.myctree.out" "my_merge.merge_cell.vc2.myctree.C2Els[0].y"
|
||||
= "my_merge.merge_cell.vc2.myctree.out" "my_merge.merge_cell.vc2.myctree.tmp[2]"
|
||||
"my_merge.merge_cell.vc2.OR2_tf[0].a"|"my_merge.merge_cell.vc2.OR2_tf[0].b"->"my_merge.merge_cell.vc2.OR2_tf[0]._y"-
|
||||
~("my_merge.merge_cell.vc2.OR2_tf[0].a"|"my_merge.merge_cell.vc2.OR2_tf[0].b")->"my_merge.merge_cell.vc2.OR2_tf[0]._y"+
|
||||
"my_merge.merge_cell.vc2.OR2_tf[0]._y"->"my_merge.merge_cell.vc2.OR2_tf[0].y"-
|
||||
~("my_merge.merge_cell.vc2.OR2_tf[0]._y")->"my_merge.merge_cell.vc2.OR2_tf[0].y"+
|
||||
"my_merge.merge_cell.vc2.OR2_tf[1].a"|"my_merge.merge_cell.vc2.OR2_tf[1].b"->"my_merge.merge_cell.vc2.OR2_tf[1]._y"-
|
||||
~("my_merge.merge_cell.vc2.OR2_tf[1].a"|"my_merge.merge_cell.vc2.OR2_tf[1].b")->"my_merge.merge_cell.vc2.OR2_tf[1]._y"+
|
||||
"my_merge.merge_cell.vc2.OR2_tf[1]._y"->"my_merge.merge_cell.vc2.OR2_tf[1].y"-
|
||||
~("my_merge.merge_cell.vc2.OR2_tf[1]._y")->"my_merge.merge_cell.vc2.OR2_tf[1].y"+
|
||||
= "my_merge.merge_cell.vc2.OR2_tf[1].y" "my_merge.merge_cell.vc2.myctree.in[1]"
|
||||
= "my_merge.merge_cell.vc2.OR2_tf[0].y" "my_merge.merge_cell.vc2.myctree.in[0]"
|
||||
= "my_merge.merge_cell.vc2.supply.vss" "my_merge.merge_cell.vc2.myctree.supply.vss"
|
||||
= "my_merge.merge_cell.vc2.supply.vdd" "my_merge.merge_cell.vc2.myctree.supply.vdd"
|
||||
= "my_merge.merge_cell.vc2.supply.vdd" "my_merge.merge_cell.vc2.OR2_tf[1].vdd"
|
||||
= "my_merge.merge_cell.vc2.supply.vdd" "my_merge.merge_cell.vc2.OR2_tf[0].vdd"
|
||||
= "my_merge.merge_cell.vc2.supply.vss" "my_merge.merge_cell.vc2.OR2_tf[1].vss"
|
||||
= "my_merge.merge_cell.vc2.supply.vss" "my_merge.merge_cell.vc2.OR2_tf[0].vss"
|
||||
= "my_merge.merge_cell.vc2.out" "my_merge.merge_cell.vc2.myctree.out"
|
||||
= "my_merge.merge_cell.vc2.in.d[0].d[0]" "my_merge.merge_cell.vc2.in.d[0].f"
|
||||
= "my_merge.merge_cell.vc2.in.d[0].d[1]" "my_merge.merge_cell.vc2.in.d[0].t"
|
||||
= "my_merge.merge_cell.vc2.in.d[1].d[0]" "my_merge.merge_cell.vc2.in.d[1].f"
|
||||
= "my_merge.merge_cell.vc2.in.d[1].d[1]" "my_merge.merge_cell.vc2.in.d[1].t"
|
||||
= "my_merge.merge_cell.vc2.in.d[1].d[0]" "my_merge.merge_cell.vc2.in.d[1].f"
|
||||
= "my_merge.merge_cell.vc2.in.d[1].d[1]" "my_merge.merge_cell.vc2.in.d[1].t"
|
||||
= "my_merge.merge_cell.vc2.in.d[0].d[0]" "my_merge.merge_cell.vc2.in.d[0].f"
|
||||
= "my_merge.merge_cell.vc2.in.d[0].d[1]" "my_merge.merge_cell.vc2.in.d[0].t"
|
||||
= "my_merge.merge_cell.vc2.in.d[1].d[0]" "my_merge.merge_cell.vc2.OR2_tf[1].b"
|
||||
= "my_merge.merge_cell.vc2.in.d[1].d[0]" "my_merge.merge_cell.vc2.in.d[1].f"
|
||||
= "my_merge.merge_cell.vc2.in.d[1].d[1]" "my_merge.merge_cell.vc2.OR2_tf[1].a"
|
||||
= "my_merge.merge_cell.vc2.in.d[1].d[1]" "my_merge.merge_cell.vc2.in.d[1].t"
|
||||
= "my_merge.merge_cell.vc2.in.d[0].d[0]" "my_merge.merge_cell.vc2.OR2_tf[0].b"
|
||||
= "my_merge.merge_cell.vc2.in.d[0].d[0]" "my_merge.merge_cell.vc2.in.d[0].f"
|
||||
= "my_merge.merge_cell.vc2.in.d[0].d[1]" "my_merge.merge_cell.vc2.OR2_tf[0].a"
|
||||
= "my_merge.merge_cell.vc2.in.d[0].d[1]" "my_merge.merge_cell.vc2.in.d[0].t"
|
||||
= "my_merge.merge_cell._in2_arb" "my_merge.merge_cell.arb2function2.in"
|
||||
= "my_merge.merge_cell._in2_arb" "my_merge.merge_cell.AND_arb2.y"
|
||||
= "my_merge.merge_cell._in2_arb" "my_merge.merge_cell.in2ack_ctl.c1"
|
||||
~"my_merge.merge_cell.in2ack_ctl.c1"&~"my_merge.merge_cell.in2ack_ctl.c2"&~"my_merge.merge_cell.in2ack_ctl.c3"&~"my_merge.merge_cell.in2ack_ctl.c4"|~"my_merge.merge_cell.in2ack_ctl.pr_B"->"my_merge.merge_cell.in2ack_ctl._y"+
|
||||
"my_merge.merge_cell.in2ack_ctl.c1"&"my_merge.merge_cell.in2ack_ctl.c2"&"my_merge.merge_cell.in2ack_ctl.c3"&"my_merge.merge_cell.in2ack_ctl.c4"&"my_merge.merge_cell.in2ack_ctl.sr_B"->"my_merge.merge_cell.in2ack_ctl._y"-
|
||||
"my_merge.merge_cell.in2ack_ctl._y"->"my_merge.merge_cell.in2ack_ctl.y"-
|
||||
~("my_merge.merge_cell.in2ack_ctl._y")->"my_merge.merge_cell.in2ack_ctl.y"+
|
||||
"my_merge.merge_cell.in2ack_ctl_inv.a"->"my_merge.merge_cell.in2ack_ctl_inv.y"-
|
||||
~("my_merge.merge_cell.in2ack_ctl_inv.a")->"my_merge.merge_cell.in2ack_ctl_inv.y"+
|
||||
= "Vdd" "my_merge.merge_cell.supply.vdd"
|
||||
= "GND" "my_merge.merge_cell.supply.vss"
|
||||
= "my_merge.out.d.d[0].d[0]" "my_merge.out.d.d[0].f"
|
||||
= "my_merge.out.d.d[0].d[1]" "my_merge.out.d.d[0].t"
|
||||
= "my_merge.out.d.d[1].d[0]" "my_merge.out.d.d[1].f"
|
||||
= "my_merge.out.d.d[1].d[1]" "my_merge.out.d.d[1].t"
|
||||
= "my_merge.out.d.d[1].d[0]" "my_merge.out.d.d[1].f"
|
||||
= "my_merge.out.d.d[1].d[1]" "my_merge.out.d.d[1].t"
|
||||
= "my_merge.out.d.d[0].d[0]" "my_merge.out.d.d[0].f"
|
||||
= "my_merge.out.d.d[0].d[1]" "my_merge.out.d.d[0].t"
|
||||
= "my_merge.out.d.d[1].d[0]" "my_merge.out.d.d[1].f"
|
||||
= "my_merge.out.d.d[1].d[1]" "my_merge.out.d.d[1].t"
|
||||
= "my_merge.out.d.d[0].d[0]" "my_merge.out.d.d[0].f"
|
||||
= "my_merge.out.d.d[0].d[1]" "my_merge.out.d.d[0].t"
|
||||
= "my_merge.out.v" "my_merge.merge_cell.out.v"
|
||||
= "my_merge.out.a" "my_merge.merge_cell.out.a"
|
||||
= "my_merge.out.d.d[0].f" "my_merge.merge_cell.out.d.d[0].f"
|
||||
= "my_merge.out.d.d[0].t" "my_merge.merge_cell.out.d.d[0].t"
|
||||
= "my_merge.out.d.d[0].d[0]" "my_merge.merge_cell.out.d.d[0].d[0]"
|
||||
= "my_merge.out.d.d[0].d[1]" "my_merge.merge_cell.out.d.d[0].d[1]"
|
||||
= "my_merge.out.d.d[1].f" "my_merge.merge_cell.out.d.d[1].f"
|
||||
= "my_merge.out.d.d[1].t" "my_merge.merge_cell.out.d.d[1].t"
|
||||
= "my_merge.out.d.d[1].d[0]" "my_merge.merge_cell.out.d.d[1].d[0]"
|
||||
= "my_merge.out.d.d[1].d[1]" "my_merge.merge_cell.out.d.d[1].d[1]"
|
||||
= "my_merge.out.d.d[1].d[0]" "my_merge.out.d.d[1].f"
|
||||
= "my_merge.out.d.d[1].d[1]" "my_merge.out.d.d[1].t"
|
||||
= "my_merge.out.d.d[0].d[0]" "my_merge.out.d.d[0].f"
|
||||
= "my_merge.out.d.d[0].d[1]" "my_merge.out.d.d[0].t"
|
||||
= "my_merge.in2.d.d[0].d[0]" "my_merge.in2.d.d[0].f"
|
||||
= "my_merge.in2.d.d[0].d[1]" "my_merge.in2.d.d[0].t"
|
||||
= "my_merge.in2.d.d[1].d[0]" "my_merge.in2.d.d[1].f"
|
||||
= "my_merge.in2.d.d[1].d[1]" "my_merge.in2.d.d[1].t"
|
||||
= "my_merge.in2.d.d[1].d[0]" "my_merge.in2.d.d[1].f"
|
||||
= "my_merge.in2.d.d[1].d[1]" "my_merge.in2.d.d[1].t"
|
||||
= "my_merge.in2.d.d[0].d[0]" "my_merge.in2.d.d[0].f"
|
||||
= "my_merge.in2.d.d[0].d[1]" "my_merge.in2.d.d[0].t"
|
||||
= "my_merge.in2.d.d[1].d[0]" "my_merge.in2.d.d[1].f"
|
||||
= "my_merge.in2.d.d[1].d[1]" "my_merge.in2.d.d[1].t"
|
||||
= "my_merge.in2.d.d[0].d[0]" "my_merge.in2.d.d[0].f"
|
||||
= "my_merge.in2.d.d[0].d[1]" "my_merge.in2.d.d[0].t"
|
||||
= "my_merge.in2.v" "my_merge.merge_cell.in2.v"
|
||||
= "my_merge.in2.a" "my_merge.merge_cell.in2.a"
|
||||
= "my_merge.in2.d.d[0].f" "my_merge.merge_cell.in2.d.d[0].f"
|
||||
= "my_merge.in2.d.d[0].t" "my_merge.merge_cell.in2.d.d[0].t"
|
||||
= "my_merge.in2.d.d[0].d[0]" "my_merge.merge_cell.in2.d.d[0].d[0]"
|
||||
= "my_merge.in2.d.d[0].d[1]" "my_merge.merge_cell.in2.d.d[0].d[1]"
|
||||
= "my_merge.in2.d.d[1].f" "my_merge.merge_cell.in2.d.d[1].f"
|
||||
= "my_merge.in2.d.d[1].t" "my_merge.merge_cell.in2.d.d[1].t"
|
||||
= "my_merge.in2.d.d[1].d[0]" "my_merge.merge_cell.in2.d.d[1].d[0]"
|
||||
= "my_merge.in2.d.d[1].d[1]" "my_merge.merge_cell.in2.d.d[1].d[1]"
|
||||
= "my_merge.in2.d.d[1].d[0]" "my_merge.in2.d.d[1].f"
|
||||
= "my_merge.in2.d.d[1].d[1]" "my_merge.in2.d.d[1].t"
|
||||
= "my_merge.in2.d.d[0].d[0]" "my_merge.in2.d.d[0].f"
|
||||
= "my_merge.in2.d.d[0].d[1]" "my_merge.in2.d.d[0].t"
|
49
test/unit_tests/merge_t_2_simple/test.act
Normal file
49
test/unit_tests/merge_t_2_simple/test.act
Normal file
@ -0,0 +1,49 @@
|
||||
/*************************************************************************
|
||||
*
|
||||
* 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/primitives.act";
|
||||
import globals;
|
||||
|
||||
open tmpl::dataflow_neuro;
|
||||
|
||||
|
||||
defproc merge_2 (avMx1of2<2> in1; avMx1of2<2> in2; avMx1of2<2> out){
|
||||
|
||||
merge<2> merge_cell(.in1=in1, .in2=in2,.out = out);
|
||||
//Low active Reset
|
||||
bool _reset_B;
|
||||
prs {
|
||||
Reset => _reset_B-
|
||||
}
|
||||
merge_cell.supply.vss = GND;
|
||||
merge_cell.supply.vdd = Vdd;
|
||||
merge_cell.reset_B = _reset_B;
|
||||
|
||||
}
|
||||
|
||||
merge_2 my_merge;
|
65
test/unit_tests/merge_t_2_simple/test.prsim
Normal file
65
test/unit_tests/merge_t_2_simple/test.prsim
Normal file
@ -0,0 +1,65 @@
|
||||
|
||||
watchall
|
||||
set Reset 1
|
||||
set-qdi-channel-neutral "my_merge.in1" 2
|
||||
set-qdi-channel-neutral "my_merge.in2" 2
|
||||
set my_merge.in1.v 0
|
||||
set my_merge.in2.v 0
|
||||
set my_merge.out.a 0
|
||||
set my_merge.out.v 0
|
||||
cycle
|
||||
assert-qdi-channel-neutral "my_merge.out" 2
|
||||
system "echo '-------------------------------------------------'"
|
||||
system "echo '[0] System initialized'"
|
||||
|
||||
set Reset 0
|
||||
cycle
|
||||
system "echo '-------------------------------------------------'"
|
||||
system "echo '[1] System reset completed'"
|
||||
status X
|
||||
mode run
|
||||
assert-qdi-channel-neutral "my_merge.out" 2
|
||||
cycle
|
||||
system "echo '-------------------------------------------------'"
|
||||
system "echo '[2] Output neutral checked'"
|
||||
|
||||
set-qdi-channel-valid "my_merge.in1" 2 2
|
||||
cycle
|
||||
assert my_merge.in1.v 1
|
||||
assert my_merge.in1.a 0
|
||||
assert-qdi-channel-valid "my_merge.out" 2 2
|
||||
set my_merge.out.v 1
|
||||
cycle
|
||||
assert my_merge.in1.a 1
|
||||
set-qdi-channel-neutral "my_merge.in1" 2
|
||||
cycle
|
||||
assert my_merge.in1.v 0
|
||||
set my_merge.out.a 1
|
||||
cycle
|
||||
assert-qdi-channel-neutral "my_merge.out" 2
|
||||
set my_merge.out.v 0
|
||||
set my_merge.out.a 0
|
||||
cycle
|
||||
assert my_merge.in1.a 0
|
||||
cycle
|
||||
system "echo '-------------------------------------------------'"
|
||||
system "echo '[3] In1 channel checked'"
|
||||
set-qdi-channel-valid "my_merge.in2" 2 2
|
||||
cycle
|
||||
assert my_merge.in2.v 1
|
||||
assert my_merge.in2.a 0
|
||||
assert-qdi-channel-valid "my_merge.out" 2 2
|
||||
set my_merge.out.v 1
|
||||
cycle
|
||||
assert my_merge.in2.a 1
|
||||
set-qdi-channel-neutral "my_merge.in2" 2
|
||||
cycle
|
||||
set my_merge.out.a 1
|
||||
cycle
|
||||
assert-qdi-channel-neutral "my_merge.out" 2
|
||||
set my_merge.out.a 0
|
||||
set my_merge.out.v 0
|
||||
cycle
|
||||
assert my_merge.in2.a 0
|
||||
system "echo '-------------------------------------------------'"
|
||||
system "echo '[4] In2 valid checked'"
|
Reference in New Issue
Block a user