source: vis_dev/vis-2.1/examples/daio_receiver/daio_receiver.mv @ 11

# vl2mv daio_receiver.v 
# version: 0.2
# date:    01:47:25 01/02/01 ()
.model daio_receiver 
# I/O ports
.outputs load_buff
.outputs clock_out
.inputs biphase_violation
.inputs bit_in
.inputs xtal<0> xtal<1> xtal<2> xtal<3> 
.outputs parity
.outputs shift_reg<0> shift_reg<1> shift_reg<2> shift_reg<3> shift_reg<4> shift_reg<5> shift_reg<6> shift_reg<7> shift_reg<8> shift_reg<9> shift_reg<10> shift_reg<11> shift_reg<12> shift_reg<13> shift_reg<14> shift_reg<15> shift_reg<16> shift_reg<17> shift_reg<18> shift_reg<19> 
.inputs carrier_loss
.inputs rx_control<0> rx_control<1> rx_control<2> rx_control<3> 
.inputs reset
.outputs load_A
.outputs rx_status<0> rx_status<1> rx_status<2> rx_status<3> 
.inputs preamble_3
.outputs frame_ofs<0> frame_ofs<1> 
.outputs load_B
.inputs preamble_2
.inputs preamble_1
.mv pc 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
# assign rx_status  = {rx_status_3 , rx_status_2 , rx_status_1 , rx_status_0 }
.names rx_status_0 _n1<0>
- =rx_status_0
.names _n2
0
.names rx_status_1 _n1<1>
- =rx_status_1
.names _n3
0
.names rx_status_2 _n1<2>
- =rx_status_2
.names _n4
0
.names rx_status_3 _n1<3>
- =rx_status_3
.names _n5
0
.names _n1<0> rx_status$raw_n0<0>
- =_n1<0>
.names _n1<1> rx_status$raw_n0<1>
- =_n1<1>
.names _n1<2> rx_status$raw_n0<2>
- =_n1<2>
.names _n1<3> rx_status$raw_n0<3>
- =_n1<3>
# bit_count_A  = 0
.names bit_count_A$raw_n6<0>
0
.names bit_count_A$raw_n6<1>
0
.names bit_count_A$raw_n6<2>
0
.names bit_count_A$raw_n6<3>
0
.names bit_count_A$raw_n6<4>
0
.names bit_count_A$raw_n6<5>
0
.names bit_count_A$raw_n6<6>
0
# bit_count_B  = 0
.names bit_count_B$raw_n7<0>
0
.names bit_count_B$raw_n7<1>
0
.names bit_count_B$raw_n7<2>
0
.names bit_count_B$raw_n7<3>
0
.names bit_count_B$raw_n7<4>
0
.names bit_count_B$raw_n7<5>
0
.names bit_count_B$raw_n7<6>
0
# frame_counter  = 0
.names frame_counter$raw_n8<0>
0
.names frame_counter$raw_n8<1>
0
.names frame_counter$raw_n8<2>
0
.names frame_counter$raw_n8<3>
0
.names frame_counter$raw_n8<4>
0
.names frame_counter$raw_n8<5>
0
.names frame_counter$raw_n8<6>
0
.names frame_counter$raw_n8<7>
0
.names frame_counter$raw_n8<8>
0
# clock_out  = 0
.names clock_out$raw_n9
0
# rx_status_3  = 0
.names rx_status_3$raw_na
0
# rx_status_2  = 0
.names rx_status_2$raw_nb
0
# rx_status_1  = 0
.names rx_status_1$raw_nc
0
# rx_status_0  = 0
.names rx_status_0$raw_nd
0
# parity  = 0
.names parity$raw_ne
0
# load_A  = 0
.names load_A$raw_nf
0
# load_B  = 0
.names load_B$raw_n10
0
# load_buff  = 0
.names load_buff$raw_n11
0
# shift_reg  = 0
.names shift_reg$raw_n12<0>
0
.names shift_reg$raw_n12<1>
0
.names shift_reg$raw_n12<2>
0
.names shift_reg$raw_n12<3>
0
.names shift_reg$raw_n12<4>
0
.names shift_reg$raw_n12<5>
0
.names shift_reg$raw_n12<6>
0
.names shift_reg$raw_n12<7>
0
.names shift_reg$raw_n12<8>
0
.names shift_reg$raw_n12<9>
0
.names shift_reg$raw_n12<10>
0
.names shift_reg$raw_n12<11>
0
.names shift_reg$raw_n12<12>
0
.names shift_reg$raw_n12<13>
0
.names shift_reg$raw_n12<14>
0
.names shift_reg$raw_n12<15>
0
.names shift_reg$raw_n12<16>
0
.names shift_reg$raw_n12<17>
0
.names shift_reg$raw_n12<18>
0
.names shift_reg$raw_n12<19>
0
# pc  = 0
.mv pc$raw_n13 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$raw_n13
L0
# non-blocking assignments for initial
# assign frame_ofs [1 : 0] = frame_counter [1 : 0]
.names frame_counter<0> frame_ofs$raw_n14<0>
- =frame_counter<0>
.names frame_counter<1> frame_ofs$raw_n14<1>
- =frame_counter<1>
.names reset _n15
- =reset
# rx_status_3  = 0
.names rx_status_3$reset_n16$true
0
# rx_status_2  = 0
.names rx_status_2$reset_n17$true
0
# load_A  = 0
.names load_A$reset_n18$true
0
# load_B  = 0
.names load_B$reset_n19$true
0
# load_buff  = 0
.names load_buff$reset_n1a$true
0
# bit_count_A  = 0
.names bit_count_A$reset_n1b$true<0>
0
.names bit_count_A$reset_n1b$true<1>
0
.names bit_count_A$reset_n1b$true<2>
0
.names bit_count_A$reset_n1b$true<3>
0
.names bit_count_A$reset_n1b$true<4>
0
.names bit_count_A$reset_n1b$true<5>
0
.names bit_count_A$reset_n1b$true<6>
0
# bit_count_B  = 0
.names bit_count_B$reset_n1c$true<0>
0
.names bit_count_B$reset_n1c$true<1>
0
.names bit_count_B$reset_n1c$true<2>
0
.names bit_count_B$reset_n1c$true<3>
0
.names bit_count_B$reset_n1c$true<4>
0
.names bit_count_B$reset_n1c$true<5>
0
.names bit_count_B$reset_n1c$true<6>
0
# frame_counter  = 0
.names frame_counter$reset_n1d$true<0>
0
.names frame_counter$reset_n1d$true<1>
0
.names frame_counter$reset_n1d$true<2>
0
.names frame_counter$reset_n1d$true<3>
0
.names frame_counter$reset_n1d$true<4>
0
.names frame_counter$reset_n1d$true<5>
0
.names frame_counter$reset_n1d$true<6>
0
.names frame_counter$reset_n1d$true<7>
0
.names frame_counter$reset_n1d$true<8>
0
# pc  = 0
.mv pc$reset_n1e$true 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$reset_n1e$true
L0
.mv _n21 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n21
L0
.names pc _n21 _n20
.def 0
- =pc 1
.names _n20  _n1f
1 1
0 0
.names rx_control<2> _n23
.def 1
0 0
.names _n23 _n22
- =_n23
# pc  = 1
.mv pc$rx_control_n24$true 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$rx_control_n24$true
L1
# if/else (rx_control [2])
.mv pc$rx_control$raw_n27 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names rx_control<2> _n28
.def 1
0 0
.names pc$rx_control_n24$true pc _n28 pc$rx_control$raw_n27
- - 0 =pc
- - 1 =pc$rx_control_n24$true
.mv _n2b 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n2b
L1
.names pc _n2b _n2a
.def 0
- =pc 1
.names _n2a  _n29
1 1
0 0
.names _n2e<0>
0
.names _n2e<1>
0
.names rx_control<0> _n2e<0> _n2f<0>
.def 0
0 1 1
1 0 1
.names rx_control<1> _n2e<1> _n2f<1>
.def 0
0 1 1
1 0 1
.names _n2f<0> _n2f<1> _n30
.def 1
0 0 0
.names _n30 _n2d
0 1  
1 0  
.names _n2d  _n2c
1 1
0 0
# clock_out  = xtal [0]
.names xtal<0> clock_out$_n2c_n31$true
- =xtal<0>
.names _n34<0>
1
.names _n34<1>
0
.names rx_control<0> _n34<0> _n35<0>
.def 0
0 1 1
1 0 1
.names rx_control<1> _n34<1> _n35<1>
.def 0
0 1 1
1 0 1
.names _n35<0> _n35<1> _n36
.def 1
0 0 0
.names _n36 _n33
0 1  
1 0  
.names _n33  _n32
1 1
0 0
# clock_out  = xtal [1]
.names xtal<1> clock_out$_n32_n37$true
- =xtal<1>
.names _n3a<0>
0
.names _n3a<1>
1
.names rx_control<0> _n3a<0> _n3b<0>
.def 0
0 1 1
1 0 1
.names rx_control<1> _n3a<1> _n3b<1>
.def 0
0 1 1
1 0 1
.names _n3b<0> _n3b<1> _n3c
.def 1
0 0 0
.names _n3c _n39
0 1  
1 0  
.names _n39  _n38
1 1
0 0
# clock_out  = xtal [2]
.names xtal<2> clock_out$_n38_n3d$true
- =xtal<2>
.names _n40<0>
1
.names _n40<1>
1
.names rx_control<0> _n40<0> _n41<0>
.def 0
0 1 1
1 0 1
.names rx_control<1> _n40<1> _n41<1>
.def 0
0 1 1
1 0 1
.names _n41<0> _n41<1> _n42
.def 1
0 0 0
.names _n42 _n3f
0 1  
1 0  
.names _n3f  _n3e
1 1
0 0
# clock_out  = xtal [3]
.names xtal<3> clock_out$_n3e_n43$true
- =xtal<3>
# case (rx_control [1 : 0])
.names clock_out$_n3e_n43$true clock_out _n3e clock_out$_n3e$raw_n46
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names clock_out$_n38_n3d$true clock_out$_n3e$raw_n46 _n38 clock_out$_n38$raw_n48
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names clock_out$_n32_n37$true clock_out$_n38$raw_n48 _n32 clock_out$_n32$raw_n4d
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names clock_out$_n2c_n31$true clock_out$_n32$raw_n4d _n2c clock_out$_n2c$raw_n52
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# pc  = 2
.mv pc$_n29_n57$true 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_n29_n57$true
L2
.mv _n5a 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n5a
L2
.names pc _n5a _n59
.def 0
- =pc 1
.names _n59  _n58
1 1
0 0
.names preamble_1 _n5b
- =preamble_1
# bit_count_A  = 4
.names bit_count_A$preamble_1_n5c$true<0>
0
.names bit_count_A$preamble_1_n5c$true<1>
0
.names bit_count_A$preamble_1_n5c$true<2>
1
.names bit_count_A$preamble_1_n5c$true<3>
0
.names bit_count_A$preamble_1_n5c$true<4>
0
.names bit_count_A$preamble_1_n5c$true<5>
0
.names bit_count_A$preamble_1_n5c$true<6>
0
# pc  = 3
.mv pc$preamble_1_n5d$true 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$preamble_1_n5d$true
L3
# if/else (preamble_1 )
.names bit_count_A$preamble_1_n5c$true<0> bit_count_A<0> preamble_1 bit_count_A$preamble_1$raw_n62<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$preamble_1_n5c$true<1> bit_count_A<1> preamble_1 bit_count_A$preamble_1$raw_n62<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$preamble_1_n5c$true<2> bit_count_A<2> preamble_1 bit_count_A$preamble_1$raw_n62<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$preamble_1_n5c$true<3> bit_count_A<3> preamble_1 bit_count_A$preamble_1$raw_n62<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$preamble_1_n5c$true<4> bit_count_A<4> preamble_1 bit_count_A$preamble_1$raw_n62<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$preamble_1_n5c$true<5> bit_count_A<5> preamble_1 bit_count_A$preamble_1$raw_n62<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$preamble_1_n5c$true<6> bit_count_A<6> preamble_1 bit_count_A$preamble_1$raw_n62<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv pc$preamble_1$raw_n6a 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$preamble_1_n5d$true pc preamble_1 pc$preamble_1$raw_n6a
- - 0 =pc
- - 1 =pc$preamble_1_n5d$true
.mv _n6d 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n6d
L3
.names pc _n6d _n6c
.def 0
- =pc 1
.names _n6c  _n6b
1 1
0 0
.names _n6e<0>
0
.names _n6e<1>
0
.names _n6e<2>
0
.names _n6e<3>
0
.names _n6e<4>
0
.names _n6e<5>
1
.names _n6e<6>
0
# bit_count_A  < 32
.names _n71
0
.names bit_count_A<0> _n6e<0> _n71 _n70<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n73
0
.names bit_count_A<0> _n6e<0> _n73 _n72
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_A<1> _n6e<1> _n72 _n70<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<1> _n6e<1> _n72 _n74
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_A<2> _n6e<2> _n74 _n70<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<2> _n6e<2> _n74 _n75
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_A<3> _n6e<3> _n75 _n70<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<3> _n6e<3> _n75 _n76
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_A<4> _n6e<4> _n76 _n70<4>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<4> _n6e<4> _n76 _n77
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_A<5> _n6e<5> _n77 _n70<5>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<5> _n6e<5> _n77 _n78
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_A<6> _n6e<6> _n78 _n70<6>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<6> _n6e<6> _n78 _n79
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names _n70<0> _n70<1> _n70<2> _n70<3> _n70<4> _n70<5> _n70<6> _n7a
.def 1
0 0 0 0 0 0 0 0
.names _n79 _n7a _n6f
.def 0
1 1 1
.names _n6f _n7b
- =_n6f
.names _n7d<0>
1
.names _n7d<1>
1
.names _n7d<2>
1
.names _n7d<3>
1
.names _n7d<4>
1
.names _n7d<5>
0
.names _n7d<6>
0
# bit_count_A  == 31
.names bit_count_A<0> _n7d<0> _n7e<0>
.def 0
0 1 1
1 0 1
.names bit_count_A<1> _n7d<1> _n7e<1>
.def 0
0 1 1
1 0 1
.names bit_count_A<2> _n7d<2> _n7e<2>
.def 0
0 1 1
1 0 1
.names bit_count_A<3> _n7d<3> _n7e<3>
.def 0
0 1 1
1 0 1
.names bit_count_A<4> _n7d<4> _n7e<4>
.def 0
0 1 1
1 0 1
.names bit_count_A<5> _n7d<5> _n7e<5>
.def 0
0 1 1
1 0 1
.names bit_count_A<6> _n7d<6> _n7e<6>
.def 0
0 1 1
1 0 1
.names _n7e<0> _n7e<1> _n7e<2> _n7e<3> _n7e<4> _n7e<5> _n7e<6> _n7f
.def 1
0 0 0 0 0 0 0 0
.names _n7f _n7c
0 1  
1 0  
.names _n7c _n80
- =_n7c
# load_A  = 1
.names load_A$_n7c_n81$true
1
# if/else (bit_count_A  == 31)
.names load_A$_n7c_n81$true load_A _n7c load_A$_n7c$raw_n84
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n87<0>
0
.names _n87<1>
1
.names _n87<2>
0
.names _n87<3>
0
.names _n87<4>
0
.names _n87<5>
0
.names _n87<6>
0
# bit_count_A  == 2
.names bit_count_A<0> _n87<0> _n88<0>
.def 0
0 1 1
1 0 1
.names bit_count_A<1> _n87<1> _n88<1>
.def 0
0 1 1
1 0 1
.names bit_count_A<2> _n87<2> _n88<2>
.def 0
0 1 1
1 0 1
.names bit_count_A<3> _n87<3> _n88<3>
.def 0
0 1 1
1 0 1
.names bit_count_A<4> _n87<4> _n88<4>
.def 0
0 1 1
1 0 1
.names bit_count_A<5> _n87<5> _n88<5>
.def 0
0 1 1
1 0 1
.names bit_count_A<6> _n87<6> _n88<6>
.def 0
0 1 1
1 0 1
.names _n88<0> _n88<1> _n88<2> _n88<3> _n88<4> _n88<5> _n88<6> _n89
.def 1
0 0 0 0 0 0 0 0
.names _n89 _n86
0 1  
1 0  
.names _n86 _n8a
- =_n86
# load_B  = 0
.names load_B$_n86_n8b$true
0
# if/else (bit_count_A  == 2)
.names load_B$_n86_n8b$true load_B _n86 load_B$_n86$raw_n91
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n95<0>
1
.names _n95<1>
1
.names _n95<2>
0
.names _n95<3>
0
.names _n95<4>
0
.names _n95<5>
0
.names _n95<6>
0
# bit_count_A  == 3
.names bit_count_A<0> _n95<0> _n96<0>
.def 0
0 1 1
1 0 1
.names bit_count_A<1> _n95<1> _n96<1>
.def 0
0 1 1
1 0 1
.names bit_count_A<2> _n95<2> _n96<2>
.def 0
0 1 1
1 0 1
.names bit_count_A<3> _n95<3> _n96<3>
.def 0
0 1 1
1 0 1
.names bit_count_A<4> _n95<4> _n96<4>
.def 0
0 1 1
1 0 1
.names bit_count_A<5> _n95<5> _n96<5>
.def 0
0 1 1
1 0 1
.names bit_count_A<6> _n95<6> _n96<6>
.def 0
0 1 1
1 0 1
.names _n96<0> _n96<1> _n96<2> _n96<3> _n96<4> _n96<5> _n96<6> _n97
.def 1
0 0 0 0 0 0 0 0
.names _n97 _n94
0 1  
1 0  
.names _n94 _n98
- =_n94
# load_buff  = 1
.names load_buff$_n94_n99$true
1
# if/else (bit_count_A  == 3)
.names load_buff$_n94_n99$true load_buff _n94 load_buff$_n94$raw_na0
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _na7<0>
1
.names _na7<1>
0
.names _na7<2>
1
.names _na7<3>
0
.names _na7<4>
0
.names _na7<5>
0
.names _na7<6>
0
# bit_count_A  == 5
.names bit_count_A<0> _na7<0> _na8<0>
.def 0
0 1 1
1 0 1
.names bit_count_A<1> _na7<1> _na8<1>
.def 0
0 1 1
1 0 1
.names bit_count_A<2> _na7<2> _na8<2>
.def 0
0 1 1
1 0 1
.names bit_count_A<3> _na7<3> _na8<3>
.def 0
0 1 1
1 0 1
.names bit_count_A<4> _na7<4> _na8<4>
.def 0
0 1 1
1 0 1
.names bit_count_A<5> _na7<5> _na8<5>
.def 0
0 1 1
1 0 1
.names bit_count_A<6> _na7<6> _na8<6>
.def 0
0 1 1
1 0 1
.names _na8<0> _na8<1> _na8<2> _na8<3> _na8<4> _na8<5> _na8<6> _na9
.def 1
0 0 0 0 0 0 0 0
.names _na9 _na6
0 1  
1 0  
.names _na6 _naa
- =_na6
# load_buff  = 0
.names load_buff$_na6_nab$true
0
# if/else (bit_count_A  == 5)
.names load_buff$_na6_nab$true load_buff$_n94$raw_na0 _na6 load_buff$_na6$raw_nac
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# bit_count_A  = bit_count_A  + 1
.names _nba<0>
1
.names _nba<1>
0
.names _nba<2>
0
.names _nba<3>
0
.names _nba<4>
0
.names _nba<5>
0
.names _nba<6>
0
# bit_count_A  + 1
.names _nbc
0
.names bit_count_A<0> _nba<0> _nbc _nbb<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _nbe
0
.names bit_count_A<0> _nba<0> _nbe _nbd
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_A<1> _nba<1> _nbd _nbb<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<1> _nba<1> _nbd _nbf
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_A<2> _nba<2> _nbf _nbb<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<2> _nba<2> _nbf _nc0
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_A<3> _nba<3> _nc0 _nbb<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<3> _nba<3> _nc0 _nc1
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_A<4> _nba<4> _nc1 _nbb<4>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<4> _nba<4> _nc1 _nc2
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_A<5> _nba<5> _nc2 _nbb<5>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<5> _nba<5> _nc2 _nc3
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_A<6> _nba<6> _nc3 _nbb<6>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
.names _nbb<0> bit_count_A$_n6f_nb9$true<0>
- =_nbb<0>
.names _nbb<1> bit_count_A$_n6f_nb9$true<1>
- =_nbb<1>
.names _nbb<2> bit_count_A$_n6f_nb9$true<2>
- =_nbb<2>
.names _nbb<3> bit_count_A$_n6f_nb9$true<3>
- =_nbb<3>
.names _nbb<4> bit_count_A$_n6f_nb9$true<4>
- =_nbb<4>
.names _nbb<5> bit_count_A$_n6f_nb9$true<5>
- =_nbb<5>
.names _nbb<6> bit_count_A$_n6f_nb9$true<6>
- =_nbb<6>
# pc  = 4
.mv pc$_n6f_nc4$false 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_n6f_nc4$false
L4
# if/else (bit_count_A  < 32)
.names load_buff$_na6$raw_nac load_buff _n6f load_buff$_n6f$raw_ncd
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n6f_nb9$true<0> bit_count_A<0> _n6f bit_count_A$_n6f$raw_ncf<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n6f_nb9$true<1> bit_count_A<1> _n6f bit_count_A$_n6f$raw_ncf<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n6f_nb9$true<2> bit_count_A<2> _n6f bit_count_A$_n6f$raw_ncf<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n6f_nb9$true<3> bit_count_A<3> _n6f bit_count_A$_n6f$raw_ncf<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n6f_nb9$true<4> bit_count_A<4> _n6f bit_count_A$_n6f$raw_ncf<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n6f_nb9$true<5> bit_count_A<5> _n6f bit_count_A$_n6f$raw_ncf<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n6f_nb9$true<6> bit_count_A<6> _n6f bit_count_A$_n6f$raw_ncf<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_A$_n7c$raw_n84 load_A _n6f load_A$_n6f$raw_nd7
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_B$_n86$raw_n91 load_B _n6f load_B$_n6f$raw_nd9
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv pc$_n6f$raw_ndb 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc pc$_n6f_nc4$false _n6f pc$_n6f$raw_ndb
- - 0 =pc$_n6f_nc4$false
- - 1 =pc
.mv _nde 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _nde
L4
.names pc _nde _ndd
.def 0
- =pc 1
.names _ndd  _ndc
1 1
0 0
# bit_count_B  = 1
.names bit_count_B$_ndc_ndf$true<0>
1
.names bit_count_B$_ndc_ndf$true<1>
0
.names bit_count_B$_ndc_ndf$true<2>
0
.names bit_count_B$_ndc_ndf$true<3>
0
.names bit_count_B$_ndc_ndf$true<4>
0
.names bit_count_B$_ndc_ndf$true<5>
0
.names bit_count_B$_ndc_ndf$true<6>
0
# frame_counter  = 1
.names frame_counter$_ndc_ne0$true<0>
1
.names frame_counter$_ndc_ne0$true<1>
0
.names frame_counter$_ndc_ne0$true<2>
0
.names frame_counter$_ndc_ne0$true<3>
0
.names frame_counter$_ndc_ne0$true<4>
0
.names frame_counter$_ndc_ne0$true<5>
0
.names frame_counter$_ndc_ne0$true<6>
0
.names frame_counter$_ndc_ne0$true<7>
0
.names frame_counter$_ndc_ne0$true<8>
0
# pc  = 5
.mv pc$_ndc_ne1$true 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_ndc_ne1$true
L5
.mv _ne4 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _ne4
L5
.names pc _ne4 _ne3
.def 0
- =pc 1
.names _ne3  _ne2
1 1
0 0
.names _ne5<0>
0
.names _ne5<1>
0
.names _ne5<2>
0
.names _ne5<3>
0
.names _ne5<4>
0
.names _ne5<5>
1
.names _ne5<6>
0
# bit_count_B  < 32
.names _ne8
0
.names bit_count_B<0> _ne5<0> _ne8 _ne7<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _nea
0
.names bit_count_B<0> _ne5<0> _nea _ne9
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_B<1> _ne5<1> _ne9 _ne7<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<1> _ne5<1> _ne9 _neb
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_B<2> _ne5<2> _neb _ne7<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<2> _ne5<2> _neb _nec
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_B<3> _ne5<3> _nec _ne7<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<3> _ne5<3> _nec _ned
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_B<4> _ne5<4> _ned _ne7<4>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<4> _ne5<4> _ned _nee
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_B<5> _ne5<5> _nee _ne7<5>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<5> _ne5<5> _nee _nef
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_B<6> _ne5<6> _nef _ne7<6>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<6> _ne5<6> _nef _nf0
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names _ne7<0> _ne7<1> _ne7<2> _ne7<3> _ne7<4> _ne7<5> _ne7<6> _nf1
.def 1
0 0 0 0 0 0 0 0
.names _nf0 _nf1 _ne6
.def 0
1 1 1
.names _ne6 _nf2
- =_ne6
.names _nf4<0>
0
.names _nf4<1>
0
.names _nf4<2>
1
.names _nf4<3>
0
.names _nf4<4>
0
.names _nf4<5>
0
.names _nf4<6>
0
# bit_count_B  == 4
.names bit_count_B<0> _nf4<0> _nf5<0>
.def 0
0 1 1
1 0 1
.names bit_count_B<1> _nf4<1> _nf5<1>
.def 0
0 1 1
1 0 1
.names bit_count_B<2> _nf4<2> _nf5<2>
.def 0
0 1 1
1 0 1
.names bit_count_B<3> _nf4<3> _nf5<3>
.def 0
0 1 1
1 0 1
.names bit_count_B<4> _nf4<4> _nf5<4>
.def 0
0 1 1
1 0 1
.names bit_count_B<5> _nf4<5> _nf5<5>
.def 0
0 1 1
1 0 1
.names bit_count_B<6> _nf4<6> _nf5<6>
.def 0
0 1 1
1 0 1
.names _nf5<0> _nf5<1> _nf5<2> _nf5<3> _nf5<4> _nf5<5> _nf5<6> _nf6
.def 1
0 0 0 0 0 0 0 0
.names _nf6 _nf3
0 1  
1 0  
.names _nf8
0
# preamble_3  == 0
.names preamble_3 _nf8 _nf9
.def 0
0 1 1
1 0 1
.names _nf9 _nf7
0 1  
1 0  
# (bit_count_B  == 4) && (preamble_3  == 0)
.names _nf3 _nf7 _nfb
.def 0
1 1 1
.names _nfb _nfc
- =_nfb
# rx_status_2  = 1
.names rx_status_2$_nfb_nfd$true
1
# if/else ((bit_count_B  == 4) && (preamble_3  == 0))
.names rx_status_2$_nfb_nfd$true rx_status_2 _nfb rx_status_2$_nfb$raw_n100
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n103<0>
1
.names _n103<1>
1
.names _n103<2>
1
.names _n103<3>
1
.names _n103<4>
1
.names _n103<5>
0
.names _n103<6>
0
# bit_count_B  == 31
.names bit_count_B<0> _n103<0> _n104<0>
.def 0
0 1 1
1 0 1
.names bit_count_B<1> _n103<1> _n104<1>
.def 0
0 1 1
1 0 1
.names bit_count_B<2> _n103<2> _n104<2>
.def 0
0 1 1
1 0 1
.names bit_count_B<3> _n103<3> _n104<3>
.def 0
0 1 1
1 0 1
.names bit_count_B<4> _n103<4> _n104<4>
.def 0
0 1 1
1 0 1
.names bit_count_B<5> _n103<5> _n104<5>
.def 0
0 1 1
1 0 1
.names bit_count_B<6> _n103<6> _n104<6>
.def 0
0 1 1
1 0 1
.names _n104<0> _n104<1> _n104<2> _n104<3> _n104<4> _n104<5> _n104<6> _n105
.def 1
0 0 0 0 0 0 0 0
.names _n105 _n102
0 1  
1 0  
.names _n102 _n106
- =_n102
# load_B  = 1
.names load_B$_n102_n107$true
1
# if/else (bit_count_B  == 31)
.names load_B$_n102_n107$true load_B _n102 load_B$_n102$raw_n10c
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n111<0>
0
.names _n111<1>
1
.names _n111<2>
0
.names _n111<3>
0
.names _n111<4>
0
.names _n111<5>
0
.names _n111<6>
0
# bit_count_B  == 2
.names bit_count_B<0> _n111<0> _n112<0>
.def 0
0 1 1
1 0 1
.names bit_count_B<1> _n111<1> _n112<1>
.def 0
0 1 1
1 0 1
.names bit_count_B<2> _n111<2> _n112<2>
.def 0
0 1 1
1 0 1
.names bit_count_B<3> _n111<3> _n112<3>
.def 0
0 1 1
1 0 1
.names bit_count_B<4> _n111<4> _n112<4>
.def 0
0 1 1
1 0 1
.names bit_count_B<5> _n111<5> _n112<5>
.def 0
0 1 1
1 0 1
.names bit_count_B<6> _n111<6> _n112<6>
.def 0
0 1 1
1 0 1
.names _n112<0> _n112<1> _n112<2> _n112<3> _n112<4> _n112<5> _n112<6> _n113
.def 1
0 0 0 0 0 0 0 0
.names _n113 _n110
0 1  
1 0  
.names _n110 _n114
- =_n110
# load_A  = 0
.names load_A$_n110_n115$true
0
# if/else (bit_count_B  == 2)
.names load_A$_n110_n115$true load_A _n110 load_A$_n110$raw_n11c
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# bit_count_B  = bit_count_B  + 1
.names _n123<0>
1
.names _n123<1>
0
.names _n123<2>
0
.names _n123<3>
0
.names _n123<4>
0
.names _n123<5>
0
.names _n123<6>
0
# bit_count_B  + 1
.names _n125
0
.names bit_count_B<0> _n123<0> _n125 _n124<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n127
0
.names bit_count_B<0> _n123<0> _n127 _n126
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_B<1> _n123<1> _n126 _n124<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<1> _n123<1> _n126 _n128
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_B<2> _n123<2> _n128 _n124<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<2> _n123<2> _n128 _n129
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_B<3> _n123<3> _n129 _n124<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<3> _n123<3> _n129 _n12a
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_B<4> _n123<4> _n12a _n124<4>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<4> _n123<4> _n12a _n12b
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_B<5> _n123<5> _n12b _n124<5>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<5> _n123<5> _n12b _n12c
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_B<6> _n123<6> _n12c _n124<6>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
.names _n124<0> bit_count_B$_ne6_n122$true<0>
- =_n124<0>
.names _n124<1> bit_count_B$_ne6_n122$true<1>
- =_n124<1>
.names _n124<2> bit_count_B$_ne6_n122$true<2>
- =_n124<2>
.names _n124<3> bit_count_B$_ne6_n122$true<3>
- =_n124<3>
.names _n124<4> bit_count_B$_ne6_n122$true<4>
- =_n124<4>
.names _n124<5> bit_count_B$_ne6_n122$true<5>
- =_n124<5>
.names _n124<6> bit_count_B$_ne6_n122$true<6>
- =_n124<6>
# pc  = 6
.mv pc$_ne6_n12d$false 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_ne6_n12d$false
L6
# if/else (bit_count_B  < 32)
.names bit_count_B$_ne6_n122$true<0> bit_count_B<0> _ne6 bit_count_B$_ne6$raw_n136<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ne6_n122$true<1> bit_count_B<1> _ne6 bit_count_B$_ne6$raw_n136<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ne6_n122$true<2> bit_count_B<2> _ne6 bit_count_B$_ne6$raw_n136<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ne6_n122$true<3> bit_count_B<3> _ne6 bit_count_B$_ne6$raw_n136<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ne6_n122$true<4> bit_count_B<4> _ne6 bit_count_B$_ne6$raw_n136<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ne6_n122$true<5> bit_count_B<5> _ne6 bit_count_B$_ne6$raw_n136<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ne6_n122$true<6> bit_count_B<6> _ne6 bit_count_B$_ne6$raw_n136<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_A$_n110$raw_n11c load_A _ne6 load_A$_ne6$raw_n13e
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_B$_n102$raw_n10c load_B _ne6 load_B$_ne6$raw_n140
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names rx_status_2$_nfb$raw_n100 rx_status_2 _ne6 rx_status_2$_ne6$raw_n142
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv pc$_ne6$raw_n144 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc pc$_ne6_n12d$false _ne6 pc$_ne6$raw_n144
- - 0 =pc$_ne6_n12d$false
- - 1 =pc
.mv _n147 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n147
L6
.names pc _n147 _n146
.def 0
- =pc 1
.names _n146  _n145
1 1
0 0
.names _n148<0>
1
.names _n148<1>
1
.names _n148<2>
1
.names _n148<3>
1
.names _n148<4>
1
.names _n148<5>
1
.names _n148<6>
0
.names _n148<7>
1
.names _n148<8>
0
# frame_counter  < 191
.names _n14b
0
.names frame_counter<0> _n148<0> _n14b _n14a<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n14d
0
.names frame_counter<0> _n148<0> _n14d _n14c
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names frame_counter<1> _n148<1> _n14c _n14a<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names frame_counter<1> _n148<1> _n14c _n14e
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names frame_counter<2> _n148<2> _n14e _n14a<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names frame_counter<2> _n148<2> _n14e _n14f
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names frame_counter<3> _n148<3> _n14f _n14a<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names frame_counter<3> _n148<3> _n14f _n150
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names frame_counter<4> _n148<4> _n150 _n14a<4>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names frame_counter<4> _n148<4> _n150 _n151
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names frame_counter<5> _n148<5> _n151 _n14a<5>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names frame_counter<5> _n148<5> _n151 _n152
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names frame_counter<6> _n148<6> _n152 _n14a<6>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names frame_counter<6> _n148<6> _n152 _n153
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names frame_counter<7> _n148<7> _n153 _n14a<7>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names frame_counter<7> _n148<7> _n153 _n154
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names frame_counter<8> _n148<8> _n154 _n14a<8>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names frame_counter<8> _n148<8> _n154 _n155
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names _n14a<0> _n14a<1> _n14a<2> _n14a<3> _n14a<4> _n14a<5> _n14a<6> _n14a<7> _n14a<8> _n156
.def 1
0 0 0 0 0 0 0 0 0 0
.names _n155 _n156 _n149
.def 0
1 1 1
.names _n149 _n157
- =_n149
# bit_count_A  = 1
.names bit_count_A$_n149_n158$true<0>
1
.names bit_count_A$_n149_n158$true<1>
0
.names bit_count_A$_n149_n158$true<2>
0
.names bit_count_A$_n149_n158$true<3>
0
.names bit_count_A$_n149_n158$true<4>
0
.names bit_count_A$_n149_n158$true<5>
0
.names bit_count_A$_n149_n158$true<6>
0
# pc  = 7
.mv pc$_n149_n159$true 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_n149_n159$true
L7
# pc  = 0
.mv pc$_n149_n15a$false 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_n149_n15a$false
L0
# if/else (frame_counter  < 191)
.mv pc$_n149$raw_n15e 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_n149_n159$true pc$_n149_n15a$false _n149 pc$_n149$raw_n15e
- - 0 =pc$_n149_n15a$false
- - 1 =pc$_n149_n159$true
.names bit_count_A$_n149_n158$true<0> bit_count_A<0> _n149 bit_count_A$_n149$raw_n15f<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n149_n158$true<1> bit_count_A<1> _n149 bit_count_A$_n149$raw_n15f<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n149_n158$true<2> bit_count_A<2> _n149 bit_count_A$_n149$raw_n15f<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n149_n158$true<3> bit_count_A<3> _n149 bit_count_A$_n149$raw_n15f<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n149_n158$true<4> bit_count_A<4> _n149 bit_count_A$_n149$raw_n15f<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n149_n158$true<5> bit_count_A<5> _n149 bit_count_A$_n149$raw_n15f<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n149_n158$true<6> bit_count_A<6> _n149 bit_count_A$_n149$raw_n15f<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv _n16b 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n16b
L7
.names pc _n16b _n16a
.def 0
- =pc 1
.names _n16a  _n169
1 1
0 0
.names _n16c<0>
0
.names _n16c<1>
0
.names _n16c<2>
0
.names _n16c<3>
0
.names _n16c<4>
0
.names _n16c<5>
1
.names _n16c<6>
0
# bit_count_A  < 32
.names _n16f
0
.names bit_count_A<0> _n16c<0> _n16f _n16e<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n171
0
.names bit_count_A<0> _n16c<0> _n171 _n170
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_A<1> _n16c<1> _n170 _n16e<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<1> _n16c<1> _n170 _n172
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_A<2> _n16c<2> _n172 _n16e<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<2> _n16c<2> _n172 _n173
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_A<3> _n16c<3> _n173 _n16e<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<3> _n16c<3> _n173 _n174
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_A<4> _n16c<4> _n174 _n16e<4>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<4> _n16c<4> _n174 _n175
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_A<5> _n16c<5> _n175 _n16e<5>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<5> _n16c<5> _n175 _n176
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_A<6> _n16c<6> _n176 _n16e<6>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<6> _n16c<6> _n176 _n177
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names _n16e<0> _n16e<1> _n16e<2> _n16e<3> _n16e<4> _n16e<5> _n16e<6> _n178
.def 1
0 0 0 0 0 0 0 0
.names _n177 _n178 _n16d
.def 0
1 1 1
.names _n16d _n179
- =_n16d
.names _n17b<0>
0
.names _n17b<1>
0
.names _n17b<2>
1
.names _n17b<3>
0
.names _n17b<4>
0
.names _n17b<5>
0
.names _n17b<6>
0
# bit_count_A  == 4
.names bit_count_A<0> _n17b<0> _n17c<0>
.def 0
0 1 1
1 0 1
.names bit_count_A<1> _n17b<1> _n17c<1>
.def 0
0 1 1
1 0 1
.names bit_count_A<2> _n17b<2> _n17c<2>
.def 0
0 1 1
1 0 1
.names bit_count_A<3> _n17b<3> _n17c<3>
.def 0
0 1 1
1 0 1
.names bit_count_A<4> _n17b<4> _n17c<4>
.def 0
0 1 1
1 0 1
.names bit_count_A<5> _n17b<5> _n17c<5>
.def 0
0 1 1
1 0 1
.names bit_count_A<6> _n17b<6> _n17c<6>
.def 0
0 1 1
1 0 1
.names _n17c<0> _n17c<1> _n17c<2> _n17c<3> _n17c<4> _n17c<5> _n17c<6> _n17d
.def 1
0 0 0 0 0 0 0 0
.names _n17d _n17a
0 1  
1 0  
.names _n17f
0
# preamble_2  == 0
.names preamble_2 _n17f _n180
.def 0
0 1 1
1 0 1
.names _n180 _n17e
0 1  
1 0  
# (bit_count_A  == 4) && (preamble_2  == 0)
.names _n17a _n17e _n182
.def 0
1 1 1
.names _n182 _n183
- =_n182
# rx_status_2  = 1
.names rx_status_2$_n182_n184$true
1
# if/else ((bit_count_A  == 4) && (preamble_2  == 0))
.names rx_status_2$_n182_n184$true rx_status_2 _n182 rx_status_2$_n182$raw_n187
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n18a<0>
1
.names _n18a<1>
1
.names _n18a<2>
1
.names _n18a<3>
1
.names _n18a<4>
1
.names _n18a<5>
0
.names _n18a<6>
0
# bit_count_A  == 31
.names bit_count_A<0> _n18a<0> _n18b<0>
.def 0
0 1 1
1 0 1
.names bit_count_A<1> _n18a<1> _n18b<1>
.def 0
0 1 1
1 0 1
.names bit_count_A<2> _n18a<2> _n18b<2>
.def 0
0 1 1
1 0 1
.names bit_count_A<3> _n18a<3> _n18b<3>
.def 0
0 1 1
1 0 1
.names bit_count_A<4> _n18a<4> _n18b<4>
.def 0
0 1 1
1 0 1
.names bit_count_A<5> _n18a<5> _n18b<5>
.def 0
0 1 1
1 0 1
.names bit_count_A<6> _n18a<6> _n18b<6>
.def 0
0 1 1
1 0 1
.names _n18b<0> _n18b<1> _n18b<2> _n18b<3> _n18b<4> _n18b<5> _n18b<6> _n18c
.def 1
0 0 0 0 0 0 0 0
.names _n18c _n189
0 1  
1 0  
.names _n189 _n18d
- =_n189
# load_A  = 1
.names load_A$_n189_n18e$true
1
# if/else (bit_count_A  == 31)
.names load_A$_n189_n18e$true load_A _n189 load_A$_n189$raw_n193
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n198<0>
0
.names _n198<1>
1
.names _n198<2>
0
.names _n198<3>
0
.names _n198<4>
0
.names _n198<5>
0
.names _n198<6>
0
# bit_count_A  == 2
.names bit_count_A<0> _n198<0> _n199<0>
.def 0
0 1 1
1 0 1
.names bit_count_A<1> _n198<1> _n199<1>
.def 0
0 1 1
1 0 1
.names bit_count_A<2> _n198<2> _n199<2>
.def 0
0 1 1
1 0 1
.names bit_count_A<3> _n198<3> _n199<3>
.def 0
0 1 1
1 0 1
.names bit_count_A<4> _n198<4> _n199<4>
.def 0
0 1 1
1 0 1
.names bit_count_A<5> _n198<5> _n199<5>
.def 0
0 1 1
1 0 1
.names bit_count_A<6> _n198<6> _n199<6>
.def 0
0 1 1
1 0 1
.names _n199<0> _n199<1> _n199<2> _n199<3> _n199<4> _n199<5> _n199<6> _n19a
.def 1
0 0 0 0 0 0 0 0
.names _n19a _n197
0 1  
1 0  
.names _n197 _n19b
- =_n197
# load_B  = 0
.names load_B$_n197_n19c$true
0
# if/else (bit_count_A  == 2)
.names load_B$_n197_n19c$true load_B _n197 load_B$_n197$raw_n1a4
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n1aa<0>
1
.names _n1aa<1>
1
.names _n1aa<2>
0
.names _n1aa<3>
0
.names _n1aa<4>
0
.names _n1aa<5>
0
.names _n1aa<6>
0
# bit_count_A  == 3
.names bit_count_A<0> _n1aa<0> _n1ab<0>
.def 0
0 1 1
1 0 1
.names bit_count_A<1> _n1aa<1> _n1ab<1>
.def 0
0 1 1
1 0 1
.names bit_count_A<2> _n1aa<2> _n1ab<2>
.def 0
0 1 1
1 0 1
.names bit_count_A<3> _n1aa<3> _n1ab<3>
.def 0
0 1 1
1 0 1
.names bit_count_A<4> _n1aa<4> _n1ab<4>
.def 0
0 1 1
1 0 1
.names bit_count_A<5> _n1aa<5> _n1ab<5>
.def 0
0 1 1
1 0 1
.names bit_count_A<6> _n1aa<6> _n1ab<6>
.def 0
0 1 1
1 0 1
.names _n1ab<0> _n1ab<1> _n1ab<2> _n1ab<3> _n1ab<4> _n1ab<5> _n1ab<6> _n1ac
.def 1
0 0 0 0 0 0 0 0
.names _n1ac _n1a9
0 1  
1 0  
.names _n1a9 _n1ad
- =_n1a9
.names _n1af<0>
0
.names _n1af<1>
0
# frame_counter [1 : 0] == 0
.names frame_counter<0> _n1af<0> _n1b0<0>
.def 0
0 1 1
1 0 1
.names frame_counter<1> _n1af<1> _n1b0<1>
.def 0
0 1 1
1 0 1
.names _n1b0<0> _n1b0<1> _n1b1
.def 1
0 0 0
.names _n1b1 _n1ae
0 1  
1 0  
.names _n1ae _n1b2
- =_n1ae
# load_buff  = 1
.names load_buff$_n1ae_n1b3$true
1
# if/else (frame_counter [1 : 0] == 0)
.names load_buff$_n1ae_n1b3$true load_buff _n1ae load_buff$_n1ae$raw_n1bc
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# if/else (bit_count_A  == 3)
.names load_buff$_n1ae$raw_n1bc load_buff _n1a9 load_buff$_n1a9$raw_n1cc
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n1d5<0>
1
.names _n1d5<1>
0
.names _n1d5<2>
1
.names _n1d5<3>
0
.names _n1d5<4>
0
.names _n1d5<5>
0
.names _n1d5<6>
0
# bit_count_A  == 5
.names bit_count_A<0> _n1d5<0> _n1d6<0>
.def 0
0 1 1
1 0 1
.names bit_count_A<1> _n1d5<1> _n1d6<1>
.def 0
0 1 1
1 0 1
.names bit_count_A<2> _n1d5<2> _n1d6<2>
.def 0
0 1 1
1 0 1
.names bit_count_A<3> _n1d5<3> _n1d6<3>
.def 0
0 1 1
1 0 1
.names bit_count_A<4> _n1d5<4> _n1d6<4>
.def 0
0 1 1
1 0 1
.names bit_count_A<5> _n1d5<5> _n1d6<5>
.def 0
0 1 1
1 0 1
.names bit_count_A<6> _n1d5<6> _n1d6<6>
.def 0
0 1 1
1 0 1
.names _n1d6<0> _n1d6<1> _n1d6<2> _n1d6<3> _n1d6<4> _n1d6<5> _n1d6<6> _n1d7
.def 1
0 0 0 0 0 0 0 0
.names _n1d7 _n1d4
0 1  
1 0  
.names _n1d4 _n1d8
- =_n1d4
# load_buff  = 0
.names load_buff$_n1d4_n1d9$true
0
# if/else (bit_count_A  == 5)
.names load_buff$_n1d4_n1d9$true load_buff$_n1a9$raw_n1cc _n1d4 load_buff$_n1d4$raw_n1da
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# bit_count_A  = bit_count_A  + 1
.names _n1ec<0>
1
.names _n1ec<1>
0
.names _n1ec<2>
0
.names _n1ec<3>
0
.names _n1ec<4>
0
.names _n1ec<5>
0
.names _n1ec<6>
0
# bit_count_A  + 1
.names _n1ee
0
.names bit_count_A<0> _n1ec<0> _n1ee _n1ed<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n1f0
0
.names bit_count_A<0> _n1ec<0> _n1f0 _n1ef
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_A<1> _n1ec<1> _n1ef _n1ed<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<1> _n1ec<1> _n1ef _n1f1
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_A<2> _n1ec<2> _n1f1 _n1ed<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<2> _n1ec<2> _n1f1 _n1f2
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_A<3> _n1ec<3> _n1f2 _n1ed<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<3> _n1ec<3> _n1f2 _n1f3
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_A<4> _n1ec<4> _n1f3 _n1ed<4>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<4> _n1ec<4> _n1f3 _n1f4
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_A<5> _n1ec<5> _n1f4 _n1ed<5>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_A<5> _n1ec<5> _n1f4 _n1f5
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_A<6> _n1ec<6> _n1f5 _n1ed<6>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
.names _n1ed<0> bit_count_A$_n16d_n1eb$true<0>
- =_n1ed<0>
.names _n1ed<1> bit_count_A$_n16d_n1eb$true<1>
- =_n1ed<1>
.names _n1ed<2> bit_count_A$_n16d_n1eb$true<2>
- =_n1ed<2>
.names _n1ed<3> bit_count_A$_n16d_n1eb$true<3>
- =_n1ed<3>
.names _n1ed<4> bit_count_A$_n16d_n1eb$true<4>
- =_n1ed<4>
.names _n1ed<5> bit_count_A$_n16d_n1eb$true<5>
- =_n1ed<5>
.names _n1ed<6> bit_count_A$_n16d_n1eb$true<6>
- =_n1ed<6>
# pc  = 8
.mv pc$_n16d_n1f6$false 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_n16d_n1f6$false
L8
# if/else (bit_count_A  < 32)
.names load_buff$_n1d4$raw_n1da load_buff _n16d load_buff$_n16d$raw_n201
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n16d_n1eb$true<0> bit_count_A<0> _n16d bit_count_A$_n16d$raw_n203<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n16d_n1eb$true<1> bit_count_A<1> _n16d bit_count_A$_n16d$raw_n203<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n16d_n1eb$true<2> bit_count_A<2> _n16d bit_count_A$_n16d$raw_n203<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n16d_n1eb$true<3> bit_count_A<3> _n16d bit_count_A$_n16d$raw_n203<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n16d_n1eb$true<4> bit_count_A<4> _n16d bit_count_A$_n16d$raw_n203<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n16d_n1eb$true<5> bit_count_A<5> _n16d bit_count_A$_n16d$raw_n203<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n16d_n1eb$true<6> bit_count_A<6> _n16d bit_count_A$_n16d$raw_n203<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_A$_n189$raw_n193 load_A _n16d load_A$_n16d$raw_n20b
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_B$_n197$raw_n1a4 load_B _n16d load_B$_n16d$raw_n20d
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names rx_status_2$_n182$raw_n187 rx_status_2 _n16d rx_status_2$_n16d$raw_n20f
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv pc$_n16d$raw_n211 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc pc$_n16d_n1f6$false _n16d pc$_n16d$raw_n211
- - 0 =pc$_n16d_n1f6$false
- - 1 =pc
.mv _n214 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n214
L8
.names pc _n214 _n213
.def 0
- =pc 1
.names _n213  _n212
1 1
0 0
# bit_count_B  = 1
.names bit_count_B$_n212_n215$true<0>
1
.names bit_count_B$_n212_n215$true<1>
0
.names bit_count_B$_n212_n215$true<2>
0
.names bit_count_B$_n212_n215$true<3>
0
.names bit_count_B$_n212_n215$true<4>
0
.names bit_count_B$_n212_n215$true<5>
0
.names bit_count_B$_n212_n215$true<6>
0
# pc  = 9
.mv pc$_n212_n216$true 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_n212_n216$true
L9
.mv _n219 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n219
L9
.names pc _n219 _n218
.def 0
- =pc 1
.names _n218  _n217
1 1
0 0
.names _n21a<0>
0
.names _n21a<1>
0
.names _n21a<2>
0
.names _n21a<3>
0
.names _n21a<4>
0
.names _n21a<5>
1
.names _n21a<6>
0
# bit_count_B  < 32
.names _n21d
0
.names bit_count_B<0> _n21a<0> _n21d _n21c<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n21f
0
.names bit_count_B<0> _n21a<0> _n21f _n21e
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_B<1> _n21a<1> _n21e _n21c<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<1> _n21a<1> _n21e _n220
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_B<2> _n21a<2> _n220 _n21c<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<2> _n21a<2> _n220 _n221
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_B<3> _n21a<3> _n221 _n21c<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<3> _n21a<3> _n221 _n222
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_B<4> _n21a<4> _n222 _n21c<4>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<4> _n21a<4> _n222 _n223
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_B<5> _n21a<5> _n223 _n21c<5>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<5> _n21a<5> _n223 _n224
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names bit_count_B<6> _n21a<6> _n224 _n21c<6>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<6> _n21a<6> _n224 _n225
.def 0
0 0 1 1
0 1 0 1
0 1 1 1
1 1 1 1
.names _n21c<0> _n21c<1> _n21c<2> _n21c<3> _n21c<4> _n21c<5> _n21c<6> _n226
.def 1
0 0 0 0 0 0 0 0
.names _n225 _n226 _n21b
.def 0
1 1 1
.names _n21b _n227
- =_n21b
.names _n229<0>
0
.names _n229<1>
0
.names _n229<2>
1
.names _n229<3>
0
.names _n229<4>
0
.names _n229<5>
0
.names _n229<6>
0
# bit_count_B  == 4
.names bit_count_B<0> _n229<0> _n22a<0>
.def 0
0 1 1
1 0 1
.names bit_count_B<1> _n229<1> _n22a<1>
.def 0
0 1 1
1 0 1
.names bit_count_B<2> _n229<2> _n22a<2>
.def 0
0 1 1
1 0 1
.names bit_count_B<3> _n229<3> _n22a<3>
.def 0
0 1 1
1 0 1
.names bit_count_B<4> _n229<4> _n22a<4>
.def 0
0 1 1
1 0 1
.names bit_count_B<5> _n229<5> _n22a<5>
.def 0
0 1 1
1 0 1
.names bit_count_B<6> _n229<6> _n22a<6>
.def 0
0 1 1
1 0 1
.names _n22a<0> _n22a<1> _n22a<2> _n22a<3> _n22a<4> _n22a<5> _n22a<6> _n22b
.def 1
0 0 0 0 0 0 0 0
.names _n22b _n228
0 1  
1 0  
.names _n22d
0
# preamble_3  == 0
.names preamble_3 _n22d _n22e
.def 0
0 1 1
1 0 1
.names _n22e _n22c
0 1  
1 0  
# (bit_count_B  == 4) && (preamble_3  == 0)
.names _n228 _n22c _n230
.def 0
1 1 1
.names _n230 _n231
- =_n230
# rx_status_2  = 1
.names rx_status_2$_n230_n232$true
1
# if/else ((bit_count_B  == 4) && (preamble_3  == 0))
.names rx_status_2$_n230_n232$true rx_status_2 _n230 rx_status_2$_n230$raw_n235
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n238<0>
1
.names _n238<1>
1
.names _n238<2>
1
.names _n238<3>
1
.names _n238<4>
1
.names _n238<5>
0
.names _n238<6>
0
# bit_count_B  == 31
.names bit_count_B<0> _n238<0> _n239<0>
.def 0
0 1 1
1 0 1
.names bit_count_B<1> _n238<1> _n239<1>
.def 0
0 1 1
1 0 1
.names bit_count_B<2> _n238<2> _n239<2>
.def 0
0 1 1
1 0 1
.names bit_count_B<3> _n238<3> _n239<3>
.def 0
0 1 1
1 0 1
.names bit_count_B<4> _n238<4> _n239<4>
.def 0
0 1 1
1 0 1
.names bit_count_B<5> _n238<5> _n239<5>
.def 0
0 1 1
1 0 1
.names bit_count_B<6> _n238<6> _n239<6>
.def 0
0 1 1
1 0 1
.names _n239<0> _n239<1> _n239<2> _n239<3> _n239<4> _n239<5> _n239<6> _n23a
.def 1
0 0 0 0 0 0 0 0
.names _n23a _n237
0 1  
1 0  
.names _n237 _n23b
- =_n237
# load_B  = 1
.names load_B$_n237_n23c$true
1
# if/else (bit_count_B  == 31)
.names load_B$_n237_n23c$true load_B _n237 load_B$_n237$raw_n241
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names _n246<0>
0
.names _n246<1>
1
.names _n246<2>
0
.names _n246<3>
0
.names _n246<4>
0
.names _n246<5>
0
.names _n246<6>
0
# bit_count_B  == 2
.names bit_count_B<0> _n246<0> _n247<0>
.def 0
0 1 1
1 0 1
.names bit_count_B<1> _n246<1> _n247<1>
.def 0
0 1 1
1 0 1
.names bit_count_B<2> _n246<2> _n247<2>
.def 0
0 1 1
1 0 1
.names bit_count_B<3> _n246<3> _n247<3>
.def 0
0 1 1
1 0 1
.names bit_count_B<4> _n246<4> _n247<4>
.def 0
0 1 1
1 0 1
.names bit_count_B<5> _n246<5> _n247<5>
.def 0
0 1 1
1 0 1
.names bit_count_B<6> _n246<6> _n247<6>
.def 0
0 1 1
1 0 1
.names _n247<0> _n247<1> _n247<2> _n247<3> _n247<4> _n247<5> _n247<6> _n248
.def 1
0 0 0 0 0 0 0 0
.names _n248 _n245
0 1  
1 0  
.names _n245 _n249
- =_n245
# load_A  = 0
.names load_A$_n245_n24a$true
0
# if/else (bit_count_B  == 2)
.names load_A$_n245_n24a$true load_A _n245 load_A$_n245$raw_n251
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# bit_count_B  = bit_count_B  + 1
.names _n258<0>
1
.names _n258<1>
0
.names _n258<2>
0
.names _n258<3>
0
.names _n258<4>
0
.names _n258<5>
0
.names _n258<6>
0
# bit_count_B  + 1
.names _n25a
0
.names bit_count_B<0> _n258<0> _n25a _n259<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n25c
0
.names bit_count_B<0> _n258<0> _n25c _n25b
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_B<1> _n258<1> _n25b _n259<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<1> _n258<1> _n25b _n25d
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_B<2> _n258<2> _n25d _n259<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<2> _n258<2> _n25d _n25e
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_B<3> _n258<3> _n25e _n259<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<3> _n258<3> _n25e _n25f
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_B<4> _n258<4> _n25f _n259<4>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<4> _n258<4> _n25f _n260
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_B<5> _n258<5> _n260 _n259<5>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names bit_count_B<5> _n258<5> _n260 _n261
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names bit_count_B<6> _n258<6> _n261 _n259<6>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
.names _n259<0> bit_count_B$_n21b_n257$true<0>
- =_n259<0>
.names _n259<1> bit_count_B$_n21b_n257$true<1>
- =_n259<1>
.names _n259<2> bit_count_B$_n21b_n257$true<2>
- =_n259<2>
.names _n259<3> bit_count_B$_n21b_n257$true<3>
- =_n259<3>
.names _n259<4> bit_count_B$_n21b_n257$true<4>
- =_n259<4>
.names _n259<5> bit_count_B$_n21b_n257$true<5>
- =_n259<5>
.names _n259<6> bit_count_B$_n21b_n257$true<6>
- =_n259<6>
# pc  = 10
.mv pc$_n21b_n262$false 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_n21b_n262$false
L10
# if/else (bit_count_B  < 32)
.names bit_count_B$_n21b_n257$true<0> bit_count_B<0> _n21b bit_count_B$_n21b$raw_n26b<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n21b_n257$true<1> bit_count_B<1> _n21b bit_count_B$_n21b$raw_n26b<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n21b_n257$true<2> bit_count_B<2> _n21b bit_count_B$_n21b$raw_n26b<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n21b_n257$true<3> bit_count_B<3> _n21b bit_count_B$_n21b$raw_n26b<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n21b_n257$true<4> bit_count_B<4> _n21b bit_count_B$_n21b$raw_n26b<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n21b_n257$true<5> bit_count_B<5> _n21b bit_count_B$_n21b$raw_n26b<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n21b_n257$true<6> bit_count_B<6> _n21b bit_count_B$_n21b$raw_n26b<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_A$_n245$raw_n251 load_A _n21b load_A$_n21b$raw_n273
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_B$_n237$raw_n241 load_B _n21b load_B$_n21b$raw_n275
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names rx_status_2$_n230$raw_n235 rx_status_2 _n21b rx_status_2$_n21b$raw_n277
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv pc$_n21b$raw_n279 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc pc$_n21b_n262$false _n21b pc$_n21b$raw_n279
- - 0 =pc$_n21b_n262$false
- - 1 =pc
.mv _n27c 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n27c
L10
.names pc _n27c _n27b
.def 0
- =pc 1
.names _n27b  _n27a
1 1
0 0
# frame_counter  = frame_counter  + 1
.names _n27e<0>
1
.names _n27e<1>
0
.names _n27e<2>
0
.names _n27e<3>
0
.names _n27e<4>
0
.names _n27e<5>
0
.names _n27e<6>
0
.names _n27e<7>
0
.names _n27e<8>
0
# frame_counter  + 1
.names _n280
0
.names frame_counter<0> _n27e<0> _n280 _n27f<0>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names _n282
0
.names frame_counter<0> _n27e<0> _n282 _n281
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names frame_counter<1> _n27e<1> _n281 _n27f<1>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names frame_counter<1> _n27e<1> _n281 _n283
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names frame_counter<2> _n27e<2> _n283 _n27f<2>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names frame_counter<2> _n27e<2> _n283 _n284
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names frame_counter<3> _n27e<3> _n284 _n27f<3>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names frame_counter<3> _n27e<3> _n284 _n285
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names frame_counter<4> _n27e<4> _n285 _n27f<4>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names frame_counter<4> _n27e<4> _n285 _n286
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names frame_counter<5> _n27e<5> _n286 _n27f<5>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names frame_counter<5> _n27e<5> _n286 _n287
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names frame_counter<6> _n27e<6> _n287 _n27f<6>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names frame_counter<6> _n27e<6> _n287 _n288
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names frame_counter<7> _n27e<7> _n288 _n27f<7>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
# carry/borrow
.names frame_counter<7> _n27e<7> _n288 _n289
.def 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 1
.names frame_counter<8> _n27e<8> _n289 _n27f<8>
.def 0
0 0 1 1
0 1 0 1
1 0 0 1
1 1 1 1
.names _n27f<0> frame_counter$_n27a_n27d$true<0>
- =_n27f<0>
.names _n27f<1> frame_counter$_n27a_n27d$true<1>
- =_n27f<1>
.names _n27f<2> frame_counter$_n27a_n27d$true<2>
- =_n27f<2>
.names _n27f<3> frame_counter$_n27a_n27d$true<3>
- =_n27f<3>
.names _n27f<4> frame_counter$_n27a_n27d$true<4>
- =_n27f<4>
.names _n27f<5> frame_counter$_n27a_n27d$true<5>
- =_n27f<5>
.names _n27f<6> frame_counter$_n27a_n27d$true<6>
- =_n27f<6>
.names _n27f<7> frame_counter$_n27a_n27d$true<7>
- =_n27f<7>
.names _n27f<8> frame_counter$_n27a_n27d$true<8>
- =_n27f<8>
# pc  = 6
.mv pc$_n27a_n28a$true 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_n27a_n28a$true
L6
# case (pc )
.mv pc$_n27a$raw_n28f 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_n27a_n28a$true pc _n27a pc$_n27a$raw_n28f
- - 0 =pc
- - 1 =pc$_n27a_n28a$true
.names frame_counter$_n27a_n27d$true<0> frame_counter<0> _n27a frame_counter$_n27a$raw_n290<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$_n27a_n27d$true<1> frame_counter<1> _n27a frame_counter$_n27a$raw_n290<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$_n27a_n27d$true<2> frame_counter<2> _n27a frame_counter$_n27a$raw_n290<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$_n27a_n27d$true<3> frame_counter<3> _n27a frame_counter$_n27a$raw_n290<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$_n27a_n27d$true<4> frame_counter<4> _n27a frame_counter$_n27a$raw_n290<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$_n27a_n27d$true<5> frame_counter<5> _n27a frame_counter$_n27a$raw_n290<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$_n27a_n27d$true<6> frame_counter<6> _n27a frame_counter$_n27a$raw_n290<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$_n27a_n27d$true<7> frame_counter<7> _n27a frame_counter$_n27a$raw_n290<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$_n27a_n27d$true<8> frame_counter<8> _n27a frame_counter$_n27a$raw_n290<8>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv pc$_n217$raw_n29b 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_n21b$raw_n279 pc$_n27a$raw_n28f _n217 pc$_n217$raw_n29b
- - 0 =pc$_n27a$raw_n28f
- - 1 =pc$_n21b$raw_n279
.names bit_count_B$_n21b$raw_n26b<0> bit_count_B<0> _n217 bit_count_B$_n217$raw_n2a4<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n21b$raw_n26b<1> bit_count_B<1> _n217 bit_count_B$_n217$raw_n2a4<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n21b$raw_n26b<2> bit_count_B<2> _n217 bit_count_B$_n217$raw_n2a4<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n21b$raw_n26b<3> bit_count_B<3> _n217 bit_count_B$_n217$raw_n2a4<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n21b$raw_n26b<4> bit_count_B<4> _n217 bit_count_B$_n217$raw_n2a4<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n21b$raw_n26b<5> bit_count_B<5> _n217 bit_count_B$_n217$raw_n2a4<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n21b$raw_n26b<6> bit_count_B<6> _n217 bit_count_B$_n217$raw_n2a4<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_A$_n21b$raw_n273 load_A _n217 load_A$_n217$raw_n2ad
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names rx_status_2$_n21b$raw_n277 rx_status_2 _n217 rx_status_2$_n217$raw_n2af
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_B$_n21b$raw_n275 load_B _n217 load_B$_n217$raw_n2b1
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<0> frame_counter$_n27a$raw_n290<0> _n217 frame_counter$_n217$raw_n2b4<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<1> frame_counter$_n27a$raw_n290<1> _n217 frame_counter$_n217$raw_n2b4<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<2> frame_counter$_n27a$raw_n290<2> _n217 frame_counter$_n217$raw_n2b4<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<3> frame_counter$_n27a$raw_n290<3> _n217 frame_counter$_n217$raw_n2b4<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<4> frame_counter$_n27a$raw_n290<4> _n217 frame_counter$_n217$raw_n2b4<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<5> frame_counter$_n27a$raw_n290<5> _n217 frame_counter$_n217$raw_n2b4<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<6> frame_counter$_n27a$raw_n290<6> _n217 frame_counter$_n217$raw_n2b4<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<7> frame_counter$_n27a$raw_n290<7> _n217 frame_counter$_n217$raw_n2b4<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<8> frame_counter$_n27a$raw_n290<8> _n217 frame_counter$_n217$raw_n2b4<8>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n212_n215$true<0> bit_count_B$_n217$raw_n2a4<0> _n212 bit_count_B$_n212$raw_n2be<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n212_n215$true<1> bit_count_B$_n217$raw_n2a4<1> _n212 bit_count_B$_n212$raw_n2be<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n212_n215$true<2> bit_count_B$_n217$raw_n2a4<2> _n212 bit_count_B$_n212$raw_n2be<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n212_n215$true<3> bit_count_B$_n217$raw_n2a4<3> _n212 bit_count_B$_n212$raw_n2be<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n212_n215$true<4> bit_count_B$_n217$raw_n2a4<4> _n212 bit_count_B$_n212$raw_n2be<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n212_n215$true<5> bit_count_B$_n217$raw_n2a4<5> _n212 bit_count_B$_n212$raw_n2be<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_n212_n215$true<6> bit_count_B$_n217$raw_n2a4<6> _n212 bit_count_B$_n212$raw_n2be<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv pc$_n212$raw_n2c6 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_n212_n216$true pc$_n217$raw_n29b _n212 pc$_n212$raw_n2c6
- - 0 =pc$_n217$raw_n29b
- - 1 =pc$_n212_n216$true
.names frame_counter<0> frame_counter$_n217$raw_n2b4<0> _n212 frame_counter$_n212$raw_n2cd<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<1> frame_counter$_n217$raw_n2b4<1> _n212 frame_counter$_n212$raw_n2cd<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<2> frame_counter$_n217$raw_n2b4<2> _n212 frame_counter$_n212$raw_n2cd<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<3> frame_counter$_n217$raw_n2b4<3> _n212 frame_counter$_n212$raw_n2cd<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<4> frame_counter$_n217$raw_n2b4<4> _n212 frame_counter$_n212$raw_n2cd<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<5> frame_counter$_n217$raw_n2b4<5> _n212 frame_counter$_n212$raw_n2cd<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<6> frame_counter$_n217$raw_n2b4<6> _n212 frame_counter$_n212$raw_n2cd<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<7> frame_counter$_n217$raw_n2b4<7> _n212 frame_counter$_n212$raw_n2cd<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<8> frame_counter$_n217$raw_n2b4<8> _n212 frame_counter$_n212$raw_n2cd<8>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_A load_A$_n217$raw_n2ad _n212 load_A$_n212$raw_n2d7
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names rx_status_2 rx_status_2$_n217$raw_n2af _n212 rx_status_2$_n212$raw_n2d9
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_B load_B$_n217$raw_n2b1 _n212 load_B$_n212$raw_n2db
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv pc$_n169$raw_n2df 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_n16d$raw_n211 pc$_n212$raw_n2c6 _n169 pc$_n169$raw_n2df
- - 0 =pc$_n212$raw_n2c6
- - 1 =pc$_n16d$raw_n211
.names load_A$_n16d$raw_n20b load_A$_n212$raw_n2d7 _n169 load_A$_n169$raw_n2e0
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names rx_status_2$_n16d$raw_n20f rx_status_2$_n212$raw_n2d9 _n169 rx_status_2$_n169$raw_n2e2
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_B$_n16d$raw_n20d load_B$_n212$raw_n2db _n169 load_B$_n169$raw_n2e4
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_buff$_n16d$raw_n201 load_buff _n169 load_buff$_n169$raw_n2ec
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n16d$raw_n203<0> bit_count_A<0> _n169 bit_count_A$_n169$raw_n2ee<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n16d$raw_n203<1> bit_count_A<1> _n169 bit_count_A$_n169$raw_n2ee<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n16d$raw_n203<2> bit_count_A<2> _n169 bit_count_A$_n169$raw_n2ee<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n16d$raw_n203<3> bit_count_A<3> _n169 bit_count_A$_n169$raw_n2ee<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n16d$raw_n203<4> bit_count_A<4> _n169 bit_count_A$_n169$raw_n2ee<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n16d$raw_n203<5> bit_count_A<5> _n169 bit_count_A$_n169$raw_n2ee<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n16d$raw_n203<6> bit_count_A<6> _n169 bit_count_A$_n169$raw_n2ee<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<0> bit_count_B$_n212$raw_n2be<0> _n169 bit_count_B$_n169$raw_n2fa<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<1> bit_count_B$_n212$raw_n2be<1> _n169 bit_count_B$_n169$raw_n2fa<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<2> bit_count_B$_n212$raw_n2be<2> _n169 bit_count_B$_n169$raw_n2fa<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<3> bit_count_B$_n212$raw_n2be<3> _n169 bit_count_B$_n169$raw_n2fa<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<4> bit_count_B$_n212$raw_n2be<4> _n169 bit_count_B$_n169$raw_n2fa<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<5> bit_count_B$_n212$raw_n2be<5> _n169 bit_count_B$_n169$raw_n2fa<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<6> bit_count_B$_n212$raw_n2be<6> _n169 bit_count_B$_n169$raw_n2fa<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<0> frame_counter$_n212$raw_n2cd<0> _n169 frame_counter$_n169$raw_n303<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<1> frame_counter$_n212$raw_n2cd<1> _n169 frame_counter$_n169$raw_n303<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<2> frame_counter$_n212$raw_n2cd<2> _n169 frame_counter$_n169$raw_n303<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<3> frame_counter$_n212$raw_n2cd<3> _n169 frame_counter$_n169$raw_n303<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<4> frame_counter$_n212$raw_n2cd<4> _n169 frame_counter$_n169$raw_n303<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<5> frame_counter$_n212$raw_n2cd<5> _n169 frame_counter$_n169$raw_n303<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<6> frame_counter$_n212$raw_n2cd<6> _n169 frame_counter$_n169$raw_n303<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<7> frame_counter$_n212$raw_n2cd<7> _n169 frame_counter$_n169$raw_n303<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<8> frame_counter$_n212$raw_n2cd<8> _n169 frame_counter$_n169$raw_n303<8>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n149$raw_n15f<0> bit_count_A$_n169$raw_n2ee<0> _n145 bit_count_A$_n145$raw_n310<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n149$raw_n15f<1> bit_count_A$_n169$raw_n2ee<1> _n145 bit_count_A$_n145$raw_n310<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n149$raw_n15f<2> bit_count_A$_n169$raw_n2ee<2> _n145 bit_count_A$_n145$raw_n310<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n149$raw_n15f<3> bit_count_A$_n169$raw_n2ee<3> _n145 bit_count_A$_n145$raw_n310<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n149$raw_n15f<4> bit_count_A$_n169$raw_n2ee<4> _n145 bit_count_A$_n145$raw_n310<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n149$raw_n15f<5> bit_count_A$_n169$raw_n2ee<5> _n145 bit_count_A$_n145$raw_n310<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n149$raw_n15f<6> bit_count_A$_n169$raw_n2ee<6> _n145 bit_count_A$_n145$raw_n310<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv pc$_n145$raw_n318 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_n149$raw_n15e pc$_n169$raw_n2df _n145 pc$_n145$raw_n318
- - 0 =pc$_n169$raw_n2df
- - 1 =pc$_n149$raw_n15e
.names load_buff load_buff$_n169$raw_n2ec _n145 load_buff$_n145$raw_n31d
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<0> bit_count_B$_n169$raw_n2fa<0> _n145 bit_count_B$_n145$raw_n320<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<1> bit_count_B$_n169$raw_n2fa<1> _n145 bit_count_B$_n145$raw_n320<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<2> bit_count_B$_n169$raw_n2fa<2> _n145 bit_count_B$_n145$raw_n320<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<3> bit_count_B$_n169$raw_n2fa<3> _n145 bit_count_B$_n145$raw_n320<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<4> bit_count_B$_n169$raw_n2fa<4> _n145 bit_count_B$_n145$raw_n320<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<5> bit_count_B$_n169$raw_n2fa<5> _n145 bit_count_B$_n145$raw_n320<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<6> bit_count_B$_n169$raw_n2fa<6> _n145 bit_count_B$_n145$raw_n320<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<0> frame_counter$_n169$raw_n303<0> _n145 frame_counter$_n145$raw_n329<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<1> frame_counter$_n169$raw_n303<1> _n145 frame_counter$_n145$raw_n329<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<2> frame_counter$_n169$raw_n303<2> _n145 frame_counter$_n145$raw_n329<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<3> frame_counter$_n169$raw_n303<3> _n145 frame_counter$_n145$raw_n329<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<4> frame_counter$_n169$raw_n303<4> _n145 frame_counter$_n145$raw_n329<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<5> frame_counter$_n169$raw_n303<5> _n145 frame_counter$_n145$raw_n329<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<6> frame_counter$_n169$raw_n303<6> _n145 frame_counter$_n145$raw_n329<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<7> frame_counter$_n169$raw_n303<7> _n145 frame_counter$_n145$raw_n329<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<8> frame_counter$_n169$raw_n303<8> _n145 frame_counter$_n145$raw_n329<8>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_A load_A$_n169$raw_n2e0 _n145 load_A$_n145$raw_n333
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names rx_status_2 rx_status_2$_n169$raw_n2e2 _n145 rx_status_2$_n145$raw_n335
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_B load_B$_n169$raw_n2e4 _n145 load_B$_n145$raw_n337
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ne6$raw_n136<0> bit_count_B$_n145$raw_n320<0> _ne2 bit_count_B$_ne2$raw_n339<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ne6$raw_n136<1> bit_count_B$_n145$raw_n320<1> _ne2 bit_count_B$_ne2$raw_n339<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ne6$raw_n136<2> bit_count_B$_n145$raw_n320<2> _ne2 bit_count_B$_ne2$raw_n339<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ne6$raw_n136<3> bit_count_B$_n145$raw_n320<3> _ne2 bit_count_B$_ne2$raw_n339<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ne6$raw_n136<4> bit_count_B$_n145$raw_n320<4> _ne2 bit_count_B$_ne2$raw_n339<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ne6$raw_n136<5> bit_count_B$_n145$raw_n320<5> _ne2 bit_count_B$_ne2$raw_n339<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ne6$raw_n136<6> bit_count_B$_n145$raw_n320<6> _ne2 bit_count_B$_ne2$raw_n339<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv pc$_ne2$raw_n341 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_ne6$raw_n144 pc$_n145$raw_n318 _ne2 pc$_ne2$raw_n341
- - 0 =pc$_n145$raw_n318
- - 1 =pc$_ne6$raw_n144
.names load_A$_ne6$raw_n13e load_A$_n145$raw_n333 _ne2 load_A$_ne2$raw_n342
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names rx_status_2$_ne6$raw_n142 rx_status_2$_n145$raw_n335 _ne2 rx_status_2$_ne2$raw_n344
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_B$_ne6$raw_n140 load_B$_n145$raw_n337 _ne2 load_B$_ne2$raw_n346
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_buff load_buff$_n145$raw_n31d _ne2 load_buff$_ne2$raw_n352
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<0> bit_count_A$_n145$raw_n310<0> _ne2 bit_count_A$_ne2$raw_n354<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<1> bit_count_A$_n145$raw_n310<1> _ne2 bit_count_A$_ne2$raw_n354<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<2> bit_count_A$_n145$raw_n310<2> _ne2 bit_count_A$_ne2$raw_n354<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<3> bit_count_A$_n145$raw_n310<3> _ne2 bit_count_A$_ne2$raw_n354<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<4> bit_count_A$_n145$raw_n310<4> _ne2 bit_count_A$_ne2$raw_n354<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<5> bit_count_A$_n145$raw_n310<5> _ne2 bit_count_A$_ne2$raw_n354<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<6> bit_count_A$_n145$raw_n310<6> _ne2 bit_count_A$_ne2$raw_n354<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<0> frame_counter$_n145$raw_n329<0> _ne2 frame_counter$_ne2$raw_n35e<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<1> frame_counter$_n145$raw_n329<1> _ne2 frame_counter$_ne2$raw_n35e<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<2> frame_counter$_n145$raw_n329<2> _ne2 frame_counter$_ne2$raw_n35e<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<3> frame_counter$_n145$raw_n329<3> _ne2 frame_counter$_ne2$raw_n35e<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<4> frame_counter$_n145$raw_n329<4> _ne2 frame_counter$_ne2$raw_n35e<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<5> frame_counter$_n145$raw_n329<5> _ne2 frame_counter$_ne2$raw_n35e<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<6> frame_counter$_n145$raw_n329<6> _ne2 frame_counter$_ne2$raw_n35e<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<7> frame_counter$_n145$raw_n329<7> _ne2 frame_counter$_ne2$raw_n35e<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<8> frame_counter$_n145$raw_n329<8> _ne2 frame_counter$_ne2$raw_n35e<8>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ndc_ndf$true<0> bit_count_B$_ne2$raw_n339<0> _ndc bit_count_B$_ndc$raw_n36b<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ndc_ndf$true<1> bit_count_B$_ne2$raw_n339<1> _ndc bit_count_B$_ndc$raw_n36b<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ndc_ndf$true<2> bit_count_B$_ne2$raw_n339<2> _ndc bit_count_B$_ndc$raw_n36b<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ndc_ndf$true<3> bit_count_B$_ne2$raw_n339<3> _ndc bit_count_B$_ndc$raw_n36b<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ndc_ndf$true<4> bit_count_B$_ne2$raw_n339<4> _ndc bit_count_B$_ndc$raw_n36b<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ndc_ndf$true<5> bit_count_B$_ne2$raw_n339<5> _ndc bit_count_B$_ndc$raw_n36b<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$_ndc_ndf$true<6> bit_count_B$_ne2$raw_n339<6> _ndc bit_count_B$_ndc$raw_n36b<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv pc$_ndc$raw_n373 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_ndc_ne1$true pc$_ne2$raw_n341 _ndc pc$_ndc$raw_n373
- - 0 =pc$_ne2$raw_n341
- - 1 =pc$_ndc_ne1$true
.names frame_counter$_ndc_ne0$true<0> frame_counter$_ne2$raw_n35e<0> _ndc frame_counter$_ndc$raw_n374<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$_ndc_ne0$true<1> frame_counter$_ne2$raw_n35e<1> _ndc frame_counter$_ndc$raw_n374<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$_ndc_ne0$true<2> frame_counter$_ne2$raw_n35e<2> _ndc frame_counter$_ndc$raw_n374<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$_ndc_ne0$true<3> frame_counter$_ne2$raw_n35e<3> _ndc frame_counter$_ndc$raw_n374<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$_ndc_ne0$true<4> frame_counter$_ne2$raw_n35e<4> _ndc frame_counter$_ndc$raw_n374<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$_ndc_ne0$true<5> frame_counter$_ne2$raw_n35e<5> _ndc frame_counter$_ndc$raw_n374<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$_ndc_ne0$true<6> frame_counter$_ne2$raw_n35e<6> _ndc frame_counter$_ndc$raw_n374<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$_ndc_ne0$true<7> frame_counter$_ne2$raw_n35e<7> _ndc frame_counter$_ndc$raw_n374<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$_ndc_ne0$true<8> frame_counter$_ne2$raw_n35e<8> _ndc frame_counter$_ndc$raw_n374<8>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_buff load_buff$_ne2$raw_n352 _ndc load_buff$_ndc$raw_n384
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<0> bit_count_A$_ne2$raw_n354<0> _ndc bit_count_A$_ndc$raw_n386<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<1> bit_count_A$_ne2$raw_n354<1> _ndc bit_count_A$_ndc$raw_n386<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<2> bit_count_A$_ne2$raw_n354<2> _ndc bit_count_A$_ndc$raw_n386<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<3> bit_count_A$_ne2$raw_n354<3> _ndc bit_count_A$_ndc$raw_n386<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<4> bit_count_A$_ne2$raw_n354<4> _ndc bit_count_A$_ndc$raw_n386<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<5> bit_count_A$_ne2$raw_n354<5> _ndc bit_count_A$_ndc$raw_n386<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<6> bit_count_A$_ne2$raw_n354<6> _ndc bit_count_A$_ndc$raw_n386<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_A load_A$_ne2$raw_n342 _ndc load_A$_ndc$raw_n391
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names rx_status_2 rx_status_2$_ne2$raw_n344 _ndc rx_status_2$_ndc$raw_n393
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_B load_B$_ne2$raw_n346 _ndc load_B$_ndc$raw_n395
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_buff$_n6f$raw_ncd load_buff$_ndc$raw_n384 _n6b load_buff$_n6b$raw_n397
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n6f$raw_ncf<0> bit_count_A$_ndc$raw_n386<0> _n6b bit_count_A$_n6b$raw_n399<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n6f$raw_ncf<1> bit_count_A$_ndc$raw_n386<1> _n6b bit_count_A$_n6b$raw_n399<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n6f$raw_ncf<2> bit_count_A$_ndc$raw_n386<2> _n6b bit_count_A$_n6b$raw_n399<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n6f$raw_ncf<3> bit_count_A$_ndc$raw_n386<3> _n6b bit_count_A$_n6b$raw_n399<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n6f$raw_ncf<4> bit_count_A$_ndc$raw_n386<4> _n6b bit_count_A$_n6b$raw_n399<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n6f$raw_ncf<5> bit_count_A$_ndc$raw_n386<5> _n6b bit_count_A$_n6b$raw_n399<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$_n6f$raw_ncf<6> bit_count_A$_ndc$raw_n386<6> _n6b bit_count_A$_n6b$raw_n399<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv pc$_n6b$raw_n3a1 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_n6f$raw_ndb pc$_ndc$raw_n373 _n6b pc$_n6b$raw_n3a1
- - 0 =pc$_ndc$raw_n373
- - 1 =pc$_n6f$raw_ndb
.names load_A$_n6f$raw_nd7 load_A$_ndc$raw_n391 _n6b load_A$_n6b$raw_n3a2
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_B$_n6f$raw_nd9 load_B$_ndc$raw_n395 _n6b load_B$_n6b$raw_n3a4
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<0> bit_count_B$_ndc$raw_n36b<0> _n6b bit_count_B$_n6b$raw_n3b2<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<1> bit_count_B$_ndc$raw_n36b<1> _n6b bit_count_B$_n6b$raw_n3b2<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<2> bit_count_B$_ndc$raw_n36b<2> _n6b bit_count_B$_n6b$raw_n3b2<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<3> bit_count_B$_ndc$raw_n36b<3> _n6b bit_count_B$_n6b$raw_n3b2<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<4> bit_count_B$_ndc$raw_n36b<4> _n6b bit_count_B$_n6b$raw_n3b2<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<5> bit_count_B$_ndc$raw_n36b<5> _n6b bit_count_B$_n6b$raw_n3b2<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<6> bit_count_B$_ndc$raw_n36b<6> _n6b bit_count_B$_n6b$raw_n3b2<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<0> frame_counter$_ndc$raw_n374<0> _n6b frame_counter$_n6b$raw_n3bb<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<1> frame_counter$_ndc$raw_n374<1> _n6b frame_counter$_n6b$raw_n3bb<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<2> frame_counter$_ndc$raw_n374<2> _n6b frame_counter$_n6b$raw_n3bb<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<3> frame_counter$_ndc$raw_n374<3> _n6b frame_counter$_n6b$raw_n3bb<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<4> frame_counter$_ndc$raw_n374<4> _n6b frame_counter$_n6b$raw_n3bb<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<5> frame_counter$_ndc$raw_n374<5> _n6b frame_counter$_n6b$raw_n3bb<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<6> frame_counter$_ndc$raw_n374<6> _n6b frame_counter$_n6b$raw_n3bb<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<7> frame_counter$_ndc$raw_n374<7> _n6b frame_counter$_n6b$raw_n3bb<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<8> frame_counter$_ndc$raw_n374<8> _n6b frame_counter$_n6b$raw_n3bb<8>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names rx_status_2 rx_status_2$_ndc$raw_n393 _n6b rx_status_2$_n6b$raw_n3c6
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$preamble_1$raw_n62<0> bit_count_A$_n6b$raw_n399<0> _n58 bit_count_A$_n58$raw_n3c9<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$preamble_1$raw_n62<1> bit_count_A$_n6b$raw_n399<1> _n58 bit_count_A$_n58$raw_n3c9<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$preamble_1$raw_n62<2> bit_count_A$_n6b$raw_n399<2> _n58 bit_count_A$_n58$raw_n3c9<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$preamble_1$raw_n62<3> bit_count_A$_n6b$raw_n399<3> _n58 bit_count_A$_n58$raw_n3c9<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$preamble_1$raw_n62<4> bit_count_A$_n6b$raw_n399<4> _n58 bit_count_A$_n58$raw_n3c9<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$preamble_1$raw_n62<5> bit_count_A$_n6b$raw_n399<5> _n58 bit_count_A$_n58$raw_n3c9<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$preamble_1$raw_n62<6> bit_count_A$_n6b$raw_n399<6> _n58 bit_count_A$_n58$raw_n3c9<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv pc$_n58$raw_n3d1 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$preamble_1$raw_n6a pc$_n6b$raw_n3a1 _n58 pc$_n58$raw_n3d1
- - 0 =pc$_n6b$raw_n3a1
- - 1 =pc$preamble_1$raw_n6a
.names load_buff load_buff$_n6b$raw_n397 _n58 load_buff$_n58$raw_n3d6
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<0> bit_count_B$_n6b$raw_n3b2<0> _n58 bit_count_B$_n58$raw_n3d9<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<1> bit_count_B$_n6b$raw_n3b2<1> _n58 bit_count_B$_n58$raw_n3d9<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<2> bit_count_B$_n6b$raw_n3b2<2> _n58 bit_count_B$_n58$raw_n3d9<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<3> bit_count_B$_n6b$raw_n3b2<3> _n58 bit_count_B$_n58$raw_n3d9<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<4> bit_count_B$_n6b$raw_n3b2<4> _n58 bit_count_B$_n58$raw_n3d9<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<5> bit_count_B$_n6b$raw_n3b2<5> _n58 bit_count_B$_n58$raw_n3d9<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<6> bit_count_B$_n6b$raw_n3b2<6> _n58 bit_count_B$_n58$raw_n3d9<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<0> frame_counter$_n6b$raw_n3bb<0> _n58 frame_counter$_n58$raw_n3e2<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<1> frame_counter$_n6b$raw_n3bb<1> _n58 frame_counter$_n58$raw_n3e2<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<2> frame_counter$_n6b$raw_n3bb<2> _n58 frame_counter$_n58$raw_n3e2<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<3> frame_counter$_n6b$raw_n3bb<3> _n58 frame_counter$_n58$raw_n3e2<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<4> frame_counter$_n6b$raw_n3bb<4> _n58 frame_counter$_n58$raw_n3e2<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<5> frame_counter$_n6b$raw_n3bb<5> _n58 frame_counter$_n58$raw_n3e2<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<6> frame_counter$_n6b$raw_n3bb<6> _n58 frame_counter$_n58$raw_n3e2<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<7> frame_counter$_n6b$raw_n3bb<7> _n58 frame_counter$_n58$raw_n3e2<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<8> frame_counter$_n6b$raw_n3bb<8> _n58 frame_counter$_n58$raw_n3e2<8>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_A load_A$_n6b$raw_n3a2 _n58 load_A$_n58$raw_n3ec
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names rx_status_2 rx_status_2$_n6b$raw_n3c6 _n58 rx_status_2$_n58$raw_n3ee
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_B load_B$_n6b$raw_n3a4 _n58 load_B$_n58$raw_n3f0
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv pc$_n29$raw_n3f3 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$_n29_n57$true pc$_n58$raw_n3d1 _n29 pc$_n29$raw_n3f3
- - 0 =pc$_n58$raw_n3d1
- - 1 =pc$_n29_n57$true
.names clock_out$_n2c$raw_n52 clock_out _n29 clock_out$_n29$raw_n3f6
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_buff load_buff$_n58$raw_n3d6 _n29 load_buff$_n29$raw_n3f9
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<0> bit_count_A$_n58$raw_n3c9<0> _n29 bit_count_A$_n29$raw_n3fb<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<1> bit_count_A$_n58$raw_n3c9<1> _n29 bit_count_A$_n29$raw_n3fb<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<2> bit_count_A$_n58$raw_n3c9<2> _n29 bit_count_A$_n29$raw_n3fb<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<3> bit_count_A$_n58$raw_n3c9<3> _n29 bit_count_A$_n29$raw_n3fb<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<4> bit_count_A$_n58$raw_n3c9<4> _n29 bit_count_A$_n29$raw_n3fb<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<5> bit_count_A$_n58$raw_n3c9<5> _n29 bit_count_A$_n29$raw_n3fb<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<6> bit_count_A$_n58$raw_n3c9<6> _n29 bit_count_A$_n29$raw_n3fb<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<0> bit_count_B$_n58$raw_n3d9<0> _n29 bit_count_B$_n29$raw_n403<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<1> bit_count_B$_n58$raw_n3d9<1> _n29 bit_count_B$_n29$raw_n403<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<2> bit_count_B$_n58$raw_n3d9<2> _n29 bit_count_B$_n29$raw_n403<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<3> bit_count_B$_n58$raw_n3d9<3> _n29 bit_count_B$_n29$raw_n403<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<4> bit_count_B$_n58$raw_n3d9<4> _n29 bit_count_B$_n29$raw_n403<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<5> bit_count_B$_n58$raw_n3d9<5> _n29 bit_count_B$_n29$raw_n403<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<6> bit_count_B$_n58$raw_n3d9<6> _n29 bit_count_B$_n29$raw_n403<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<0> frame_counter$_n58$raw_n3e2<0> _n29 frame_counter$_n29$raw_n40c<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<1> frame_counter$_n58$raw_n3e2<1> _n29 frame_counter$_n29$raw_n40c<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<2> frame_counter$_n58$raw_n3e2<2> _n29 frame_counter$_n29$raw_n40c<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<3> frame_counter$_n58$raw_n3e2<3> _n29 frame_counter$_n29$raw_n40c<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<4> frame_counter$_n58$raw_n3e2<4> _n29 frame_counter$_n29$raw_n40c<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<5> frame_counter$_n58$raw_n3e2<5> _n29 frame_counter$_n29$raw_n40c<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<6> frame_counter$_n58$raw_n3e2<6> _n29 frame_counter$_n29$raw_n40c<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<7> frame_counter$_n58$raw_n3e2<7> _n29 frame_counter$_n29$raw_n40c<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<8> frame_counter$_n58$raw_n3e2<8> _n29 frame_counter$_n29$raw_n40c<8>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_A load_A$_n58$raw_n3ec _n29 load_A$_n29$raw_n416
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names rx_status_2 rx_status_2$_n58$raw_n3ee _n29 rx_status_2$_n29$raw_n418
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_B load_B$_n58$raw_n3f0 _n29 load_B$_n29$raw_n41a
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv pc$_n1f$raw_n41c 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$rx_control$raw_n27 pc$_n29$raw_n3f3 _n1f pc$_n1f$raw_n41c
- - 0 =pc$_n29$raw_n3f3
- - 1 =pc$rx_control$raw_n27
.names load_buff load_buff$_n29$raw_n3f9 _n1f load_buff$_n1f$raw_n41f
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<0> bit_count_A$_n29$raw_n3fb<0> _n1f bit_count_A$_n1f$raw_n421<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<1> bit_count_A$_n29$raw_n3fb<1> _n1f bit_count_A$_n1f$raw_n421<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<2> bit_count_A$_n29$raw_n3fb<2> _n1f bit_count_A$_n1f$raw_n421<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<3> bit_count_A$_n29$raw_n3fb<3> _n1f bit_count_A$_n1f$raw_n421<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<4> bit_count_A$_n29$raw_n3fb<4> _n1f bit_count_A$_n1f$raw_n421<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<5> bit_count_A$_n29$raw_n3fb<5> _n1f bit_count_A$_n1f$raw_n421<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A<6> bit_count_A$_n29$raw_n3fb<6> _n1f bit_count_A$_n1f$raw_n421<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names clock_out clock_out$_n29$raw_n3f6 _n1f clock_out$_n1f$raw_n429
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<0> bit_count_B$_n29$raw_n403<0> _n1f bit_count_B$_n1f$raw_n42b<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<1> bit_count_B$_n29$raw_n403<1> _n1f bit_count_B$_n1f$raw_n42b<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<2> bit_count_B$_n29$raw_n403<2> _n1f bit_count_B$_n1f$raw_n42b<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<3> bit_count_B$_n29$raw_n403<3> _n1f bit_count_B$_n1f$raw_n42b<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<4> bit_count_B$_n29$raw_n403<4> _n1f bit_count_B$_n1f$raw_n42b<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<5> bit_count_B$_n29$raw_n403<5> _n1f bit_count_B$_n1f$raw_n42b<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B<6> bit_count_B$_n29$raw_n403<6> _n1f bit_count_B$_n1f$raw_n42b<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<0> frame_counter$_n29$raw_n40c<0> _n1f frame_counter$_n1f$raw_n434<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<1> frame_counter$_n29$raw_n40c<1> _n1f frame_counter$_n1f$raw_n434<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<2> frame_counter$_n29$raw_n40c<2> _n1f frame_counter$_n1f$raw_n434<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<3> frame_counter$_n29$raw_n40c<3> _n1f frame_counter$_n1f$raw_n434<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<4> frame_counter$_n29$raw_n40c<4> _n1f frame_counter$_n1f$raw_n434<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<5> frame_counter$_n29$raw_n40c<5> _n1f frame_counter$_n1f$raw_n434<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<6> frame_counter$_n29$raw_n40c<6> _n1f frame_counter$_n1f$raw_n434<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<7> frame_counter$_n29$raw_n40c<7> _n1f frame_counter$_n1f$raw_n434<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter<8> frame_counter$_n29$raw_n40c<8> _n1f frame_counter$_n1f$raw_n434<8>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_A load_A$_n29$raw_n416 _n1f load_A$_n1f$raw_n43e
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names rx_status_2 rx_status_2$_n29$raw_n418 _n1f rx_status_2$_n1f$raw_n440
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_B load_B$_n29$raw_n41a _n1f load_B$_n1f$raw_n442
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# if/else (reset )
.names load_buff$reset_n1a$true load_buff$_n1f$raw_n41f reset load_buff$reset$raw_n44d
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$reset_n1b$true<0> bit_count_A$_n1f$raw_n421<0> reset bit_count_A$reset$raw_n44f<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$reset_n1b$true<1> bit_count_A$_n1f$raw_n421<1> reset bit_count_A$reset$raw_n44f<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$reset_n1b$true<2> bit_count_A$_n1f$raw_n421<2> reset bit_count_A$reset$raw_n44f<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$reset_n1b$true<3> bit_count_A$_n1f$raw_n421<3> reset bit_count_A$reset$raw_n44f<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$reset_n1b$true<4> bit_count_A$_n1f$raw_n421<4> reset bit_count_A$reset$raw_n44f<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$reset_n1b$true<5> bit_count_A$_n1f$raw_n421<5> reset bit_count_A$reset$raw_n44f<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_A$reset_n1b$true<6> bit_count_A$_n1f$raw_n421<6> reset bit_count_A$reset$raw_n44f<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$reset_n1c$true<0> bit_count_B$_n1f$raw_n42b<0> reset bit_count_B$reset$raw_n457<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$reset_n1c$true<1> bit_count_B$_n1f$raw_n42b<1> reset bit_count_B$reset$raw_n457<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$reset_n1c$true<2> bit_count_B$_n1f$raw_n42b<2> reset bit_count_B$reset$raw_n457<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$reset_n1c$true<3> bit_count_B$_n1f$raw_n42b<3> reset bit_count_B$reset$raw_n457<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$reset_n1c$true<4> bit_count_B$_n1f$raw_n42b<4> reset bit_count_B$reset$raw_n457<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$reset_n1c$true<5> bit_count_B$_n1f$raw_n42b<5> reset bit_count_B$reset$raw_n457<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names bit_count_B$reset_n1c$true<6> bit_count_B$_n1f$raw_n42b<6> reset bit_count_B$reset$raw_n457<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv pc$reset$raw_n45f 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names pc$reset_n1e$true pc$_n1f$raw_n41c reset pc$reset$raw_n45f
- - 0 =pc$_n1f$raw_n41c
- - 1 =pc$reset_n1e$true
.names frame_counter$reset_n1d$true<0> frame_counter$_n1f$raw_n434<0> reset frame_counter$reset$raw_n460<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$reset_n1d$true<1> frame_counter$_n1f$raw_n434<1> reset frame_counter$reset$raw_n460<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$reset_n1d$true<2> frame_counter$_n1f$raw_n434<2> reset frame_counter$reset$raw_n460<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$reset_n1d$true<3> frame_counter$_n1f$raw_n434<3> reset frame_counter$reset$raw_n460<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$reset_n1d$true<4> frame_counter$_n1f$raw_n434<4> reset frame_counter$reset$raw_n460<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$reset_n1d$true<5> frame_counter$_n1f$raw_n434<5> reset frame_counter$reset$raw_n460<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$reset_n1d$true<6> frame_counter$_n1f$raw_n434<6> reset frame_counter$reset$raw_n460<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$reset_n1d$true<7> frame_counter$_n1f$raw_n434<7> reset frame_counter$reset$raw_n460<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names frame_counter$reset_n1d$true<8> frame_counter$_n1f$raw_n434<8> reset frame_counter$reset$raw_n460<8>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_A$reset_n18$true load_A$_n1f$raw_n43e reset load_A$reset$raw_n46a
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names load_B$reset_n19$true load_B$_n1f$raw_n442 reset load_B$reset$raw_n46d
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names rx_status_2$reset_n17$true rx_status_2$_n1f$raw_n440 reset rx_status_2$reset$raw_n46f
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names rx_status_3$reset_n16$true rx_status_3 reset rx_status_3$reset$raw_n477
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names clock_out clock_out$_n1f$raw_n429 reset clock_out$reset$raw_n47c
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names reset _n485
- =reset
# shift_reg  = 0
.names shift_reg$reset_n486$true<0>
0
.names shift_reg$reset_n486$true<1>
0
.names shift_reg$reset_n486$true<2>
0
.names shift_reg$reset_n486$true<3>
0
.names shift_reg$reset_n486$true<4>
0
.names shift_reg$reset_n486$true<5>
0
.names shift_reg$reset_n486$true<6>
0
.names shift_reg$reset_n486$true<7>
0
.names shift_reg$reset_n486$true<8>
0
.names shift_reg$reset_n486$true<9>
0
.names shift_reg$reset_n486$true<10>
0
.names shift_reg$reset_n486$true<11>
0
.names shift_reg$reset_n486$true<12>
0
.names shift_reg$reset_n486$true<13>
0
.names shift_reg$reset_n486$true<14>
0
.names shift_reg$reset_n486$true<15>
0
.names shift_reg$reset_n486$true<16>
0
.names shift_reg$reset_n486$true<17>
0
.names shift_reg$reset_n486$true<18>
0
.names shift_reg$reset_n486$true<19>
0
# rx_status_1  = 0
.names rx_status_1$reset_n487$true
0
# rx_status_0  = 0
.names rx_status_0$reset_n488$true
0
.mv _n48a 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n48a
L0
# pc  != 0
.names pc _n48a _n489
.def 1
- =pc 0
.mv _n48c 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n48c
L1
# pc  != 1
.names pc _n48c _n48b
.def 1
- =pc 0
# pc  != 0 && pc  != 1
.names _n489 _n48b _n48d
.def 0
1 1 1
.names _n48d _n48e
- =_n48d
# shift_reg  = {shift_reg [18 : 0], bit_in }
.names bit_in _n490<0>
- =bit_in
.names _n491
0
.names shift_reg<0> _n490<1>
- =shift_reg<0>
.names shift_reg<1> _n490<2>
- =shift_reg<1>
.names shift_reg<2> _n490<3>
- =shift_reg<2>
.names shift_reg<3> _n490<4>
- =shift_reg<3>
.names shift_reg<4> _n490<5>
- =shift_reg<4>
.names shift_reg<5> _n490<6>
- =shift_reg<5>
.names shift_reg<6> _n490<7>
- =shift_reg<6>
.names shift_reg<7> _n490<8>
- =shift_reg<7>
.names shift_reg<8> _n490<9>
- =shift_reg<8>
.names shift_reg<9> _n490<10>
- =shift_reg<9>
.names shift_reg<10> _n490<11>
- =shift_reg<10>
.names shift_reg<11> _n490<12>
- =shift_reg<11>
.names shift_reg<12> _n490<13>
- =shift_reg<12>
.names shift_reg<13> _n490<14>
- =shift_reg<13>
.names shift_reg<14> _n490<15>
- =shift_reg<14>
.names shift_reg<15> _n490<16>
- =shift_reg<15>
.names shift_reg<16> _n490<17>
- =shift_reg<16>
.names shift_reg<17> _n490<18>
- =shift_reg<17>
.names shift_reg<18> _n490<19>
- =shift_reg<18>
.names _n490<0> shift_reg$_n48d_n48f$true<0>
- =_n490<0>
.names _n490<1> shift_reg$_n48d_n48f$true<1>
- =_n490<1>
.names _n490<2> shift_reg$_n48d_n48f$true<2>
- =_n490<2>
.names _n490<3> shift_reg$_n48d_n48f$true<3>
- =_n490<3>
.names _n490<4> shift_reg$_n48d_n48f$true<4>
- =_n490<4>
.names _n490<5> shift_reg$_n48d_n48f$true<5>
- =_n490<5>
.names _n490<6> shift_reg$_n48d_n48f$true<6>
- =_n490<6>
.names _n490<7> shift_reg$_n48d_n48f$true<7>
- =_n490<7>
.names _n490<8> shift_reg$_n48d_n48f$true<8>
- =_n490<8>
.names _n490<9> shift_reg$_n48d_n48f$true<9>
- =_n490<9>
.names _n490<10> shift_reg$_n48d_n48f$true<10>
- =_n490<10>
.names _n490<11> shift_reg$_n48d_n48f$true<11>
- =_n490<11>
.names _n490<12> shift_reg$_n48d_n48f$true<12>
- =_n490<12>
.names _n490<13> shift_reg$_n48d_n48f$true<13>
- =_n490<13>
.names _n490<14> shift_reg$_n48d_n48f$true<14>
- =_n490<14>
.names _n490<15> shift_reg$_n48d_n48f$true<15>
- =_n490<15>
.names _n490<16> shift_reg$_n48d_n48f$true<16>
- =_n490<16>
.names _n490<17> shift_reg$_n48d_n48f$true<17>
- =_n490<17>
.names _n490<18> shift_reg$_n48d_n48f$true<18>
- =_n490<18>
.names _n490<19> shift_reg$_n48d_n48f$true<19>
- =_n490<19>
.names carrier_loss _n492
- =carrier_loss
# rx_status_0  = 1
.names rx_status_0$carrier_loss_n493$true
1
# if/else (carrier_loss )
.names rx_status_0$carrier_loss_n493$true rx_status_0 carrier_loss rx_status_0$carrier_loss$raw_n498
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names biphase_violation _n49c
- =biphase_violation
# rx_status_1  = 1
.names rx_status_1$biphase_violation_n49d$true
1
# if/else (biphase_violation )
.names rx_status_1$biphase_violation_n49d$true rx_status_1 biphase_violation rx_status_1$biphase_violation$raw_n4a6
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# if/else (pc  != 0 && pc  != 1)
.names rx_status_0$carrier_loss$raw_n498 rx_status_0 _n48d rx_status_0$_n48d$raw_n4b0
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<0> shift_reg<0> _n48d shift_reg$_n48d$raw_n4b2<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<1> shift_reg<1> _n48d shift_reg$_n48d$raw_n4b2<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<2> shift_reg<2> _n48d shift_reg$_n48d$raw_n4b2<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<3> shift_reg<3> _n48d shift_reg$_n48d$raw_n4b2<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<4> shift_reg<4> _n48d shift_reg$_n48d$raw_n4b2<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<5> shift_reg<5> _n48d shift_reg$_n48d$raw_n4b2<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<6> shift_reg<6> _n48d shift_reg$_n48d$raw_n4b2<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<7> shift_reg<7> _n48d shift_reg$_n48d$raw_n4b2<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<8> shift_reg<8> _n48d shift_reg$_n48d$raw_n4b2<8>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<9> shift_reg<9> _n48d shift_reg$_n48d$raw_n4b2<9>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<10> shift_reg<10> _n48d shift_reg$_n48d$raw_n4b2<10>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<11> shift_reg<11> _n48d shift_reg$_n48d$raw_n4b2<11>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<12> shift_reg<12> _n48d shift_reg$_n48d$raw_n4b2<12>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<13> shift_reg<13> _n48d shift_reg$_n48d$raw_n4b2<13>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<14> shift_reg<14> _n48d shift_reg$_n48d$raw_n4b2<14>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<15> shift_reg<15> _n48d shift_reg$_n48d$raw_n4b2<15>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<16> shift_reg<16> _n48d shift_reg$_n48d$raw_n4b2<16>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<17> shift_reg<17> _n48d shift_reg$_n48d$raw_n4b2<17>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<18> shift_reg<18> _n48d shift_reg$_n48d$raw_n4b2<18>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$_n48d_n48f$true<19> shift_reg<19> _n48d shift_reg$_n48d$raw_n4b2<19>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names rx_status_1$biphase_violation$raw_n4a6 rx_status_1 _n48d rx_status_1$_n48d$raw_n4c7
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# if/else (reset )
.names rx_status_0$reset_n488$true rx_status_0$_n48d$raw_n4b0 reset rx_status_0$reset$raw_n4cc
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<0> shift_reg$_n48d$raw_n4b2<0> reset shift_reg$reset$raw_n4ce<0>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<1> shift_reg$_n48d$raw_n4b2<1> reset shift_reg$reset$raw_n4ce<1>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<2> shift_reg$_n48d$raw_n4b2<2> reset shift_reg$reset$raw_n4ce<2>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<3> shift_reg$_n48d$raw_n4b2<3> reset shift_reg$reset$raw_n4ce<3>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<4> shift_reg$_n48d$raw_n4b2<4> reset shift_reg$reset$raw_n4ce<4>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<5> shift_reg$_n48d$raw_n4b2<5> reset shift_reg$reset$raw_n4ce<5>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<6> shift_reg$_n48d$raw_n4b2<6> reset shift_reg$reset$raw_n4ce<6>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<7> shift_reg$_n48d$raw_n4b2<7> reset shift_reg$reset$raw_n4ce<7>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<8> shift_reg$_n48d$raw_n4b2<8> reset shift_reg$reset$raw_n4ce<8>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<9> shift_reg$_n48d$raw_n4b2<9> reset shift_reg$reset$raw_n4ce<9>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<10> shift_reg$_n48d$raw_n4b2<10> reset shift_reg$reset$raw_n4ce<10>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<11> shift_reg$_n48d$raw_n4b2<11> reset shift_reg$reset$raw_n4ce<11>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<12> shift_reg$_n48d$raw_n4b2<12> reset shift_reg$reset$raw_n4ce<12>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<13> shift_reg$_n48d$raw_n4b2<13> reset shift_reg$reset$raw_n4ce<13>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<14> shift_reg$_n48d$raw_n4b2<14> reset shift_reg$reset$raw_n4ce<14>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<15> shift_reg$_n48d$raw_n4b2<15> reset shift_reg$reset$raw_n4ce<15>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<16> shift_reg$_n48d$raw_n4b2<16> reset shift_reg$reset$raw_n4ce<16>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<17> shift_reg$_n48d$raw_n4b2<17> reset shift_reg$reset$raw_n4ce<17>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<18> shift_reg$_n48d$raw_n4b2<18> reset shift_reg$reset$raw_n4ce<18>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names shift_reg$reset_n486$true<19> shift_reg$_n48d$raw_n4b2<19> reset shift_reg$reset$raw_n4ce<19>
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.names rx_status_1$reset_n487$true rx_status_1$_n48d$raw_n4c7 reset rx_status_1$reset$raw_n4e3
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
.mv _n4ec 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n4ec
L2
# pc  == 2
.names pc _n4ec _n4eb
.def 0
- =pc 1
# reset  || pc  == 2
.names reset _n4eb _n4ed
.def 1
0 0 0
.mv _n4ef 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n4ef
L4
# pc  == 4
.names pc _n4ef _n4ee
.def 0
- =pc 1
# reset  || pc  == 2 || pc  == 4
.names _n4ed _n4ee _n4f0
.def 1
0 0 0
.mv _n4f2 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n4f2
L6
# pc  == 6
.names pc _n4f2 _n4f1
.def 0
- =pc 1
# reset  || pc  == 2 || pc  == 4 || pc  == 6
.names _n4f0 _n4f1 _n4f3
.def 1
0 0 0
.mv _n4f5 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n4f5
L8
# pc  == 8
.names pc _n4f5 _n4f4
.def 0
- =pc 1
# reset  || pc  == 2 || pc  == 4 || pc  == 6 || pc  == 8
.names _n4f3 _n4f4 _n4f6
.def 1
0 0 0
.names _n4f6 _n4f7
- =_n4f6
# parity  = 0
.names parity$_n4f6_n4f8$true
0
.mv _n4fa 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n4fa
L0
# pc  != 0
.names pc _n4fa _n4f9
.def 1
- =pc 0
.mv _n4fc 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n4fc
L1
# pc  != 1
.names pc _n4fc _n4fb
.def 1
- =pc 0
# pc  != 0 && pc  != 1
.names _n4f9 _n4fb _n4fd
.def 0
1 1 1
.names _n4fd _n4fe
- =_n4fd
# parity  = parity  ^ bit_in 
# parity  ^ bit_in 
.names parity bit_in _n500
.def 0
0 1 1
1 0 1
.names _n500 parity$_n4fd_n4ff$true
- =_n500
# if/else (pc  != 0 && pc  != 1)
.names parity$_n4fd_n4ff$true parity _n4fd parity$_n4fd$raw_n503
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# if/else (reset  || pc  == 2 || pc  == 4 || pc  == 6 || pc  == 8)
.names parity$_n4f6_n4f8$true parity$_n4fd$raw_n503 _n4f6 parity$_n4f6$raw_n506
0 - 1 0
1 - 1 1
- 0 0 0
- 1 0 1
# conflict arbitrators
.names _n485 _n48e _n492 _n50a
.def 0
 1 - - 1
 0 1 1 1
