source: vis_dev/vis-2.1/examples/gcd/gcd3.mv @ 12

# ../../../vl2mv-2.1/vl2mv gcd3.v 
# version: 1.4
# date:    13:20:40 11/18/2008 (CET)
.model testGcd 
# I/O ports
.inputs y<0> y<1> y<2> y<3> y<4> y<5> y<6> y<7> 
.inputs s
.inputs x<0> x<1> x<2> x<3> x<4> x<5> x<6> x<7> 
.subckt gcd g start=start  a<0>=a<0> a<1>=a<1> a<2>=a<2> a<3>=a<3> a<4>=a<4> a<5>=a<5> a<6>=a<6> a<7>=a<7>  b<0>=b<0> b<1>=b<1> b<2>=b<2> b<3>=b<3> b<4>=b<4> b<5>=b<5> b<6>=b<6> b<7>=b<7>  busy=busy  o<0>=o<0> o<1>=o<1> o<2>=o<2> o<3>=o<3> o<4>=o<4> o<5>=o<5> o<6>=o<6> o<7>=o<7>  
# a  = 0
.names a$raw_n0<0>
0
.names a$raw_n0<1>
0
.names a$raw_n0<2>
0
.names a$raw_n0<3>
0
.names a$raw_n0<4>
0
.names a$raw_n0<5>
0
.names a$raw_n0<6>
0
.names a$raw_n0<7>
0
# b  = 0
.names b$raw_n1<0>
0
.names b$raw_n1<1>
0
.names b$raw_n1<2>
0
.names b$raw_n1<3>
0
.names b$raw_n1<4>
0
.names b$raw_n1<5>
0
.names b$raw_n1<6>
0
.names b$raw_n1<7>
0
# start  = 0
.names start$raw_n2
0
# non-blocking assignments for initial
# a  = x 
.names x<0> a$raw_n3<0>
- =x<0>
.names x<1> a$raw_n3<1>
- =x<1>
.names x<2> a$raw_n3<2>
- =x<2>
.names x<3> a$raw_n3<3>
- =x<3>
.names x<4> a$raw_n3<4>
- =x<4>
.names x<5> a$raw_n3<5>
- =x<5>
.names x<6> a$raw_n3<6>
- =x<6>
.names x<7> a$raw_n3<7>
- =x<7>
# b  = y 
.names y<0> b$raw_n4<0>
- =y<0>
.names y<1> b$raw_n4<1>
- =y<1>
.names y<2> b$raw_n4<2>
- =y<2>
.names y<3> b$raw_n4<3>
- =y<3>
.names y<4> b$raw_n4<4>
- =y<4>
.names y<5> b$raw_n4<5>
- =y<5>
.names y<6> b$raw_n4<6>
- =y<6>
.names y<7> b$raw_n4<7>
- =y<7>
# start  = s 
.names s start$raw_n5
- =s
# conflict arbitrators
.names _n6
.def 0
 1
.names _n6 start$raw_n5 _n7 
.def 0
1 0 0
1 1 1
.names _n8
.def 0
 1
.names _n8 a$raw_n3<0> a$raw_n3<1> a$raw_n3<2> a$raw_n3<3> a$raw_n3<4> a$raw_n3<5> a$raw_n3<6> a$raw_n3<7> -> _n9<0> _n9<1> _n9<2> _n9<3> _n9<4> _n9<5> _n9<6> _n9<7> 
.def 0 0 0 0 0 0 0 0
1 - - - - - - - - =a$raw_n3<0> =a$raw_n3<1> =a$raw_n3<2> =a$raw_n3<3> =a$raw_n3<4> =a$raw_n3<5> =a$raw_n3<6> =a$raw_n3<7> 
.names _na
.def 0
 1
.names _na b$raw_n4<0> b$raw_n4<1> b$raw_n4<2> b$raw_n4<3> b$raw_n4<4> b$raw_n4<5> b$raw_n4<6> b$raw_n4<7> -> _nb<0> _nb<1> _nb<2> _nb<3> _nb<4> _nb<5> _nb<6> _nb<7> 
.def 0 0 0 0 0 0 0 0
1 - - - - - - - - =b$raw_n4<0> =b$raw_n4<1> =b$raw_n4<2> =b$raw_n4<3> =b$raw_n4<4> =b$raw_n4<5> =b$raw_n4<6> =b$raw_n4<7> 
# non-blocking assignments 
# latches
.r a$raw_n0<0> a<0>
.def 0
1 1
.r a$raw_n0<1> a<1>
.def 0
1 1
.r a$raw_n0<2> a<2>
.def 0
1 1
.r a$raw_n0<3> a<3>
.def 0
1 1
.r a$raw_n0<4> a<4>
.def 0
1 1
.r a$raw_n0<5> a<5>
.def 0
1 1
.r a$raw_n0<6> a<6>
.def 0
1 1
.r a$raw_n0<7> a<7>
.def 0
1 1
.latch _n9<0> a<0>
.latch _n9<1> a<1>
.latch _n9<2> a<2>
.latch _n9<3> a<3>
.latch _n9<4> a<4>
.latch _n9<5> a<5>
.latch _n9<6> a<6>
.latch _n9<7> a<7>
.r start$raw_n2 start
0 0
1 1
.latch _n7 start
.r b$raw_n1<0> b<0>
.def 0
1 1
.r b$raw_n1<1> b<1>
.def 0
1 1
.r b$raw_n1<2> b<2>
.def 0
1 1
.r b$raw_n1<3> b<3>
.def 0
1 1
.r b$raw_n1<4> b<4>
.def 0
1 1
.r b$raw_n1<5> b<5>
.def 0
1 1
.r b$raw_n1<6> b<6>
.def 0
1 1
.r b$raw_n1<7> b<7>
.def 0
1 1
.latch _nb<0> b<0>
.latch _nb<1> b<1>
.latch _nb<2> b<2>
.latch _nb<3> b<3>
.latch _nb<4> b<4>
.latch _nb<5> b<5>
.latch _nb<6> b<6>
.latch _nb<7> b<7>
# quasi-continuous assignment
.end


