# vl2mv gcd.v 
# version: 2.1
# date:    10:52:04 03/10/2011 (CET)
.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 _n2 select<0>=_n1<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 _n1<0> xy_lsb$raw_n0<1>
- =_n1<0>
# assign xy_lsb [0] = select  (y ,lsb ) 
.subckt select _n5 select<0>=_n4<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 _n4<0> xy_lsb$raw_n3<0>
- =_n4<0>
# assign diff  = x  < y  ? y  - x  : x  - y 
# x  < y 
.names _n9
0
.names x<0> y<0> _n9 _n8<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _nb
0
.names x<0> y<0> _nb _na
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<1> y<1> _na _n8<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> _na _nc
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<2> y<2> _nc _n8<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> _nc _nd
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<3> y<3> _nd _n8<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> _nd _ne
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<4> y<4> _ne _n8<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> _ne _nf
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<5> y<5> _nf _n8<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> _nf _n10
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<6> y<6> _n10 _n8<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> _n10 _n11
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<7> y<7> _n11 _n8<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> _n11 _n12
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names _n8<0> _n8<1> _n8<2> _n8<3> _n8<4> _n8<5> _n8<6> _n8<7> _n13
.def 1
0 0 0 0 0 0 0 0 0
.names _n12 _n13 _n7
.def 0
1 1 1
# y  - x 
.names _n15
0
.names y<0> x<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 y<0> x<0> _n17 _n16
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names y<1> x<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 y<1> x<1> _n16 _n18
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names y<2> x<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 y<2> x<2> _n18 _n19
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names y<3> x<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 y<3> x<3> _n19 _n1a
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names y<4> x<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 y<4> x<4> _n1a _n1b
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names y<5> x<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 y<5> x<5> _n1b _n1c
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names y<6> x<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 y<6> x<6> _n1c _n1d
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names y<7> x<7> _n1d _n14<7>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# x  - y 
.names _n1f
0
.names x<0> y<0> _n1f _n1e<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n21
0
.names x<0> y<0> _n21 _n20
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<1> y<1> _n20 _n1e<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> _n20 _n22
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<2> y<2> _n22 _n1e<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> _n22 _n23
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<3> y<3> _n23 _n1e<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> _n23 _n24
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<4> y<4> _n24 _n1e<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> _n24 _n25
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<5> y<5> _n25 _n1e<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> _n25 _n26
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<6> y<6> _n26 _n1e<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> _n26 _n27
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<7> y<7> _n27 _n1e<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 _n7 _n14<0> _n1e<0> _n28<0>
.def 0
1 1 - 1
0 - 1 1
.names _n7 _n14<1> _n1e<1> _n28<1>
.def 0
1 1 - 1
0 - 1 1
.names _n7 _n14<2> _n1e<2> _n28<2>
.def 0
1 1 - 1
0 - 1 1
.names _n7 _n14<3> _n1e<3> _n28<3>
.def 0
1 1 - 1
0 - 1 1
.names _n7 _n14<4> _n1e<4> _n28<4>
.def 0
1 1 - 1
0 - 1 1
.names _n7 _n14<5> _n1e<5> _n28<5>
.def 0
1 1 - 1
0 - 1 1
.names _n7 _n14<6> _n1e<6> _n28<6>
.def 0
1 1 - 1
0 - 1 1
.names _n7 _n14<7> _n1e<7> _n28<7>
.def 0
1 1 - 1
0 - 1 1
.names _n28<0> diff$raw_n6<0>
- =_n28<0>
.names _n28<1> diff$raw_n6<1>
- =_n28<1>
.names _n28<2> diff$raw_n6<2>
- =_n28<2>
.names _n28<3> diff$raw_n6<3>
- =_n28<3>
.names _n28<4> diff$raw_n6<4>
- =_n28<4>
.names _n28<5> diff$raw_n6<5>
- =_n28<5>
.names _n28<6> diff$raw_n6<6>
- =_n28<6>
.names _n28<7> diff$raw_n6<7>
- =_n28<7>
# busy  = 0
.names busy$raw_n31
0
# x  = 0
.names x$raw_n32<0>
0
.names x$raw_n32<1>
0
.names x$raw_n32<2>
0
.names x$raw_n32<3>
0
.names x$raw_n32<4>
0
.names x$raw_n32<5>
0
.names x$raw_n32<6>
0
.names x$raw_n32<7>
0
# y  = 0
.names y$raw_n33<0>
0
.names y$raw_n33<1>
0
.names y$raw_n33<2>
0
.names y$raw_n33<3>
0
.names y$raw_n33<4>
0
.names y$raw_n33<5>
0
.names y$raw_n33<6>
0
.names y$raw_n33<7>
0
# o  = 0
.names o$raw_n34<0>
0
.names o$raw_n34<1>
0
.names o$raw_n34<2>
0
.names o$raw_n34<3>
0
.names o$raw_n34<4>
0
.names o$raw_n34<5>
0
.names o$raw_n34<6>
0
.names o$raw_n34<7>
0
# lsb  = 0
.names lsb$raw_n35<0>
0
.names lsb$raw_n35<1>
0
.names lsb$raw_n35<2>
0
# non-blocking assignments for initial
# assign done  = ((x  == y ) | (x  == 0) | (y  == 0)) & busy 
# x  == y 
.names x<0> y<0> _n38<0>
.def 0
0 1 1
1 0 1
.names x<1> y<1> _n38<1>
.def 0
0 1 1
1 0 1
.names x<2> y<2> _n38<2>
.def 0
0 1 1
1 0 1
.names x<3> y<3> _n38<3>
.def 0
0 1 1
1 0 1
.names x<4> y<4> _n38<4>
.def 0
0 1 1
1 0 1
.names x<5> y<5> _n38<5>
.def 0
0 1 1
1 0 1
.names x<6> y<6> _n38<6>
.def 0
0 1 1
1 0 1
.names x<7> y<7> _n38<7>
.def 0
0 1 1
1 0 1
.names _n38<0> _n38<1> _n38<2> _n38<3> _n38<4> _n38<5> _n38<6> _n38<7> _n39
.def 1
0 0 0 0 0 0 0 0 0
.names _n39 _n37
0 1  
1 0  
.names _n3b<0>
0
.names _n3b<1>
0
.names _n3b<2>
0
.names _n3b<3>
0
.names _n3b<4>
0
.names _n3b<5>
0
.names _n3b<6>
0
.names _n3b<7>
0
# x  == 0
.names x<0> _n3b<0> _n3c<0>
.def 0
0 1 1
1 0 1
.names x<1> _n3b<1> _n3c<1>
.def 0
0 1 1
1 0 1
.names x<2> _n3b<2> _n3c<2>
.def 0
0 1 1
1 0 1
.names x<3> _n3b<3> _n3c<3>
.def 0
0 1 1
1 0 1
.names x<4> _n3b<4> _n3c<4>
.def 0
0 1 1
1 0 1
.names x<5> _n3b<5> _n3c<5>
.def 0
0 1 1
1 0 1
.names x<6> _n3b<6> _n3c<6>
.def 0
0 1 1
1 0 1
.names x<7> _n3b<7> _n3c<7>
.def 0
0 1 1
1 0 1
.names _n3c<0> _n3c<1> _n3c<2> _n3c<3> _n3c<4> _n3c<5> _n3c<6> _n3c<7> _n3d
.def 1
0 0 0 0 0 0 0 0 0
.names _n3d _n3a
0 1  
1 0  
# (x  == y ) | (x  == 0)
.names _n37 _n3a _n3e
.def 1
0 0 0
.names _n40<0>
0
.names _n40<1>
0
.names _n40<2>
0
.names _n40<3>
0
.names _n40<4>
0
.names _n40<5>
0
.names _n40<6>
0
.names _n40<7>
0
# y  == 0
.names y<0> _n40<0> _n41<0>
.def 0
0 1 1
1 0 1
.names y<1> _n40<1> _n41<1>
.def 0
0 1 1
1 0 1
.names y<2> _n40<2> _n41<2>
.def 0
0 1 1
1 0 1
.names y<3> _n40<3> _n41<3>
.def 0
0 1 1
1 0 1
.names y<4> _n40<4> _n41<4>
.def 0
0 1 1
1 0 1
.names y<5> _n40<5> _n41<5>
.def 0
0 1 1
1 0 1
.names y<6> _n40<6> _n41<6>
.def 0
0 1 1
1 0 1
.names y<7> _n40<7> _n41<7>
.def 0
0 1 1
1 0 1
.names _n41<0> _n41<1> _n41<2> _n41<3> _n41<4> _n41<5> _n41<6> _n41<7> _n42
.def 1
0 0 0 0 0 0 0 0 0
.names _n42 _n3f
0 1  
1 0  
# (x  == y ) | (x  == 0) | (y  == 0)
.names _n3e _n3f _n43
.def 1
0 0 0
# ((x  == y ) | (x  == 0) | (y  == 0)) & busy 
.names _n43 busy _n44
.def 0
1 1 1
.names _n44 done$raw_n36
- =_n44
.names load _n45
- =load
# x  = a 
.names a<0> x$load_n46$true<0>
- =a<0>
.names a<1> x$load_n46$true<1>
- =a<1>
.names a<2> x$load_n46$true<2>
- =a<2>
.names a<3> x$load_n46$true<3>
- =a<3>
.names a<4> x$load_n46$true<4>
- =a<4>
.names a<5> x$load_n46$true<5>
- =a<5>
.names a<6> x$load_n46$true<6>
- =a<6>
.names a<7> x$load_n46$true<7>
- =a<7>
# y  = b 
.names b<0> y$load_n47$true<0>
- =b<0>
.names b<1> y$load_n47$true<1>
- =b<1>
.names b<2> y$load_n47$true<2>
- =b<2>
.names b<3> y$load_n47$true<3>
- =b<3>
.names b<4> y$load_n47$true<4>
- =b<4>
.names b<5> y$load_n47$true<5>
- =b<5>
.names b<6> y$load_n47$true<6>
- =b<6>
.names b<7> y$load_n47$true<7>
- =b<7>
# lsb  = 0
.names lsb$load_n48$true<0>
0
.names lsb$load_n48$true<1>
0
.names lsb$load_n48$true<2>
0
.names done _n49
0 1  
1 0  
# busy  & ~done 
.names busy _n49 _n4a
.def 0
1 1 1
.names _n4a _n4b
- =_n4a
.names _n4e<0>
0
.names _n4e<1>
0
.names xy_lsb<0> _n4e<0> _n4f<0>
.def 0
0 1 1
1 0 1
.names xy_lsb<1> _n4e<1> _n4f<1>
.def 0
0 1 1
1 0 1
.names _n4f<0> _n4f<1> _n50
.def 1
0 0 0
.names _n50 _n4d
0 1  
1 0  
.names _n4d  _n4c
.def 1
0 0
# lsb  = lsb  + 1
.names _n52<0>
1
.names _n52<1>
0
.names _n52<2>
0
# lsb  + 1
.names _n54
0
.names lsb<0> _n52<0> _n54 _n53<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n56
0
.names lsb<0> _n52<0> _n56 _n55
.def 0
- 1 1 1
1 - 1 1
1 1 - 1
.names lsb<1> _n52<1> _n55 _n53<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names lsb<1> _n52<1> _n55 _n57
.def 0
- 1 1 1
1 - 1 1
1 1 - 1
.names lsb<2> _n52<2> _n57 _n53<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
.names _n53<0> lsb$_n4c_n51$true<0>
- =_n53<0>
.names _n53<1> lsb$_n4c_n51$true<1>
- =_n53<1>
.names _n53<2> lsb$_n4c_n51$true<2>
- =_n53<2>
.names _n5a<0>
1
.names _n5a<1>
0
.names xy_lsb<0> _n5a<0> _n5b<0>
.def 0
0 1 1
1 0 1
.names xy_lsb<1> _n5a<1> _n5b<1>
.def 0
0 1 1
1 0 1
.names _n5b<0> _n5b<1> _n5c
.def 1
0 0 0
.names _n5c _n59
0 1  
1 0  
.names _n59  _n58
.def 1
0 0
# x [8 - 2 : 0] = x [8 - 1 : 1]
.names x<1> x$_n58_n5d$true<0>
- =x<1>
.names x<2> x$_n58_n5d$true<1>
- =x<2>
.names x<3> x$_n58_n5d$true<2>
- =x<3>
.names x<4> x$_n58_n5d$true<3>
- =x<4>
.names x<5> x$_n58_n5d$true<4>
- =x<5>
.names x<6> x$_n58_n5d$true<5>
- =x<6>
.names x<7> x$_n58_n5d$true<6>
- =x<7>
.names x<7> x$_n58_n5d$true<7>
- =x<7>
# x [8 - 1] = 0
.names x$_n58_n5e$true<7>
0
.names x$_n58_n5d$true<0> x$_n58_n5e$true<0>
- =x$_n58_n5d$true<0>
.names x$_n58_n5d$true<1> x$_n58_n5e$true<1>
- =x$_n58_n5d$true<1>
.names x$_n58_n5d$true<2> x$_n58_n5e$true<2>
- =x$_n58_n5d$true<2>
.names x$_n58_n5d$true<3> x$_n58_n5e$true<3>
- =x$_n58_n5d$true<3>
.names x$_n58_n5d$true<4> x$_n58_n5e$true<4>
- =x$_n58_n5d$true<4>
.names x$_n58_n5d$true<5> x$_n58_n5e$true<5>
- =x$_n58_n5d$true<5>
.names x$_n58_n5d$true<6> x$_n58_n5e$true<6>
- =x$_n58_n5d$true<6>
.names _n61<0>
0
.names _n61<1>
1
.names xy_lsb<0> _n61<0> _n62<0>
.def 0
0 1 1
1 0 1
.names xy_lsb<1> _n61<1> _n62<1>
.def 0
0 1 1
1 0 1
.names _n62<0> _n62<1> _n63
.def 1
0 0 0
.names _n63 _n60
0 1  
1 0  
.names _n60  _n5f
.def 1
0 0
# y [8 - 2 : 0] = y [8 - 1 : 1]
.names y<1> y$_n5f_n64$true<0>
- =y<1>
.names y<2> y$_n5f_n64$true<1>
- =y<2>
.names y<3> y$_n5f_n64$true<2>
- =y<3>
.names y<4> y$_n5f_n64$true<3>
- =y<4>
.names y<5> y$_n5f_n64$true<4>
- =y<5>
.names y<6> y$_n5f_n64$true<5>
- =y<6>
.names y<7> y$_n5f_n64$true<6>
- =y<7>
.names y<7> y$_n5f_n64$true<7>
- =y<7>
# y [8 - 1] = 0
.names y$_n5f_n65$true<7>
0
.names y$_n5f_n64$true<0> y$_n5f_n65$true<0>
- =y$_n5f_n64$true<0>
.names y$_n5f_n64$true<1> y$_n5f_n65$true<1>
- =y$_n5f_n64$true<1>
.names y$_n5f_n64$true<2> y$_n5f_n65$true<2>
- =y$_n5f_n64$true<2>
.names y$_n5f_n64$true<3> y$_n5f_n65$true<3>
- =y$_n5f_n64$true<3>
.names y$_n5f_n64$true<4> y$_n5f_n65$true<4>
- =y$_n5f_n64$true<4>
.names y$_n5f_n64$true<5> y$_n5f_n65$true<5>
- =y$_n5f_n64$true<5>
.names y$_n5f_n64$true<6> y$_n5f_n65$true<6>
- =y$_n5f_n64$true<6>
.names _n68<0>
1
.names _n68<1>
1
.names xy_lsb<0> _n68<0> _n69<0>
.def 0
0 1 1
1 0 1
.names xy_lsb<1> _n68<1> _n69<1>
.def 0
0 1 1
1 0 1
.names _n69<0> _n69<1> _n6a
.def 1
0 0 0
.names _n6a _n67
0 1  
1 0  
.names _n67  _n66
.def 1
0 0
# x  < y 
.names _n6d
0
.names x<0> y<0> _n6d _n6c<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n6f
0
.names x<0> y<0> _n6f _n6e
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<1> y<1> _n6e _n6c<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> _n6e _n70
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<2> y<2> _n70 _n6c<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> _n70 _n71
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<3> y<3> _n71 _n6c<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> _n71 _n72
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<4> y<4> _n72 _n6c<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> _n72 _n73
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<5> y<5> _n73 _n6c<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> _n73 _n74
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<6> y<6> _n74 _n6c<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> _n74 _n75
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<7> y<7> _n75 _n6c<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> _n75 _n76
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names _n6c<0> _n6c<1> _n6c<2> _n6c<3> _n6c<4> _n6c<5> _n6c<6> _n6c<7> _n77
.def 1
0 0 0 0 0 0 0 0 0
.names _n76 _n77 _n6b
.def 0
1 1 1
.names _n6b _n78
- =_n6b
# y [8 - 2 : 0] = diff [8 - 1 : 1]
.names diff<1> y$_n6b_n79$true<0>
- =diff<1>
.names diff<2> y$_n6b_n79$true<1>
- =diff<2>
.names diff<3> y$_n6b_n79$true<2>
- =diff<3>
.names diff<4> y$_n6b_n79$true<3>
- =diff<4>
.names diff<5> y$_n6b_n79$true<4>
- =diff<5>
.names diff<6> y$_n6b_n79$true<5>
- =diff<6>
.names diff<7> y$_n6b_n79$true<6>
- =diff<7>
.names y<7> y$_n6b_n79$true<7>
- =y<7>
# y [8 - 1] = 0
.names y$_n6b_n7a$true<7>
0
.names y$_n6b_n79$true<0> y$_n6b_n7a$true<0>
- =y$_n6b_n79$true<0>
.names y$_n6b_n79$true<1> y$_n6b_n7a$true<1>
- =y$_n6b_n79$true<1>
.names y$_n6b_n79$true<2> y$_n6b_n7a$true<2>
- =y$_n6b_n79$true<2>
.names y$_n6b_n79$true<3> y$_n6b_n7a$true<3>
- =y$_n6b_n79$true<3>
.names y$_n6b_n79$true<4> y$_n6b_n7a$true<4>
- =y$_n6b_n79$true<4>
.names y$_n6b_n79$true<5> y$_n6b_n7a$true<5>
- =y$_n6b_n79$true<5>
.names y$_n6b_n79$true<6> y$_n6b_n7a$true<6>
- =y$_n6b_n79$true<6>
# x [8 - 2 : 0] = diff [8 - 1 : 1]
.names diff<1> x$_n6b_n7b$false<0>
- =diff<1>
.names diff<2> x$_n6b_n7b$false<1>
- =diff<2>
.names diff<3> x$_n6b_n7b$false<2>
- =diff<3>
.names diff<4> x$_n6b_n7b$false<3>
- =diff<4>
.names diff<5> x$_n6b_n7b$false<4>
- =diff<5>
.names diff<6> x$_n6b_n7b$false<5>
- =diff<6>
.names diff<7> x$_n6b_n7b$false<6>
- =diff<7>
.names x<7> x$_n6b_n7b$false<7>
- =x<7>
# x [8 - 1] = 0
.names x$_n6b_n7c$false<7>
0
.names x$_n6b_n7b$false<0> x$_n6b_n7c$false<0>
- =x$_n6b_n7b$false<0>
.names x$_n6b_n7b$false<1> x$_n6b_n7c$false<1>
- =x$_n6b_n7b$false<1>
.names x$_n6b_n7b$false<2> x$_n6b_n7c$false<2>
- =x$_n6b_n7b$false<2>
.names x$_n6b_n7b$false<3> x$_n6b_n7c$false<3>
- =x$_n6b_n7b$false<3>
.names x$_n6b_n7b$false<4> x$_n6b_n7c$false<4>
- =x$_n6b_n7b$false<4>
.names x$_n6b_n7b$false<5> x$_n6b_n7c$false<5>
- =x$_n6b_n7b$false<5>
.names x$_n6b_n7b$false<6> x$_n6b_n7c$false<6>
- =x$_n6b_n7b$false<6>
# if/else (x  < y )
.names _n6b y$_n6b_n7a$true<0> y<0> y$_n6b$raw_n7f<0>
.def 0
1 1 - 1
0 - 1 1
.names _n6b y$_n6b_n7a$true<1> y<1> y$_n6b$raw_n7f<1>
.def 0
1 1 - 1
0 - 1 1
.names _n6b y$_n6b_n7a$true<2> y<2> y$_n6b$raw_n7f<2>
.def 0
1 1 - 1
0 - 1 1
.names _n6b y$_n6b_n7a$true<3> y<3> y$_n6b$raw_n7f<3>
.def 0
1 1 - 1
0 - 1 1
.names _n6b y$_n6b_n7a$true<4> y<4> y$_n6b$raw_n7f<4>
.def 0
1 1 - 1
0 - 1 1
.names _n6b y$_n6b_n7a$true<5> y<5> y$_n6b$raw_n7f<5>
.def 0
1 1 - 1
0 - 1 1
.names _n6b y$_n6b_n7a$true<6> y<6> y$_n6b$raw_n7f<6>
.def 0
1 1 - 1
0 - 1 1
.names _n6b y$_n6b_n7a$true<7> y<7> y$_n6b$raw_n7f<7>
.def 0
1 1 - 1
0 - 1 1
.names _n6b x<0> x$_n6b_n7c$false<0> x$_n6b$raw_n88<0>
.def 0
1 1 - 1
0 - 1 1
.names _n6b x<1> x$_n6b_n7c$false<1> x$_n6b$raw_n88<1>
.def 0
1 1 - 1
0 - 1 1
.names _n6b x<2> x$_n6b_n7c$false<2> x$_n6b$raw_n88<2>
.def 0
1 1 - 1
0 - 1 1
.names _n6b x<3> x$_n6b_n7c$false<3> x$_n6b$raw_n88<3>
.def 0
1 1 - 1
0 - 1 1
.names _n6b x<4> x$_n6b_n7c$false<4> x$_n6b$raw_n88<4>
.def 0
1 1 - 1
0 - 1 1
.names _n6b x<5> x$_n6b_n7c$false<5> x$_n6b$raw_n88<5>
.def 0
1 1 - 1
0 - 1 1
.names _n6b x<6> x$_n6b_n7c$false<6> x$_n6b$raw_n88<6>
.def 0
1 1 - 1
0 - 1 1
.names _n6b x<7> x$_n6b_n7c$false<7> x$_n6b$raw_n88<7>
.def 0
1 1 - 1
0 - 1 1
# case (xy_lsb )
.names _n66 y$_n6b$raw_n7f<0> y<0> y$_n66$raw_n95<0>
.def 0
1 1 - 1
0 - 1 1
.names _n66 y$_n6b$raw_n7f<1> y<1> y$_n66$raw_n95<1>
.def 0
1 1 - 1
0 - 1 1
.names _n66 y$_n6b$raw_n7f<2> y<2> y$_n66$raw_n95<2>
.def 0
1 1 - 1
0 - 1 1
.names _n66 y$_n6b$raw_n7f<3> y<3> y$_n66$raw_n95<3>
.def 0
1 1 - 1
0 - 1 1
.names _n66 y$_n6b$raw_n7f<4> y<4> y$_n66$raw_n95<4>
.def 0
1 1 - 1
0 - 1 1
.names _n66 y$_n6b$raw_n7f<5> y<5> y$_n66$raw_n95<5>
.def 0
1 1 - 1
0 - 1 1
.names _n66 y$_n6b$raw_n7f<6> y<6> y$_n66$raw_n95<6>
.def 0
1 1 - 1
0 - 1 1
.names _n66 y$_n6b$raw_n7f<7> y<7> y$_n66$raw_n95<7>
.def 0
1 1 - 1
0 - 1 1
.names _n66 x$_n6b$raw_n88<0> x<0> x$_n66$raw_n9e<0>
.def 0
1 1 - 1
0 - 1 1
.names _n66 x$_n6b$raw_n88<1> x<1> x$_n66$raw_n9e<1>
.def 0
1 1 - 1
0 - 1 1
.names _n66 x$_n6b$raw_n88<2> x<2> x$_n66$raw_n9e<2>
.def 0
1 1 - 1
0 - 1 1
.names _n66 x$_n6b$raw_n88<3> x<3> x$_n66$raw_n9e<3>
.def 0
1 1 - 1
0 - 1 1
.names _n66 x$_n6b$raw_n88<4> x<4> x$_n66$raw_n9e<4>
.def 0
1 1 - 1
0 - 1 1
.names _n66 x$_n6b$raw_n88<5> x<5> x$_n66$raw_n9e<5>
.def 0
1 1 - 1
0 - 1 1
.names _n66 x$_n6b$raw_n88<6> x<6> x$_n66$raw_n9e<6>
.def 0
1 1 - 1
0 - 1 1
.names _n66 x$_n6b$raw_n88<7> x<7> x$_n66$raw_n9e<7>
.def 0
1 1 - 1
0 - 1 1
.names _n5f y$_n5f_n65$true<0> y$_n66$raw_n95<0> y$_n5f$raw_na7<0>
.def 0
1 1 - 1
0 - 1 1
.names _n5f y$_n5f_n65$true<1> y$_n66$raw_n95<1> y$_n5f$raw_na7<1>
.def 0
1 1 - 1
0 - 1 1
.names _n5f y$_n5f_n65$true<2> y$_n66$raw_n95<2> y$_n5f$raw_na7<2>
.def 0
1 1 - 1
0 - 1 1
.names _n5f y$_n5f_n65$true<3> y$_n66$raw_n95<3> y$_n5f$raw_na7<3>
.def 0
1 1 - 1
0 - 1 1
.names _n5f y$_n5f_n65$true<4> y$_n66$raw_n95<4> y$_n5f$raw_na7<4>
.def 0
1 1 - 1
0 - 1 1
.names _n5f y$_n5f_n65$true<5> y$_n66$raw_n95<5> y$_n5f$raw_na7<5>
.def 0
1 1 - 1
0 - 1 1
.names _n5f y$_n5f_n65$true<6> y$_n66$raw_n95<6> y$_n5f$raw_na7<6>
.def 0
1 1 - 1
0 - 1 1
.names _n5f y$_n5f_n65$true<7> y$_n66$raw_n95<7> y$_n5f$raw_na7<7>
.def 0
1 1 - 1
0 - 1 1
.names _n5f x<0> x$_n66$raw_n9e<0> x$_n5f$raw_nb3<0>
.def 0
1 1 - 1
0 - 1 1
.names _n5f x<1> x$_n66$raw_n9e<1> x$_n5f$raw_nb3<1>
.def 0
1 1 - 1
0 - 1 1
.names _n5f x<2> x$_n66$raw_n9e<2> x$_n5f$raw_nb3<2>
.def 0
1 1 - 1
0 - 1 1
.names _n5f x<3> x$_n66$raw_n9e<3> x$_n5f$raw_nb3<3>
.def 0
1 1 - 1
0 - 1 1
.names _n5f x<4> x$_n66$raw_n9e<4> x$_n5f$raw_nb3<4>
.def 0
1 1 - 1
0 - 1 1
.names _n5f x<5> x$_n66$raw_n9e<5> x$_n5f$raw_nb3<5>
.def 0
1 1 - 1
0 - 1 1
.names _n5f x<6> x$_n66$raw_n9e<6> x$_n5f$raw_nb3<6>
.def 0
1 1 - 1
0 - 1 1
.names _n5f x<7> x$_n66$raw_n9e<7> x$_n5f$raw_nb3<7>
.def 0
1 1 - 1
0 - 1 1
.names _n58 x$_n58_n5e$true<0> x$_n5f$raw_nb3<0> x$_n58$raw_nbc<0>
.def 0
1 1 - 1
0 - 1 1
.names _n58 x$_n58_n5e$true<1> x$_n5f$raw_nb3<1> x$_n58$raw_nbc<1>
.def 0
1 1 - 1
0 - 1 1
.names _n58 x$_n58_n5e$true<2> x$_n5f$raw_nb3<2> x$_n58$raw_nbc<2>
.def 0
1 1 - 1
0 - 1 1
.names _n58 x$_n58_n5e$true<3> x$_n5f$raw_nb3<3> x$_n58$raw_nbc<3>
.def 0
1 1 - 1
0 - 1 1
.names _n58 x$_n58_n5e$true<4> x$_n5f$raw_nb3<4> x$_n58$raw_nbc<4>
.def 0
1 1 - 1
0 - 1 1
.names _n58 x$_n58_n5e$true<5> x$_n5f$raw_nb3<5> x$_n58$raw_nbc<5>
.def 0
1 1 - 1
0 - 1 1
.names _n58 x$_n58_n5e$true<6> x$_n5f$raw_nb3<6> x$_n58$raw_nbc<6>
.def 0
1 1 - 1
0 - 1 1
.names _n58 x$_n58_n5e$true<7> x$_n5f$raw_nb3<7> x$_n58$raw_nbc<7>
.def 0
1 1 - 1
0 - 1 1
.names _n58 y<0> y$_n5f$raw_na7<0> y$_n58$raw_nc7<0>
.def 0
1 1 - 1
0 - 1 1
.names _n58 y<1> y$_n5f$raw_na7<1> y$_n58$raw_nc7<1>
.def 0
1 1 - 1
0 - 1 1
.names _n58 y<2> y$_n5f$raw_na7<2> y$_n58$raw_nc7<2>
.def 0
1 1 - 1
0 - 1 1
.names _n58 y<3> y$_n5f$raw_na7<3> y$_n58$raw_nc7<3>
.def 0
1 1 - 1
0 - 1 1
.names _n58 y<4> y$_n5f$raw_na7<4> y$_n58$raw_nc7<4>
.def 0
1 1 - 1
0 - 1 1
.names _n58 y<5> y$_n5f$raw_na7<5> y$_n58$raw_nc7<5>
.def 0
1 1 - 1
0 - 1 1
.names _n58 y<6> y$_n5f$raw_na7<6> y$_n58$raw_nc7<6>
.def 0
1 1 - 1
0 - 1 1
.names _n58 y<7> y$_n5f$raw_na7<7> y$_n58$raw_nc7<7>
.def 0
1 1 - 1
0 - 1 1
.names _n4c lsb$_n4c_n51$true<0> lsb<0> lsb$_n4c$raw_nd3<0>
.def 0
1 1 - 1
0 - 1 1
.names _n4c lsb$_n4c_n51$true<1> lsb<1> lsb$_n4c$raw_nd3<1>
.def 0
1 1 - 1
0 - 1 1
.names _n4c lsb$_n4c_n51$true<2> lsb<2> lsb$_n4c$raw_nd3<2>
.def 0
1 1 - 1
0 - 1 1
.names _n4c y<0> y$_n58$raw_nc7<0> y$_n4c$raw_nd7<0>
.def 0
1 1 - 1
0 - 1 1
.names _n4c y<1> y$_n58$raw_nc7<1> y$_n4c$raw_nd7<1>
.def 0
1 1 - 1
0 - 1 1
.names _n4c y<2> y$_n58$raw_nc7<2> y$_n4c$raw_nd7<2>
.def 0
1 1 - 1
0 - 1 1
.names _n4c y<3> y$_n58$raw_nc7<3> y$_n4c$raw_nd7<3>
.def 0
1 1 - 1
0 - 1 1
.names _n4c y<4> y$_n58$raw_nc7<4> y$_n4c$raw_nd7<4>
.def 0
1 1 - 1
0 - 1 1
.names _n4c y<5> y$_n58$raw_nc7<5> y$_n4c$raw_nd7<5>
.def 0
1 1 - 1
0 - 1 1
.names _n4c y<6> y$_n58$raw_nc7<6> y$_n4c$raw_nd7<6>
.def 0
1 1 - 1
0 - 1 1
.names _n4c y<7> y$_n58$raw_nc7<7> y$_n4c$raw_nd7<7>
.def 0
1 1 - 1
0 - 1 1
.names _n4c x<0> x$_n58$raw_nbc<0> x$_n4c$raw_ne0<0>
.def 0
1 1 - 1
0 - 1 1
.names _n4c x<1> x$_n58$raw_nbc<1> x$_n4c$raw_ne0<1>
.def 0
1 1 - 1
0 - 1 1
.names _n4c x<2> x$_n58$raw_nbc<2> x$_n4c$raw_ne0<2>
.def 0
1 1 - 1
0 - 1 1
.names _n4c x<3> x$_n58$raw_nbc<3> x$_n4c$raw_ne0<3>
.def 0
1 1 - 1
0 - 1 1
.names _n4c x<4> x$_n58$raw_nbc<4> x$_n4c$raw_ne0<4>
.def 0
1 1 - 1
0 - 1 1
.names _n4c x<5> x$_n58$raw_nbc<5> x$_n4c$raw_ne0<5>
.def 0
1 1 - 1
0 - 1 1
.names _n4c x<6> x$_n58$raw_nbc<6> x$_n4c$raw_ne0<6>
.def 0
1 1 - 1
0 - 1 1
.names _n4c x<7> x$_n58$raw_nbc<7> x$_n4c$raw_ne0<7>
.def 0
1 1 - 1
0 - 1 1
.names done _ne9
- =done
# o  = (x  < y ) ? x  : y 
# x  < y 
.names _ned
0
.names x<0> y<0> _ned _nec<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _nef
0
.names x<0> y<0> _nef _nee
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<1> y<1> _nee _nec<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> _nee _nf0
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<2> y<2> _nf0 _nec<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> _nf0 _nf1
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<3> y<3> _nf1 _nec<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> _nf1 _nf2
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<4> y<4> _nf2 _nec<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> _nf2 _nf3
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<5> y<5> _nf3 _nec<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> _nf3 _nf4
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<6> y<6> _nf4 _nec<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> _nf4 _nf5
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names x<7> y<7> _nf5 _nec<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> _nf5 _nf6
.def 0
0 - 1 1
0 1 - 1
- 1 1 1
.names _nec<0> _nec<1> _nec<2> _nec<3> _nec<4> _nec<5> _nec<6> _nec<7> _nf7
.def 1
0 0 0 0 0 0 0 0 0
.names _nf6 _nf7 _neb
.def 0
1 1 1
# (x  < y ) ? x  : y 
.names _neb x<0> y<0> _nf8<0>
.def 0
1 1 - 1
0 - 1 1
.names _neb x<1> y<1> _nf8<1>
.def 0
1 1 - 1
0 - 1 1
.names _neb x<2> y<2> _nf8<2>
.def 0
1 1 - 1
0 - 1 1
.names _neb x<3> y<3> _nf8<3>
.def 0
1 1 - 1
0 - 1 1
.names _neb x<4> y<4> _nf8<4>
.def 0
1 1 - 1
0 - 1 1
.names _neb x<5> y<5> _nf8<5>
.def 0
1 1 - 1
0 - 1 1
.names _neb x<6> y<6> _nf8<6>
.def 0
1 1 - 1
0 - 1 1
.names _neb x<7> y<7> _nf8<7>
.def 0
1 1 - 1
0 - 1 1
.names _nf8<0> o$done_nea$true<0>
- =_nf8<0>
.names _nf8<1> o$done_nea$true<1>
- =_nf8<1>
.names _nf8<2> o$done_nea$true<2>
- =_nf8<2>
.names _nf8<3> o$done_nea$true<3>
- =_nf8<3>
.names _nf8<4> o$done_nea$true<4>
- =_nf8<4>
.names _nf8<5> o$done_nea$true<5>
- =_nf8<5>
.names _nf8<6> o$done_nea$true<6>
- =_nf8<6>
.names _nf8<7> o$done_nea$true<7>
- =_nf8<7>
# if/else (done )
.names done o$done_nea$true<0> o<0> o$done$raw_n103<0>
.def 0
1 1 - 1
0 - 1 1
.names done o$done_nea$true<1> o<1> o$done$raw_n103<1>
.def 0
1 1 - 1
0 - 1 1
.names done o$done_nea$true<2> o<2> o$done$raw_n103<2>
.def 0
1 1 - 1
0 - 1 1
.names done o$done_nea$true<3> o<3> o$done$raw_n103<3>
.def 0
1 1 - 1
0 - 1 1
.names done o$done_nea$true<4> o<4> o$done$raw_n103<4>
.def 0
1 1 - 1
0 - 1 1
.names done o$done_nea$true<5> o<5> o$done$raw_n103<5>
.def 0
1 1 - 1
0 - 1 1
.names done o$done_nea$true<6> o<6> o$done$raw_n103<6>
.def 0
1 1 - 1
0 - 1 1
.names done o$done_nea$true<7> o<7> o$done$raw_n103<7>
.def 0
1 1 - 1
0 - 1 1
# if/else (busy  & ~done )
.names _n4a y$_n4c$raw_nd7<0> y<0> y$_n4a$raw_n112<0>
.def 0
1 1 - 1
0 - 1 1
.names _n4a y$_n4c$raw_nd7<1> y<1> y$_n4a$raw_n112<1>
.def 0
1 1 - 1
0 - 1 1
.names _n4a y$_n4c$raw_nd7<2> y<2> y$_n4a$raw_n112<2>
.def 0
1 1 - 1
0 - 1 1
.names _n4a y$_n4c$raw_nd7<3> y<3> y$_n4a$raw_n112<3>
.def 0
1 1 - 1
0 - 1 1
.names _n4a y$_n4c$raw_nd7<4> y<4> y$_n4a$raw_n112<4>
.def 0
1 1 - 1
0 - 1 1
.names _n4a y$_n4c$raw_nd7<5> y<5> y$_n4a$raw_n112<5>
.def 0
1 1 - 1
0 - 1 1
.names _n4a y$_n4c$raw_nd7<6> y<6> y$_n4a$raw_n112<6>
.def 0
1 1 - 1
0 - 1 1
.names _n4a y$_n4c$raw_nd7<7> y<7> y$_n4a$raw_n112<7>
.def 0
1 1 - 1
0 - 1 1
.names _n4a lsb$_n4c$raw_nd3<0> lsb<0> lsb$_n4a$raw_n11b<0>
.def 0
1 1 - 1
0 - 1 1
.names _n4a lsb$_n4c$raw_nd3<1> lsb<1> lsb$_n4a$raw_n11b<1>
.def 0
1 1 - 1
0 - 1 1
.names _n4a lsb$_n4c$raw_nd3<2> lsb<2> lsb$_n4a$raw_n11b<2>
.def 0
1 1 - 1
0 - 1 1
.names _n4a x$_n4c$raw_ne0<0> x<0> x$_n4a$raw_n11f<0>
.def 0
1 1 - 1
0 - 1 1
.names _n4a x$_n4c$raw_ne0<1> x<1> x$_n4a$raw_n11f<1>
.def 0
1 1 - 1
0 - 1 1
.names _n4a x$_n4c$raw_ne0<2> x<2> x$_n4a$raw_n11f<2>
.def 0
1 1 - 1
0 - 1 1
.names _n4a x$_n4c$raw_ne0<3> x<3> x$_n4a$raw_n11f<3>
.def 0
1 1 - 1
0 - 1 1
.names _n4a x$_n4c$raw_ne0<4> x<4> x$_n4a$raw_n11f<4>
.def 0
1 1 - 1
0 - 1 1
.names _n4a x$_n4c$raw_ne0<5> x<5> x$_n4a$raw_n11f<5>
.def 0
1 1 - 1
0 - 1 1
.names _n4a x$_n4c$raw_ne0<6> x<6> x$_n4a$raw_n11f<6>
.def 0
1 1 - 1
0 - 1 1
.names _n4a x$_n4c$raw_ne0<7> x<7> x$_n4a$raw_n11f<7>
.def 0
1 1 - 1
0 - 1 1
.names _n4a o<0> o$done$raw_n103<0> o$_n4a$raw_n128<0>
.def 0
1 1 - 1
0 - 1 1
.names _n4a o<1> o$done$raw_n103<1> o$_n4a$raw_n128<1>
.def 0
1 1 - 1
0 - 1 1
.names _n4a o<2> o$done$raw_n103<2> o$_n4a$raw_n128<2>
.def 0
1 1 - 1
0 - 1 1
.names _n4a o<3> o$done$raw_n103<3> o$_n4a$raw_n128<3>
.def 0
1 1 - 1
0 - 1 1
.names _n4a o<4> o$done$raw_n103<4> o$_n4a$raw_n128<4>
.def 0
1 1 - 1
0 - 1 1
.names _n4a o<5> o$done$raw_n103<5> o$_n4a$raw_n128<5>
.def 0
1 1 - 1
0 - 1 1
.names _n4a o<6> o$done$raw_n103<6> o$_n4a$raw_n128<6>
.def 0
1 1 - 1
0 - 1 1
.names _n4a o<7> o$done$raw_n103<7> o$_n4a$raw_n128<7>
.def 0
1 1 - 1
0 - 1 1
# if/else (load )
.names load y$load_n47$true<0> y$_n4a$raw_n112<0> y$load$raw_n134<0>
.def 0
1 1 - 1
0 - 1 1
.names load y$load_n47$true<1> y$_n4a$raw_n112<1> y$load$raw_n134<1>
.def 0
1 1 - 1
0 - 1 1
.names load y$load_n47$true<2> y$_n4a$raw_n112<2> y$load$raw_n134<2>
.def 0
1 1 - 1
0 - 1 1
.names load y$load_n47$true<3> y$_n4a$raw_n112<3> y$load$raw_n134<3>
.def 0
1 1 - 1
0 - 1 1
.names load y$load_n47$true<4> y$_n4a$raw_n112<4> y$load$raw_n134<4>
.def 0
1 1 - 1
0 - 1 1
.names load y$load_n47$true<5> y$_n4a$raw_n112<5> y$load$raw_n134<5>
.def 0
1 1 - 1
0 - 1 1
.names load y$load_n47$true<6> y$_n4a$raw_n112<6> y$load$raw_n134<6>
.def 0
1 1 - 1
0 - 1 1
.names load y$load_n47$true<7> y$_n4a$raw_n112<7> y$load$raw_n134<7>
.def 0
1 1 - 1
0 - 1 1
.names load lsb$load_n48$true<0> lsb$_n4a$raw_n11b<0> lsb$load$raw_n13d<0>
.def 0
1 1 - 1
0 - 1 1
.names load lsb$load_n48$true<1> lsb$_n4a$raw_n11b<1> lsb$load$raw_n13d<1>
.def 0
1 1 - 1
0 - 1 1
.names load lsb$load_n48$true<2> lsb$_n4a$raw_n11b<2> lsb$load$raw_n13d<2>
.def 0
1 1 - 1
0 - 1 1
.names load x$load_n46$true<0> x$_n4a$raw_n11f<0> x$load$raw_n141<0>
.def 0
1 1 - 1
0 - 1 1
.names load x$load_n46$true<1> x$_n4a$raw_n11f<1> x$load$raw_n141<1>
.def 0
1 1 - 1
0 - 1 1
.names load x$load_n46$true<2> x$_n4a$raw_n11f<2> x$load$raw_n141<2>
.def 0
1 1 - 1
0 - 1 1
.names load x$load_n46$true<3> x$_n4a$raw_n11f<3> x$load$raw_n141<3>
.def 0
1 1 - 1
0 - 1 1
.names load x$load_n46$true<4> x$_n4a$raw_n11f<4> x$load$raw_n141<4>
.def 0
1 1 - 1
0 - 1 1
.names load x$load_n46$true<5> x$_n4a$raw_n11f<5> x$load$raw_n141<5>
.def 0
1 1 - 1
0 - 1 1
.names load x$load_n46$true<6> x$_n4a$raw_n11f<6> x$load$raw_n141<6>
.def 0
1 1 - 1
0 - 1 1
.names load x$load_n46$true<7> x$_n4a$raw_n11f<7> x$load$raw_n141<7>
.def 0
1 1 - 1
0 - 1 1
.names load o<0> o$_n4a$raw_n128<0> o$load$raw_n14e<0>
.def 0
1 1 - 1
0 - 1 1
.names load o<1> o$_n4a$raw_n128<1> o$load$raw_n14e<1>
.def 0
1 1 - 1
0 - 1 1
.names load o<2> o$_n4a$raw_n128<2> o$load$raw_n14e<2>
.def 0
1 1 - 1
0 - 1 1
.names load o<3> o$_n4a$raw_n128<3> o$load$raw_n14e<3>
.def 0
1 1 - 1
0 - 1 1
.names load o<4> o$_n4a$raw_n128<4> o$load$raw_n14e<4>
.def 0
1 1 - 1
0 - 1 1
.names load o<5> o$_n4a$raw_n128<5> o$load$raw_n14e<5>
.def 0
1 1 - 1
0 - 1 1
.names load o<6> o$_n4a$raw_n128<6> o$load$raw_n14e<6>
.def 0
1 1 - 1
0 - 1 1
.names load o<7> o$_n4a$raw_n128<7> o$load$raw_n14e<7>
.def 0
1 1 - 1
0 - 1 1
# assign load  = start  & ~busy 
.names busy _n15a
0 1  
1 0  
# start  & ~busy 
.names start _n15a _n15b
.def 0
1 1 1
.names _n15b load$raw_n159
- =_n15b
.names busy _n15c
0 1  
1 0  
.names _n15c _n15d
- =_n15c
.names start _n15e
- =start
# busy  = 1
.names busy$start_n15f$true
1
# if/else (start )
.names start busy$start_n15f$true busy busy$start$raw_n162
.def 0
1 1 - 1
0 - 1 1
.names done _n164
- =done
# busy  = 0
.names busy$done_n165$true
0
# if/else (done )
.names done busy$done_n165$true busy busy$done$raw_n168
.def 0
1 1 - 1
0 - 1 1
# if/else (~busy )
.names _n15c busy$start$raw_n162 busy$done$raw_n168 busy$_n15c$raw_n16b
.def 0
1 1 - 1
0 - 1 1
# conflict arbitrators
.names _n45 _n4b _n4c _n58 _n5f _n66 _n78 _n16f
.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 _n16f y$load$raw_n134<0> y$load$raw_n134<1> y$load$raw_n134<2> y$load$raw_n134<3> y$load$raw_n134<4> y$load$raw_n134<5> y$load$raw_n134<6> y$load$raw_n134<7> y<0> y<1> y<2> y<3> y<4> y<5> y<6> y<7> -> _n170<0> _n170<1> _n170<2> _n170<3> _n170<4> _n170<5> _n170<6> _n170<7> 
1 - - - - - - - - - - - - - - - - =y$load$raw_n134<0> =y$load$raw_n134<1> =y$load$raw_n134<2> =y$load$raw_n134<3> =y$load$raw_n134<4> =y$load$raw_n134<5> =y$load$raw_n134<6> =y$load$raw_n134<7> 
0 - - - - - - - - - - - - - - - - =y<0> =y<1> =y<2> =y<3> =y<4> =y<5> =y<6> =y<7> 
.names _n45 _n4b _ne9 _n171
.def 0
 0 0 1 1