.names _n50a rx_status_0$reset$raw_n4cc rx_status_0 _n50b 
1 0 - 0
1 1 - 1
0 - 0 0
0 - 1 1
.names _n15 _n1f _n29 _n58 _n6b _n7b _n98 _naa _ndc _ne2 _n145 _n169 _n179 _n1ad _n1b2 _n1d8 _n50c
.def 0
 1 - - - - - - - - - - - - - - - 1
 0 0 0 0 1 1 1 - - - - - - - - - 1
 0 0 0 0 1 1 - 1 - - - - - - - - 1
 0 0 0 0 0 - - - 0 0 0 1 1 1 1 - 1
 0 0 0 0 0 - - - 0 0 0 1 1 - - 1 1
.names _n50c load_buff$reset$raw_n44d load_buff _n50d 
1 0 - 0
1 1 - 1
0 - 0 0
0 - 1 1
.names _n15 _n1f _n29 _n58 _n5b _n6b _n7b _ndc _ne2 _n145 _n157 _n169 _n179 _n50e
.def 0
 1 - - - - - - - - - - - - 1
 0 0 0 1 1 - - - - - - - - 1
 0 0 0 0 - 1 1 - - - - - - 1
 0 0 0 0 - 0 - 0 0 1 1 - - 1
 0 0 0 0 - 0 - 0 0 0 - 1 1 1
