# vl2mv 3_faulty.v 
# version: 2.1
# date:    10:35:53 11/22/2010 (CET)
.model concret 
# I/O ports
.outputs p
.outputs q
.inputs i
.inputs j
# p  = 1
.names p$raw_n0
1
# q  = 1
.names q$raw_n1
1
# state  = 0
.names state$raw_n2<0>
0
.names state$raw_n2<1>
0
.names state$raw_n2<2>
0
.names state$raw_n2<3>
0
# non-blocking assignments for initial
.names _n5<0>
0
.names _n5<1>
0
.names _n5<2>
0
.names _n5<3>
0
.names state<0> _n5<0> _n6<0>
.def 0
0 1 1
1 0 1
.names state<1> _n5<1> _n6<1>
.def 0
0 1 1
1 0 1
.names state<2> _n5<2> _n6<2>
.def 0
0 1 1
1 0 1
.names state<3> _n5<3> _n6<3>
.def 0
0 1 1
1 0 1
.names _n6<0> _n6<1> _n6<2> _n6<3> _n7
.def 1
0 0 0 0 0
.names _n7 _n4
0 1  
1 0  
.names _n4  _n3
.def 1
0 0
.names _n9
1
# j  == 1
.names j _n9 _na
.def 0
0 1 1
1 0 1
.names _na _n8
0 1  
1 0  
.names _n8 _nc
- =_n8
# state  = 3
.names state$_n8_nd$true<0>
1
.names state$_n8_nd$true<1>
1
.names state$_n8_nd$true<2>
0
.names state$_n8_nd$true<3>
0
# p  = 0
.names p$_n8_ne$true
0
# q  = 1
.names q$_n8_nf$true
1
.names _n11
1
# i  == 1
.names i _n11 _n12
.def 0
0 1 1
1 0 1
.names _n12 _n10
0 1  
1 0  
.names _n10 _n14
- =_n10
# state  = 5
.names state$_n10_n15$true<0>
1
.names state$_n10_n15$true<1>
0
.names state$_n10_n15$true<2>
1
.names state$_n10_n15$true<3>
0
# p  = 1
.names p$_n10_n16$true
1
# q  = 0
.names q$_n10_n17$true
0
# state  = 1
.names state$_n10_n18$false<0>
1
.names state$_n10_n18$false<1>
0
.names state$_n10_n18$false<2>
0
.names state$_n10_n18$false<3>
0
# p  = 1
.names p$_n10_n19$false
1
# q  = 1
.names q$_n10_n1a$false
1
# if/else (i  == 1)
.names _n10 p$_n10_n16$true p$_n10_n19$false p$_n10$raw_n1e
.def 0
1 1 - 1
0 - 1 1
.names _n10 q$_n10_n17$true q$_n10_n1a$false q$_n10$raw_n20
.def 0
1 1 - 1
0 - 1 1
.names _n10 state$_n10_n15$true<0> state$_n10_n18$false<0> state$_n10$raw_n22<0>
.def 0
1 1 - 1
0 - 1 1
.names _n10 state$_n10_n15$true<1> state$_n10_n18$false<1> state$_n10$raw_n22<1>
.def 0
1 1 - 1
0 - 1 1
.names _n10 state$_n10_n15$true<2> state$_n10_n18$false<2> state$_n10$raw_n22<2>
.def 0
1 1 - 1
0 - 1 1
.names _n10 state$_n10_n15$true<3> state$_n10_n18$false<3> state$_n10$raw_n22<3>
.def 0
1 1 - 1
0 - 1 1
# if/else (j  == 1)
.names _n8 p$_n8_ne$true p$_n10$raw_n1e p$_n8$raw_n30
.def 0
1 1 - 1
0 - 1 1
.names _n8 q$_n8_nf$true q$_n10$raw_n20 q$_n8$raw_n32
.def 0
1 1 - 1
0 - 1 1
.names _n8 state$_n8_nd$true<0> state$_n10$raw_n22<0> state$_n8$raw_n34<0>
.def 0
1 1 - 1
0 - 1 1
.names _n8 state$_n8_nd$true<1> state$_n10$raw_n22<1> state$_n8$raw_n34<1>
.def 0
1 1 - 1
0 - 1 1
.names _n8 state$_n8_nd$true<2> state$_n10$raw_n22<2> state$_n8$raw_n34<2>
.def 0
1 1 - 1
0 - 1 1
.names _n8 state$_n8_nd$true<3> state$_n10$raw_n22<3> state$_n8$raw_n34<3>
.def 0
1 1 - 1
0 - 1 1
.names _n41<0>
1
.names _n41<1>
0
.names _n41<2>
0
.names _n41<3>
0
.names state<0> _n41<0> _n42<0>
.def 0
0 1 1
1 0 1
.names state<1> _n41<1> _n42<1>
.def 0
0 1 1
1 0 1
.names state<2> _n41<2> _n42<2>
.def 0
0 1 1
1 0 1
.names state<3> _n41<3> _n42<3>
.def 0
0 1 1
1 0 1
.names _n42<0> _n42<1> _n42<2> _n42<3> _n43
.def 1
0 0 0 0 0
.names _n43 _n40
0 1  
1 0  
.names _n40  _n3f
.def 1
0 0
# state  = 2
.names state$_n3f_n44$true<0>
0
.names state$_n3f_n44$true<1>
1
.names state$_n3f_n44$true<2>
0
.names state$_n3f_n44$true<3>
0
# p  = 1
.names p$_n3f_n45$true
1
# q  = 0
.names q$_n3f_n46$true
0
.names _n49<0>
0
.names _n49<1>
1
.names _n49<2>
0
.names _n49<3>
0
.names state<0> _n49<0> _n4a<0>
.def 0
0 1 1
1 0 1
.names state<1> _n49<1> _n4a<1>
.def 0
0 1 1
1 0 1
.names state<2> _n49<2> _n4a<2>
.def 0
0 1 1
1 0 1
.names state<3> _n49<3> _n4a<3>
.def 0
0 1 1
1 0 1
.names _n4a<0> _n4a<1> _n4a<2> _n4a<3> _n4b
.def 1
0 0 0 0 0
.names _n4b _n48
0 1  
1 0  
.names _n48  _n47
.def 1
0 0
# state  = 8
.names state$_n47_n4c$true<0>
0
.names state$_n47_n4c$true<1>
0
.names state$_n47_n4c$true<2>
0
.names state$_n47_n4c$true<3>
1
# p  = 1
.names p$_n47_n4d$true
1
# q  = 1
.names q$_n47_n4e$true
1
.names _n51<0>
1
.names _n51<1>
1
.names _n51<2>
0
.names _n51<3>
0
.names state<0> _n51<0> _n52<0>
.def 0
0 1 1
1 0 1
.names state<1> _n51<1> _n52<1>
.def 0
0 1 1
1 0 1
.names state<2> _n51<2> _n52<2>
.def 0
0 1 1
1 0 1
.names state<3> _n51<3> _n52<3>
.def 0
0 1 1
1 0 1
.names _n52<0> _n52<1> _n52<2> _n52<3> _n53
.def 1
0 0 0 0 0
.names _n53 _n50
0 1  
1 0  
.names _n50  _n4f
.def 1
0 0
# state  = 4
.names state$_n4f_n54$true<0>
0
.names state$_n4f_n54$true<1>
0
.names state$_n4f_n54$true<2>
1
.names state$_n4f_n54$true<3>
0
# p  = 1
.names p$_n4f_n55$true
1
# q  = 0
.names q$_n4f_n56$true
0
.names _n59<0>
0
.names _n59<1>
0
.names _n59<2>
1
.names _n59<3>
0
.names state<0> _n59<0> _n5a<0>
.def 0
0 1 1
1 0 1
.names state<1> _n59<1> _n5a<1>
.def 0
0 1 1
1 0 1
.names state<2> _n59<2> _n5a<2>
.def 0
0 1 1
1 0 1
.names state<3> _n59<3> _n5a<3>
.def 0
0 1 1
1 0 1
.names _n5a<0> _n5a<1> _n5a<2> _n5a<3> _n5b
.def 1
0 0 0 0 0
.names _n5b _n58
0 1  
1 0  
.names _n58  _n57
.def 1
0 0
# state  = 4
.names state$_n57_n5c$true<0>
0
.names state$_n57_n5c$true<1>
0
.names state$_n57_n5c$true<2>
1
.names state$_n57_n5c$true<3>
0
# p  = 1
.names p$_n57_n5d$true
1
# q  = 0
.names q$_n57_n5e$true
0
.names _n61<0>
1
.names _n61<1>
0
.names _n61<2>
1
.names _n61<3>
0
.names state<0> _n61<0> _n62<0>
.def 0
0 1 1
1 0 1
.names state<1> _n61<1> _n62<1>
.def 0
0 1 1
1 0 1
.names state<2> _n61<2> _n62<2>
.def 0
0 1 1
1 0 1
.names state<3> _n61<3> _n62<3>
.def 0
0 1 1
1 0 1
.names _n62<0> _n62<1> _n62<2> _n62<3> _n63
.def 1
0 0 0 0 0
.names _n63 _n60
0 1  
1 0  
.names _n60  _n5f
.def 1
0 0
.names _n65
0
# j  == 0
.names j _n65 _n66
.def 0
0 1 1
1 0 1
.names _n66 _n64
0 1  
1 0  
.names _n64 _n68
- =_n64
# state  = 6
.names state$_n64_n69$true<0>
0
.names state$_n64_n69$true<1>
1
.names state$_n64_n69$true<2>
1
.names state$_n64_n69$true<3>
0
# p  = 1
.names p$_n64_n6a$true
1
# q  = 1
.names q$_n64_n6b$true
1
# state  = 2
.names state$_n64_n6c$false<0>
0
.names state$_n64_n6c$false<1>
1
.names state$_n64_n6c$false<2>
0
.names state$_n64_n6c$false<3>
0
# p  = 1
.names p$_n64_n6d$false
1
# q  = 0
.names q$_n64_n6e$false
0
# if/else (j  == 0)
.names _n64 p$_n64_n6a$true p$_n64_n6d$false p$_n64$raw_n72
.def 0
1 1 - 1
0 - 1 1
.names _n64 q$_n64_n6b$true q$_n64_n6e$false q$_n64$raw_n74
.def 0
1 1 - 1
0 - 1 1
.names _n64 state$_n64_n69$true<0> state$_n64_n6c$false<0> state$_n64$raw_n76<0>
.def 0
1 1 - 1
0 - 1 1
.names _n64 state$_n64_n69$true<1> state$_n64_n6c$false<1> state$_n64$raw_n76<1>
.def 0
1 1 - 1
0 - 1 1
.names _n64 state$_n64_n69$true<2> state$_n64_n6c$false<2> state$_n64$raw_n76<2>
.def 0
1 1 - 1
0 - 1 1
.names _n64 state$_n64_n69$true<3> state$_n64_n6c$false<3> state$_n64$raw_n76<3>
.def 0
1 1 - 1
0 - 1 1
.names _n83<0>
0
.names _n83<1>
1
.names _n83<2>
1
.names _n83<3>
0
.names state<0> _n83<0> _n84<0>
.def 0
0 1 1
1 0 1
.names state<1> _n83<1> _n84<1>
.def 0
0 1 1
1 0 1
.names state<2> _n83<2> _n84<2>
.def 0
0 1 1
1 0 1
.names state<3> _n83<3> _n84<3>
.def 0
0 1 1
1 0 1
.names _n84<0> _n84<1> _n84<2> _n84<3> _n85
.def 1
0 0 0 0 0
.names _n85 _n82
0 1  
1 0  
.names _n82  _n81
.def 1
0 0
# state  = 7
.names state$_n81_n86$true<0>
1
.names state$_n81_n86$true<1>
1
.names state$_n81_n86$true<2>
1
.names state$_n81_n86$true<3>
0
# p  = 0
.names p$_n81_n87$true
0
# q  = 1
.names q$_n81_n88$true
1
.names _n8b<0>
1
.names _n8b<1>
1
.names _n8b<2>
1
.names _n8b<3>
0
.names state<0> _n8b<0> _n8c<0>
.def 0
0 1 1
1 0 1
.names state<1> _n8b<1> _n8c<1>
.def 0
0 1 1
1 0 1
.names state<2> _n8b<2> _n8c<2>
.def 0
0 1 1
1 0 1
.names state<3> _n8b<3> _n8c<3>
.def 0
0 1 1
1 0 1
.names _n8c<0> _n8c<1> _n8c<2> _n8c<3> _n8d
.def 1
0 0 0 0 0
.names _n8d _n8a
0 1  
1 0  
.names _n8a  _n89
.def 1
0 0
# state  = 8
.names state$_n89_n8e$true<0>
0
.names state$_n89_n8e$true<1>
0
.names state$_n89_n8e$true<2>
0
.names state$_n89_n8e$true<3>
1
# p  = 1
.names p$_n89_n8f$true
1
# q  = 1
.names q$_n89_n90$true
1
.names _n93<0>
0
.names _n93<1>
0
.names _n93<2>
0
.names _n93<3>
1
.names state<0> _n93<0> _n94<0>
.def 0
0 1 1
1 0 1
.names state<1> _n93<1> _n94<1>
.def 0
0 1 1
1 0 1
.names state<2> _n93<2> _n94<2>
.def 0
0 1 1
1 0 1
.names state<3> _n93<3> _n94<3>
.def 0
0 1 1
1 0 1
.names _n94<0> _n94<1> _n94<2> _n94<3> _n95
.def 1
0 0 0 0 0
.names _n95 _n92
0 1  
1 0  
.names _n92  _n91
.def 1
0 0
# state  = 9
.names state$_n91_n96$true<0>
1
.names state$_n91_n96$true<1>
0
.names state$_n91_n96$true<2>
0
.names state$_n91_n96$true<3>
1
# p  = 0
.names p$_n91_n97$true
0
# q  = 0
.names q$_n91_n98$true
0
.names _n9b<0>
1
.names _n9b<1>
0
.names _n9b<2>
0
.names _n9b<3>
1
.names state<0> _n9b<0> _n9c<0>
.def 0
0 1 1
1 0 1
.names state<1> _n9b<1> _n9c<1>
.def 0
0 1 1
1 0 1
.names state<2> _n9b<2> _n9c<2>
.def 0
0 1 1
1 0 1
.names state<3> _n9b<3> _n9c<3>
.def 0
0 1 1
1 0 1
.names _n9c<0> _n9c<1> _n9c<2> _n9c<3> _n9d
.def 1
0 0 0 0 0
.names _n9d _n9a
0 1  
1 0  
.names _n9a  _n99
.def 1
0 0
# state  = 9
.names state$_n99_n9e$true<0>
1
.names state$_n99_n9e$true<1>
0
.names state$_n99_n9e$true<2>
0
.names state$_n99_n9e$true<3>
1
# p  = 0
.names p$_n99_n9f$true
0
# q  = 0
.names q$_n99_na0$true
0
# case (state )
.names _n99 p$_n99_n9f$true p p$_n99$raw_na7
.def 0
1 1 - 1
0 - 1 1
.names _n99 q$_n99_na0$true q q$_n99$raw_na9
.def 0
1 1 - 1
0 - 1 1
.names _n99 state$_n99_n9e$true<0> state<0> state$_n99$raw_nab<0>
.def 0
1 1 - 1
0 - 1 1
.names _n99 state$_n99_n9e$true<1> state<1> state$_n99$raw_nab<1>
.def 0
1 1 - 1
0 - 1 1
.names _n99 state$_n99_n9e$true<2> state<2> state$_n99$raw_nab<2>
.def 0
1 1 - 1
0 - 1 1
.names _n99 state$_n99_n9e$true<3> state<3> state$_n99$raw_nab<3>
.def 0
1 1 - 1
0 - 1 1
.names _n91 p$_n91_n97$true p$_n99$raw_na7 p$_n91$raw_nb0
.def 0
1 1 - 1
0 - 1 1
.names _n91 q$_n91_n98$true q$_n99$raw_na9 q$_n91$raw_nb2
.def 0
1 1 - 1
0 - 1 1
.names _n91 state$_n91_n96$true<0> state$_n99$raw_nab<0> state$_n91$raw_nb4<0>
.def 0
1 1 - 1
0 - 1 1
.names _n91 state$_n91_n96$true<1> state$_n99$raw_nab<1> state$_n91$raw_nb4<1>
.def 0
1 1 - 1
0 - 1 1
.names _n91 state$_n91_n96$true<2> state$_n99$raw_nab<2> state$_n91$raw_nb4<2>
.def 0
1 1 - 1
0 - 1 1
.names _n91 state$_n91_n96$true<3> state$_n99$raw_nab<3> state$_n91$raw_nb4<3>
.def 0
1 1 - 1
0 - 1 1
.names _n89 p$_n89_n8f$true p$_n91$raw_nb0 p$_n89$raw_nc2
.def 0
1 1 - 1
0 - 1 1
.names _n89 q$_n89_n90$true q$_n91$raw_nb2 q$_n89$raw_nc4
.def 0
1 1 - 1
0 - 1 1
.names _n89 state$_n89_n8e$true<0> state$_n91$raw_nb4<0> state$_n89$raw_nc6<0>
.def 0
1 1 - 1
0 - 1 1
.names _n89 state$_n89_n8e$true<1> state$_n91$raw_nb4<1> state$_n89$raw_nc6<1>
.def 0
1 1 - 1
0 - 1 1
.names _n89 state$_n89_n8e$true<2> state$_n91$raw_nb4<2> state$_n89$raw_nc6<2>
.def 0
1 1 - 1
0 - 1 1
.names _n89 state$_n89_n8e$true<3> state$_n91$raw_nb4<3> state$_n89$raw_nc6<3>
.def 0
1 1 - 1
0 - 1 1
.names _n81 p$_n81_n87$true p$_n89$raw_nc2 p$_n81$raw_nd4
.def 0
1 1 - 1
0 - 1 1
.names _n81 q$_n81_n88$true q$_n89$raw_nc4 q$_n81$raw_nd6
.def 0
1 1 - 1
0 - 1 1
.names _n81 state$_n81_n86$true<0> state$_n89$raw_nc6<0> state$_n81$raw_nd8<0>
.def 0
1 1 - 1
0 - 1 1
.names _n81 state$_n81_n86$true<1> state$_n89$raw_nc6<1> state$_n81$raw_nd8<1>
.def 0
1 1 - 1
0 - 1 1
.names _n81 state$_n81_n86$true<2> state$_n89$raw_nc6<2> state$_n81$raw_nd8<2>
.def 0
1 1 - 1
0 - 1 1
.names _n81 state$_n81_n86$true<3> state$_n89$raw_nc6<3> state$_n81$raw_nd8<3>
.def 0
1 1 - 1
0 - 1 1
.names _n5f p$_n64$raw_n72 p$_n81$raw_nd4 p$_n5f$raw_ne6
.def 0
1 1 - 1
0 - 1 1
.names _n5f q$_n64$raw_n74 q$_n81$raw_nd6 q$_n5f$raw_ne8
.def 0
1 1 - 1
0 - 1 1
.names _n5f state$_n64$raw_n76<0> state$_n81$raw_nd8<0> state$_n5f$raw_nea<0>
.def 0
1 1 - 1
0 - 1 1
.names _n5f state$_n64$raw_n76<1> state$_n81$raw_nd8<1> state$_n5f$raw_nea<1>
.def 0
1 1 - 1
0 - 1 1
.names _n5f state$_n64$raw_n76<2> state$_n81$raw_nd8<2> state$_n5f$raw_nea<2>
.def 0
1 1 - 1
0 - 1 1
.names _n5f state$_n64$raw_n76<3> state$_n81$raw_nd8<3> state$_n5f$raw_nea<3>
.def 0
1 1 - 1
0 - 1 1
.names _n57 p$_n57_n5d$true p$_n5f$raw_ne6 p$_n57$raw_nf8
.def 0
1 1 - 1
0 - 1 1
.names _n57 q$_n57_n5e$true q$_n5f$raw_ne8 q$_n57$raw_nfa
.def 0
1 1 - 1
0 - 1 1
.names _n57 state$_n57_n5c$true<0> state$_n5f$raw_nea<0> state$_n57$raw_nfc<0>
.def 0
1 1 - 1
0 - 1 1
.names _n57 state$_n57_n5c$true<1> state$_n5f$raw_nea<1> state$_n57$raw_nfc<1>
.def 0
1 1 - 1
0 - 1 1
.names _n57 state$_n57_n5c$true<2> state$_n5f$raw_nea<2> state$_n57$raw_nfc<2>
.def 0
1 1 - 1
0 - 1 1
.names _n57 state$_n57_n5c$true<3> state$_n5f$raw_nea<3> state$_n57$raw_nfc<3>
.def 0
1 1 - 1
0 - 1 1
.names _n4f p$_n4f_n55$true p$_n57$raw_nf8 p$_n4f$raw_n10a
.def 0
1 1 - 1
0 - 1 1
.names _n4f q$_n4f_n56$true q$_n57$raw_nfa q$_n4f$raw_n10c
.def 0
1 1 - 1
0 - 1 1
.names _n4f state$_n4f_n54$true<0> state$_n57$raw_nfc<0> state$_n4f$raw_n10e<0>
.def 0
1 1 - 1
0 - 1 1
.names _n4f state$_n4f_n54$true<1> state$_n57$raw_nfc<1> state$_n4f$raw_n10e<1>
.def 0
1 1 - 1
0 - 1 1
.names _n4f state$_n4f_n54$true<2> state$_n57$raw_nfc<2> state$_n4f$raw_n10e<2>
.def 0
1 1 - 1
0 - 1 1
.names _n4f state$_n4f_n54$true<3> state$_n57$raw_nfc<3> state$_n4f$raw_n10e<3>
.def 0
1 1 - 1
0 - 1 1
.names _n47 p$_n47_n4d$true p$_n4f$raw_n10a p$_n47$raw_n11c
.def 0
1 1 - 1
0 - 1 1
.names _n47 q$_n47_n4e$true q$_n4f$raw_n10c q$_n47$raw_n11e
.def 0
1 1 - 1
0 - 1 1
.names _n47 state$_n47_n4c$true<0> state$_n4f$raw_n10e<0> state$_n47$raw_n120<0>
.def 0
1 1 - 1
0 - 1 1
.names _n47 state$_n47_n4c$true<1> state$_n4f$raw_n10e<1> state$_n47$raw_n120<1>
.def 0
1 1 - 1
0 - 1 1
.names _n47 state$_n47_n4c$true<2> state$_n4f$raw_n10e<2> state$_n47$raw_n120<2>
.def 0
1 1 - 1
0 - 1 1
.names _n47 state$_n47_n4c$true<3> state$_n4f$raw_n10e<3> state$_n47$raw_n120<3>
.def 0
1 1 - 1
0 - 1 1
.names _n3f p$_n3f_n45$true p$_n47$raw_n11c p$_n3f$raw_n12e
.def 0
1 1 - 1
0 - 1 1
.names _n3f q$_n3f_n46$true q$_n47$raw_n11e q$_n3f$raw_n130
.def 0
1 1 - 1
0 - 1 1
.names _n3f state$_n3f_n44$true<0> state$_n47$raw_n120<0> state$_n3f$raw_n132<0>
.def 0
1 1 - 1
0 - 1 1
.names _n3f state$_n3f_n44$true<1> state$_n47$raw_n120<1> state$_n3f$raw_n132<1>
.def 0
1 1 - 1
0 - 1 1
.names _n3f state$_n3f_n44$true<2> state$_n47$raw_n120<2> state$_n3f$raw_n132<2>
.def 0
1 1 - 1
0 - 1 1
.names _n3f state$_n3f_n44$true<3> state$_n47$raw_n120<3> state$_n3f$raw_n132<3>
.def 0
1 1 - 1
0 - 1 1
.names _n3 p$_n8$raw_n30 p$_n3f$raw_n12e p$_n3$raw_n140
.def 0
1 1 - 1
0 - 1 1
.names _n3 q$_n8$raw_n32 q$_n3f$raw_n130 q$_n3$raw_n142
.def 0
1 1 - 1
0 - 1 1
.names _n3 state$_n8$raw_n34<0> state$_n3f$raw_n132<0> state$_n3$raw_n144<0>
.def 0
1 1 - 1
0 - 1 1
.names _n3 state$_n8$raw_n34<1> state$_n3f$raw_n132<1> state$_n3$raw_n144<1>
.def 0
1 1 - 1
0 - 1 1
.names _n3 state$_n8$raw_n34<2> state$_n3f$raw_n132<2> state$_n3$raw_n144<2>
.def 0
1 1 - 1
0 - 1 1
.names _n3 state$_n8$raw_n34<3> state$_n3f$raw_n132<3> state$_n3$raw_n144<3>
.def 0
1 1 - 1
0 - 1 1
# conflict arbitrators
.names _n3 _nc _n14 _n3f _n47 _n4f _n57 _n5f _n68 _n81 _n89 _n91 _n99 _n152
.def 0
 1 1 - - - - - - - - - - - 1
 1 0 1 - - - - - - - - - - 1
 1 0 0 - - - - - - - - - - 1
 0 - - 1 - - - - - - - - - 1
 0 - - 0 1 - - - - - - - - 1
 0 - - 0 0 1 - - - - - - - 1
 0 - - 0 0 0 1 - - - - - - 1
 0 - - 0 0 0 0 1 1 - - - - 1
 0 - - 0 0 0 0 1 0 - - - - 1
 0 - - 0 0 0 0 0 - 1 - - - 1
 0 - - 0 0 0 0 0 - 0 1 - - 1
 0 - - 0 0 0 0 0 - 0 0 1 - 1
 0 - - 0 0 0 0 0 - 0 0 0 1 1
