t.in1.r t.in2.r t.out.r t.a.arbiter._y1 t.a.arbiter._y2 t.out.a t.in1.a t.a._y1_arb t.a._y2_arb t.in2.a t.a.or_cell._y t.a.ack_cell1._y t.a.ack_cell2._y 
	         0 t.in1.r : 0
	         0 t.out.a : 0
	         0 t.in2.r : 0
	         1 t.a.arbiter._y1 : 1  [by t.in1.r:=0]
	      7092 t.a.arbiter._y2 : 1  [by t.in2.r:=0]
	     10468 t.a._y1_arb : 0  [by t.a.arbiter._y1:=1]
	     15221 t.a.ack_cell1._y : 1  [by t.a._y1_arb:=0]
	     16358 t.in1.a : 0  [by t.a.ack_cell1._y:=1]
t.out.r t.a._y2_arb t.in2.a t.a.or_cell._y t.a.ack_cell2._y 
[0] reset done
	     16358 t.in1.r : 1
WARNING: weak-interference `t.a._y1_arb'
>> cause: t.a.arbiter._y1 (val: 0)
>> time:      16472
	     16472 t.a.arbiter._y1 : 0  [by t.in1.r:=1]
	     81838 t.a._y1_arb : X  [by t.a.arbiter._y1:=0]
WRONG ASSERT:	"t.out.r" has value X and not 1.
	     81838 t.out.a : 1
WARNING: weak-interference `t.in1.a'
>> cause: t.a.ack_cell1._y (val: X)
>> time:      83564
	     83564 t.a.ack_cell1._y : X  [by t.out.a:=1]
	     83603 t.in1.a : X  [by t.a.ack_cell1._y:=X]
WRONG ASSERT:	"t.in1.a" has value X and not 1.
[1] test in1 done
----------------------------------------------------------------------------------------------------
	     83603 t.in1.r : 0
	     83603 t.out.a : 0
	     83618 t.a.arbiter._y1 : 1  [by t.in1.r:=0]
	     84109 t.a._y1_arb : 0  [by t.a.arbiter._y1:=1]
	     84122 t.a.ack_cell1._y : 1  [by t.a._y1_arb:=0]
	     84162 t.in1.a : 0  [by t.a.ack_cell1._y:=1]
WRONG ASSERT:	"t.out.r" has value X and not 0.
WRONG ASSERT:	"t.in2.a" has value X and not 0.
[2] reset done