.names _n50e bit_count_A$reset$raw_n44f<0> bit_count_A$reset$raw_n44f<1> bit_count_A$reset$raw_n44f<2> bit_count_A$reset$raw_n44f<3> bit_count_A$reset$raw_n44f<4> bit_count_A$reset$raw_n44f<5> bit_count_A$reset$raw_n44f<6> bit_count_A<0> bit_count_A<1> bit_count_A<2> bit_count_A<3> bit_count_A<4> bit_count_A<5> bit_count_A<6> -> _n50f<0> _n50f<1> _n50f<2> _n50f<3> _n50f<4> _n50f<5> _n50f<6> 
1 - - - - - - - - - - - - - - =bit_count_A$reset$raw_n44f<0> =bit_count_A$reset$raw_n44f<1> =bit_count_A$reset$raw_n44f<2> =bit_count_A$reset$raw_n44f<3> =bit_count_A$reset$raw_n44f<4> =bit_count_A$reset$raw_n44f<5> =bit_count_A$reset$raw_n44f<6> 
0 - - - - - - - - - - - - - - =bit_count_A<0> =bit_count_A<1> =bit_count_A<2> =bit_count_A<3> =bit_count_A<4> =bit_count_A<5> =bit_count_A<6> 
.names _n15 _n1f _n29 _n2c _n32 _n38 _n3e _n510
.def 0
 0 0 1 1 - - - 1
 0 0 1 0 1 - - 1
 0 0 1 0 0 1 - 1
 0 0 1 0 0 0 1 1
