# vl2mv arbiter.v 
# version: 2.1
# date:    10:46:52 03/10/2011 (CET)
.model main 
# I/O ports
.outputs ackA
.outputs ackB
.outputs ackC
.mv sel 4 A B C X 
# assign active  = pass_tokenA  || pass_tokenB  || pass_tokenC 
# pass_tokenA  || pass_tokenB 
.names pass_tokenA pass_tokenB _n1
.def 1
0 0 0
# pass_tokenA  || pass_tokenB  || pass_tokenC 
.names _n1 pass_tokenC _n2
.def 1
0 0 0
.names _n2 active$raw_n0
- =_n2
.mv _n3 4 A B C X 
.names _n3
A
.subckt controller controllerA req=reqA  ack=ackA  sel=sel  pass_token=pass_tokenA  id=_n3 
.mv _n4 4 A B C X 
.names _n4
B
.subckt controller controllerB req=reqB  ack=ackB  sel=sel  pass_token=pass_tokenB  id=_n4 
.mv _n5 4 A B C X 
.names _n5
C
.subckt controller controllerC req=reqC  ack=ackC  sel=sel  pass_token=pass_tokenC  id=_n5 
.subckt arbiter arbiter sel=sel  active=active  
.subckt client clientA req=reqA  ack=ackA  
.subckt client clientB req=reqB  ack=ackB  
.subckt client clientC req=reqC  ack=ackC  
# conflict arbitrators
.names active$raw_n0  active
0 0
1 1
# non-blocking assignments 
# latches
# quasi-continuous assignment
.end
.model controller 
# I/O ports
.inputs sel
.inputs req
.outputs pass_token
.outputs ack
.inputs id
.mv sel 4 A B C X 
.mv state 3 IDLE READY BUSY 
.mv id 4 A B C X 
# state  = 0
.mv state$raw_n6 3 IDLE READY BUSY 
.names state$raw_n6
IDLE
# non-blocking assignments for initial
# ack  = 0
.names ack$raw_n7
0
# non-blocking assignments for initial
# pass_token  = 1
.names pass_token$raw_n8
1
# non-blocking assignments for initial
# assign is_selected  = (sel  == id )
# sel  == id 
.names sel id _na
.def 0
- =sel 1
.names _na is_selected$raw_n9
- =_na
.mv _nd 3 IDLE READY BUSY 
.names _nd
IDLE
.names state _nd _nc
.def 0
- =state 1
.names _nc  _nb
.def 1
0 0
.names is_selected _ne
- =is_selected
.names req _nf
- =req
# state  = 1
.mv state$req_n10$true 3 IDLE READY BUSY 
.names state$req_n10$true
READY
# pass_token  = 0
.names pass_token$req_n11$true
0
# pass_token  = 1
.names pass_token$req_n12$false
1
# if/else (req )
.names req pass_token$req_n11$true pass_token$req_n12$false pass_token$req$raw_n15
.def 0
1 1 - 1
0 - 1 1
.mv state$req$raw_n19 3 IDLE READY BUSY 
.names req state$req_n10$true state state$req$raw_n19
0 - - =state
1 - - =state$req_n10$true
# pass_token  = 0
.names pass_token$is_selected_n1b$false
0
# if/else (is_selected )
.names is_selected pass_token$req$raw_n15 pass_token$is_selected_n1b$false pass_token$is_selected$raw_n1f
.def 0
1 1 - 1
0 - 1 1
.mv state$is_selected$raw_n21 3 IDLE READY BUSY 
.names is_selected state$req$raw_n19 state state$is_selected$raw_n21
0 - - =state
1 - - =state$req$raw_n19
.mv _n26 3 IDLE READY BUSY 
.names _n26
READY
.names state _n26 _n25
.def 0
- =state 1
.names _n25  _n24
.def 1
0 0
# state  = 2
.mv state$_n24_n27$true 3 IDLE READY BUSY 
.names state$_n24_n27$true
BUSY
# ack  = 1
.names ack$_n24_n28$true
1
.mv _n2b 3 IDLE READY BUSY 
.names _n2b
BUSY
.names state _n2b _n2a
.def 0
- =state 1
.names _n2a  _n29
.def 1
0 0
.names req _n2c
0 1  
1 0  
.names _n2c _n2d
- =_n2c
# state  = 0
.mv state$_n2c_n2e$true 3 IDLE READY BUSY 
.names state$_n2c_n2e$true
IDLE
# ack  = 0
.names ack$_n2c_n2f$true
0
# pass_token  = 1
.names pass_token$_n2c_n30$true
1
# if/else (!req )
.names _n2c pass_token$_n2c_n30$true pass_token pass_token$_n2c$raw_n37
.def 0
1 1 - 1
0 - 1 1
.mv state$_n2c$raw_n39 3 IDLE READY BUSY 
.names _n2c state$_n2c_n2e$true state state$_n2c$raw_n39
0 - - =state
1 - - =state$_n2c_n2e$true
.names _n2c ack$_n2c_n2f$true ack ack$_n2c$raw_n3a
.def 0
1 1 - 1
0 - 1 1
# case (state )
.mv state$_n29$raw_n42 3 IDLE READY BUSY 
.names _n29 state$_n2c$raw_n39 state state$_n29$raw_n42
0 - - =state
1 - - =state$_n2c$raw_n39
.names _n29 pass_token$_n2c$raw_n37 pass_token pass_token$_n29$raw_n43
.def 0
1 1 - 1
0 - 1 1
.names _n29 ack$_n2c$raw_n3a ack ack$_n29$raw_n45
.def 0
1 1 - 1
0 - 1 1
.mv state$_n24$raw_n47 3 IDLE READY BUSY 
.names _n24 state$_n24_n27$true state$_n29$raw_n42 state$_n24$raw_n47
0 - - =state$_n29$raw_n42
1 - - =state$_n24_n27$true
.names _n24 ack$_n24_n28$true ack$_n29$raw_n45 ack$_n24$raw_n48
.def 0
1 1 - 1
0 - 1 1
.names _n24 pass_token pass_token$_n29$raw_n43 pass_token$_n24$raw_n4f
.def 0
1 1 - 1
0 - 1 1
.mv state$_nb$raw_n52 3 IDLE READY BUSY 
.names _nb state$is_selected$raw_n21 state$_n24$raw_n47 state$_nb$raw_n52
0 - - =state$_n24$raw_n47
1 - - =state$is_selected$raw_n21
.names _nb pass_token$is_selected$raw_n1f pass_token$_n24$raw_n4f pass_token$_nb$raw_n53
.def 0
1 1 - 1
0 - 1 1
.names _nb ack ack$_n24$raw_n48 ack$_nb$raw_n5b
.def 0
1 1 - 1
0 - 1 1
# conflict arbitrators
.names is_selected$raw_n9  is_selected
0 0
1 1
.names _nb _ne _nf _n24 _n29 _n2d _n5d
.def 0
 1 1 1 - - - 1
 0 - - 1 - - 1
 0 - - 0 1 1 1