.model gcd 
# I/O ports
.outputs o<0> o<1> o<2> o<3> o<4> o<5> o<6> o<7> 
.outputs busy
.inputs a<0> a<1> a<2> a<3> a<4> a<5> a<6> a<7> 
.inputs start
.inputs b<0> b<1> b<2> b<3> b<4> b<5> b<6> b<7> 
# assign xy_lsb [1] = select  (x ,lsb ) 
.subckt select _ne select<0>=_nd<0> z<0>=x<0> z<1>=x<1> z<2>=x<2> z<3>=x<3> z<4>=x<4> z<5>=x<5> z<6>=x<6> z<7>=x<7> lsb<0>=lsb<0> lsb<1>=lsb<1> lsb<2>=lsb<2> 
.names _nd<0> xy_lsb$raw_nc<1>
- =_nd<0>
# assign xy_lsb [0] = select  (y ,lsb ) 
.subckt select _n11 select<0>=_n10<0> z<0>=y<0> z<1>=y<1> z<2>=y<2> z<3>=y<3> z<4>=y<4> z<5>=y<5> z<6>=y<6> z<7>=y<7> lsb<0>=lsb<0> lsb<1>=lsb<1> lsb<2>=lsb<2> 
.names _n10<0> xy_lsb$raw_nf<0>
- =_n10<0>
# assign diff  = x  < y  ? y  - x  : x  - y 
# x  < y 
.names _n15
0
.names x<0> y<0> _n15 _n14<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n17
0
.names x<0> y<0> _n17 _n16
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<1> y<1> _n16 _n14<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<1> y<1> _n16 _n18
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<2> y<2> _n18 _n14<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<2> y<2> _n18 _n19
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<3> y<3> _n19 _n14<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<3> y<3> _n19 _n1a
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<4> y<4> _n1a _n14<4>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<4> y<4> _n1a _n1b
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<5> y<5> _n1b _n14<5>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<5> y<5> _n1b _n1c
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<6> y<6> _n1c _n14<6>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<6> y<6> _n1c _n1d
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<7> y<7> _n1d _n14<7>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<7> y<7> _n1d _n1e
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names _n14<0> _n14<1> _n14<2> _n14<3> _n14<4> _n14<5> _n14<6> _n14<7> _n1f
.def 1
0 0 0 0 0 0 0 0 0
.names _n1e _n1f _n13
.def 0
1 1 1
# y  - x 
.names _n21
0
.names y<0> x<0> _n21 _n20<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n23
0
.names y<0> x<0> _n23 _n22
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names y<1> x<1> _n22 _n20<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names y<1> x<1> _n22 _n24
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names y<2> x<2> _n24 _n20<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names y<2> x<2> _n24 _n25
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names y<3> x<3> _n25 _n20<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names y<3> x<3> _n25 _n26
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names y<4> x<4> _n26 _n20<4>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names y<4> x<4> _n26 _n27
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names y<5> x<5> _n27 _n20<5>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names y<5> x<5> _n27 _n28
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names y<6> x<6> _n28 _n20<6>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names y<6> x<6> _n28 _n29
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names y<7> x<7> _n29 _n20<7>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# x  - y 
.names _n2b
0
.names x<0> y<0> _n2b _n2a<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n2d
0
.names x<0> y<0> _n2d _n2c
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<1> y<1> _n2c _n2a<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<1> y<1> _n2c _n2e
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<2> y<2> _n2e _n2a<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<2> y<2> _n2e _n2f
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<3> y<3> _n2f _n2a<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<3> y<3> _n2f _n30
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<4> y<4> _n30 _n2a<4>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<4> y<4> _n30 _n31
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<5> y<5> _n31 _n2a<5>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<5> y<5> _n31 _n32
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<6> y<6> _n32 _n2a<6>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<6> y<6> _n32 _n33
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<7> y<7> _n33 _n2a<7>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# x  < y  ? y  - x  : x  - y 
.names _n20<0> _n2a<0> _n13 _n34<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n20<1> _n2a<1> _n13 _n34<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n20<2> _n2a<2> _n13 _n34<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n20<3> _n2a<3> _n13 _n34<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n20<4> _n2a<4> _n13 _n34<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n20<5> _n2a<5> _n13 _n34<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n20<6> _n2a<6> _n13 _n34<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n20<7> _n2a<7> _n13 _n34<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n34<0> diff$raw_n12<0>
- =_n34<0>
.names _n34<1> diff$raw_n12<1>
- =_n34<1>
.names _n34<2> diff$raw_n12<2>
- =_n34<2>
.names _n34<3> diff$raw_n12<3>
- =_n34<3>
.names _n34<4> diff$raw_n12<4>
- =_n34<4>
.names _n34<5> diff$raw_n12<5>
- =_n34<5>
.names _n34<6> diff$raw_n12<6>
- =_n34<6>
.names _n34<7> diff$raw_n12<7>
- =_n34<7>
# assign done  = ((x  == y ) | (x  == 0) | (y  == 0) | (cpt  > 13)) & busy 
# x  == y 
.names x<0> y<0> _n3f<0>
.def 0
0 1 1
1 0 1
.names x<1> y<1> _n3f<1>
.def 0
0 1 1
1 0 1
.names x<2> y<2> _n3f<2>
.def 0
0 1 1
1 0 1
.names x<3> y<3> _n3f<3>
.def 0
0 1 1
1 0 1
.names x<4> y<4> _n3f<4>
.def 0
0 1 1
1 0 1
.names x<5> y<5> _n3f<5>
.def 0
0 1 1
1 0 1
.names x<6> y<6> _n3f<6>
.def 0
0 1 1
1 0 1
.names x<7> y<7> _n3f<7>
.def 0
0 1 1
1 0 1
.names _n3f<0> _n3f<1> _n3f<2> _n3f<3> _n3f<4> _n3f<5> _n3f<6> _n3f<7> _n40
.def 1
0 0 0 0 0 0 0 0 0
.names _n40 _n3e
0 1  
1 0  
.names _n42<0>
0
.names _n42<1>
0
.names _n42<2>
0
.names _n42<3>
0
.names _n42<4>
0
.names _n42<5>
0
.names _n42<6>
0
.names _n42<7>
0
# x  == 0
.names x<0> _n42<0> _n43<0>
.def 0
0 1 1
1 0 1
.names x<1> _n42<1> _n43<1>
.def 0
0 1 1
1 0 1
.names x<2> _n42<2> _n43<2>
.def 0
0 1 1
1 0 1
.names x<3> _n42<3> _n43<3>
.def 0
0 1 1
1 0 1
.names x<4> _n42<4> _n43<4>
.def 0
0 1 1
1 0 1
.names x<5> _n42<5> _n43<5>
.def 0
0 1 1
1 0 1
.names x<6> _n42<6> _n43<6>
.def 0
0 1 1
1 0 1
.names x<7> _n42<7> _n43<7>
.def 0
0 1 1
1 0 1
.names _n43<0> _n43<1> _n43<2> _n43<3> _n43<4> _n43<5> _n43<6> _n43<7> _n44
.def 1
0 0 0 0 0 0 0 0 0
.names _n44 _n41
0 1  
1 0  
# (x  == y ) | (x  == 0)
.names _n3e _n41 _n45
.def 1
0 0 0
.names _n47<0>
0
.names _n47<1>
0
.names _n47<2>
0
.names _n47<3>
0
.names _n47<4>
0
.names _n47<5>
0
.names _n47<6>
0
.names _n47<7>
0
# y  == 0
.names y<0> _n47<0> _n48<0>
.def 0
0 1 1
1 0 1
.names y<1> _n47<1> _n48<1>
.def 0
0 1 1
1 0 1
.names y<2> _n47<2> _n48<2>
.def 0
0 1 1
1 0 1
.names y<3> _n47<3> _n48<3>
.def 0
0 1 1
1 0 1
.names y<4> _n47<4> _n48<4>
.def 0
0 1 1
1 0 1
.names y<5> _n47<5> _n48<5>
.def 0
0 1 1
1 0 1
.names y<6> _n47<6> _n48<6>
.def 0
0 1 1
1 0 1
.names y<7> _n47<7> _n48<7>
.def 0
0 1 1
1 0 1
.names _n48<0> _n48<1> _n48<2> _n48<3> _n48<4> _n48<5> _n48<6> _n48<7> _n49
.def 1
0 0 0 0 0 0 0 0 0
.names _n49 _n46
0 1  
1 0  
# (x  == y ) | (x  == 0) | (y  == 0)
.names _n45 _n46 _n4a
.def 1
0 0 0
.names _n4b<0>
1
.names _n4b<1>
0
.names _n4b<2>
1
.names _n4b<3>
1
# cpt  > 13
.names _n4e
0
.names cpt<0> _n4b<0> _n4e _n4d<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n50
0
.names cpt<0> _n4b<0> _n50 _n4f
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names cpt<1> _n4b<1> _n4f _n4d<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names cpt<1> _n4b<1> _n4f _n51
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names cpt<2> _n4b<2> _n51 _n4d<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names cpt<2> _n4b<2> _n51 _n52
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names cpt<3> _n4b<3> _n52 _n4d<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names cpt<3> _n4b<3> _n52 _n53
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names _n4d<0> _n4d<1> _n4d<2> _n4d<3> _n54
.def 0
0 0 0 0 1
.names _n53 _n54 _n55
.def 1
0 0 0
.names _n55 _n4c
0 1  
1 0  
# (x  == y ) | (x  == 0) | (y  == 0) | (cpt  > 13)
.names _n4a _n4c _n56
.def 1
0 0 0
# ((x  == y ) | (x  == 0) | (y  == 0) | (cpt  > 13)) & busy 
.names _n56 busy _n57
.def 0
1 1 1
.names _n57 done$raw_n3d
- =_n57
# assign load  = start  & ~busy 
.names busy _n59
0 1  
1 0  
# start  & ~busy 
.names start _n59 _n5a
.def 0
1 1 1
.names _n5a load$raw_n58
- =_n5a
# busy  = 0
.names busy$raw_n5b
0
# x  = 0
.names x$raw_n5c<0>
0
.names x$raw_n5c<1>
0
.names x$raw_n5c<2>
0
.names x$raw_n5c<3>
0
.names x$raw_n5c<4>
0
.names x$raw_n5c<5>
0
.names x$raw_n5c<6>
0
.names x$raw_n5c<7>
0
# y  = 0
.names y$raw_n5d<0>
0
.names y$raw_n5d<1>
0
.names y$raw_n5d<2>
0
.names y$raw_n5d<3>
0
.names y$raw_n5d<4>
0
.names y$raw_n5d<5>
0
.names y$raw_n5d<6>
0
.names y$raw_n5d<7>
0
# o  = 0
.names o$raw_n5e<0>
0
.names o$raw_n5e<1>
0
.names o$raw_n5e<2>
0
.names o$raw_n5e<3>
0
.names o$raw_n5e<4>
0
.names o$raw_n5e<5>
0
.names o$raw_n5e<6>
0
.names o$raw_n5e<7>
0
# lsb  = 0
.names lsb$raw_n5f<0>
0
.names lsb$raw_n5f<1>
0
.names lsb$raw_n5f<2>
0
# cpt  = 0
.names cpt$raw_n60<0>
0
.names cpt$raw_n60<1>
0
.names cpt$raw_n60<2>
0
.names cpt$raw_n60<3>
0
# non-blocking assignments for initial
.names load _n61
- =load
# x  = a 
.names a<0> x$load_n62$true<0>
- =a<0>
.names a<1> x$load_n62$true<1>
- =a<1>
.names a<2> x$load_n62$true<2>
- =a<2>
.names a<3> x$load_n62$true<3>
- =a<3>
.names a<4> x$load_n62$true<4>
- =a<4>
.names a<5> x$load_n62$true<5>
- =a<5>
.names a<6> x$load_n62$true<6>
- =a<6>
.names a<7> x$load_n62$true<7>
- =a<7>
# y  = b 
.names b<0> y$load_n63$true<0>
- =b<0>
.names b<1> y$load_n63$true<1>
- =b<1>
.names b<2> y$load_n63$true<2>
- =b<2>
.names b<3> y$load_n63$true<3>
- =b<3>
.names b<4> y$load_n63$true<4>
- =b<4>
.names b<5> y$load_n63$true<5>
- =b<5>
.names b<6> y$load_n63$true<6>
- =b<6>
.names b<7> y$load_n63$true<7>
- =b<7>
# lsb  = 0
.names lsb$load_n64$true<0>
0
.names lsb$load_n64$true<1>
0
.names lsb$load_n64$true<2>
0
# cpt  = 0
.names cpt$load_n65$true<0>
0
.names cpt$load_n65$true<1>
0
.names cpt$load_n65$true<2>
0
.names cpt$load_n65$true<3>
0
.names done _n66
0 1  
1 0  
# busy  & ~done 
.names busy _n66 _n67
.def 0
1 1 1
.names _n67 _n68
- =_n67
# cpt  = cpt  + 1
.names _n6a<0>
1
.names _n6a<1>
0
.names _n6a<2>
0
.names _n6a<3>
0
# cpt  + 1
.names _n6c
0
.names cpt<0> _n6a<0> _n6c _n6b<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n6e
0
.names cpt<0> _n6a<0> _n6e _n6d
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names cpt<1> _n6a<1> _n6d _n6b<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names cpt<1> _n6a<1> _n6d _n6f
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names cpt<2> _n6a<2> _n6f _n6b<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names cpt<2> _n6a<2> _n6f _n70
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names cpt<3> _n6a<3> _n70 _n6b<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
.names _n6b<0> cpt$_n67_n69$true<0>
- =_n6b<0>
.names _n6b<1> cpt$_n67_n69$true<1>
- =_n6b<1>
.names _n6b<2> cpt$_n67_n69$true<2>
- =_n6b<2>
.names _n6b<3> cpt$_n67_n69$true<3>
- =_n6b<3>
.names _n73<0>
0
.names _n73<1>
0
.names xy_lsb<0> _n73<0> _n74<0>
.def 0
0 1 1
1 0 1
.names xy_lsb<1> _n73<1> _n74<1>
.def 0
0 1 1
1 0 1
.names _n74<0> _n74<1> _n75
.def 1
0 0 0
.names _n75 _n72
0 1  
1 0  
.names _n72  _n71
1 1
0 0
.names _n76<0>
1
.names _n76<1>
1
.names _n76<2>
1
# lsb  < 7
.names _n79
0
.names lsb<0> _n76<0> _n79 _n78<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n7b
0
.names lsb<0> _n76<0> _n7b _n7a
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names lsb<1> _n76<1> _n7a _n78<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names lsb<1> _n76<1> _n7a _n7c
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names lsb<2> _n76<2> _n7c _n78<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names lsb<2> _n76<2> _n7c _n7d
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names _n78<0> _n78<1> _n78<2> _n7e
.def 1
0 0 0 0
.names _n7d _n7e _n77
.def 0
1 1 1
.names _n77 _n7f
- =_n77
# lsb  = lsb  + 1
.names _n81<0>
1
.names _n81<1>
0
.names _n81<2>
0
# lsb  + 1
.names _n83
0
.names lsb<0> _n81<0> _n83 _n82<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n85
0
.names lsb<0> _n81<0> _n85 _n84
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names lsb<1> _n81<1> _n84 _n82<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names lsb<1> _n81<1> _n84 _n86
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names lsb<2> _n81<2> _n86 _n82<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
.names _n82<0> lsb$_n77_n80$true<0>
- =_n82<0>
.names _n82<1> lsb$_n77_n80$true<1>
- =_n82<1>
.names _n82<2> lsb$_n77_n80$true<2>
- =_n82<2>
# if/else (lsb  < 7)
.names lsb$_n77_n80$true<0> lsb<0> _n77 lsb$_n77$raw_n8b<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names lsb$_n77_n80$true<1> lsb<1> _n77 lsb$_n77$raw_n8b<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names lsb$_n77_n80$true<2> lsb<2> _n77 lsb$_n77$raw_n8b<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n93<0>
1
.names _n93<1>
0
.names xy_lsb<0> _n93<0> _n94<0>
.def 0
0 1 1
1 0 1
.names xy_lsb<1> _n93<1> _n94<1>
.def 0
0 1 1
1 0 1
.names _n94<0> _n94<1> _n95
.def 1
0 0 0
.names _n95 _n92
0 1  
1 0  
.names _n92  _n91
1 1
0 0
# x [8 - 2 : 0] = x [8 - 1 : 1]
.names x<1> x$_n91_n96$true<0>
- =x<1>
.names x<2> x$_n91_n96$true<1>
- =x<2>
.names x<3> x$_n91_n96$true<2>
- =x<3>
.names x<4> x$_n91_n96$true<3>
- =x<4>
.names x<5> x$_n91_n96$true<4>
- =x<5>
.names x<6> x$_n91_n96$true<5>
- =x<6>
.names x<7> x$_n91_n96$true<6>
- =x<7>
.names x<7> x$_n91_n96$true<7>
- =x<7>
# x [8 - 1] = 0
.names x$_n91_n97$true<7>
0
.names x$_n91_n96$true<0> x$_n91_n97$true<0>
- =x$_n91_n96$true<0>
.names x$_n91_n96$true<1> x$_n91_n97$true<1>
- =x$_n91_n96$true<1>
.names x$_n91_n96$true<2> x$_n91_n97$true<2>
- =x$_n91_n96$true<2>
.names x$_n91_n96$true<3> x$_n91_n97$true<3>
- =x$_n91_n96$true<3>
.names x$_n91_n96$true<4> x$_n91_n97$true<4>
- =x$_n91_n96$true<4>
.names x$_n91_n96$true<5> x$_n91_n97$true<5>
- =x$_n91_n96$true<5>
.names x$_n91_n96$true<6> x$_n91_n97$true<6>
- =x$_n91_n96$true<6>
.names _n9a<0>
0
.names _n9a<1>
1
.names xy_lsb<0> _n9a<0> _n9b<0>
.def 0
0 1 1
1 0 1
.names xy_lsb<1> _n9a<1> _n9b<1>
.def 0
0 1 1
1 0 1
.names _n9b<0> _n9b<1> _n9c
.def 1
0 0 0
.names _n9c _n99
0 1  
1 0  
.names _n99  _n98
1 1
0 0
# y [8 - 2 : 0] = y [8 - 1 : 1]
.names y<1> y$_n98_n9d$true<0>
- =y<1>
.names y<2> y$_n98_n9d$true<1>
- =y<2>
.names y<3> y$_n98_n9d$true<2>
- =y<3>
.names y<4> y$_n98_n9d$true<3>
- =y<4>
.names y<5> y$_n98_n9d$true<4>
- =y<5>
.names y<6> y$_n98_n9d$true<5>
- =y<6>
.names y<7> y$_n98_n9d$true<6>
- =y<7>
.names y<7> y$_n98_n9d$true<7>
- =y<7>
# y [8 - 1] = 0
.names y$_n98_n9e$true<7>
0
.names y$_n98_n9d$true<0> y$_n98_n9e$true<0>
- =y$_n98_n9d$true<0>
.names y$_n98_n9d$true<1> y$_n98_n9e$true<1>
- =y$_n98_n9d$true<1>
.names y$_n98_n9d$true<2> y$_n98_n9e$true<2>
- =y$_n98_n9d$true<2>
.names y$_n98_n9d$true<3> y$_n98_n9e$true<3>
- =y$_n98_n9d$true<3>
.names y$_n98_n9d$true<4> y$_n98_n9e$true<4>
- =y$_n98_n9d$true<4>
.names y$_n98_n9d$true<5> y$_n98_n9e$true<5>
- =y$_n98_n9d$true<5>
.names y$_n98_n9d$true<6> y$_n98_n9e$true<6>
- =y$_n98_n9d$true<6>
.names _na1<0>
1
.names _na1<1>
1
.names xy_lsb<0> _na1<0> _na2<0>
.def 0
0 1 1
1 0 1
.names xy_lsb<1> _na1<1> _na2<1>
.def 0
0 1 1
1 0 1
.names _na2<0> _na2<1> _na3
.def 1
0 0 0
.names _na3 _na0
0 1  
1 0  
.names _na0  _n9f
1 1
0 0
# x  < y 
.names _na6
0
.names x<0> y<0> _na6 _na5<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _na8
0
.names x<0> y<0> _na8 _na7
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<1> y<1> _na7 _na5<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<1> y<1> _na7 _na9
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<2> y<2> _na9 _na5<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<2> y<2> _na9 _naa
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<3> y<3> _naa _na5<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<3> y<3> _naa _nab
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<4> y<4> _nab _na5<4>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<4> y<4> _nab _nac
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<5> y<5> _nac _na5<5>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<5> y<5> _nac _nad
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<6> y<6> _nad _na5<6>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<6> y<6> _nad _nae
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<7> y<7> _nae _na5<7>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<7> y<7> _nae _naf
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names _na5<0> _na5<1> _na5<2> _na5<3> _na5<4> _na5<5> _na5<6> _na5<7> _nb0
.def 1
0 0 0 0 0 0 0 0 0
.names _naf _nb0 _na4
.def 0
1 1 1
.names _na4 _nb1
- =_na4
# y [8 - 2 : 0] = diff [8 - 1 : 1]
.names diff<1> y$_na4_nb2$true<0>
- =diff<1>
.names diff<2> y$_na4_nb2$true<1>
- =diff<2>
.names diff<3> y$_na4_nb2$true<2>
- =diff<3>
.names diff<4> y$_na4_nb2$true<3>
- =diff<4>
.names diff<5> y$_na4_nb2$true<4>
- =diff<5>
.names diff<6> y$_na4_nb2$true<5>
- =diff<6>
.names diff<7> y$_na4_nb2$true<6>
- =diff<7>
.names y<7> y$_na4_nb2$true<7>
- =y<7>
# y [8 - 1] = 0
.names y$_na4_nb3$true<7>
0
.names y$_na4_nb2$true<0> y$_na4_nb3$true<0>
- =y$_na4_nb2$true<0>
.names y$_na4_nb2$true<1> y$_na4_nb3$true<1>
- =y$_na4_nb2$true<1>
.names y$_na4_nb2$true<2> y$_na4_nb3$true<2>
- =y$_na4_nb2$true<2>
.names y$_na4_nb2$true<3> y$_na4_nb3$true<3>
- =y$_na4_nb2$true<3>
.names y$_na4_nb2$true<4> y$_na4_nb3$true<4>
- =y$_na4_nb2$true<4>
.names y$_na4_nb2$true<5> y$_na4_nb3$true<5>
- =y$_na4_nb2$true<5>
.names y$_na4_nb2$true<6> y$_na4_nb3$true<6>
- =y$_na4_nb2$true<6>
# x [8 - 2 : 0] = diff [8 - 1 : 1]
.names diff<1> x$_na4_nb4$false<0>
- =diff<1>
.names diff<2> x$_na4_nb4$false<1>
- =diff<2>
.names diff<3> x$_na4_nb4$false<2>
- =diff<3>
.names diff<4> x$_na4_nb4$false<3>
- =diff<4>
.names diff<5> x$_na4_nb4$false<4>
- =diff<5>
.names diff<6> x$_na4_nb4$false<5>
- =diff<6>
.names diff<7> x$_na4_nb4$false<6>
- =diff<7>
.names x<7> x$_na4_nb4$false<7>
- =x<7>
# x [8 - 1] = 0
.names x$_na4_nb5$false<7>
0
.names x$_na4_nb4$false<0> x$_na4_nb5$false<0>
- =x$_na4_nb4$false<0>
.names x$_na4_nb4$false<1> x$_na4_nb5$false<1>
- =x$_na4_nb4$false<1>
.names x$_na4_nb4$false<2> x$_na4_nb5$false<2>
- =x$_na4_nb4$false<2>
.names x$_na4_nb4$false<3> x$_na4_nb5$false<3>
- =x$_na4_nb4$false<3>
.names x$_na4_nb4$false<4> x$_na4_nb5$false<4>
- =x$_na4_nb4$false<4>
.names x$_na4_nb4$false<5> x$_na4_nb5$false<5>
- =x$_na4_nb4$false<5>
.names x$_na4_nb4$false<6> x$_na4_nb5$false<6>
- =x$_na4_nb4$false<6>
# if/else (x  < y )
.names y$_na4_nb3$true<0> y<0> _na4 y$_na4$raw_nba<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_na4_nb3$true<1> y<1> _na4 y$_na4$raw_nba<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_na4_nb3$true<2> y<2> _na4 y$_na4$raw_nba<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_na4_nb3$true<3> y<3> _na4 y$_na4$raw_nba<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_na4_nb3$true<4> y<4> _na4 y$_na4$raw_nba<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_na4_nb3$true<5> y<5> _na4 y$_na4$raw_nba<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_na4_nb3$true<6> y<6> _na4 y$_na4$raw_nba<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_na4_nb3$true<7> y<7> _na4 y$_na4$raw_nba<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<0> x$_na4_nb5$false<0> _na4 x$_na4$raw_nc5<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<1> x$_na4_nb5$false<1> _na4 x$_na4$raw_nc5<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<2> x$_na4_nb5$false<2> _na4 x$_na4$raw_nc5<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<3> x$_na4_nb5$false<3> _na4 x$_na4$raw_nc5<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<4> x$_na4_nb5$false<4> _na4 x$_na4$raw_nc5<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<5> x$_na4_nb5$false<5> _na4 x$_na4$raw_nc5<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<6> x$_na4_nb5$false<6> _na4 x$_na4$raw_nc5<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<7> x$_na4_nb5$false<7> _na4 x$_na4$raw_nc5<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# case (xy_lsb )
.names y$_na4$raw_nba<0> y<0> _n9f y$_n9f$raw_nd4<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_na4$raw_nba<1> y<1> _n9f y$_n9f$raw_nd4<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_na4$raw_nba<2> y<2> _n9f y$_n9f$raw_nd4<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_na4$raw_nba<3> y<3> _n9f y$_n9f$raw_nd4<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_na4$raw_nba<4> y<4> _n9f y$_n9f$raw_nd4<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_na4$raw_nba<5> y<5> _n9f y$_n9f$raw_nd4<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_na4$raw_nba<6> y<6> _n9f y$_n9f$raw_nd4<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_na4$raw_nba<7> y<7> _n9f y$_n9f$raw_nd4<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_na4$raw_nc5<0> x<0> _n9f x$_n9f$raw_nde<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_na4$raw_nc5<1> x<1> _n9f x$_n9f$raw_nde<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_na4$raw_nc5<2> x<2> _n9f x$_n9f$raw_nde<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_na4$raw_nc5<3> x<3> _n9f x$_n9f$raw_nde<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_na4$raw_nc5<4> x<4> _n9f x$_n9f$raw_nde<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_na4$raw_nc5<5> x<5> _n9f x$_n9f$raw_nde<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_na4$raw_nc5<6> x<6> _n9f x$_n9f$raw_nde<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_na4$raw_nc5<7> x<7> _n9f x$_n9f$raw_nde<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_n98_n9e$true<0> y$_n9f$raw_nd4<0> _n98 y$_n98$raw_ne8<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_n98_n9e$true<1> y$_n9f$raw_nd4<1> _n98 y$_n98$raw_ne8<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_n98_n9e$true<2> y$_n9f$raw_nd4<2> _n98 y$_n98$raw_ne8<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_n98_n9e$true<3> y$_n9f$raw_nd4<3> _n98 y$_n98$raw_ne8<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_n98_n9e$true<4> y$_n9f$raw_nd4<4> _n98 y$_n98$raw_ne8<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_n98_n9e$true<5> y$_n9f$raw_nd4<5> _n98 y$_n98$raw_ne8<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_n98_n9e$true<6> y$_n9f$raw_nd4<6> _n98 y$_n98$raw_ne8<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_n98_n9e$true<7> y$_n9f$raw_nd4<7> _n98 y$_n98$raw_ne8<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<0> x$_n9f$raw_nde<0> _n98 x$_n98$raw_nf8<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<1> x$_n9f$raw_nde<1> _n98 x$_n98$raw_nf8<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<2> x$_n9f$raw_nde<2> _n98 x$_n98$raw_nf8<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<3> x$_n9f$raw_nde<3> _n98 x$_n98$raw_nf8<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<4> x$_n9f$raw_nde<4> _n98 x$_n98$raw_nf8<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<5> x$_n9f$raw_nde<5> _n98 x$_n98$raw_nf8<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<6> x$_n9f$raw_nde<6> _n98 x$_n98$raw_nf8<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<7> x$_n9f$raw_nde<7> _n98 x$_n98$raw_nf8<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_n91_n97$true<0> x$_n98$raw_nf8<0> _n91 x$_n91$raw_n102<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_n91_n97$true<1> x$_n98$raw_nf8<1> _n91 x$_n91$raw_n102<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_n91_n97$true<2> x$_n98$raw_nf8<2> _n91 x$_n91$raw_n102<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_n91_n97$true<3> x$_n98$raw_nf8<3> _n91 x$_n91$raw_n102<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_n91_n97$true<4> x$_n98$raw_nf8<4> _n91 x$_n91$raw_n102<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_n91_n97$true<5> x$_n98$raw_nf8<5> _n91 x$_n91$raw_n102<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_n91_n97$true<6> x$_n98$raw_nf8<6> _n91 x$_n91$raw_n102<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_n91_n97$true<7> x$_n98$raw_nf8<7> _n91 x$_n91$raw_n102<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y<0> y$_n98$raw_ne8<0> _n91 y$_n91$raw_n10f<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y<1> y$_n98$raw_ne8<1> _n91 y$_n91$raw_n10f<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y<2> y$_n98$raw_ne8<2> _n91 y$_n91$raw_n10f<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y<3> y$_n98$raw_ne8<3> _n91 y$_n91$raw_n10f<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y<4> y$_n98$raw_ne8<4> _n91 y$_n91$raw_n10f<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y<5> y$_n98$raw_ne8<5> _n91 y$_n91$raw_n10f<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y<6> y$_n98$raw_ne8<6> _n91 y$_n91$raw_n10f<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y<7> y$_n98$raw_ne8<7> _n91 y$_n91$raw_n10f<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names lsb$_n77$raw_n8b<0> lsb<0> _n71 lsb$_n71$raw_n11e<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names lsb$_n77$raw_n8b<1> lsb<1> _n71 lsb$_n71$raw_n11e<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names lsb$_n77$raw_n8b<2> lsb<2> _n71 lsb$_n71$raw_n11e<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y<0> y$_n91$raw_n10f<0> _n71 y$_n71$raw_n123<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y<1> y$_n91$raw_n10f<1> _n71 y$_n71$raw_n123<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y<2> y$_n91$raw_n10f<2> _n71 y$_n71$raw_n123<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y<3> y$_n91$raw_n10f<3> _n71 y$_n71$raw_n123<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y<4> y$_n91$raw_n10f<4> _n71 y$_n71$raw_n123<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y<5> y$_n91$raw_n10f<5> _n71 y$_n71$raw_n123<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y<6> y$_n91$raw_n10f<6> _n71 y$_n71$raw_n123<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y<7> y$_n91$raw_n10f<7> _n71 y$_n71$raw_n123<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<0> x$_n91$raw_n102<0> _n71 x$_n71$raw_n12d<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<1> x$_n91$raw_n102<1> _n71 x$_n71$raw_n12d<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<2> x$_n91$raw_n102<2> _n71 x$_n71$raw_n12d<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<3> x$_n91$raw_n102<3> _n71 x$_n71$raw_n12d<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<4> x$_n91$raw_n102<4> _n71 x$_n71$raw_n12d<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<5> x$_n91$raw_n102<5> _n71 x$_n71$raw_n12d<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<6> x$_n91$raw_n102<6> _n71 x$_n71$raw_n12d<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<7> x$_n91$raw_n102<7> _n71 x$_n71$raw_n12d<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names done _n136
- =done
# o  = (x  < y ) ? x  : y 
# x  < y 
.names _n13a
0
.names x<0> y<0> _n13a _n139<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n13c
0
.names x<0> y<0> _n13c _n13b
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<1> y<1> _n13b _n139<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<1> y<1> _n13b _n13d
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<2> y<2> _n13d _n139<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<2> y<2> _n13d _n13e
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<3> y<3> _n13e _n139<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<3> y<3> _n13e _n13f
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<4> y<4> _n13f _n139<4>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<4> y<4> _n13f _n140
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<5> y<5> _n140 _n139<5>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<5> y<5> _n140 _n141
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<6> y<6> _n141 _n139<6>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<6> y<6> _n141 _n142
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names x<7> y<7> _n142 _n139<7>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names x<7> y<7> _n142 _n143
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names _n139<0> _n139<1> _n139<2> _n139<3> _n139<4> _n139<5> _n139<6> _n139<7> _n144
.def 1
0 0 0 0 0 0 0 0 0
.names _n143 _n144 _n138
.def 0
1 1 1
# (x  < y ) ? x  : y 
.names x<0> y<0> _n138 _n145<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<1> y<1> _n138 _n145<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<2> y<2> _n138 _n145<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<3> y<3> _n138 _n145<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<4> y<4> _n138 _n145<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<5> y<5> _n138 _n145<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<6> y<6> _n138 _n145<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x<7> y<7> _n138 _n145<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n145<0> o$done_n137$true<0>
- =_n145<0>
.names _n145<1> o$done_n137$true<1>
- =_n145<1>
.names _n145<2> o$done_n137$true<2>
- =_n145<2>
.names _n145<3> o$done_n137$true<3>
- =_n145<3>
.names _n145<4> o$done_n137$true<4>
- =_n145<4>
.names _n145<5> o$done_n137$true<5>
- =_n145<5>
.names _n145<6> o$done_n137$true<6>
- =_n145<6>
.names _n145<7> o$done_n137$true<7>
- =_n145<7>
# if/else (done )
.names o$done_n137$true<0> o<0> done o$done$raw_n150<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o$done_n137$true<1> o<1> done o$done$raw_n150<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o$done_n137$true<2> o<2> done o$done$raw_n150<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o$done_n137$true<3> o<3> done o$done$raw_n150<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o$done_n137$true<4> o<4> done o$done$raw_n150<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o$done_n137$true<5> o<5> done o$done$raw_n150<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o$done_n137$true<6> o<6> done o$done$raw_n150<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o$done_n137$true<7> o<7> done o$done$raw_n150<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# if/else (busy  & ~done )
.names y$_n71$raw_n123<0> y<0> _n67 y$_n67$raw_n161<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_n71$raw_n123<1> y<1> _n67 y$_n67$raw_n161<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_n71$raw_n123<2> y<2> _n67 y$_n67$raw_n161<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_n71$raw_n123<3> y<3> _n67 y$_n67$raw_n161<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_n71$raw_n123<4> y<4> _n67 y$_n67$raw_n161<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_n71$raw_n123<5> y<5> _n67 y$_n67$raw_n161<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_n71$raw_n123<6> y<6> _n67 y$_n67$raw_n161<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$_n71$raw_n123<7> y<7> _n67 y$_n67$raw_n161<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names lsb$_n71$raw_n11e<0> lsb<0> _n67 lsb$_n67$raw_n16a<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names lsb$_n71$raw_n11e<1> lsb<1> _n67 lsb$_n67$raw_n16a<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names lsb$_n71$raw_n11e<2> lsb<2> _n67 lsb$_n67$raw_n16a<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names cpt$_n67_n69$true<0> cpt<0> _n67 cpt$_n67$raw_n16e<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names cpt$_n67_n69$true<1> cpt<1> _n67 cpt$_n67$raw_n16e<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names cpt$_n67_n69$true<2> cpt<2> _n67 cpt$_n67$raw_n16e<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names cpt$_n67_n69$true<3> cpt<3> _n67 cpt$_n67$raw_n16e<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_n71$raw_n12d<0> x<0> _n67 x$_n67$raw_n173<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_n71$raw_n12d<1> x<1> _n67 x$_n67$raw_n173<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_n71$raw_n12d<2> x<2> _n67 x$_n67$raw_n173<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_n71$raw_n12d<3> x<3> _n67 x$_n67$raw_n173<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_n71$raw_n12d<4> x<4> _n67 x$_n67$raw_n173<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_n71$raw_n12d<5> x<5> _n67 x$_n67$raw_n173<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_n71$raw_n12d<6> x<6> _n67 x$_n67$raw_n173<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$_n71$raw_n12d<7> x<7> _n67 x$_n67$raw_n173<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o<0> o$done$raw_n150<0> _n67 o$_n67$raw_n17c<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o<1> o$done$raw_n150<1> _n67 o$_n67$raw_n17c<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o<2> o$done$raw_n150<2> _n67 o$_n67$raw_n17c<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o<3> o$done$raw_n150<3> _n67 o$_n67$raw_n17c<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o<4> o$done$raw_n150<4> _n67 o$_n67$raw_n17c<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o<5> o$done$raw_n150<5> _n67 o$_n67$raw_n17c<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o<6> o$done$raw_n150<6> _n67 o$_n67$raw_n17c<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o<7> o$done$raw_n150<7> _n67 o$_n67$raw_n17c<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# if/else (load )
.names y$load_n63$true<0> y$_n67$raw_n161<0> load y$load$raw_n189<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$load_n63$true<1> y$_n67$raw_n161<1> load y$load$raw_n189<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$load_n63$true<2> y$_n67$raw_n161<2> load y$load$raw_n189<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$load_n63$true<3> y$_n67$raw_n161<3> load y$load$raw_n189<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$load_n63$true<4> y$_n67$raw_n161<4> load y$load$raw_n189<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$load_n63$true<5> y$_n67$raw_n161<5> load y$load$raw_n189<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$load_n63$true<6> y$_n67$raw_n161<6> load y$load$raw_n189<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names y$load_n63$true<7> y$_n67$raw_n161<7> load y$load$raw_n189<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names lsb$load_n64$true<0> lsb$_n67$raw_n16a<0> load lsb$load$raw_n192<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names lsb$load_n64$true<1> lsb$_n67$raw_n16a<1> load lsb$load$raw_n192<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names lsb$load_n64$true<2> lsb$_n67$raw_n16a<2> load lsb$load$raw_n192<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names cpt$load_n65$true<0> cpt$_n67$raw_n16e<0> load cpt$load$raw_n196<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names cpt$load_n65$true<1> cpt$_n67$raw_n16e<1> load cpt$load$raw_n196<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names cpt$load_n65$true<2> cpt$_n67$raw_n16e<2> load cpt$load$raw_n196<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names cpt$load_n65$true<3> cpt$_n67$raw_n16e<3> load cpt$load$raw_n196<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$load_n62$true<0> x$_n67$raw_n173<0> load x$load$raw_n19b<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$load_n62$true<1> x$_n67$raw_n173<1> load x$load$raw_n19b<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$load_n62$true<2> x$_n67$raw_n173<2> load x$load$raw_n19b<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$load_n62$true<3> x$_n67$raw_n173<3> load x$load$raw_n19b<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$load_n62$true<4> x$_n67$raw_n173<4> load x$load$raw_n19b<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$load_n62$true<5> x$_n67$raw_n173<5> load x$load$raw_n19b<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$load_n62$true<6> x$_n67$raw_n173<6> load x$load$raw_n19b<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names x$load_n62$true<7> x$_n67$raw_n173<7> load x$load$raw_n19b<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o<0> o$_n67$raw_n17c<0> load o$load$raw_n1a9<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o<1> o$_n67$raw_n17c<1> load o$load$raw_n1a9<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o<2> o$_n67$raw_n17c<2> load o$load$raw_n1a9<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o<3> o$_n67$raw_n17c<3> load o$load$raw_n1a9<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o<4> o$_n67$raw_n17c<4> load o$load$raw_n1a9<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o<5> o$_n67$raw_n17c<5> load o$load$raw_n1a9<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o<6> o$_n67$raw_n17c<6> load o$load$raw_n1a9<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names o<7> o$_n67$raw_n17c<7> load o$load$raw_n1a9<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names busy _n1b5
0 1  
1 0  
.names _n1b5 _n1b6
- =_n1b5
.names start _n1b7
- =start
# busy  = 1
.names busy$start_n1b8$true
1
# if/else (start )
.names busy$start_n1b8$true busy start busy$start$raw_n1bb
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names done _n1bd
- =done
# busy  = 0
.names busy$done_n1be$true
0
# if/else (done )
.names busy$done_n1be$true busy done busy$done$raw_n1c1
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# if/else (~busy )
.names busy$start$raw_n1bb busy$done$raw_n1c1 _n1b5 busy$_n1b5$raw_n1c4
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# conflict arbitrators
.names _n61 _n68 _n71 _n91 _n98 _n9f _nb1 _n1c8
.def 0
 1 - - - - - - 1
 0 1 0 0 1 - - 1
 0 1 0 0 1 - - 1
 0 1 0 0 0 1 1 1
 0 1 0 0 0 1 1 1