.names _n510 clock_out$reset$raw_n47c clock_out _n511 
1 0 - 0
1 1 - 1
0 - 0 0
0 - 1 1
.names _n15 _n1f _n29 _n58 _n6b _ndc _ne2 _nf2 _n145 _n169 _n212 _n217 _n227 _n512
.def 0
 1 - - - - - - - - - - - - 1
 0 0 0 0 0 1 - - - - - - - 1
 0 0 0 0 0 0 1 1 - - - - - 1
 0 0 0 0 0 0 0 - 0 0 1 - - 1
 0 0 0 0 0 0 0 - 0 0 0 1 1 1
.names _n512 bit_count_B$reset$raw_n457<0> bit_count_B$reset$raw_n457<1> bit_count_B$reset$raw_n457<2> bit_count_B$reset$raw_n457<3> bit_count_B$reset$raw_n457<4> bit_count_B$reset$raw_n457<5> bit_count_B$reset$raw_n457<6> bit_count_B<0> bit_count_B<1> bit_count_B<2> bit_count_B<3> bit_count_B<4> bit_count_B<5> bit_count_B<6> -> _n513<0> _n513<1> _n513<2> _n513<3> _n513<4> _n513<5> _n513<6> 
1 - - - - - - - - - - - - - - =bit_count_B$reset$raw_n457<0> =bit_count_B$reset$raw_n457<1> =bit_count_B$reset$raw_n457<2> =bit_count_B$reset$raw_n457<3> =bit_count_B$reset$raw_n457<4> =bit_count_B$reset$raw_n457<5> =bit_count_B$reset$raw_n457<6> 
0 - - - - - - - - - - - - - - =bit_count_B<0> =bit_count_B<1> =bit_count_B<2> =bit_count_B<3> =bit_count_B<4> =bit_count_B<5> =bit_count_B<6> 
.names _n15 _n1f _n22 _n29 _n58 _n5b _n6b _n7b _ndc _ne2 _nf2 _n145 _n157 _n169 _n179 _n212 _n217 _n227 _n27a _n514
.def 0
 1 - - - - - - - - - - - - - - - - - - 1
 0 1 1 - - - - - - - - - - - - - - - - 1
 0 0 - 1 - - - - - - - - - - - - - - - 1
 0 0 - 0 1 1 - - - - - - - - - - - - - 1
 0 0 - 0 0 - 1 0 - - - - - - - - - - - 1
 0 0 - 0 0 - 0 - 1 - - - - - - - - - - 1
 0 0 - 0 0 - 0 - 0 1 0 - - - - - - - - 1
 0 0 - 0 0 - 0 - 0 0 - 1 1 - - - - - - 1
 0 0 - 0 0 - 0 - 0 0 - 1 0 - - - - - - 1
 0 0 - 0 0 - 0 - 0 0 - 0 - 1 0 - - - - 1
 0 0 - 0 0 - 0 - 0 0 - 0 - 0 - 1 - - - 1
 0 0 - 0 0 - 0 - 0 0 - 0 - 0 - 0 1 0 - 1
 0 0 - 0 0 - 0 - 0 0 - 0 - 0 - 0 0 - 1 1
