watchall

cycle
set Reset 1
cycle 
set Reset 0 
cycle
set Reset 1
cycle 
set Reset 0 

# mode run

# assert e.e.Yarb.out.a 0


system "echo '[] Setting output ack/val low'"

set e.e.Yarb.out.a 0
set e.e.Xarb.out.a 0
cycle

set e.out.a 0
set e.out.v 0

set e.y[0].r 0
set e.y[1].r 0
set e.y[0].a 0
set e.y[1].a 0

set e.x[0].r 0
set e.x[1].r 0
set e.x[0].a 0
set e.x[1].a 0
cycle


set e.y[0].r 1
set e.y[1].r 1
cycle

set e.x[0].r 1
set e.x[1].r 1
cycle


# system "echo '[] Setting input low'"


# # set e.e.Yarb.arbs[0].arbiter._y1 0
# # set e.e.Yarb.arbs[0].arbiter._y2 0


# set e.y[0].r 0
# set e.y[1].r 0
# set e.y[0].a 0
# set e.y[1].a 0

# set e.x[0].r 0
# set e.x[1].r 0
# set e.x[0].a 0
# set e.x[1].a 0

# cycle

# system "echo '[] Setting y[0,1] req high'"
# # assert e.e.Yarb.out.a 0
# # assert e.e.Y_ack_confirm.y 0

# # set e.y[0].r 1
# # set e.y[1].r 1

# cycle