37 lines
1.5 KiB
Plaintext
37 lines
1.5 KiB
Plaintext
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
|