.mv _n515 11 L0 L1 L2 L3 L4 L5 L6 L7 L8 L9 L10 
.names _n514 pc$reset$raw_n45f pc _n515 
1 - - =pc$reset$raw_n45f
0 - - =pc
.names _n4f7 _n4fe _n51a
.def 0
 1 - 1
 0 1 1
.names _n51a parity$_n4f6$raw_n506 parity _n51b 
1 0 - 0
1 1 - 1
0 - 0 0
0 - 1 1
.names _n485 _n48e _n51c
.def 0
 1 - 1
 0 1 1
.names _n51c shift_reg$reset$raw_n4ce<0> shift_reg$reset$raw_n4ce<1> shift_reg$reset$raw_n4ce<2> shift_reg$reset$raw_n4ce<3> shift_reg$reset$raw_n4ce<4> shift_reg$reset$raw_n4ce<5> shift_reg$reset$raw_n4ce<6> shift_reg$reset$raw_n4ce<7> shift_reg$reset$raw_n4ce<8> shift_reg$reset$raw_n4ce<9> shift_reg$reset$raw_n4ce<10> shift_reg$reset$raw_n4ce<11> shift_reg$reset$raw_n4ce<12> shift_reg$reset$raw_n4ce<13> shift_reg$reset$raw_n4ce<14> shift_reg$reset$raw_n4ce<15> shift_reg$reset$raw_n4ce<16> shift_reg$reset$raw_n4ce<17> shift_reg$reset$raw_n4ce<18> shift_reg$reset$raw_n4ce<19> shift_reg<0> shift_reg<1> shift_reg<2> shift_reg<3> shift_reg<4> shift_reg<5> shift_reg<6> shift_reg<7> shift_reg<8> shift_reg<9> shift_reg<10> shift_reg<11> shift_reg<12> shift_reg<13> shift_reg<14> shift_reg<15> shift_reg<16> shift_reg<17> shift_reg<18> shift_reg<19> -> _n51d<0> _n51d<1> _n51d<2> _n51d<3> _n51d<4> _n51d<5> _n51d<6> _n51d<7> _n51d<8> _n51d<9> _n51d<10> _n51d<11> _n51d<12> _n51d<13> _n51d<14> _n51d<15> _n51d<16> _n51d<17> _n51d<18> _n51d<19> 
1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - =shift_reg$reset$raw_n4ce<0> =shift_reg$reset$raw_n4ce<1> =shift_reg$reset$raw_n4ce<2> =shift_reg$reset$raw_n4ce<3> =shift_reg$reset$raw_n4ce<4> =shift_reg$reset$raw_n4ce<5> =shift_reg$reset$raw_n4ce<6> =shift_reg$reset$raw_n4ce<7> =shift_reg$reset$raw_n4ce<8> =shift_reg$reset$raw_n4ce<9> =shift_reg$reset$raw_n4ce<10> =shift_reg$reset$raw_n4ce<11> =shift_reg$reset$raw_n4ce<12> =shift_reg$reset$raw_n4ce<13> =shift_reg$reset$raw_n4ce<14> =shift_reg$reset$raw_n4ce<15> =shift_reg$reset$raw_n4ce<16> =shift_reg$reset$raw_n4ce<17> =shift_reg$reset$raw_n4ce<18> =shift_reg$reset$raw_n4ce<19> 
0 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - =shift_reg<0> =shift_reg<1> =shift_reg<2> =shift_reg<3> =shift_reg<4> =shift_reg<5> =shift_reg<6> =shift_reg<7> =shift_reg<8> =shift_reg<9> =shift_reg<10> =shift_reg<11> =shift_reg<12> =shift_reg<13> =shift_reg<14> =shift_reg<15> =shift_reg<16> =shift_reg<17> =shift_reg<18> =shift_reg<19> 
.names _n15 _n1f _n29 _n58 _n6b _ndc _ne2 _n145 _n169 _n212 _n217 _n27a _n51e
.def 0
 1 - - - - - - - - - - - 1
 0 0 0 0 0 1 - - - - - - 1
 0 0 0 0 0 0 0 0 0 0 0 1 1