.names _n171 o$load$raw_n14e<0> o$load$raw_n14e<1> o$load$raw_n14e<2> o$load$raw_n14e<3> o$load$raw_n14e<4> o$load$raw_n14e<5> o$load$raw_n14e<6> o$load$raw_n14e<7> o<0> o<1> o<2> o<3> o<4> o<5> o<6> o<7> -> _n172<0> _n172<1> _n172<2> _n172<3> _n172<4> _n172<5> _n172<6> _n172<7> 
1 - - - - - - - - - - - - - - - - =o$load$raw_n14e<0> =o$load$raw_n14e<1> =o$load$raw_n14e<2> =o$load$raw_n14e<3> =o$load$raw_n14e<4> =o$load$raw_n14e<5> =o$load$raw_n14e<6> =o$load$raw_n14e<7> 
0 - - - - - - - - - - - - - - - - =o<0> =o<1> =o<2> =o<3> =o<4> =o<5> =o<6> =o<7> 
.names load$raw_n159  load
0 0
1 1
.names _n45 _n4b _n4c _n173
.def 0
 1 - - 1
 0 1 1 1
.names _n173 lsb$load$raw_n13d<0> lsb$load$raw_n13d<1> lsb$load$raw_n13d<2> lsb<0> lsb<1> lsb<2> -> _n174<0> _n174<1> _n174<2> 
1 - - - - - - =lsb$load$raw_n13d<0> =lsb$load$raw_n13d<1> =lsb$load$raw_n13d<2> 
0 - - - - - - =lsb<0> =lsb<1> =lsb<2> 
.names _n15d _n15e _n164 _n175
.def 0
 1 1 - 1
 0 - 1 1
