# /isd/users/depaulfm/SandBox/SUN//vl2mv-2.1/vl2mv comp.v 
# version: 1.4
# date:    21:43:30 06/02/2006 (PDT)
.model comp 
# I/O ports
.inputs adr<0> adr<1> adr<2> adr<3> adr<4> adr<5> adr<6> adr<7> adr<8> adr<9> adr<10> adr<11> adr<12> adr<13> adr<14> adr<15> adr<16> 
.inputs dma_en
.inputs tx_dma_en_r
.inputs rx_dma_en_r
.inputs buf_size<0> buf_size<1> buf_size<2> buf_size<3> buf_size<4> buf_size<5> buf_size<6> buf_size<7> buf_size<8> buf_size<9> buf_size<10> buf_size<11> buf_size<12> buf_size<13> 
.inputs adr_incw
# adr_cw  = 'b000000000000000
.names _n1<0>
0
.names _n1<1>
0
.names _n1<2>
0
.names _n1<3>
0
.names _n1<4>
0
.names _n1<5>
0
.names _n1<6>
0
.names _n1<7>
0
.names _n1<8>
0
.names _n1<9>
0
.names _n1<10>
0
.names _n1<11>
0
.names _n1<12>
0
.names _n1<13>
0
.names _n1<14>
0
.names _n1<0> adr_cw$raw_n0<0>
- =_n1<0>
.names _n1<1> adr_cw$raw_n0<1>
- =_n1<1>
.names _n1<2> adr_cw$raw_n0<2>
- =_n1<2>
.names _n1<3> adr_cw$raw_n0<3>
- =_n1<3>
.names _n1<4> adr_cw$raw_n0<4>
- =_n1<4>
.names _n1<5> adr_cw$raw_n0<5>
- =_n1<5>
.names _n1<6> adr_cw$raw_n0<6>
- =_n1<6>
.names _n1<7> adr_cw$raw_n0<7>
- =_n1<7>
.names _n1<8> adr_cw$raw_n0<8>
- =_n1<8>
.names _n1<9> adr_cw$raw_n0<9>
- =_n1<9>
.names _n1<10> adr_cw$raw_n0<10>
- =_n1<10>
.names _n1<11> adr_cw$raw_n0<11>
- =_n1<11>
.names _n1<12> adr_cw$raw_n0<12>
- =_n1<12>
.names _n1<13> adr_cw$raw_n0<13>
- =_n1<13>
.names _n1<14> adr_cw$raw_n0<14>
- =_n1<14>
# last_buf_adr  = 'b000000000000000
.names _n3<0>
0
.names _n3<1>
0
.names _n3<2>
0
.names _n3<3>
0
.names _n3<4>
0
.names _n3<5>
0
.names _n3<6>
0
.names _n3<7>
0
.names _n3<8>
0
.names _n3<9>
0
.names _n3<10>
0
.names _n3<11>
0
.names _n3<12>
0
.names _n3<13>
0
.names _n3<14>
0
.names _n3<0> last_buf_adr$raw_n2<0>
- =_n3<0>
.names _n3<1> last_buf_adr$raw_n2<1>
- =_n3<1>
.names _n3<2> last_buf_adr$raw_n2<2>
- =_n3<2>
.names _n3<3> last_buf_adr$raw_n2<3>
- =_n3<3>
.names _n3<4> last_buf_adr$raw_n2<4>
- =_n3<4>
.names _n3<5> last_buf_adr$raw_n2<5>
- =_n3<5>
.names _n3<6> last_buf_adr$raw_n2<6>
- =_n3<6>
.names _n3<7> last_buf_adr$raw_n2<7>
- =_n3<7>
.names _n3<8> last_buf_adr$raw_n2<8>
- =_n3<8>
.names _n3<9> last_buf_adr$raw_n2<9>
- =_n3<9>
.names _n3<10> last_buf_adr$raw_n2<10>
- =_n3<10>
.names _n3<11> last_buf_adr$raw_n2<11>
- =_n3<11>
.names _n3<12> last_buf_adr$raw_n2<12>
- =_n3<12>
.names _n3<13> last_buf_adr$raw_n2<13>
- =_n3<13>
.names _n3<14> last_buf_adr$raw_n2<14>
- =_n3<14>
# non-blocking assignments for initial
# last_buf_adr  = adr  + {'b000, buf_size }
.names buf_size<0> _n5<0>
- =buf_size<0>
.names buf_size<1> _n5<1>
- =buf_size<1>
.names buf_size<2> _n5<2>
- =buf_size<2>
.names buf_size<3> _n5<3>
- =buf_size<3>
.names buf_size<4> _n5<4>
- =buf_size<4>
.names buf_size<5> _n5<5>
- =buf_size<5>
.names buf_size<6> _n5<6>
- =buf_size<6>
.names buf_size<7> _n5<7>
- =buf_size<7>
.names buf_size<8> _n5<8>
- =buf_size<8>
.names buf_size<9> _n5<9>
- =buf_size<9>
.names buf_size<10> _n5<10>
- =buf_size<10>
.names buf_size<11> _n5<11>
- =buf_size<11>
.names buf_size<12> _n5<12>
- =buf_size<12>
.names buf_size<13> _n5<13>
- =buf_size<13>
.names _n6<0>
0
.names _n6<1>
0
.names _n6<2>
0
.names _n6<0> _n5<14>
- =_n6<0>
.names _n6<1> _n5<15>
- =_n6<1>
.names _n6<2> _n5<16>
- =_n6<2>
# adr  + {'b000, buf_size }
.names _n8
0
.names adr<0> _n5<0> _n8 _n7<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _na
0
.names adr<0> _n5<0> _na _n9
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr<1> _n5<1> _n9 _n7<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr<1> _n5<1> _n9 _nb
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr<2> _n5<2> _nb _n7<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr<2> _n5<2> _nb _nc
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr<3> _n5<3> _nc _n7<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr<3> _n5<3> _nc _nd
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr<4> _n5<4> _nd _n7<4>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr<4> _n5<4> _nd _ne
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr<5> _n5<5> _ne _n7<5>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr<5> _n5<5> _ne _nf
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr<6> _n5<6> _nf _n7<6>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr<6> _n5<6> _nf _n10
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr<7> _n5<7> _n10 _n7<7>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr<7> _n5<7> _n10 _n11
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr<8> _n5<8> _n11 _n7<8>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr<8> _n5<8> _n11 _n12
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr<9> _n5<9> _n12 _n7<9>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr<9> _n5<9> _n12 _n13
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr<10> _n5<10> _n13 _n7<10>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr<10> _n5<10> _n13 _n14
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr<11> _n5<11> _n14 _n7<11>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr<11> _n5<11> _n14 _n15
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr<12> _n5<12> _n15 _n7<12>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr<12> _n5<12> _n15 _n16
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr<13> _n5<13> _n16 _n7<13>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr<13> _n5<13> _n16 _n17
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr<14> _n5<14> _n17 _n7<14>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr<14> _n5<14> _n17 _n18
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr<15> _n5<15> _n18 _n7<15>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr<15> _n5<15> _n18 _n19
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr<16> _n5<16> _n19 _n7<16>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
.names _n7<0> last_buf_adr$raw_n4<0>
- =_n7<0>
.names _n7<1> last_buf_adr$raw_n4<1>
- =_n7<1>
.names _n7<2> last_buf_adr$raw_n4<2>
- =_n7<2>
.names _n7<3> last_buf_adr$raw_n4<3>
- =_n7<3>
.names _n7<4> last_buf_adr$raw_n4<4>
- =_n7<4>
.names _n7<5> last_buf_adr$raw_n4<5>
- =_n7<5>
.names _n7<6> last_buf_adr$raw_n4<6>
- =_n7<6>
.names _n7<7> last_buf_adr$raw_n4<7>
- =_n7<7>
.names _n7<8> last_buf_adr$raw_n4<8>
- =_n7<8>
.names _n7<9> last_buf_adr$raw_n4<9>
- =_n7<9>
.names _n7<10> last_buf_adr$raw_n4<10>
- =_n7<10>
.names _n7<11> last_buf_adr$raw_n4<11>
- =_n7<11>
.names _n7<12> last_buf_adr$raw_n4<12>
- =_n7<12>
.names _n7<13> last_buf_adr$raw_n4<13>
- =_n7<13>
.names _n7<14> last_buf_adr$raw_n4<14>
- =_n7<14>
# rx_dma_en_r  || tx_dma_en_r 
.names rx_dma_en_r tx_dma_en_r _n1a
.def 1
0 0 0
.names _n1a _n1b
- =_n1a
# adr_cw  = adr [16 : 2]
.names adr<2> adr_cw$_n1a_n1c$true<0>
- =adr<2>
.names adr<3> adr_cw$_n1a_n1c$true<1>
- =adr<3>
.names adr<4> adr_cw$_n1a_n1c$true<2>
- =adr<4>
.names adr<5> adr_cw$_n1a_n1c$true<3>
- =adr<5>
.names adr<6> adr_cw$_n1a_n1c$true<4>
- =adr<6>
.names adr<7> adr_cw$_n1a_n1c$true<5>
- =adr<7>
.names adr<8> adr_cw$_n1a_n1c$true<6>
- =adr<8>
.names adr<9> adr_cw$_n1a_n1c$true<7>
- =adr<9>
.names adr<10> adr_cw$_n1a_n1c$true<8>
- =adr<10>
.names adr<11> adr_cw$_n1a_n1c$true<9>
- =adr<11>
.names adr<12> adr_cw$_n1a_n1c$true<10>
- =adr<12>
.names adr<13> adr_cw$_n1a_n1c$true<11>
- =adr<13>
.names adr<14> adr_cw$_n1a_n1c$true<12>
- =adr<14>
.names adr<15> adr_cw$_n1a_n1c$true<13>
- =adr<15>
.names adr<16> adr_cw$_n1a_n1c$true<14>
- =adr<16>
# adr_cw  == last_buf_adr 
.names adr_cw<0> last_buf_adr$raw_n4<0> _n1e<0>
.def 0
0 1 1
1 0 1
.names adr_cw<1> last_buf_adr$raw_n4<1> _n1e<1>
.def 0
0 1 1
1 0 1
.names adr_cw<2> last_buf_adr$raw_n4<2> _n1e<2>
.def 0
0 1 1
1 0 1
.names adr_cw<3> last_buf_adr$raw_n4<3> _n1e<3>
.def 0
0 1 1
1 0 1
.names adr_cw<4> last_buf_adr$raw_n4<4> _n1e<4>
.def 0
0 1 1
1 0 1
.names adr_cw<5> last_buf_adr$raw_n4<5> _n1e<5>
.def 0
0 1 1
1 0 1
.names adr_cw<6> last_buf_adr$raw_n4<6> _n1e<6>
.def 0
0 1 1
1 0 1
.names adr_cw<7> last_buf_adr$raw_n4<7> _n1e<7>
.def 0
0 1 1
1 0 1
.names adr_cw<8> last_buf_adr$raw_n4<8> _n1e<8>
.def 0
0 1 1
1 0 1
.names adr_cw<9> last_buf_adr$raw_n4<9> _n1e<9>
.def 0
0 1 1
1 0 1
.names adr_cw<10> last_buf_adr$raw_n4<10> _n1e<10>
.def 0
0 1 1
1 0 1
.names adr_cw<11> last_buf_adr$raw_n4<11> _n1e<11>
.def 0
0 1 1
1 0 1
.names adr_cw<12> last_buf_adr$raw_n4<12> _n1e<12>
.def 0
0 1 1
1 0 1
.names adr_cw<13> last_buf_adr$raw_n4<13> _n1e<13>
.def 0
0 1 1
1 0 1
.names adr_cw<14> last_buf_adr$raw_n4<14> _n1e<14>
.def 0
0 1 1
1 0 1
.names _n1e<0> _n1e<1> _n1e<2> _n1e<3> _n1e<4> _n1e<5> _n1e<6> _n1e<7> _n1e<8> _n1e<9> _n1e<10> _n1e<11> _n1e<12> _n1e<13> _n1e<14> _n1f
.def 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
.names _n1f _n1d
0 1  
1 0  
# (adr_cw  == last_buf_adr ) && dma_en 
.names _n1d dma_en _n20
.def 0
1 1 1
.names _n20 _n21
- =_n20
# adr_cw  = {'b0}
.names _n24
0
.names _n24 _n23<0>
- =_n24
.names _n25
0
.names _n26
0
.names _n26 _n23<1>
- =_n26
.names _n27
0
.names _n28
0
.names _n28 _n23<2>
- =_n28
.names _n29
0
.names _n2a
0
.names _n2a _n23<3>
- =_n2a
.names _n2b
0
.names _n2c
0
.names _n2c _n23<4>
- =_n2c
.names _n2d
0
.names _n2e
0
.names _n2e _n23<5>
- =_n2e
.names _n2f
0
.names _n30
0
.names _n30 _n23<6>
- =_n30
.names _n31
0
.names _n32
0
.names _n32 _n23<7>
- =_n32
.names _n33
0
.names _n34
0
.names _n34 _n23<8>
- =_n34
.names _n35
0
.names _n36
0
.names _n36 _n23<9>
- =_n36
.names _n37
0
.names _n38
0
.names _n38 _n23<10>
- =_n38
.names _n39
0
.names _n3a
0
.names _n3a _n23<11>
- =_n3a
.names _n3b
0
.names _n3c
0
.names _n3c _n23<12>
- =_n3c
.names _n3d
0
.names _n3e
0
.names _n3e _n23<13>
- =_n3e
.names _n3f
0
.names _n40
0
.names _n40 _n23<14>
- =_n40
.names _n41
0
.names _n23<0> adr_cw$_n20_n22$true<0>
- =_n23<0>
.names _n23<1> adr_cw$_n20_n22$true<1>
- =_n23<1>
.names _n23<2> adr_cw$_n20_n22$true<2>
- =_n23<2>
.names _n23<3> adr_cw$_n20_n22$true<3>
- =_n23<3>
.names _n23<4> adr_cw$_n20_n22$true<4>
- =_n23<4>
.names _n23<5> adr_cw$_n20_n22$true<5>
- =_n23<5>
.names _n23<6> adr_cw$_n20_n22$true<6>
- =_n23<6>
.names _n23<7> adr_cw$_n20_n22$true<7>
- =_n23<7>
.names _n23<8> adr_cw$_n20_n22$true<8>
- =_n23<8>
.names _n23<9> adr_cw$_n20_n22$true<9>
- =_n23<9>
.names _n23<10> adr_cw$_n20_n22$true<10>
- =_n23<10>
.names _n23<11> adr_cw$_n20_n22$true<11>
- =_n23<11>
.names _n23<12> adr_cw$_n20_n22$true<12>
- =_n23<12>
.names _n23<13> adr_cw$_n20_n22$true<13>
- =_n23<13>
.names _n23<14> adr_cw$_n20_n22$true<14>
- =_n23<14>
# adr_cw  = (adr_incw ) ? (adr_cw  + {{'b0}, 'b1}) : adr_cw 
.names _n44
1
.names _n44 _n43<0>
- =_n44
.names _n45
0
.names _n47
0
.names _n47 _n46<0>
- =_n47
.names _n48
0
.names _n49
0
.names _n49 _n46<1>
- =_n49
.names _n4a
0
.names _n4b
0
.names _n4b _n46<2>
- =_n4b
.names _n4c
0
.names _n4d
0
.names _n4d _n46<3>
- =_n4d
.names _n4e
0
.names _n4f
0
.names _n4f _n46<4>
- =_n4f
.names _n50
0
.names _n51
0
.names _n51 _n46<5>
- =_n51
.names _n52
0
.names _n53
0
.names _n53 _n46<6>
- =_n53
.names _n54
0
.names _n55
0
.names _n55 _n46<7>
- =_n55
.names _n56
0
.names _n57
0
.names _n57 _n46<8>
- =_n57
.names _n58
0
.names _n59
0
.names _n59 _n46<9>
- =_n59
.names _n5a
0
.names _n5b
0
.names _n5b _n46<10>
- =_n5b
.names _n5c
0
.names _n5d
0
.names _n5d _n46<11>
- =_n5d
.names _n5e
0
.names _n5f
0
.names _n5f _n46<12>
- =_n5f
.names _n60
0
.names _n61
0
.names _n61 _n46<13>
- =_n61
.names _n62
0
.names _n46<0> _n43<1>
- =_n46<0>
.names _n46<1> _n43<2>
- =_n46<1>
.names _n46<2> _n43<3>
- =_n46<2>
.names _n46<3> _n43<4>
- =_n46<3>
.names _n46<4> _n43<5>
- =_n46<4>
.names _n46<5> _n43<6>
- =_n46<5>
.names _n46<6> _n43<7>
- =_n46<6>
.names _n46<7> _n43<8>
- =_n46<7>
.names _n46<8> _n43<9>
- =_n46<8>
.names _n46<9> _n43<10>
- =_n46<9>
.names _n46<10> _n43<11>
- =_n46<10>
.names _n46<11> _n43<12>
- =_n46<11>
.names _n46<12> _n43<13>
- =_n46<12>
.names _n46<13> _n43<14>
- =_n46<13>
# adr_cw  + {{'b0}, 'b1}
.names _n64
0
.names adr_cw<0> _n43<0> _n64 _n63<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n66
0
.names adr_cw<0> _n43<0> _n66 _n65
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr_cw<1> _n43<1> _n65 _n63<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr_cw<1> _n43<1> _n65 _n67
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr_cw<2> _n43<2> _n67 _n63<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr_cw<2> _n43<2> _n67 _n68
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr_cw<3> _n43<3> _n68 _n63<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr_cw<3> _n43<3> _n68 _n69
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr_cw<4> _n43<4> _n69 _n63<4>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr_cw<4> _n43<4> _n69 _n6a
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr_cw<5> _n43<5> _n6a _n63<5>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr_cw<5> _n43<5> _n6a _n6b
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr_cw<6> _n43<6> _n6b _n63<6>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr_cw<6> _n43<6> _n6b _n6c
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr_cw<7> _n43<7> _n6c _n63<7>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr_cw<7> _n43<7> _n6c _n6d
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr_cw<8> _n43<8> _n6d _n63<8>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr_cw<8> _n43<8> _n6d _n6e
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr_cw<9> _n43<9> _n6e _n63<9>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr_cw<9> _n43<9> _n6e _n6f
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr_cw<10> _n43<10> _n6f _n63<10>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr_cw<10> _n43<10> _n6f _n70
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr_cw<11> _n43<11> _n70 _n63<11>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr_cw<11> _n43<11> _n70 _n71
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr_cw<12> _n43<12> _n71 _n63<12>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr_cw<12> _n43<12> _n71 _n72
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr_cw<13> _n43<13> _n72 _n63<13>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names adr_cw<13> _n43<13> _n72 _n73
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names adr_cw<14> _n43<14> _n73 _n63<14>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# (adr_incw ) ? (adr_cw  + {{'b0}, 'b1}) : adr_cw 
.names _n63<0> adr_cw<0> adr_incw _n74<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n63<1> adr_cw<1> adr_incw _n74<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n63<2> adr_cw<2> adr_incw _n74<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n63<3> adr_cw<3> adr_incw _n74<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n63<4> adr_cw<4> adr_incw _n74<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n63<5> adr_cw<5> adr_incw _n74<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n63<6> adr_cw<6> adr_incw _n74<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n63<7> adr_cw<7> adr_incw _n74<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n63<8> adr_cw<8> adr_incw _n74<8>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n63<9> adr_cw<9> adr_incw _n74<9>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n63<10> adr_cw<10> adr_incw _n74<10>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n63<11> adr_cw<11> adr_incw _n74<11>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n63<12> adr_cw<12> adr_incw _n74<12>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n63<13> adr_cw<13> adr_incw _n74<13>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n63<14> adr_cw<14> adr_incw _n74<14>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n74<0> adr_cw$_n20_n42$false<0>
- =_n74<0>
.names _n74<1> adr_cw$_n20_n42$false<1>
- =_n74<1>
.names _n74<2> adr_cw$_n20_n42$false<2>
- =_n74<2>
.names _n74<3> adr_cw$_n20_n42$false<3>
- =_n74<3>
.names _n74<4> adr_cw$_n20_n42$false<4>
- =_n74<4>
.names _n74<5> adr_cw$_n20_n42$false<5>
- =_n74<5>
.names _n74<6> adr_cw$_n20_n42$false<6>
- =_n74<6>
.names _n74<7> adr_cw$_n20_n42$false<7>
- =_n74<7>
.names _n74<8> adr_cw$_n20_n42$false<8>
- =_n74<8>
.names _n74<9> adr_cw$_n20_n42$false<9>
- =_n74<9>
.names _n74<10> adr_cw$_n20_n42$false<10>
- =_n74<10>
.names _n74<11> adr_cw$_n20_n42$false<11>
- =_n74<11>
.names _n74<12> adr_cw$_n20_n42$false<12>
- =_n74<12>
.names _n74<13> adr_cw$_n20_n42$false<13>
- =_n74<13>
.names _n74<14> adr_cw$_n20_n42$false<14>
- =_n74<14>
# if/else ((adr_cw  == last_buf_adr ) && dma_en )
.names adr_cw$_n20_n22$true<0> adr_cw$_n20_n42$false<0> _n20 adr_cw$_n20$raw_n86<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n20_n22$true<1> adr_cw$_n20_n42$false<1> _n20 adr_cw$_n20$raw_n86<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n20_n22$true<2> adr_cw$_n20_n42$false<2> _n20 adr_cw$_n20$raw_n86<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n20_n22$true<3> adr_cw$_n20_n42$false<3> _n20 adr_cw$_n20$raw_n86<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n20_n22$true<4> adr_cw$_n20_n42$false<4> _n20 adr_cw$_n20$raw_n86<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n20_n22$true<5> adr_cw$_n20_n42$false<5> _n20 adr_cw$_n20$raw_n86<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n20_n22$true<6> adr_cw$_n20_n42$false<6> _n20 adr_cw$_n20$raw_n86<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n20_n22$true<7> adr_cw$_n20_n42$false<7> _n20 adr_cw$_n20$raw_n86<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n20_n22$true<8> adr_cw$_n20_n42$false<8> _n20 adr_cw$_n20$raw_n86<8>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n20_n22$true<9> adr_cw$_n20_n42$false<9> _n20 adr_cw$_n20$raw_n86<9>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n20_n22$true<10> adr_cw$_n20_n42$false<10> _n20 adr_cw$_n20$raw_n86<10>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n20_n22$true<11> adr_cw$_n20_n42$false<11> _n20 adr_cw$_n20$raw_n86<11>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n20_n22$true<12> adr_cw$_n20_n42$false<12> _n20 adr_cw$_n20$raw_n86<12>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n20_n22$true<13> adr_cw$_n20_n42$false<13> _n20 adr_cw$_n20$raw_n86<13>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n20_n22$true<14> adr_cw$_n20_n42$false<14> _n20 adr_cw$_n20$raw_n86<14>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# if/else (rx_dma_en_r  || tx_dma_en_r )
.names adr_cw$_n1a_n1c$true<0> adr_cw$_n20$raw_n86<0> _n1a adr_cw$_n1a$raw_n9d<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n1a_n1c$true<1> adr_cw$_n20$raw_n86<1> _n1a adr_cw$_n1a$raw_n9d<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n1a_n1c$true<2> adr_cw$_n20$raw_n86<2> _n1a adr_cw$_n1a$raw_n9d<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n1a_n1c$true<3> adr_cw$_n20$raw_n86<3> _n1a adr_cw$_n1a$raw_n9d<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n1a_n1c$true<4> adr_cw$_n20$raw_n86<4> _n1a adr_cw$_n1a$raw_n9d<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n1a_n1c$true<5> adr_cw$_n20$raw_n86<5> _n1a adr_cw$_n1a$raw_n9d<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n1a_n1c$true<6> adr_cw$_n20$raw_n86<6> _n1a adr_cw$_n1a$raw_n9d<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n1a_n1c$true<7> adr_cw$_n20$raw_n86<7> _n1a adr_cw$_n1a$raw_n9d<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n1a_n1c$true<8> adr_cw$_n20$raw_n86<8> _n1a adr_cw$_n1a$raw_n9d<8>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n1a_n1c$true<9> adr_cw$_n20$raw_n86<9> _n1a adr_cw$_n1a$raw_n9d<9>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n1a_n1c$true<10> adr_cw$_n20$raw_n86<10> _n1a adr_cw$_n1a$raw_n9d<10>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n1a_n1c$true<11> adr_cw$_n20$raw_n86<11> _n1a adr_cw$_n1a$raw_n9d<11>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n1a_n1c$true<12> adr_cw$_n20$raw_n86<12> _n1a adr_cw$_n1a$raw_n9d<12>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n1a_n1c$true<13> adr_cw$_n20$raw_n86<13> _n1a adr_cw$_n1a$raw_n9d<13>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names adr_cw$_n1a_n1c$true<14> adr_cw$_n20$raw_n86<14> _n1a adr_cw$_n1a$raw_n9d<14>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# conflict arbitrators
.names _nb2
.def 0
 1
