rlmv models/arbiter/arbiter.mv
init
set_init -v 1 -m usut