.names _n51e frame_counter$reset$raw_n460<0> frame_counter$reset$raw_n460<1> frame_counter$reset$raw_n460<2> frame_counter$reset$raw_n460<3> frame_counter$reset$raw_n460<4> frame_counter$reset$raw_n460<5> frame_counter$reset$raw_n460<6> frame_counter$reset$raw_n460<7> frame_counter$reset$raw_n460<8> frame_counter<0> frame_counter<1> frame_counter<2> frame_counter<3> frame_counter<4> frame_counter<5> frame_counter<6> frame_counter<7> frame_counter<8> -> _n51f<0> _n51f<1> _n51f<2> _n51f<3> _n51f<4> _n51f<5> _n51f<6> _n51f<7> _n51f<8> 
1 - - - - - - - - - - - - - - - - - - =frame_counter$reset$raw_n460<0> =frame_counter$reset$raw_n460<1> =frame_counter$reset$raw_n460<2> =frame_counter$reset$raw_n460<3> =frame_counter$reset$raw_n460<4> =frame_counter$reset$raw_n460<5> =frame_counter$reset$raw_n460<6> =frame_counter$reset$raw_n460<7> =frame_counter$reset$raw_n460<8> 
0 - - - - - - - - - - - - - - - - - - =frame_counter<0> =frame_counter<1> =frame_counter<2> =frame_counter<3> =frame_counter<4> =frame_counter<5> =frame_counter<6> =frame_counter<7> =frame_counter<8> 
.names _n15 _n520
.def 0
 1 1