.names _nb2 last_buf_adr$raw_n4<0> last_buf_adr$raw_n4<1> last_buf_adr$raw_n4<2> last_buf_adr$raw_n4<3> last_buf_adr$raw_n4<4> last_buf_adr$raw_n4<5> last_buf_adr$raw_n4<6> last_buf_adr$raw_n4<7> last_buf_adr$raw_n4<8> last_buf_adr$raw_n4<9> last_buf_adr$raw_n4<10> last_buf_adr$raw_n4<11> last_buf_adr$raw_n4<12> last_buf_adr$raw_n4<13> last_buf_adr$raw_n4<14> -> _nb3<0> _nb3<1> _nb3<2> _nb3<3> _nb3<4> _nb3<5> _nb3<6> _nb3<7> _nb3<8> _nb3<9> _nb3<10> _nb3<11> _nb3<12> _nb3<13> _nb3<14> 
.def 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 - - - - - - - - - - - - - - - =last_buf_adr$raw_n4<0> =last_buf_adr$raw_n4<1> =last_buf_adr$raw_n4<2> =last_buf_adr$raw_n4<3> =last_buf_adr$raw_n4<4> =last_buf_adr$raw_n4<5> =last_buf_adr$raw_n4<6> =last_buf_adr$raw_n4<7> =last_buf_adr$raw_n4<8> =last_buf_adr$raw_n4<9> =last_buf_adr$raw_n4<10> =last_buf_adr$raw_n4<11> =last_buf_adr$raw_n4<12> =last_buf_adr$raw_n4<13> =last_buf_adr$raw_n4<14> 
.names _n1b _n21 _nb4
.def 0
 1 - 1
 0 1 1
 0 0 1