.names _n1c8 y$load$raw_n189<0> y$load$raw_n189<1> y$load$raw_n189<2> y$load$raw_n189<3> y$load$raw_n189<4> y$load$raw_n189<5> y$load$raw_n189<6> y$load$raw_n189<7> y<0> y<1> y<2> y<3> y<4> y<5> y<6> y<7> -> _n1c9<0> _n1c9<1> _n1c9<2> _n1c9<3> _n1c9<4> _n1c9<5> _n1c9<6> _n1c9<7> 
1 - - - - - - - - - - - - - - - - =y$load$raw_n189<0> =y$load$raw_n189<1> =y$load$raw_n189<2> =y$load$raw_n189<3> =y$load$raw_n189<4> =y$load$raw_n189<5> =y$load$raw_n189<6> =y$load$raw_n189<7> 
0 - - - - - - - - - - - - - - - - =y<0> =y<1> =y<2> =y<3> =y<4> =y<5> =y<6> =y<7> 
.names _n61 _n68 _n136 _n1ca
.def 0
 0 0 1 1
.names _n1ca o$load$raw_n1a9<0> o$load$raw_n1a9<1> o$load$raw_n1a9<2> o$load$raw_n1a9<3> o$load$raw_n1a9<4> o$load$raw_n1a9<5> o$load$raw_n1a9<6> o$load$raw_n1a9<7> o<0> o<1> o<2> o<3> o<4> o<5> o<6> o<7> -> _n1cb<0> _n1cb<1> _n1cb<2> _n1cb<3> _n1cb<4> _n1cb<5> _n1cb<6> _n1cb<7> 
1 - - - - - - - - - - - - - - - - =o$load$raw_n1a9<0> =o$load$raw_n1a9<1> =o$load$raw_n1a9<2> =o$load$raw_n1a9<3> =o$load$raw_n1a9<4> =o$load$raw_n1a9<5> =o$load$raw_n1a9<6> =o$load$raw_n1a9<7> 
0 - - - - - - - - - - - - - - - - =o<0> =o<1> =o<2> =o<3> =o<4> =o<5> =o<6> =o<7> 
.names load$raw_n58  load
0 0
1 1
.names _n61 _n68 _n71 _n7f _n1cc
.def 0
 1 - - - 1
 0 1 1 1 1