.names _n152 p$_n3$raw_n140 p _n153 
1 0 - 0
1 1 - 1
0 - 0 0
0 - 1 1
.names _n3 _nc _n14 _n3f _n47 _n4f _n57 _n5f _n68 _n81 _n89 _n91 _n99 _n154
.def 0
 1 1 - - - - - - - - - - - 1
 1 0 1 - - - - - - - - - - 1
 1 0 0 - - - - - - - - - - 1
 0 - - 1 - - - - - - - - - 1
 0 - - 0 1 - - - - - - - - 1
 0 - - 0 0 1 - - - - - - - 1
 0 - - 0 0 0 1 - - - - - - 1
 0 - - 0 0 0 0 1 1 - - - - 1
 0 - - 0 0 0 0 1 0 - - - - 1
 0 - - 0 0 0 0 0 - 1 - - - 1
 0 - - 0 0 0 0 0 - 0 1 - - 1
 0 - - 0 0 0 0 0 - 0 0 1 - 1
 0 - - 0 0 0 0 0 - 0 0 0 1 1
.names _n154 q$_n3$raw_n142 q _n155 
1 0 - 0
1 1 - 1
0 - 0 0
0 - 1 1
.names _n3 _nc _n14 _n3f _n47 _n4f _n57 _n5f _n68 _n81 _n89 _n91 _n99 _n156
.def 0
 1 1 - - - - - - - - - - - 1
 1 0 1 - - - - - - - - - - 1
 1 0 0 - - - - - - - - - - 1
 0 - - 1 - - - - - - - - - 1
 0 - - 0 1 - - - - - - - - 1
 0 - - 0 0 1 - - - - - - - 1
 0 - - 0 0 0 1 - - - - - - 1
 0 - - 0 0 0 0 1 1 - - - - 1
 0 - - 0 0 0 0 1 0 - - - - 1
 0 - - 0 0 0 0 0 - 1 - - - 1
 0 - - 0 0 0 0 0 - 0 1 - - 1
 0 - - 0 0 0 0 0 - 0 0 1 - 1
 0 - - 0 0 0 0 0 - 0 0 0 1 1
.names _n156 state$_n3$raw_n144<0> state$_n3$raw_n144<1> state$_n3$raw_n144<2> state$_n3$raw_n144<3> state<0> state<1> state<2> state<3> -> _n157<0> _n157<1> _n157<2> _n157<3> 
1 - - - - - - - - =state$_n3$raw_n144<0> =state$_n3$raw_n144<1> =state$_n3$raw_n144<2> =state$_n3$raw_n144<3> 
0 - - - - - - - - =state<0> =state<1> =state<2> =state<3> 
# non-blocking assignments 
# latches
.r p$raw_n0 p
0 0
1 1
.latch _n153 p
.r q$raw_n1 q
0 0
1 1
.latch _n155 q
.r state$raw_n2<0> state<0>
.def 0
1 1
.r state$raw_n2<1> state<1>
.def 0
1 1
.r state$raw_n2<2> state<2>
.def 0
1 1
.r state$raw_n2<3> state<3>
.def 0
1 1
.latch _n157<0> state<0>
.latch _n157<1> state<1>
.latch _n157<2> state<2>
.latch _n157<3> state<3>
# quasi-continuous assignment
.end