.mv _n5e 3 IDLE READY BUSY 
.names _n5d state$_nb$raw_n52 state _n5e 
1 - - =state$_nb$raw_n52
0 - - =state
.names _nb _ne _nf _n24 _n29 _n2d _n62
.def 0
 1 1 1 - - - 1
 1 1 0 - - - 1
 1 0 - - - - 1
 0 - - 0 1 1 1
.names _n62 pass_token$_nb$raw_n53 pass_token _n63 
1 0 - 0
1 1 - 1
0 - 0 0
0 - 1 1
.names _nb _n24 _n29 _n2d _n64
.def 0
 0 1 - - 1
 0 0 1 1 1
.names _n64 ack$_nb$raw_n5b ack _n65 
1 0 - 0
1 1 - 1
0 - 0 0
0 - 1 1
# non-blocking assignments 
# latches
.r pass_token$raw_n8 pass_token
0 0
1 1
.latch _n63 pass_token
.r state$raw_n6 state
- =state$raw_n6
.latch _n5e state
.r ack$raw_n7 ack
0 0
1 1
.latch _n65 ack
# quasi-continuous assignment
.end
.model arbiter 
# I/O ports
.outputs sel
.inputs active
.mv sel 4 A B C X 
.mv state 4 A B C X 
# state  = 0
.mv state$raw_n66 4 A B C X 
.names state$raw_n66
A
# non-blocking assignments for initial
# assign sel  = active  ? state  : 3
.mv sel$raw_n67 4 A B C X 
.mv _n68 4 A B C X 
.names _n68
X
# active  ? state  : 3
.mv _n69 4 A B C X 
.names active state _n68 _n69
0 - - =_n68
1 - - =state
.names _n69 sel$raw_n67
- =_n69
.names active _n6a
- =active
.mv _n6d 4 A B C X 
.names _n6d
A
.names state _n6d _n6c
.def 0
- =state 1
.names _n6c  _n6b
.def 1
0 0
# state  = 1
.mv state$_n6b_n6e$true 4 A B C X 
.names state$_n6b_n6e$true
B
.mv _n71 4 A B C X 
.names _n71
B
.names state _n71 _n70
.def 0
- =state 1
.names _n70  _n6f
.def 1
0 0
# state  = 2
.mv state$_n6f_n72$true 4 A B C X 
.names state$_n6f_n72$true
C
.mv _n75 4 A B C X 
.names _n75
C
.names state _n75 _n74
.def 0
- =state 1
.names _n74  _n73
.def 1
0 0
# state  = 0
.mv state$_n73_n76$true 4 A B C X 
.names state$_n73_n76$true
A
# case (state )
.mv state$_n73$raw_n79 4 A B C X 
.names _n73 state$_n73_n76$true state state$_n73$raw_n79
0 - - =state
1 - - =state$_n73_n76$true
.mv state$_n6f$raw_n7a 4 A B C X 
.names _n6f state$_n6f_n72$true state$_n73$raw_n79 state$_n6f$raw_n7a
0 - - =state$_n73$raw_n79
1 - - =state$_n6f_n72$true
.mv state$_n6b$raw_n7e 4 A B C X 
.names _n6b state$_n6b_n6e$true state$_n6f$raw_n7a state$_n6b$raw_n7e
0 - - =state$_n6f$raw_n7a
1 - - =state$_n6b_n6e$true
# if/else (active )
.mv state$active$raw_n84 4 A B C X 
.names active state$_n6b$raw_n7e state state$active$raw_n84
0 - - =state
1 - - =state$_n6b$raw_n7e
# conflict arbitrators
.names sel$raw_n67  sel
- =sel$raw_n67
.names _n6a _n6b _n6f _n73 _n85
.def 0
 1 1 - - 1
 1 0 1 - 1
 1 0 0 1 1