.names _n175 busy$_n15c$raw_n16b busy _n176 
1 0 - 0
1 1 - 1
0 - 0 0
0 - 1 1
.names xy_lsb$raw_n3<0>  xy_lsb<0>
- =xy_lsb$raw_n3<0>
.names xy_lsb$raw_n0<1>  xy_lsb<1>
- =xy_lsb$raw_n0<1>
.names done$raw_n36  done
0 0
1 1
.names diff$raw_n6<0>  diff<0>
- =diff$raw_n6<0>
.names diff$raw_n6<1>  diff<1>
- =diff$raw_n6<1>
.names diff$raw_n6<2>  diff<2>
- =diff$raw_n6<2>
.names diff$raw_n6<3>  diff<3>
- =diff$raw_n6<3>
.names diff$raw_n6<4>  diff<4>
- =diff$raw_n6<4>
.names diff$raw_n6<5>  diff<5>
- =diff$raw_n6<5>
.names diff$raw_n6<6>  diff<6>
- =diff$raw_n6<6>
.names diff$raw_n6<7>  diff<7>
- =diff$raw_n6<7>
.names _n45 _n4b _n4c _n58 _n5f _n66 _n78 _n177
.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 _n177 x$load$raw_n141<0> x$load$raw_n141<1> x$load$raw_n141<2> x$load$raw_n141<3> x$load$raw_n141<4> x$load$raw_n141<5> x$load$raw_n141<6> x$load$raw_n141<7> x<0> x<1> x<2> x<3> x<4> x<5> x<6> x<7> -> _n178<0> _n178<1> _n178<2> _n178<3> _n178<4> _n178<5> _n178<6> _n178<7> 
1 - - - - - - - - - - - - - - - - =x$load$raw_n141<0> =x$load$raw_n141<1> =x$load$raw_n141<2> =x$load$raw_n141<3> =x$load$raw_n141<4> =x$load$raw_n141<5> =x$load$raw_n141<6> =x$load$raw_n141<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_n33<0> y<0>
.def 0
1 1
.r y$raw_n33<1> y<1>
.def 0
1 1
.r y$raw_n33<2> y<2>
.def 0
1 1
.r y$raw_n33<3> y<3>
.def 0
1 1
.r y$raw_n33<4> y<4>
.def 0
1 1
.r y$raw_n33<5> y<5>
.def 0
1 1
.r y$raw_n33<6> y<6>
.def 0
1 1
.r y$raw_n33<7> y<7>
.def 0
1 1
.latch _n170<0> y<0>
.latch _n170<1> y<1>
.latch _n170<2> y<2>
.latch _n170<3> y<3>
.latch _n170<4> y<4>
.latch _n170<5> y<5>
.latch _n170<6> y<6>
.latch _n170<7> y<7>
.r o$raw_n34<0> o<0>
.def 0
1 1
.r o$raw_n34<1> o<1>
.def 0
1 1
.r o$raw_n34<2> o<2>
.def 0
1 1
.r o$raw_n34<3> o<3>
.def 0
1 1
.r o$raw_n34<4> o<4>
.def 0
1 1
.r o$raw_n34<5> o<5>
.def 0
1 1
.r o$raw_n34<6> o<6>
.def 0
1 1
.r o$raw_n34<7> o<7>
.def 0
1 1
.latch _n172<0> o<0>
.latch _n172<1> o<1>
.latch _n172<2> o<2>
.latch _n172<3> o<3>
.latch _n172<4> o<4>
.latch _n172<5> o<5>
.latch _n172<6> o<6>
.latch _n172<7> o<7>
.r busy$raw_n31 busy
0 0
1 1
.latch _n176 busy
.r lsb$raw_n35<0> lsb<0>
.def 0
1 1
.r lsb$raw_n35<1> lsb<1>
.def 0
1 1
.r lsb$raw_n35<2> lsb<2>
.def 0
1 1
.latch _n174<0> lsb<0>
.latch _n174<1> lsb<1>
.latch _n174<2> lsb<2>
.r x$raw_n32<0> x<0>
.def 0
1 1
.r x$raw_n32<1> x<1>
.def 0
1 1
.r x$raw_n32<2> x<2>
.def 0
1 1
.r x$raw_n32<3> x<3>
.def 0
1 1
.r x$raw_n32<4> x<4>
.def 0
1 1
.r x$raw_n32<5> x<5>
.def 0
1 1
.r x$raw_n32<6> x<6>
.def 0
1 1
.r x$raw_n32<7> x<7>
.def 0
1 1
.latch _n178<0> x<0>
.latch _n178<1> x<1>
.latch _n178<2> x<2>
.latch _n178<3> x<3>
.latch _n178<4> x<4>
.latch _n178<5> x<5>
.latch _n178<6> x<6>
.latch _n178<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 _n17a<0>
0
.names _n17a<1>
0
.names _n17a<2>
0
# lsb  == 'b000
.names lsb<0> _n17a<0> _n17b<0>
.def 0
0 1 1
1 0 1
.names lsb<1> _n17a<1> _n17b<1>
.def 0
0 1 1
1 0 1
.names lsb<2> _n17a<2> _n17b<2>
.def 0
0 1 1
1 0 1
.names _n17b<0> _n17b<1> _n17b<2> _n17c
.def 1
0 0 0 0
.names _n17c _n179
0 1  
1 0  
.names _n179 _n17d
- =_n179
# select  = z [0]
.names z<0> select$_n179_n17e$true<0>
- =z<0>
.names _n180<0>
1
.names _n180<1>
0
.names _n180<2>
0
# lsb  == 'b001
.names lsb<0> _n180<0> _n181<0>
.def 0
0 1 1
1 0 1
.names lsb<1> _n180<1> _n181<1>
.def 0
0 1 1
1 0 1
.names lsb<2> _n180<2> _n181<2>
.def 0
0 1 1
1 0 1
.names _n181<0> _n181<1> _n181<2> _n182
.def 1
0 0 0 0
.names _n182 _n17f
0 1  
1 0  
.names _n17f _n183
- =_n17f
# select  = z [1]
.names z<1> select$_n17f_n184$true<0>
- =z<1>
.names _n186<0>
0
.names _n186<1>
1
.names _n186<2>
0
# lsb  == 'b010
.names lsb<0> _n186<0> _n187<0>
.def 0
0 1 1
1 0 1
.names lsb<1> _n186<1> _n187<1>
.def 0
0 1 1
1 0 1
.names lsb<2> _n186<2> _n187<2>
.def 0
0 1 1
1 0 1
.names _n187<0> _n187<1> _n187<2> _n188
.def 1
0 0 0 0
.names _n188 _n185
0 1  
1 0  
.names _n185 _n189
- =_n185
# select  = z [2]
.names z<2> select$_n185_n18a$true<0>
- =z<2>
.names _n18c<0>
1
.names _n18c<1>
1
.names _n18c<2>
0
# lsb  == 'b011
.names lsb<0> _n18c<0> _n18d<0>
.def 0
0 1 1
1 0 1
.names lsb<1> _n18c<1> _n18d<1>
.def 0
0 1 1
1 0 1
.names lsb<2> _n18c<2> _n18d<2>
.def 0
0 1 1
1 0 1
.names _n18d<0> _n18d<1> _n18d<2> _n18e
.def 1
0 0 0 0
.names _n18e _n18b
0 1  
1 0  
.names _n18b _n18f
- =_n18b
# select  = z [3]
.names z<3> select$_n18b_n190$true<0>
- =z<3>
.names _n192<0>
0
.names _n192<1>
0
.names _n192<2>
1
# lsb  == 'b100
.names lsb<0> _n192<0> _n193<0>
.def 0
0 1 1
1 0 1
.names lsb<1> _n192<1> _n193<1>
.def 0
0 1 1
1 0 1
.names lsb<2> _n192<2> _n193<2>
.def 0
0 1 1
1 0 1
.names _n193<0> _n193<1> _n193<2> _n194
.def 1
0 0 0 0
.names _n194 _n191
0 1  
1 0  
.names _n191 _n195
- =_n191
# select  = z [4]
.names z<4> select$_n191_n196$true<0>
- =z<4>
.names _n198<0>
1
.names _n198<1>
0
.names _n198<2>
1
# lsb  == 'b101
.names lsb<0> _n198<0> _n199<0>
.def 0
0 1 1
1 0 1
.names lsb<1> _n198<1> _n199<1>
.def 0
0 1 1
1 0 1
.names lsb<2> _n198<2> _n199<2>
.def 0
0 1 1
1 0 1
.names _n199<0> _n199<1> _n199<2> _n19a
.def 1
0 0 0 0
.names _n19a _n197
0 1  
1 0  
.names _n197 _n19b
- =_n197
# select  = z [5]
.names z<5> select$_n197_n19c$true<0>
- =z<5>
.names _n19e<0>
0
.names _n19e<1>
1
.names _n19e<2>
1
# lsb  == 'b110
.names lsb<0> _n19e<0> _n19f<0>
.def 0
0 1 1
1 0 1
.names lsb<1> _n19e<1> _n19f<1>
.def 0
0 1 1
1 0 1
.names lsb<2> _n19e<2> _n19f<2>
.def 0
0 1 1
1 0 1
.names _n19f<0> _n19f<1> _n19f<2> _n1a0
.def 1
0 0 0 0
.names _n1a0 _n19d
0 1  
1 0  
.names _n19d _n1a1
- =_n19d
# select  = z [6]
.names z<6> select$_n19d_n1a2$true<0>
- =z<6>
# select  = z [7]
.names z<7> select$_n19d_n1a3$false<0>
- =z<7>
# if/else (lsb  == 'b110)
.names _n19d select$_n19d_n1a2$true<0> select$_n19d_n1a3$false<0> select$_n19d$raw_n1a5<0>
.def 0
1 1 - 1
0 - 1 1
# if/else (lsb  == 'b101)
.names _n197 select$_n197_n19c$true<0> select$_n19d$raw_n1a5<0> select$_n197$raw_n1aa<0>
.def 0
1 1 - 1
0 - 1 1
# if/else (lsb  == 'b100)
.names _n191 select$_n191_n196$true<0> select$_n197$raw_n1aa<0> select$_n191$raw_n1af<0>
.def 0
1 1 - 1
0 - 1 1
# if/else (lsb  == 'b011)
.names _n18b select$_n18b_n190$true<0> select$_n191$raw_n1af<0> select$_n18b$raw_n1b4<0>
.def 0
1 1 - 1
0 - 1 1
# if/else (lsb  == 'b010)
.names _n185 select$_n185_n18a$true<0> select$_n18b$raw_n1b4<0> select$_n185$raw_n1b9<0>
.def 0
1 1 - 1
0 - 1 1
# if/else (lsb  == 'b001)
.names _n17f select$_n17f_n184$true<0> select$_n185$raw_n1b9<0> select$_n17f$raw_n1be<0>
.def 0
1 1 - 1
0 - 1 1
# if/else (lsb  == 'b000)
.names _n179 select$_n179_n17e$true<0> select$_n17f$raw_n1be<0> select$_n179$raw_n1c3<0>
.def 0
1 1 - 1
0 - 1 1
# conflict arbitrators
.names select$_n179$raw_n1c3<0>  select<0>
- =select$_n179$raw_n1c3<0>
.end