.names _n1cc lsb$load$raw_n192<0> lsb$load$raw_n192<1> lsb$load$raw_n192<2> lsb<0> lsb<1> lsb<2> -> _n1cd<0> _n1cd<1> _n1cd<2> 
1 - - - - - - =lsb$load$raw_n192<0> =lsb$load$raw_n192<1> =lsb$load$raw_n192<2> 
0 - - - - - - =lsb<0> =lsb<1> =lsb<2> 
.names _n1b6 _n1b7 _n1bd _n1ce
.def 0
 1 1 - 1
 0 - 1 1
.names _n1ce busy$_n1b5$raw_n1c4 busy _n1cf 
1 0 - 0
1 1 - 1
0 - 0 0
0 - 1 1
.names xy_lsb$raw_nf<0>  xy_lsb<0>
- =xy_lsb$raw_nf<0>
.names xy_lsb$raw_nc<1>  xy_lsb<1>
- =xy_lsb$raw_nc<1>
.names done$raw_n3d  done
0 0
1 1
.names diff$raw_n12<0>  diff<0>
- =diff$raw_n12<0>
.names diff$raw_n12<1>  diff<1>
- =diff$raw_n12<1>
.names diff$raw_n12<2>  diff<2>
- =diff$raw_n12<2>
.names diff$raw_n12<3>  diff<3>
- =diff$raw_n12<3>
.names diff$raw_n12<4>  diff<4>
- =diff$raw_n12<4>
.names diff$raw_n12<5>  diff<5>
- =diff$raw_n12<5>
.names diff$raw_n12<6>  diff<6>
- =diff$raw_n12<6>
.names diff$raw_n12<7>  diff<7>
- =diff$raw_n12<7>
.names _n61 _n68 _n1d0
.def 0
 1 - 1
 0 1 1