.mv _n86 4 A B C X 
.names _n85 state$active$raw_n84 state _n86 
1 - - =state$active$raw_n84
0 - - =state
# non-blocking assignments 
# latches
.r state$raw_n66 state
- =state$raw_n66
.latch _n86 state
# quasi-continuous assignment
.end
.model client 
# I/O ports
.outputs req
.inputs ack
.mv state 3 NO_REQ REQ HAVE_TOKEN 
# req  = 0
.names req$raw_n89
0
# non-blocking assignments for initial
# state  = 0
.mv state$raw_n8a 3 NO_REQ REQ HAVE_TOKEN 
.names state$raw_n8a
NO_REQ
# non-blocking assignments for initial
# assign rand_choice  = $ND ( 0,1 ) 
.names rand_choice
0
1
.mv _n8f 3 NO_REQ REQ HAVE_TOKEN 
.names _n8f
NO_REQ
.names state _n8f _n8e
.def 0
- =state 1
.names _n8e  _n8d
.def 1
0 0
.names rand_choice _n90
- =rand_choice
# req  = 1
.names req$rand_choice_n91$true
1
# state  = 1
.mv state$rand_choice_n92$true 3 NO_REQ REQ HAVE_TOKEN 
.names state$rand_choice_n92$true
REQ
# if/else (rand_choice )
.names rand_choice req$rand_choice_n91$true req req$rand_choice$raw_n97
.def 0
1 1 - 1
0 - 1 1
.mv state$rand_choice$raw_n99 3 NO_REQ REQ HAVE_TOKEN 
.names rand_choice state$rand_choice_n92$true state state$rand_choice$raw_n99
0 - - =state
1 - - =state$rand_choice_n92$true
.mv _n9c 3 NO_REQ REQ HAVE_TOKEN 
.names _n9c
REQ
.names state _n9c _n9b
.def 0
- =state 1
.names _n9b  _n9a
.def 1
0 0
.names ack _n9d
- =ack
# state  = 2
.mv state$ack_n9e$true 3 NO_REQ REQ HAVE_TOKEN 
.names state$ack_n9e$true
HAVE_TOKEN
# if/else (ack )
.mv state$ack$raw_na1 3 NO_REQ REQ HAVE_TOKEN 
.names ack state$ack_n9e$true state state$ack$raw_na1
0 - - =state
1 - - =state$ack_n9e$true
.mv _na4 3 NO_REQ REQ HAVE_TOKEN 
.names _na4
HAVE_TOKEN
.names state _na4 _na3
.def 0
- =state 1
.names _na3  _na2
.def 1
0 0
.names rand_choice _na5
- =rand_choice
# req  = 0
.names req$rand_choice_na6$true
0
# state  = 0
.mv state$rand_choice_na7$true 3 NO_REQ REQ HAVE_TOKEN 
.names state$rand_choice_na7$true
NO_REQ
# if/else (rand_choice )
.names rand_choice req$rand_choice_na6$true req req$rand_choice$raw_nac
.def 0
1 1 - 1
0 - 1 1
.mv state$rand_choice$raw_nae 3 NO_REQ REQ HAVE_TOKEN 
.names rand_choice state$rand_choice_na7$true state state$rand_choice$raw_nae
0 - - =state
1 - - =state$rand_choice_na7$true
# case (state )
.names _na2 req$rand_choice$raw_nac req req$_na2$raw_nb3
.def 0
1 1 - 1
0 - 1 1
.mv state$_na2$raw_nb5 3 NO_REQ REQ HAVE_TOKEN 
.names _na2 state$rand_choice$raw_nae state state$_na2$raw_nb5
0 - - =state
1 - - =state$rand_choice$raw_nae
.mv state$_n9a$raw_nb6 3 NO_REQ REQ HAVE_TOKEN 
.names _n9a state$ack$raw_na1 state$_na2$raw_nb5 state$_n9a$raw_nb6
0 - - =state$_na2$raw_nb5
1 - - =state$ack$raw_na1
.names _n9a req req$_na2$raw_nb3 req$_n9a$raw_nb9
.def 0
1 1 - 1
0 - 1 1
.names _n8d req$rand_choice$raw_n97 req$_n9a$raw_nb9 req$_n8d$raw_nbc
.def 0
1 1 - 1
0 - 1 1
.mv state$_n8d$raw_nbe 3 NO_REQ REQ HAVE_TOKEN 
.names _n8d state$rand_choice$raw_n99 state$_n9a$raw_nb6 state$_n8d$raw_nbe
0 - - =state$_n9a$raw_nb6
1 - - =state$rand_choice$raw_n99
# conflict arbitrators
.names _n8d _n90 _n9a _na2 _na5 _nc5
.def 0
 1 1 - - - 1
 0 - 0 1 1 1
.names _nc5 req$_n8d$raw_nbc req _nc6 
1 0 - 0
1 1 - 1
0 - 0 0
0 - 1 1
.names _n8d _n90 _n9a _n9d _na2 _na5 _nc7
.def 0
 1 1 - - - - 1
 0 - 1 1 - - 1
 0 - 0 - 1 1 1
.mv _nc8 3 NO_REQ REQ HAVE_TOKEN 
.names _nc7 state$_n8d$raw_nbe state _nc8 
1 - - =state$_n8d$raw_nbe
0 - - =state
# non-blocking assignments 
# latches
.r req$raw_n89 req
0 0
1 1
.latch _nc6 req
.r state$raw_n8a state
- =state$raw_n8a
.latch _nc8 state
# quasi-continuous assignment
.end