.names _n520 rx_status_3$reset$raw_n477 rx_status_3 _n521 
1 0 - 0
1 1 - 1
0 - 0 0
0 - 1 1
.names _n15 _n1f _n29 _n58 _n6b _n7b _n80 _ndc _ne2 _nf2 _n114 _n145 _n169 _n179 _n18d _n212 _n217 _n227 _n249 _n522
.def 0
 1 - - - - - - - - - - - - - - - - - - 1
 0 0 0 0 1 1 1 - - - - - - - - - - - - 1
 0 0 0 0 0 - - 0 1 1 1 - - - - - - - - 1
 0 0 0 0 0 - - 0 0 - - 0 1 1 1 - - - - 1
 0 0 0 0 0 - - 0 0 - - 0 0 - - 0 1 1 1 1
.names _n522 load_A$reset$raw_n46a load_A _n523 
1 0 - 0
1 1 - 1
0 - 0 0
0 - 1 1
.names rx_status$raw_n0<0>  rx_status<0>
- =rx_status$raw_n0<0>
.names rx_status$raw_n0<1>  rx_status<1>
- =rx_status$raw_n0<1>
.names rx_status$raw_n0<2>  rx_status<2>
- =rx_status$raw_n0<2>
.names rx_status$raw_n0<3>  rx_status<3>
- =rx_status$raw_n0<3>
.names _n15 _n1f _n29 _n58 _n6b _ndc _ne2 _nf2 _nfc _n145 _n169 _n179 _n183 _n212 _n217 _n227 _n231 _n524
.def 0
 1 - - - - - - - - - - - - - - - - 1
 0 0 0 0 0 0 1 1 1 - - - - - - - - 1
 0 0 0 0 0 0 0 - - 0 1 1 1 - - - - 1
 0 0 0 0 0 0 0 - - 0 0 - - 0 1 1 1 1