.names _n1d0 cpt$load$raw_n196<0> cpt$load$raw_n196<1> cpt$load$raw_n196<2> cpt$load$raw_n196<3> cpt<0> cpt<1> cpt<2> cpt<3> -> _n1d1<0> _n1d1<1> _n1d1<2> _n1d1<3> 
1 - - - - - - - - =cpt$load$raw_n196<0> =cpt$load$raw_n196<1> =cpt$load$raw_n196<2> =cpt$load$raw_n196<3> 
0 - - - - - - - - =cpt<0> =cpt<1> =cpt<2> =cpt<3> 
.names _n61 _n68 _n71 _n91 _n98 _n9f _nb1 _n1d2
.def 0
 1 - - - - - - 1
 0 1 0 1 - - - 1
 0 1 0 1 - - - 1
 0 1 0 0 0 1 0 1
 0 1 0 0 0 1 0 1
.names _n1d2 x$load$raw_n19b<0> x$load$raw_n19b<1> x$load$raw_n19b<2> x$load$raw_n19b<3> x$load$raw_n19b<4> x$load$raw_n19b<5> x$load$raw_n19b<6> x$load$raw_n19b<7> x<0> x<1> x<2> x<3> x<4> x<5> x<6> x<7> -> _n1d3<0> _n1d3<1> _n1d3<2> _n1d3<3> _n1d3<4> _n1d3<5> _n1d3<6> _n1d3<7> 
1 - - - - - - - - - - - - - - - - =x$load$raw_n19b<0> =x$load$raw_n19b<1> =x$load$raw_n19b<2> =x$load$raw_n19b<3> =x$load$raw_n19b<4> =x$load$raw_n19b<5> =x$load$raw_n19b<6> =x$load$raw_n19b<7> 
0 - - - - - - - - - - - - - - - - =x<0> =x<1> =x<2> =x<3> =x<4> =x<5> =x<6> =x<7> 
# non-blocking assignments 
# latches
.r y$raw_n5d<0> y<0>
.def 0
1 1
.r y$raw_n5d<1> y<1>
.def 0
1 1
.r y$raw_n5d<2> y<2>
.def 0
1 1
.r y$raw_n5d<3> y<3>
.def 0
1 1
.r y$raw_n5d<4> y<4>
.def 0
1 1
.r y$raw_n5d<5> y<5>
.def 0
1 1
.r y$raw_n5d<6> y<6>
.def 0
1 1
.r y$raw_n5d<7> y<7>
.def 0
1 1
.latch _n1c9<0> y<0>
.latch _n1c9<1> y<1>
.latch _n1c9<2> y<2>
.latch _n1c9<3> y<3>
.latch _n1c9<4> y<4>
.latch _n1c9<5> y<5>
.latch _n1c9<6> y<6>
.latch _n1c9<7> y<7>
.r o$raw_n5e<0> o<0>
.def 0
1 1
.r o$raw_n5e<1> o<1>
.def 0
1 1
.r o$raw_n5e<2> o<2>
.def 0
1 1
.r o$raw_n5e<3> o<3>
.def 0
1 1
.r o$raw_n5e<4> o<4>
.def 0
1 1
.r o$raw_n5e<5> o<5>
.def 0
1 1
.r o$raw_n5e<6> o<6>
.def 0
1 1
.r o$raw_n5e<7> o<7>
.def 0
1 1
.latch _n1cb<0> o<0>
.latch _n1cb<1> o<1>
.latch _n1cb<2> o<2>
.latch _n1cb<3> o<3>
.latch _n1cb<4> o<4>
.latch _n1cb<5> o<5>
.latch _n1cb<6> o<6>
.latch _n1cb<7> o<7>
.r busy$raw_n5b busy
0 0
1 1
.latch _n1cf busy
.r lsb$raw_n5f<0> lsb<0>
.def 0
1 1
.r lsb$raw_n5f<1> lsb<1>
.def 0
1 1
.r lsb$raw_n5f<2> lsb<2>
.def 0
1 1
.latch _n1cd<0> lsb<0>
.latch _n1cd<1> lsb<1>
.latch _n1cd<2> lsb<2>
.r cpt$raw_n60<0> cpt<0>
.def 0
1 1
.r cpt$raw_n60<1> cpt<1>
.def 0
1 1
.r cpt$raw_n60<2> cpt<2>
.def 0
1 1
.r cpt$raw_n60<3> cpt<3>
.def 0
1 1
.latch _n1d1<0> cpt<0>
.latch _n1d1<1> cpt<1>
.latch _n1d1<2> cpt<2>
.latch _n1d1<3> cpt<3>
.r x$raw_n5c<0> x<0>
.def 0
1 1
.r x$raw_n5c<1> x<1>
.def 0
1 1
.r x$raw_n5c<2> x<2>
.def 0
1 1
.r x$raw_n5c<3> x<3>
.def 0
1 1
.r x$raw_n5c<4> x<4>
.def 0
1 1
.r x$raw_n5c<5> x<5>
.def 0
1 1
.r x$raw_n5c<6> x<6>
.def 0
1 1
.r x$raw_n5c<7> x<7>
.def 0
1 1
.latch _n1d3<0> x<0>
.latch _n1d3<1> x<1>
.latch _n1d3<2> x<2>
.latch _n1d3<3> x<3>
.latch _n1d3<4> x<4>
.latch _n1d3<5> x<5>
.latch _n1d3<6> x<6>
.latch _n1d3<7> x<7>
# quasi-continuous assignment
.end


