URL
https://opencores.org/ocsvn/socgen/socgen/trunk
Subversion Repositories socgen
[/] [socgen/] [trunk/] [tools/] [fizzim/] [examples/] [prep4.fzm] - Rev 117
Compare with Previous | Blame | View Log
## File last modified by Fizzim: 2:32:23 PM on 3/2/11<version>11.03.02</version><globals><machine><name><status>ABS</status><value>prep4<status>GLOBAL_VAR</status></value><vis>0<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>-1</page></name><clock><status>ABS</status><value>clk<status>GLOBAL_VAR</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>posedge<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>-1</page></clock><reset_signal><status>ABS</status><value>rst_n<status>GLOBAL_VAR</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>negedge<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>-1</page></reset_signal><reset_state><status>ABS</status><value>S0<status>GLOBAL_VAR</status></value><vis>0<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>-1</page></reset_state><default_state_is_x><status>GLOBAL_FIXED</status><value>1<status>GLOBAL_VAR</status></value><vis>0<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>-1</page></default_state_is_x></machine><inputs><in[7:0]><status>GLOBAL_FIXED</status><value><status>GLOBAL_VAR</status></value><vis>0<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>-1</page></in[7:0]><clk><status>GLOBAL_FIXED</status><value><status>GLOBAL_VAR</status></value><vis>0<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>-1</page></clk><rst_n><status>GLOBAL_FIXED</status><value><status>GLOBAL_VAR</status></value><vis>0<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>-1</page></rst_n></inputs><outputs><out[7:0]><status>GLOBAL_FIXED</status><value><status>GLOBAL_VAR</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>regdp<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval>'h00<status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>-1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value><status>GLOBAL_VAR</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>reg<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>-1</page></FORCESTATE[3:0]></outputs><state><name><status>ABS</status><value>def_name<status>GLOBAL_VAR</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>-1</page></name><out[7:0]><status>GLOBAL_FIXED</status><value><status>GLOBAL_VAR</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval>'h00<status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>-1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value><status>GLOBAL_VAR</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>-1</page></FORCESTATE[3:0]></state><trans><name><status>ABS</status><value>def_name<status>GLOBAL_VAR</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>-1</page></name><equation><status>ABS</status><value>1<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>-1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>-1</page></priority></trans></globals><tabs>Page 1</tabs>## START PREFERENCES<SCounter>17</SCounter><TCounter>41</TCounter><TableVis>true</TableVis><TableSpace>20</TableSpace><TableFont>Arial11</TableFont><TableColor>-16777216</TableColor><Font>Arial14</Font><Grid>false25</Grid><PageSizeW>2000</PageSizeW><PageSizeH>1500</PageSizeH><StateW>130</StateW><StateH>130</StateH>## END PREFERENCES## START OBJECTS<textObj>fzm_globalTable<x>10</x><y>10</y><page>1</page></textObj>## START STATE OBJECT<state><attributes><name><status>ABS</status><value>S2<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><out[7:0]><status>GLOBAL_FIXED</status><value>'h18<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>-1</x2Obj><y2Obj>15</y2Obj><page>1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value>4'd2<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></FORCESTATE[3:0]></attributes><x0>850</x0><y0>200</y0><x1>940</x1><y1>290</y1><reset>false</reset><page>1</page><color>-16777216</color></state>## END STATE OBJECT## START STATE OBJECT<state><attributes><name><status>ABS</status><value>S1<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><out[7:0]><status>GLOBAL_FIXED</status><value>'h06<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>2</x2Obj><y2Obj>9</y2Obj><page>1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value>4'd1<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></FORCESTATE[3:0]></attributes><x0>276</x0><y0>275</y0><x1>366</x1><y1>365</y1><reset>false</reset><page>1</page><color>-16777216</color></state>## END STATE OBJECT## START STATE OBJECT<state><attributes><name><status>ABS</status><value>S0<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><out[7:0]><status>GLOBAL_FIXED</status><value>'h00<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>1</x2Obj><y2Obj>9</y2Obj><page>1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value>4'd0<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></FORCESTATE[3:0]></attributes><x0>700</x0><y0>50</y0><x1>790</x1><y1>140</y1><reset>true</reset><page>1</page><color>-16777216</color></state>## END STATE OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans0<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in < 4<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>41</x2Obj><y2Obj>0</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>2<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-65485<status>LOCAL</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>25</x2Obj><y2Obj>8</y2Obj><page>1</page></priority></attributes><startState>S0</startState><endState>S1</endState><startPtX>710.0</startPtX><startPtY>123.0</startPtY><endPtX>355.0</endPtX><endPtY>291.0</endPtY><startCtrlPtX>648.0</startCtrlPtX><startCtrlPtY>164.0</startCtrlPtY><endCtrlPtY>449.0</endCtrlPtY><endCtrlPtY>231.0</endCtrlPtY><startStateIndex>14</startStateIndex><endStateIndex>32</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans1<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in < 32<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>20</x2Obj><y2Obj>-3</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>3<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-65485<status>LOCAL</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>33</x2Obj><y2Obj>-38</y2Obj><page>1</page></priority></attributes><startState>S0</startState><endState>S2</endState><startPtX>779.0</startPtX><startPtY>123.0</startPtY><endPtX>860.0</endPtX><endPtY>216.0</endPtY><startCtrlPtX>794.0</startCtrlPtX><startCtrlPtY>126.0</startCtrlPtY><endCtrlPtY>855.0</endCtrlPtY><endCtrlPtY>200.0</endCtrlPtY><startStateIndex>4</startStateIndex><endStateIndex>22</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE OBJECT<state><attributes><name><status>ABS</status><value>S3<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><out[7:0]><status>GLOBAL_FIXED</status><value>'h60<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>1</x2Obj><y2Obj>14</y2Obj><page>1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value>4'd3<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></FORCESTATE[3:0]></attributes><x0>1200</x0><y0>250</y0><x1>1290</x1><y1>340</y1><reset>false</reset><page>1</page><color>-16777216</color></state>## END STATE OBJECT## START STATE OBJECT<state><attributes><name><status>ABS</status><value>S5<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><out[7:0]><status>GLOBAL_FIXED</status><value>'hF0<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>16</y2Obj><page>1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value>4'd5<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></FORCESTATE[3:0]></attributes><x0>1200</x0><y0>400</y0><x1>1290</x1><y1>490</y1><reset>false</reset><page>1</page><color>-16777216</color></state>## END STATE OBJECT## START STATE OBJECT<state><attributes><name><status>ABS</status><value>S7<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><out[7:0]><status>GLOBAL_FIXED</status><value>'h3F<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>1</x2Obj><y2Obj>12</y2Obj><page>1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value>4'd7<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></FORCESTATE[3:0]></attributes><x0>1200</x0><y0>525</y0><x1>1290</x1><y1>615</y1><reset>false</reset><page>1</page><color>-16777216</color></state>## END STATE OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans2<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>1<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S3</startState><endState>S5</endState><startPtX>1245.0</startPtX><startPtY>340.0</startPtY><endPtX>1245.0</endPtX><endPtY>400.0</endPtY><startCtrlPtX>1245.0</startCtrlPtX><startCtrlPtY>342.0</startCtrlPtY><endCtrlPtY>1245.0</endCtrlPtY><endCtrlPtY>397.0</endCtrlPtY><startStateIndex>9</startStateIndex><endStateIndex>27</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans3<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>1<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S5</startState><endState>S7</endState><startPtX>1245.0</startPtX><startPtY>490.0</startPtY><endPtX>1245.0</endPtX><endPtY>525.0</endPtY><startCtrlPtX>1245.0</startCtrlPtX><startCtrlPtY>496.0</startCtrlPtY><endCtrlPtY>1245.0</endCtrlPtY><endCtrlPtY>509.0</endCtrlPtY><startStateIndex>9</startStateIndex><endStateIndex>27</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START LOOPBACK TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans4<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>!in[0]<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S5</startState><endState>S5</endState><startPtX>1287.0</startPtX><startPtY>429.0</startPtY><endPtX>1283.0</endPtX><endPtY>467.0</endPtY><startCtrlPtX>1341.0</startCtrlPtX><startCtrlPtY>409.0</startCtrlPtY><endCtrlPtY>1333.0</endCtrlPtY><endCtrlPtY>496.0</endCtrlPtY><startStateIndex>34</startStateIndex><endStateIndex>3</endStateIndex><page>1</page><color>-16777216</color></transition>## START LOOPBACK TRANSITION OBJECT## START STATE OBJECT<state><attributes><name><status>ABS</status><value>S4<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><out[7:0]><status>GLOBAL_FIXED</status><value>'h80<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>-2</x2Obj><y2Obj>13</y2Obj><page>1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value>4'd4<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></FORCESTATE[3:0]></attributes><x0>715</x0><y0>411</y0><x1>805</x1><y1>501</y1><reset>false</reset><page>1</page><color>-16777216</color></state>## END STATE OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans5<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in[0] || in[2] || in[4]<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>-9</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S4</startState><endState>S5</endState><startPtX>805.0</startPtX><startPtY>456.0</startPtY><endPtX>1200.0</endPtX><endPtY>452.0</endPtY><startCtrlPtX>885.0</startCtrlPtX><startCtrlPtY>453.0</startCtrlPtY><endCtrlPtY>1114.0</endCtrlPtY><endCtrlPtY>450.0</endCtrlPtY><startStateIndex>0</startStateIndex><endStateIndex>17</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START LOOPBACK TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans6<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in==0<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-65536<status>LOCAL</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>-24</x2Obj><y2Obj>5</y2Obj><page>1</page></priority></attributes><startState>S0</startState><endState>S0</endState><startPtX>700.0</startPtX><startPtY>87.0</startPtY><endPtX>722.0</endPtX><endPtY>56.0</endPtY><startCtrlPtX>653.0</startCtrlPtX><startCtrlPtY>76.0</startCtrlPtY><endCtrlPtY>693.0</endCtrlPtY><endCtrlPtY>7.0</endCtrlPtY><startStateIndex>19</startStateIndex><endStateIndex>24</endStateIndex><page>1</page><color>-16777216</color></transition>## START LOOPBACK TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans7<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in < 64<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>16</x2Obj><y2Obj>-53</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>4<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>24</x2Obj><y2Obj>-89</y2Obj><page>1</page></priority></attributes><startState>S0</startState><endState>S3</endState><startPtX>789.0</startPtX><startPtY>87.0</startPtY><endPtX>1202.0</endPtX><endPtY>279.0</endPtY><startCtrlPtX>905.0</startCtrlPtX><startCtrlPtY>73.0</startCtrlPtY><endCtrlPtY>1168.0</endCtrlPtY><endCtrlPtY>186.0</endCtrlPtY><startStateIndex>35</startStateIndex><endStateIndex>20</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans8<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>1<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>-5</x2Obj><y2Obj>-3</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>5<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>35</x2Obj><y2Obj>-60</y2Obj><page>1</page></priority></attributes><startState>S0</startState><endState>S4</endState><startPtX>745.0</startPtX><startPtY>140.0</startPtY><endPtX>752.0</endPtX><endPtY>411.0</endPtY><startCtrlPtX>745.0</startCtrlPtX><startCtrlPtY>182.0</startCtrlPtY><endCtrlPtY>752.0</endCtrlPtY><endCtrlPtY>366.0</endCtrlPtY><startStateIndex>9</startStateIndex><endStateIndex>26</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE OBJECT<state><attributes><name><status>ABS</status><value>S6<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><out[7:0]><status>GLOBAL_FIXED</status><value>'h1F<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>1</x2Obj><y2Obj>11</y2Obj><page>1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value>4'd6<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></FORCESTATE[3:0]></attributes><x0>724</x0><y0>570</y0><x1>814</x1><y1>660</y1><reset>false</reset><page>1</page><color>-16777216</color></state>## END STATE OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans9<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>1<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>57</x2Obj><y2Obj>3</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S4</startState><endState>S6</endState><startPtX>760.0</startPtX><startPtY>501.0</startPtY><endPtX>761.0</endPtX><endPtY>570.0</endPtY><startCtrlPtX>762.0</startCtrlPtX><startCtrlPtY>520.0</startCtrlPtY><endCtrlPtY>761.0</endCtrlPtY><endCtrlPtY>550.0</endCtrlPtY><startStateIndex>9</startStateIndex><endStateIndex>26</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE OBJECT<state><attributes><name><status>ABS</status><value>S9<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><out[7:0]><status>GLOBAL_FIXED</status><value>'hFF<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>14</y2Obj><page>1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value>4'd9<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></FORCESTATE[3:0]></attributes><x0>925</x0><y0>675</y0><x1>1015</x1><y1>765</y1><reset>false</reset><page>1</page><color>-16777216</color></state>## END STATE OBJECT## START STATE OBJECT<state><attributes><name><status>ABS</status><value>S8<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>1</x2Obj><y2Obj>1</y2Obj><page>1</page></name><out[7:0]><status>GLOBAL_FIXED</status><value>'h7F<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>2</x2Obj><y2Obj>11</y2Obj><page>1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value>4'd8<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></FORCESTATE[3:0]></attributes><x0>275</x0><y0>650</y0><x1>365</x1><y1>740</y1><reset>false</reset><page>1</page><color>-16777216</color></state>## END STATE OBJECT## START STATE OBJECT<state><attributes><name><status>ABS</status><value>S11<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><out[7:0]><status>GLOBAL_FIXED</status><value>'hFF<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>21</y2Obj><page>1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value>4'd11<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></FORCESTATE[3:0]></attributes><x0>276</x0><y0>775</y0><x1>366</x1><y1>865</y1><reset>false</reset><page>1</page><color>-16777216</color></state>## END STATE OBJECT## START STATE OBJECT<state><attributes><name><status>ABS</status><value>S15<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><out[7:0]><status>GLOBAL_FIXED</status><value>'h7F<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>15</y2Obj><page>1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value>4'd15<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></FORCESTATE[3:0]></attributes><x0>275</x0><y0>900</y0><x1>365</x1><y1>990</y1><reset>false</reset><page>1</page><color>-16777216</color></state>## END STATE OBJECT## START STATE OBJECT<state><attributes><name><status>ABS</status><value>S13<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><out[7:0]><status>GLOBAL_FIXED</status><value>'hF7<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>16</y2Obj><page>1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value>4'd13<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></FORCESTATE[3:0]></attributes><x0>1200</x0><y0>725</y0><x1>1290</x1><y1>815</y1><reset>false</reset><page>1</page><color>-16777216</color></state>## END STATE OBJECT## START STATE OBJECT<state><attributes><name><status>ABS</status><value>S12<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><out[7:0]><status>GLOBAL_FIXED</status><value>'hFD<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>1</x2Obj><y2Obj>14</y2Obj><page>1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value>4'd12<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></FORCESTATE[3:0]></attributes><x0>1425</x0><y0>625</y0><x1>1515</x1><y1>715</y1><reset>false</reset><page>1</page><color>-16777216</color></state>## END STATE OBJECT## START STATE OBJECT<state><attributes><name><status>ABS</status><value>S14<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><out[7:0]><status>GLOBAL_FIXED</status><value>'hDF<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>13</y2Obj><page>1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value>4'd14<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></FORCESTATE[3:0]></attributes><x0>1400</x0><y0>825</y0><x1>1490</x1><y1>915</y1><reset>false</reset><page>1</page><color>-16777216</color></state>## END STATE OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans10<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in[0] && in[1]<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>-74</x2Obj><y2Obj>63</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S1</startState><endState>S0</endState><startPtX>363.0</startPtX><startPtY>304.0</startPtY><endPtX>737.0</endPtX><endPtY>139.0</endPtY><startCtrlPtX>482.0</startCtrlPtX><startCtrlPtY>290.0</startCtrlPtY><endCtrlPtY>659.0</endCtrlPtY><endCtrlPtY>296.0</endCtrlPtY><startStateIndex>34</startStateIndex><endStateIndex>10</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans11<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>1<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>-238</x2Obj><y2Obj>60</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S1</startState><endState>S3</endState><startPtX>366.0</startPtX><startPtY>320.0</startPtY><endPtX>1200.0</endPtX><endPtY>302.0</endPtY><startCtrlPtX>535.0</startCtrlPtX><startCtrlPtY>309.0</startCtrlPtY><endCtrlPtY>1000.0</endCtrlPtY><endCtrlPtY>289.0</endCtrlPtY><startStateIndex>0</startStateIndex><endStateIndex>17</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE OBJECT<state><attributes><name><status>ABS</status><value>S10<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><out[7:0]><status>GLOBAL_FIXED</status><value>'hFF<status>LOCAL</status></value><vis>1<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>12</y2Obj><page>1</page></out[7:0]><FORCESTATE[3:0]><status>GLOBAL_FIXED</status><value>4'd10<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>output<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></FORCESTATE[3:0]></attributes><x0>75</x0><y0>550</y0><x1>165</x1><y1>640</y1><reset>false</reset><page>1</page><color>-16777216</color></state>## END STATE OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans12<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>1<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S10</startState><endState>S1</endState><startPtX>127.0</startPtX><startPtY>550.0</startPtY><endPtX>292.0</endPtX><endPtY>354.0</endPtY><startCtrlPtX>151.0</startCtrlPtX><startCtrlPtY>509.0</startCtrlPtY><endCtrlPtY>260.0</endCtrlPtY><endCtrlPtY>374.0</endCtrlPtY><startStateIndex>28</startStateIndex><endStateIndex>13</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans13<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in[4] ^ in[5]<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>45</x2Obj><y2Obj>2</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>122</x2Obj><y2Obj>-14</y2Obj><page>1</page></priority></attributes><startState>S8</startState><endState>S11</endState><startPtX>320.0</startPtX><startPtY>740.0</startPtY><endPtX>321.0</endPtX><endPtY>775.0</endPtY><startCtrlPtX>320.0</startCtrlPtX><startCtrlPtY>746.0</startCtrlPtY><endCtrlPtY>321.0</endCtrlPtY><endCtrlPtY>768.0</endCtrlPtY><startStateIndex>9</startStateIndex><endStateIndex>27</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans14<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in[7]<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>2<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>19</x2Obj><y2Obj>-1</y2Obj><page>1</page></priority></attributes><startState>S8</startState><endState>S1</endState><startPtX>297.0</startPtX><startPtY>656.0</startPtY><endPtX>313.0</endPtX><endPtY>364.0</endPtY><startCtrlPtX>266.0</startCtrlPtX><startCtrlPtY>580.0</startCtrlPtY><endCtrlPtY>279.0</endCtrlPtY><endCtrlPtY>424.0</endCtrlPtY><startStateIndex>24</startStateIndex><endStateIndex>10</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans15<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>1<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S2</startState><endState>S3</endState><startPtX>939.0</startPtX><startPtY>252.0</startPtY><endPtX>1200.0</endPtX><endPtY>287.0</endPtY><startCtrlPtX>999.0</startCtrlPtX><startCtrlPtY>249.0</startCtrlPtY><endCtrlPtY>1148.0</endCtrlPtY><endCtrlPtY>282.0</endCtrlPtY><startStateIndex>1</startStateIndex><endStateIndex>19</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START LOOPBACK TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans16<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in[7:6] == 2'b00<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S6</startState><endState>S6</endState><startPtX>791.0</startPtX><startPtY>653.0</startPtY><endPtX>753.0</endPtX><endPtY>657.0</endPtY><startCtrlPtX>820.0</startCtrlPtX><startCtrlPtY>703.0</startCtrlPtY><endCtrlPtY>735.0</endCtrlPtY><endCtrlPtY>712.0</endCtrlPtY><startStateIndex>6</startStateIndex><endStateIndex>11</endStateIndex><page>1</page><color>-16777216</color></transition>## START LOOPBACK TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans17<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in[7:6] == 2'b01<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>99</x2Obj><y2Obj>8</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S6</startState><endState>S8</endState><startPtX>724.0</startPtX><startPtY>622.0</startPtY><endPtX>364.0</endPtX><endPtY>687.0</endPtY><startCtrlPtX>655.0</startCtrlPtX><startCtrlPtY>632.0</startCtrlPtY><endCtrlPtY>448.0</endCtrlPtY><endCtrlPtY>692.0</endCtrlPtY><startStateIndex>17</startStateIndex><endStateIndex>35</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans18<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in[7:6] == 2'b10<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>35</x2Obj><y2Obj>-25</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S6</startState><endState>S9</endState><startPtX>811.0</startPtX><startPtY>630.0</startPtY><endPtX>927.0</endPtX><endPtY>704.0</endPtY><startCtrlPtX>839.0</startCtrlPtX><startCtrlPtY>629.0</startCtrlPtY><endCtrlPtY>911.0</endCtrlPtY><endCtrlPtY>688.0</endCtrlPtY><startStateIndex>2</startStateIndex><endStateIndex>20</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans19<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in[7:6] == 2'b11<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>80</x2Obj><y2Obj>58</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S6</startState><endState>S1</endState><startPtX>730.0</startPtX><startPtY>592.0</startPtY><endPtX>359.0</endPtX><endPtY>342.0</endPtY><startCtrlPtX>637.0</startCtrlPtX><startCtrlPtY>588.0</startCtrlPtY><endCtrlPtY>400.0</endCtrlPtY><endCtrlPtY>397.0</endCtrlPtY><startStateIndex>21</startStateIndex><endStateIndex>3</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans20<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in[7:6]==2'b00<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>63</x2Obj><y2Obj>143</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S7</startState><endState>S3</endState><startPtX>1289.0</startPtX><startPtY>562.0</startPtY><endPtX>1287.0</endPtX><endPtY>310.0</endPtY><startCtrlPtX>1472.0</startCtrlPtX><startCtrlPtY>558.0</startCtrlPtY><endCtrlPtY>1424.0</endCtrlPtY><endCtrlPtY>364.0</endCtrlPtY><startStateIndex>35</startStateIndex><endStateIndex>2</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START LOOPBACK TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans21<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in[7:6] == 2'b01 || in[7:6] == 2'b10<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>41</x2Obj><y2Obj>1</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S7</startState><endState>S7</endState><startPtX>1245.0</startPtX><startPtY>615.0</startPtY><endPtX>1210.0</endPtX><endPtY>598.0</endPtY><startCtrlPtX>1245.0</startCtrlPtX><startCtrlPtY>673.0</startCtrlPtY><endCtrlPtY>1167.0</endCtrlPtY><endCtrlPtY>635.0</endCtrlPtY><startStateIndex>9</startStateIndex><endStateIndex>14</endStateIndex><page>1</page><color>-16777216</color></transition>## START LOOPBACK TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans22<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in[7:6] == 2'b11<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>88</x2Obj><y2Obj>67</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S7</startState><endState>S4</endState><startPtX>1200.0</startPtX><startPtY>562.0</startPtY><endPtX>804.0</endPtX><endPtY>463.0</endPtY><startCtrlPtX>1105.0</startCtrlPtX><startCtrlPtY>568.0</startCtrlPtY><endCtrlPtY>876.0</endCtrlPtY><endCtrlPtY>479.0</endCtrlPtY><startStateIndex>19</startStateIndex><endStateIndex>1</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START LOOPBACK TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans23<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>1<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S8</startState><endState>S8</endState><startPtX>327.0</startPtX><startPtY>650.0</startPtY><endPtX>358.0</endPtX><endPtY>672.0</endPtY><startCtrlPtX>336.0</startCtrlPtX><startCtrlPtY>593.0</startCtrlPtY><endCtrlPtY>406.0</endCtrlPtY><endCtrlPtY>642.0</endCtrlPtY><startStateIndex>28</startStateIndex><endStateIndex>33</endStateIndex><page>1</page><color>-16777216</color></transition>## START LOOPBACK TRANSITION OBJECT## START LOOPBACK TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans24<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>!in[0]<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>1</x2Obj><y2Obj>13</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S9</startState><endState>S9</endState><startPtX>985.0</startPtX><startPtY>677.0</startPtY><endPtX>1012.0</endPtX><endPtY>704.0</endPtY><startCtrlPtX>1003.0</startCtrlPtX><startCtrlPtY>623.0</startCtrlPtY><endCtrlPtY>1066.0</endCtrlPtY><endCtrlPtY>684.0</endCtrlPtY><startStateIndex>29</startStateIndex><endStateIndex>34</endStateIndex><page>1</page><color>-16777216</color></transition>## START LOOPBACK TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans25<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>1<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S9</startState><endState>S11</endState><startPtX>925.0</startPtX><startPtY>727.0</startPtY><endPtX>365.0</endPtX><endPtY>812.0</endPtY><startCtrlPtX>815.0</startCtrlPtX><startCtrlPtY>740.0</startCtrlPtY><endCtrlPtY>495.0</endCtrlPtY><endCtrlPtY>819.0</endCtrlPtY><startStateIndex>17</startStateIndex><endStateIndex>35</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans26<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in == 64<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>29</x2Obj><y2Obj>2</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S11</startState><endState>S15</endState><startPtX>321.0</startPtX><startPtY>865.0</startPtY><endPtX>320.0</endPtX><endPtY>900.0</endPtY><startCtrlPtX>321.0</startCtrlPtX><startCtrlPtY>871.0</startCtrlPtY><endCtrlPtY>320.0</endCtrlPtY><endCtrlPtY>893.0</endCtrlPtY><startStateIndex>9</startStateIndex><endStateIndex>27</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans28<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>1<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S11</startState><endState>S8</endState><startPtX>278.0</startPtX><startPtY>804.0</startPtY><endPtX>281.0</endPtX><endPtY>717.0</endPtY><startCtrlPtX>221.0</startCtrlPtX><startCtrlPtY>775.0</startCtrlPtY><endCtrlPtY>233.0</endCtrlPtY><endCtrlPtY>751.0</endCtrlPtY><startStateIndex>20</startStateIndex><endStateIndex>15</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans29<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in==255<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>377</x2Obj><y2Obj>258</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S12</startState><endState>S0</endState><startPtX>1470.0</startPtX><startPtY>625.0</startPtY><endPtX>779.0</endPtX><endPtY>66.0</endPtY><startCtrlPtX>1493.0</startCtrlPtX><startCtrlPtY>384.0</startCtrlPtY><endCtrlPtY>1353.0</endCtrlPtY><endCtrlPtY>16.0</endCtrlPtY><startStateIndex>27</startStateIndex><endStateIndex>32</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START LOOPBACK TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans30<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>1<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S12</startState><endState>S12</endState><startPtX>1514.0</startPtX><startPtY>677.0</startPtY><endPtX>1492.0</endPtX><endPtY>708.0</endPtY><startCtrlPtX>1569.0</startCtrlPtX><startCtrlPtY>685.0</startCtrlPtY><endCtrlPtY>1519.0</endCtrlPtY><endCtrlPtY>758.0</endCtrlPtY><startStateIndex>1</startStateIndex><endStateIndex>6</endStateIndex><page>1</page><color>-16777216</color></transition>## START LOOPBACK TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans31<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in[5] ^ in[3] ^ in[1]<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>3</x2Obj><y2Obj>41</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S13</startState><endState>S12</endState><startPtX>1287.0</startPtX><startPtY>754.0</startPtY><endPtX>1427.0</endPtX><endPtY>685.0</endPtY><startCtrlPtX>1307.0</startCtrlPtX><startCtrlPtY>740.0</startCtrlPtY><endCtrlPtY>1404.0</endCtrlPtY><endCtrlPtY>701.0</endCtrlPtY><startStateIndex>34</startStateIndex><endStateIndex>16</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans32<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>1<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S13</startState><endState>S14</endState><startPtX>1273.0</startPtX><startPtY>804.0</startPtY><endPtX>1402.0</endPtX><endPtY>854.0</endPtY><startCtrlPtX>1307.0</startCtrlPtX><startCtrlPtY>851.0</startCtrlPtY><endCtrlPtY>1375.0</endCtrlPtY><endCtrlPtY>863.0</endCtrlPtY><startStateIndex>5</startStateIndex><endStateIndex>20</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START LOOPBACK TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans33<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in ==0<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>-21</x2Obj><y2Obj>21</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>-22</x2Obj><y2Obj>25</y2Obj><page>1</page></priority></attributes><startState>S14</startState><endState>S14</endState><startPtX>1487.0</startPtX><startPtY>885.0</startPtY><endPtX>1460.0</endPtX><endPtY>912.0</endPtY><startCtrlPtX>1536.0</startCtrlPtX><startCtrlPtY>904.0</startCtrlPtY><endCtrlPtY>1478.0</endCtrlPtY><endCtrlPtY>966.0</endCtrlPtY><startStateIndex>2</startStateIndex><endStateIndex>7</endStateIndex><page>1</page><color>-16777216</color></transition>## START LOOPBACK TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans34<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in < 64<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>27</x2Obj><y2Obj>39</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>2<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>35</x2Obj><y2Obj>40</y2Obj><page>1</page></priority></attributes><startState>S14</startState><endState>S12</endState><startPtX>1452.0</startPtX><startPtY>825.0</startPtY><endPtX>1462.0</endPtX><endPtY>714.0</endPtY><startCtrlPtX>1451.0</startCtrlPtX><startCtrlPtY>800.0</startCtrlPtY><endCtrlPtY>1460.0</endCtrlPtY><endCtrlPtY>735.0</endCtrlPtY><startStateIndex>28</startStateIndex><endStateIndex>10</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans35<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>1<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>3<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>628</x2Obj><y2Obj>193</y2Obj><page>1</page></priority></attributes><startState>S14</startState><endState>S10</endState><startPtX>1422.0</startPtX><startPtY>908.0</startPtY><endPtX>104.0</endPtX><endPtY>637.0</endPtY><startCtrlPtX>910.0</startCtrlPtX><startCtrlPtY>1296.0</startCtrlPtY><endCtrlPtY>7.0</endCtrlPtY><endCtrlPtY>1296.0</endCtrlPtY><startStateIndex>12</startStateIndex><endStateIndex>11</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START LOOPBACK TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans36<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>!in[7]<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>17</x2Obj><y2Obj>-1</y2Obj><page>1</page></priority></attributes><startState>S15</startState><endState>S15</endState><startPtX>358.0</startPtX><startPtY>967.0</startPtY><endPtX>327.0</endPtX><endPtY>989.0</endPtY><startCtrlPtX>406.0</startCtrlPtX><startCtrlPtY>995.0</startCtrlPtY><endCtrlPtY>337.0</endCtrlPtY><endCtrlPtY>1046.0</endCtrlPtY><startStateIndex>3</startStateIndex><endStateIndex>8</endStateIndex><page>1</page><color>-16777216</color></transition>## START LOOPBACK TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans37<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in[1:0] == 2'b00<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>-426</x2Obj><y2Obj>51</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S15</startState><endState>S14</endState><startPtX>365.0</startPtX><startPtY>945.0</startPtY><endPtX>1400.0</endPtX><endPtY>877.0</endPtY><startCtrlPtX>598.0</startCtrlPtX><startCtrlPtY>934.0</startCtrlPtY><endCtrlPtY>1236.0</endCtrlPtY><endCtrlPtY>892.0</endCtrlPtY><startStateIndex>0</startStateIndex><endStateIndex>17</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans38<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in[1:0] == 2'b01<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>15</x2Obj><y2Obj>133</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S15</startState><endState>S10</endState><startPtX>297.0</startPtX><startPtY>906.0</startPtY><endPtX>142.0</endPtX><endPtY>633.0</endPtY><startCtrlPtX>264.0</startCtrlPtX><startCtrlPtY>871.0</startCtrlPtY><endCtrlPtY>141.0</endCtrlPtY><endCtrlPtY>700.0</endCtrlPtY><startStateIndex>24</startStateIndex><endStateIndex>6</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans39<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in[1:0] == 2'b10<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>-334</x2Obj><y2Obj>48</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S15</startState><endState>S13</endState><startPtX>364.0</startPtX><startPtY>937.0</startPtY><endPtX>1200.0</endPtX><endPtY>777.0</endPtY><startCtrlPtX>522.0</startCtrlPtX><startCtrlPtY>910.0</startCtrlPtY><endCtrlPtY>1002.0</endCtrlPtY><endCtrlPtY>763.0</endCtrlPtY><startStateIndex>35</startStateIndex><endStateIndex>17</endStateIndex><page>1</page><color>-16777216</color><pageSX>0.0</pageSX><pageSY>0.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>false</stub></transition>## END STATE TRANSITION OBJECT## START STATE TRANSITION OBJECT<transition><attributes><name><status>ABS</status><value>trans40<status>LOCAL</status></value><vis>0<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></name><equation><status>ABS</status><value>in[1:0] == 2'b11<status>LOCAL</status></value><vis>2<status>GLOBAL_VAR</status></vis><type>def_type<status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-16777216<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>98</x2Obj><y2Obj>52</y2Obj><page>1</page></equation><priority><status>GLOBAL_FIXED</status><value>1000<status>GLOBAL_VAR</status></value><vis>2<status>GLOBAL_VAR</status></vis><type><status>GLOBAL_VAR</status></type><comment><status>GLOBAL_VAR</status></comment><color>-52429<status>GLOBAL_VAR</status></color><useratts><status>GLOBAL_VAR</status></useratts><resetval><status>GLOBAL_VAR</status></resetval><x2Obj>0</x2Obj><y2Obj>0</y2Obj><page>1</page></priority></attributes><startState>S15</startState><endState>S0</endState><startPtX>362.0</startPtX><startPtY>960.0</startPtY><endPtX>729.0</endPtX><endPtY>137.0</endPtY><startCtrlPtX>329.0</startCtrlPtX><startCtrlPtY>711.0</startCtrlPtY><endCtrlPtY>647.0</endCtrlPtY><endCtrlPtY>242.0</endCtrlPtY><startStateIndex>2</startStateIndex><endStateIndex>11</endStateIndex><page>1</page><color>-16777216</color><pageSX>510.0</pageSX><pageSY>1016.0</pageSY><pageSCX>0.0</pageSCX><pageSCY>0.0</pageSCY><pageEX>0.0</pageEX><pageEY>0.0</pageEY><pageECX>0.0</pageECX><pageECY>0.0</pageECY><stub>true</stub></transition>## END STATE TRANSITION OBJECT## END OBJECTS