.names _n524 rx_status_2$reset$raw_n46f rx_status_2 _n525 
1 0 - 0
1 1 - 1
0 - 0 0
0 - 1 1
.names frame_ofs$raw_n14<0>  frame_ofs<0>
- =frame_ofs$raw_n14<0>
.names frame_ofs$raw_n14<1>  frame_ofs<1>
- =frame_ofs$raw_n14<1>
.names _n15 _n1f _n29 _n58 _n6b _n7b _n8a _ndc _ne2 _nf2 _n106 _n145 _n169 _n179 _n19b _n212 _n217 _n227 _n23b _n526
.def 0
 1 - - - - - - - - - - - - - - - - - - 1
 0 0 0 0 1 1 1 - - - - - - - - - - - - 1
 0 0 0 0 0 - - 0 1 1 1 - - - - - - - - 1
 0 0 0 0 0 - - 0 0 - - 0 1 1 1 - - - - 1
 0 0 0 0 0 - - 0 0 - - 0 0 - - 0 1 1 1 1
.names _n526 load_B$reset$raw_n46d load_B _n527 
1 0 - 0
1 1 - 1
0 - 0 0
0 - 1 1
.names _n485 _n48e _n49c _n528
.def 0
 1 - - 1
 0 1 1 1
.names _n528 rx_status_1$reset$raw_n4e3 rx_status_1 _n529 
1 0 - 0
1 1 - 1
0 - 0 0
0 - 1 1
# non-blocking assignments 
# latches
.r load_buff$raw_n11 load_buff
0 0
1 1
.latch _n50d load_buff
.r rx_status_0$raw_nd rx_status_0
0 0
1 1
.latch _n50b rx_status_0
.r clock_out$raw_n9 clock_out
0 0
1 1
.latch _n511 clock_out
.r bit_count_A$raw_n6<0> bit_count_A<0>
.def 0
1 1
.r bit_count_A$raw_n6<1> bit_count_A<1>
.def 0
1 1
.r bit_count_A$raw_n6<2> bit_count_A<2>
.def 0
1 1
.r bit_count_A$raw_n6<3> bit_count_A<3>
.def 0
1 1
.r bit_count_A$raw_n6<4> bit_count_A<4>
.def 0
1 1
.r bit_count_A$raw_n6<5> bit_count_A<5>
.def 0
1 1
.r bit_count_A$raw_n6<6> bit_count_A<6>
.def 0
1 1
.latch _n50f<0> bit_count_A<0>
.latch _n50f<1> bit_count_A<1>
.latch _n50f<2> bit_count_A<2>
.latch _n50f<3> bit_count_A<3>
.latch _n50f<4> bit_count_A<4>
.latch _n50f<5> bit_count_A<5>
.latch _n50f<6> bit_count_A<6>
.r bit_count_B$raw_n7<0> bit_count_B<0>
.def 0
1 1
.r bit_count_B$raw_n7<1> bit_count_B<1>
.def 0
1 1
.r bit_count_B$raw_n7<2> bit_count_B<2>
.def 0
1 1
.r bit_count_B$raw_n7<3> bit_count_B<3>
.def 0
1 1
.r bit_count_B$raw_n7<4> bit_count_B<4>
.def 0
1 1
.r bit_count_B$raw_n7<5> bit_count_B<5>
.def 0
1 1
.r bit_count_B$raw_n7<6> bit_count_B<6>
.def 0
1 1
.latch _n513<0> bit_count_B<0>
.latch _n513<1> bit_count_B<1>
.latch _n513<2> bit_count_B<2>
.latch _n513<3> bit_count_B<3>
.latch _n513<4> bit_count_B<4>
.latch _n513<5> bit_count_B<5>
.latch _n513<6> bit_count_B<6>
.r parity$raw_ne parity
0 0
1 1
.latch _n51b parity
.r pc$raw_n13 pc
- =pc$raw_n13
.latch _n515 pc
.r shift_reg$raw_n12<0> shift_reg<0>
.def 0
1 1
.r shift_reg$raw_n12<1> shift_reg<1>
.def 0
1 1
.r shift_reg$raw_n12<2> shift_reg<2>
.def 0
1 1
.r shift_reg$raw_n12<3> shift_reg<3>
.def 0
1 1
.r shift_reg$raw_n12<4> shift_reg<4>
.def 0
1 1
.r shift_reg$raw_n12<5> shift_reg<5>
.def 0
1 1
.r shift_reg$raw_n12<6> shift_reg<6>
.def 0
1 1
.r shift_reg$raw_n12<7> shift_reg<7>
.def 0
1 1
.r shift_reg$raw_n12<8> shift_reg<8>
.def 0
1 1
.r shift_reg$raw_n12<9> shift_reg<9>
.def 0
1 1
.r shift_reg$raw_n12<10> shift_reg<10>
.def 0
1 1
.r shift_reg$raw_n12<11> shift_reg<11>
.def 0
1 1
.r shift_reg$raw_n12<12> shift_reg<12>
.def 0
1 1
.r shift_reg$raw_n12<13> shift_reg<13>
.def 0
1 1
.r shift_reg$raw_n12<14> shift_reg<14>
.def 0
1 1
.r shift_reg$raw_n12<15> shift_reg<15>
.def 0
1 1
.r shift_reg$raw_n12<16> shift_reg<16>
.def 0
1 1
.r shift_reg$raw_n12<17> shift_reg<17>
.def 0
1 1
.r shift_reg$raw_n12<18> shift_reg<18>
.def 0
1 1
.r shift_reg$raw_n12<19> shift_reg<19>
.def 0
1 1
.latch _n51d<0> shift_reg<0>
.latch _n51d<1> shift_reg<1>
.latch _n51d<2> shift_reg<2>
.latch _n51d<3> shift_reg<3>
.latch _n51d<4> shift_reg<4>
.latch _n51d<5> shift_reg<5>
.latch _n51d<6> shift_reg<6>
.latch _n51d<7> shift_reg<7>
.latch _n51d<8> shift_reg<8>
.latch _n51d<9> shift_reg<9>
.latch _n51d<10> shift_reg<10>
.latch _n51d<11> shift_reg<11>
.latch _n51d<12> shift_reg<12>
.latch _n51d<13> shift_reg<13>
.latch _n51d<14> shift_reg<14>
.latch _n51d<15> shift_reg<15>
.latch _n51d<16> shift_reg<16>
.latch _n51d<17> shift_reg<17>
.latch _n51d<18> shift_reg<18>
.latch _n51d<19> shift_reg<19>
.r frame_counter$raw_n8<0> frame_counter<0>
.def 0
1 1
.r frame_counter$raw_n8<1> frame_counter<1>
.def 0
1 1
.r frame_counter$raw_n8<2> frame_counter<2>
.def 0
1 1
.r frame_counter$raw_n8<3> frame_counter<3>
.def 0
1 1
.r frame_counter$raw_n8<4> frame_counter<4>
.def 0
1 1
.r frame_counter$raw_n8<5> frame_counter<5>
.def 0
1 1
.r frame_counter$raw_n8<6> frame_counter<6>
.def 0
1 1
.r frame_counter$raw_n8<7> frame_counter<7>
.def 0
1 1
.r frame_counter$raw_n8<8> frame_counter<8>
.def 0
1 1
.latch _n51f<0> frame_counter<0>
.latch _n51f<1> frame_counter<1>
.latch _n51f<2> frame_counter<2>
.latch _n51f<3> frame_counter<3>
.latch _n51f<4> frame_counter<4>
.latch _n51f<5> frame_counter<5>
.latch _n51f<6> frame_counter<6>
.latch _n51f<7> frame_counter<7>
.latch _n51f<8> frame_counter<8>
.r load_A$raw_nf load_A
0 0
1 1
.latch _n523 load_A
.r rx_status_3$raw_na rx_status_3
0 0
1 1
.latch _n521 rx_status_3
.r load_B$raw_n10 load_B
0 0
1 1
.latch _n527 load_B
.r rx_status_2$raw_nb rx_status_2
0 0
1 1
.latch _n525 rx_status_2
.r rx_status_1$raw_nc rx_status_1
0 0
1 1
.latch _n529 rx_status_1
# quasi-continuous assignment
.end