.model select 
# I/O ports
.inputs z<0> z<1> z<2> z<3> z<4> z<5> z<6> z<7> 
.inputs lsb<0> lsb<1> lsb<2> 
.outputs select<0> 
.names _n1d5<0>
0
.names _n1d5<1>
0
.names _n1d5<2>
0
# lsb  == 'b000
.names lsb<0> _n1d5<0> _n1d6<0>
.def 0
0 1 1
1 0 1
.names lsb<1> _n1d5<1> _n1d6<1>
.def 0
0 1 1
1 0 1
.names lsb<2> _n1d5<2> _n1d6<2>
.def 0
0 1 1
1 0 1
.names _n1d6<0> _n1d6<1> _n1d6<2> _n1d7
.def 1
0 0 0 0
.names _n1d7 _n1d4
0 1  
1 0  
.names _n1d4 _n1d8
- =_n1d4
# select  = z [0]
.names z<0> select$_n1d4_n1d9$true<0>
- =z<0>
.names _n1db<0>
1
.names _n1db<1>
0
.names _n1db<2>
0
# lsb  == 'b001
.names lsb<0> _n1db<0> _n1dc<0>
.def 0
0 1 1
1 0 1
.names lsb<1> _n1db<1> _n1dc<1>
.def 0
0 1 1
1 0 1
.names lsb<2> _n1db<2> _n1dc<2>
.def 0
0 1 1
1 0 1
.names _n1dc<0> _n1dc<1> _n1dc<2> _n1dd
.def 1
0 0 0 0
.names _n1dd _n1da
0 1  
1 0  
.names _n1da _n1de
- =_n1da
# select  = z [1]
.names z<1> select$_n1da_n1df$true<0>
- =z<1>
.names _n1e1<0>
0
.names _n1e1<1>
1
.names _n1e1<2>
0
# lsb  == 'b010
.names lsb<0> _n1e1<0> _n1e2<0>
.def 0
0 1 1
1 0 1
.names lsb<1> _n1e1<1> _n1e2<1>
.def 0
0 1 1
1 0 1
.names lsb<2> _n1e1<2> _n1e2<2>
.def 0
0 1 1
1 0 1
.names _n1e2<0> _n1e2<1> _n1e2<2> _n1e3
.def 1
0 0 0 0
.names _n1e3 _n1e0
0 1  
1 0  
.names _n1e0 _n1e4
- =_n1e0
# select  = z [2]
.names z<2> select$_n1e0_n1e5$true<0>
- =z<2>
.names _n1e7<0>
1
.names _n1e7<1>
1
.names _n1e7<2>
0
# lsb  == 'b011
.names lsb<0> _n1e7<0> _n1e8<0>
.def 0
0 1 1
1 0 1
.names lsb<1> _n1e7<1> _n1e8<1>
.def 0
0 1 1
1 0 1
.names lsb<2> _n1e7<2> _n1e8<2>
.def 0
0 1 1
1 0 1
.names _n1e8<0> _n1e8<1> _n1e8<2> _n1e9
.def 1
0 0 0 0
.names _n1e9 _n1e6
0 1  
1 0  
.names _n1e6 _n1ea
- =_n1e6
# select  = z [3]
.names z<3> select$_n1e6_n1eb$true<0>
- =z<3>
.names _n1ed<0>
0
.names _n1ed<1>
0
.names _n1ed<2>
1
# lsb  == 'b100
.names lsb<0> _n1ed<0> _n1ee<0>
.def 0
0 1 1
1 0 1
.names lsb<1> _n1ed<1> _n1ee<1>
.def 0
0 1 1
1 0 1
.names lsb<2> _n1ed<2> _n1ee<2>
.def 0
0 1 1
1 0 1
.names _n1ee<0> _n1ee<1> _n1ee<2> _n1ef
.def 1
0 0 0 0
.names _n1ef _n1ec
0 1  
1 0  
.names _n1ec _n1f0
- =_n1ec
# select  = z [4]
.names z<4> select$_n1ec_n1f1$true<0>
- =z<4>
.names _n1f3<0>
1
.names _n1f3<1>
0
.names _n1f3<2>
1
# lsb  == 'b101
.names lsb<0> _n1f3<0> _n1f4<0>
.def 0
0 1 1
1 0 1
.names lsb<1> _n1f3<1> _n1f4<1>
.def 0
0 1 1
1 0 1
.names lsb<2> _n1f3<2> _n1f4<2>
.def 0
0 1 1
1 0 1
.names _n1f4<0> _n1f4<1> _n1f4<2> _n1f5
.def 1
0 0 0 0
.names _n1f5 _n1f2
0 1  
1 0  
.names _n1f2 _n1f6
- =_n1f2
# select  = z [5]
.names z<5> select$_n1f2_n1f7$true<0>
- =z<5>
.names _n1f9<0>
0
.names _n1f9<1>
1
.names _n1f9<2>
1
# lsb  == 'b110
.names lsb<0> _n1f9<0> _n1fa<0>
.def 0
0 1 1
1 0 1
.names lsb<1> _n1f9<1> _n1fa<1>
.def 0
0 1 1
1 0 1
.names lsb<2> _n1f9<2> _n1fa<2>
.def 0
0 1 1
1 0 1
.names _n1fa<0> _n1fa<1> _n1fa<2> _n1fb
.def 1
0 0 0 0
.names _n1fb _n1f8
0 1  
1 0  
.names _n1f8 _n1fc
- =_n1f8
# select  = z [6]
.names z<6> select$_n1f8_n1fd$true<0>
- =z<6>
# select  = z [7]
.names z<7> select$_n1f8_n1fe$false<0>
- =z<7>
# if/else (lsb  == 'b110)
.names select$_n1f8_n1fd$true<0> select$_n1f8_n1fe$false<0> _n1f8 select$_n1f8$raw_n200<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# if/else (lsb  == 'b101)
.names select$_n1f2_n1f7$true<0> select$_n1f8$raw_n200<0> _n1f2 select$_n1f2$raw_n205<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# if/else (lsb  == 'b100)
.names select$_n1ec_n1f1$true<0> select$_n1f2$raw_n205<0> _n1ec select$_n1ec$raw_n20a<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# if/else (lsb  == 'b011)
.names select$_n1e6_n1eb$true<0> select$_n1ec$raw_n20a<0> _n1e6 select$_n1e6$raw_n20f<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# if/else (lsb  == 'b010)
.names select$_n1e0_n1e5$true<0> select$_n1e6$raw_n20f<0> _n1e0 select$_n1e0$raw_n214<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# if/else (lsb  == 'b001)
.names select$_n1da_n1df$true<0> select$_n1e0$raw_n214<0> _n1da select$_n1da$raw_n219<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# if/else (lsb  == 'b000)
.names select$_n1d4_n1d9$true<0> select$_n1da$raw_n219<0> _n1d4 select$_n1d4$raw_n21e<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# conflict arbitrators
.names select$_n1d4$raw_n21e<0>  select<0>
- =select$_n1d4$raw_n21e<0>
.end