.names _nb4 adr_cw$_n1a$raw_n9d<0> adr_cw$_n1a$raw_n9d<1> adr_cw$_n1a$raw_n9d<2> adr_cw$_n1a$raw_n9d<3> adr_cw$_n1a$raw_n9d<4> adr_cw$_n1a$raw_n9d<5> adr_cw$_n1a$raw_n9d<6> adr_cw$_n1a$raw_n9d<7> adr_cw$_n1a$raw_n9d<8> adr_cw$_n1a$raw_n9d<9> adr_cw$_n1a$raw_n9d<10> adr_cw$_n1a$raw_n9d<11> adr_cw$_n1a$raw_n9d<12> adr_cw$_n1a$raw_n9d<13> adr_cw$_n1a$raw_n9d<14> adr_cw<0> adr_cw<1> adr_cw<2> adr_cw<3> adr_cw<4> adr_cw<5> adr_cw<6> adr_cw<7> adr_cw<8> adr_cw<9> adr_cw<10> adr_cw<11> adr_cw<12> adr_cw<13> adr_cw<14> -> _nb5<0> _nb5<1> _nb5<2> _nb5<3> _nb5<4> _nb5<5> _nb5<6> _nb5<7> _nb5<8> _nb5<9> _nb5<10> _nb5<11> _nb5<12> _nb5<13> _nb5<14> 
1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - =adr_cw$_n1a$raw_n9d<0> =adr_cw$_n1a$raw_n9d<1> =adr_cw$_n1a$raw_n9d<2> =adr_cw$_n1a$raw_n9d<3> =adr_cw$_n1a$raw_n9d<4> =adr_cw$_n1a$raw_n9d<5> =adr_cw$_n1a$raw_n9d<6> =adr_cw$_n1a$raw_n9d<7> =adr_cw$_n1a$raw_n9d<8> =adr_cw$_n1a$raw_n9d<9> =adr_cw$_n1a$raw_n9d<10> =adr_cw$_n1a$raw_n9d<11> =adr_cw$_n1a$raw_n9d<12> =adr_cw$_n1a$raw_n9d<13> =adr_cw$_n1a$raw_n9d<14> 
0 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - =adr_cw<0> =adr_cw<1> =adr_cw<2> =adr_cw<3> =adr_cw<4> =adr_cw<5> =adr_cw<6> =adr_cw<7> =adr_cw<8> =adr_cw<9> =adr_cw<10> =adr_cw<11> =adr_cw<12> =adr_cw<13> =adr_cw<14> 
# non-blocking assignments 
# latches
.r adr_cw$raw_n0<0> adr_cw<0>
.def 0
1 1
.r adr_cw$raw_n0<1> adr_cw<1>
.def 0
1 1
.r adr_cw$raw_n0<2> adr_cw<2>
.def 0
1 1
.r adr_cw$raw_n0<3> adr_cw<3>
.def 0
1 1
.r adr_cw$raw_n0<4> adr_cw<4>
.def 0
1 1
.r adr_cw$raw_n0<5> adr_cw<5>
.def 0
1 1
.r adr_cw$raw_n0<6> adr_cw<6>
.def 0
1 1
.r adr_cw$raw_n0<7> adr_cw<7>
.def 0
1 1
.r adr_cw$raw_n0<8> adr_cw<8>
.def 0
1 1
.r adr_cw$raw_n0<9> adr_cw<9>
.def 0
1 1
.r adr_cw$raw_n0<10> adr_cw<10>
.def 0
1 1
.r adr_cw$raw_n0<11> adr_cw<11>
.def 0
1 1
.r adr_cw$raw_n0<12> adr_cw<12>
.def 0
1 1
.r adr_cw$raw_n0<13> adr_cw<13>
.def 0
1 1
.r adr_cw$raw_n0<14> adr_cw<14>
.def 0
1 1
.latch _nb5<0> adr_cw<0>
.latch _nb5<1> adr_cw<1>
.latch _nb5<2> adr_cw<2>
.latch _nb5<3> adr_cw<3>
.latch _nb5<4> adr_cw<4>
.latch _nb5<5> adr_cw<5>
.latch _nb5<6> adr_cw<6>
.latch _nb5<7> adr_cw<7>
.latch _nb5<8> adr_cw<8>
.latch _nb5<9> adr_cw<9>
.latch _nb5<10> adr_cw<10>
.latch _nb5<11> adr_cw<11>
.latch _nb5<12> adr_cw<12>
.latch _nb5<13> adr_cw<13>
.latch _nb5<14> adr_cw<14>
.r last_buf_adr$raw_n2<0> last_buf_adr<0>
.def 0
1 1
.r last_buf_adr$raw_n2<1> last_buf_adr<1>
.def 0
1 1
.r last_buf_adr$raw_n2<2> last_buf_adr<2>
.def 0
1 1
.r last_buf_adr$raw_n2<3> last_buf_adr<3>
.def 0
1 1
.r last_buf_adr$raw_n2<4> last_buf_adr<4>
.def 0
1 1
.r last_buf_adr$raw_n2<5> last_buf_adr<5>
.def 0
1 1
.r last_buf_adr$raw_n2<6> last_buf_adr<6>
.def 0
1 1
.r last_buf_adr$raw_n2<7> last_buf_adr<7>
.def 0
1 1
.r last_buf_adr$raw_n2<8> last_buf_adr<8>
.def 0
1 1
.r last_buf_adr$raw_n2<9> last_buf_adr<9>
.def 0
1 1
.r last_buf_adr$raw_n2<10> last_buf_adr<10>
.def 0
1 1
.r last_buf_adr$raw_n2<11> last_buf_adr<11>
.def 0
1 1
.r last_buf_adr$raw_n2<12> last_buf_adr<12>
.def 0
1 1
.r last_buf_adr$raw_n2<13> last_buf_adr<13>
.def 0
1 1
.r last_buf_adr$raw_n2<14> last_buf_adr<14>
.def 0
1 1
.latch _nb3<0> last_buf_adr<0>
.latch _nb3<1> last_buf_adr<1>
.latch _nb3<2> last_buf_adr<2>
.latch _nb3<3> last_buf_adr<3>
.latch _nb3<4> last_buf_adr<4>
.latch _nb3<5> last_buf_adr<5>
.latch _nb3<6> last_buf_adr<6>
.latch _nb3<7> last_buf_adr<7>
.latch _nb3<8> last_buf_adr<8>
.latch _nb3<9> last_buf_adr<9>
.latch _nb3<10> last_buf_adr<10>
.latch _nb3<11> last_buf_adr<11>
.latch _nb3<12> last_buf_adr<12>
.latch _nb3<13> last_buf_adr<13>
.latch _nb3<14> last_buf_adr<14>
# quasi-continuous assignment
.end