OpenCores
URL https://opencores.org/ocsvn/cryptosorter/cryptosorter/trunk

Subversion Repositories cryptosorter

[/] [cryptosorter/] [trunk/] [memocodeDesignContest2008/] [sort/] [mkBRAMLevel6MergerInstance.sched] - Rev 6

Compare with Previous | Blame | View Log 

=== Generated schedule for mkBRAMLevel6MergerInstance ===

Method schedule
---------------
Method: inStream_getTokInfo
Ready signal: res_inFstHalf_finishInit && res_inSndHalf_finishInit
Conflict-free: inStream_getTokInfo,
               inStream_putDeqTok,
               inStream_putRecord,
               outStream_putTokInfo,
               outStream_getDeqTok_fst,
               outStream_getDeqTok_snd,
               outStream_getRecord_fst,
               outStream_getRecord_snd
 
Method: inStream_putDeqTok
Ready signal: res_inSndHalf_finishInit && res_inFstHalf_finishInit
Conflict-free: inStream_getTokInfo,
               inStream_putRecord,
               outStream_putTokInfo,
               outStream_getDeqTok_fst,
               outStream_getDeqTok_snd,
               outStream_getRecord_fst,
               outStream_getRecord_snd
Conflicts: inStream_putDeqTok
 
Method: inStream_putRecord
Ready signal: res_inSndHalf_finishInit && res_inFstHalf_finishInit
Conflict-free: inStream_getTokInfo,
               inStream_putDeqTok,
               outStream_putTokInfo,
               outStream_getDeqTok_fst,
               outStream_getDeqTok_snd,
               outStream_getRecord_fst,
               outStream_getRecord_snd
Conflicts: inStream_putRecord
 
Method: outStream_putTokInfo
Ready signal: True
Conflict-free: inStream_getTokInfo,
               inStream_putDeqTok,
               inStream_putRecord,
               outStream_getDeqTok_fst,
               outStream_getDeqTok_snd,
               outStream_getRecord_fst,
               outStream_getRecord_snd
Conflicts: outStream_putTokInfo
 
Method: outStream_getDeqTok_fst
Ready signal: res_getDeqTokW.whas && res_getDeqTokW.wget[5]
Conflict-free: inStream_getTokInfo,
               inStream_putDeqTok,
               inStream_putRecord,
               outStream_putTokInfo,
               outStream_getDeqTok_fst,
               outStream_getDeqTok_snd,
               outStream_getRecord_fst,
               outStream_getRecord_snd
 
Method: outStream_getDeqTok_snd
Ready signal: res_getDeqTokW.whas && res_getDeqTokW.wget[5]
Conflict-free: inStream_getTokInfo,
               inStream_putDeqTok,
               inStream_putRecord,
               outStream_putTokInfo,
               outStream_getDeqTok_fst,
               outStream_getDeqTok_snd,
               outStream_getRecord_fst,
               outStream_getRecord_snd
 
Method: outStream_getRecord_fst
Ready signal: res_outW.whas && res_outW.wget[134]
Conflict-free: inStream_getTokInfo,
               inStream_putDeqTok,
               inStream_putRecord,
               outStream_putTokInfo,
               outStream_getDeqTok_fst,
               outStream_getDeqTok_snd,
               outStream_getRecord_fst,
               outStream_getRecord_snd
 
Method: outStream_getRecord_snd
Ready signal: res_outW.whas && res_outW.wget[134]
Conflict-free: inStream_getTokInfo,
               inStream_putDeqTok,
               inStream_putRecord,
               outStream_putTokInfo,
               outStream_getDeqTok_fst,
               outStream_getDeqTok_snd,
               outStream_getRecord_fst,
               outStream_getRecord_snd
 
Rule schedule
-------------
Rule: res_compares
Predicate: res_inFstHalf_ugbram_bram.RDY_read_resp &&
           res_inSndHalf_ugbram_bram.RDY_read_resp &&
           res_inFstHalf_finishInit &&
           res_inSndHalf_finishInit && res_reqQ.i_notEmpty
Blocking rules: (none)
 
Rule: res_nextToProcess
Predicate: res_inFstHalf_finishInit &&
           res_inSndHalf_finishInit &&
           ((! res_scheduler_getNextW.whas) ||
            (! res_scheduler_getNextW.wget[5]) ||
            res_reqQ.i_notFull)
Blocking rules: (none)
 
Rule: res_feedScheduler
Predicate: (((res_nextTokW.whas
              ? res_nextTokW.wget[2:0]
              : _) ==
             3'd0) ||
            res_inFstHalf_finishInit) &&
           (((res_nextTokW.whas
              ? res_nextTokW.wget[2:0]
              : _) ==
             3'd0) ||
            (res_inFstHalf_usedReg_dataReg[4:0] == 5'd0) ||
            res_inSndHalf_finishInit) &&
           (((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[2:0]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[4:0] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[4:0] == 5'd0)))
            ? res_inFstHalf_finishInit && res_inSndHalf_finishInit
            : ((((res_nextTokW.whas
                  ? res_nextTokW.wget[5:3]
                  : _) ==
                 3'd0) ||
                res_inFstHalf_finishInit) &&
               (((res_nextTokW.whas
                  ? res_nextTokW.wget[5:3]
                  : _) ==
                 3'd0) ||
                (res_inFstHalf_usedReg_dataReg[9:5] == 5'd0) ||
                res_inSndHalf_finishInit))) &&
           (((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[2:0]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[4:0] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[4:0] == 5'd0))) ||
            ((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[5:3]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[9:5] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[9:5] == 5'd0))) ||
            ((((res_nextTokW.whas
                ? res_nextTokW.wget[8:6]
                : _) ==
               3'd0) ||
              res_inFstHalf_finishInit) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[8:6]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[14:10] == 5'd0) ||
              res_inSndHalf_finishInit) &&
             (((! ((res_nextTokW.whas
                    ? res_nextTokW.wget[8:6]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[14:10] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[14:10] == 5'd0)))
              ? res_inFstHalf_finishInit && res_inSndHalf_finishInit
              : ((((res_nextTokW.whas
                    ? res_nextTokW.wget[11:9]
                    : _) ==
                   3'd0) ||
                  res_inFstHalf_finishInit) &&
                 (((res_nextTokW.whas
                    ? res_nextTokW.wget[11:9]
                    : _) ==
                   3'd0) ||
                  (res_inFstHalf_usedReg_dataReg[19:15] == 5'd0) ||
                  res_inSndHalf_finishInit))))) &&
           (((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[2:0]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[4:0] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[4:0] == 5'd0))) ||
            ((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[5:3]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[9:5] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[9:5] == 5'd0))) ||
            ((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[8:6]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[14:10] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[14:10] == 5'd0))) ||
            ((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[11:9]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[19:15] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[19:15] == 5'd0))) ||
            ((((res_nextTokW.whas
                ? res_nextTokW.wget[14:12]
                : _) ==
               3'd0) ||
              res_inFstHalf_finishInit) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[14:12]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[24:20] == 5'd0) ||
              res_inSndHalf_finishInit) &&
             (((! ((res_nextTokW.whas
                    ? res_nextTokW.wget[14:12]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[24:20] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[24:20] == 5'd0)))
              ? res_inFstHalf_finishInit && res_inSndHalf_finishInit
              : ((((res_nextTokW.whas
                    ? res_nextTokW.wget[17:15]
                    : _) ==
                   3'd0) ||
                  res_inFstHalf_finishInit) &&
                 (((res_nextTokW.whas
                    ? res_nextTokW.wget[17:15]
                    : _) ==
                   3'd0) ||
                  (res_inFstHalf_usedReg_dataReg[29:25] == 5'd0) ||
                  res_inSndHalf_finishInit))) &&
             (((! ((res_nextTokW.whas
                    ? res_nextTokW.wget[14:12]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[24:20] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[24:20] == 5'd0))) ||
              ((! ((res_nextTokW.whas
                    ? res_nextTokW.wget[17:15]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[29:25] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[29:25] == 5'd0))) ||
              ((((res_nextTokW.whas
                  ? res_nextTokW.wget[20:18]
                  : _) ==
                 3'd0) ||
                res_inFstHalf_finishInit) &&
               (((res_nextTokW.whas
                  ? res_nextTokW.wget[20:18]
                  : _) ==
                 3'd0) ||
                (res_inFstHalf_usedReg_dataReg[34:30] == 5'd0) ||
                res_inSndHalf_finishInit) &&
               (((! ((res_nextTokW.whas
                      ? res_nextTokW.wget[20:18]
                      : _) ==
                     3'd0)) &&
                 (! (res_inFstHalf_usedReg_dataReg[34:30] == 5'd0)) &&
                 (! (res_inSndHalf_usedReg_dataReg[34:30] == 5'd0)))
                ? res_inFstHalf_finishInit && res_inSndHalf_finishInit
                : ((((res_nextTokW.whas
                      ? res_nextTokW.wget[23:21]
                      : _) ==
                     3'd0) ||
                    res_inFstHalf_finishInit) &&
                   (((res_nextTokW.whas
                      ? res_nextTokW.wget[23:21]
                      : _) ==
                     3'd0) ||
                    (res_inFstHalf_usedReg_dataReg[39:35] == 5'd0) ||
                    res_inSndHalf_finishInit))))))) &&
           (((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[2:0]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[4:0] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[4:0] == 5'd0))) ||
            ((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[5:3]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[9:5] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[9:5] == 5'd0))) ||
            ((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[8:6]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[14:10] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[14:10] == 5'd0))) ||
            ((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[11:9]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[19:15] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[19:15] == 5'd0))) ||
            ((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[14:12]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[24:20] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[24:20] == 5'd0))) ||
            ((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[17:15]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[29:25] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[29:25] == 5'd0))) ||
            ((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[20:18]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[34:30] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[34:30] == 5'd0))) ||
            ((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[23:21]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[39:35] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[39:35] == 5'd0))) ||
            ((((res_nextTokW.whas
                ? res_nextTokW.wget[26:24]
                : _) ==
               3'd0) ||
              res_inFstHalf_finishInit) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[26:24]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[44:40] == 5'd0) ||
              res_inSndHalf_finishInit) &&
             (((! ((res_nextTokW.whas
                    ? res_nextTokW.wget[26:24]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[44:40] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[44:40] == 5'd0)))
              ? res_inFstHalf_finishInit && res_inSndHalf_finishInit
              : ((((res_nextTokW.whas
                    ? res_nextTokW.wget[29:27]
                    : _) ==
                   3'd0) ||
                  res_inFstHalf_finishInit) &&
                 (((res_nextTokW.whas
                    ? res_nextTokW.wget[29:27]
                    : _) ==
                   3'd0) ||
                  (res_inFstHalf_usedReg_dataReg[49:45] == 5'd0) ||
                  res_inSndHalf_finishInit))) &&
             (((! ((res_nextTokW.whas
                    ? res_nextTokW.wget[26:24]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[44:40] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[44:40] == 5'd0))) ||
              ((! ((res_nextTokW.whas
                    ? res_nextTokW.wget[29:27]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[49:45] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[49:45] == 5'd0))) ||
              ((((res_nextTokW.whas
                  ? res_nextTokW.wget[32:30]
                  : _) ==
                 3'd0) ||
                res_inFstHalf_finishInit) &&
               (((res_nextTokW.whas
                  ? res_nextTokW.wget[32:30]
                  : _) ==
                 3'd0) ||
                (res_inFstHalf_usedReg_dataReg[54:50] == 5'd0) ||
                res_inSndHalf_finishInit) &&
               (((! ((res_nextTokW_whas____d2591(...)
                      ? n__h295496(...)
                      : _) ==
                     3'd0)) &&
                 (! (res_inFstHalf_usedReg_dataReg__h42028(...)[54:50] ==
                     5'd0)) &&
                 (! (res_inSndHalf_usedReg_dataReg[54:50] == 5'd0)))
                ? res_inFstHalf_finishInit && res_inSndHalf_finishInit
                : ((((res_nextTokW.whas
                      ? res_nextTokW_wget____d2585(...)[35:33]
                      : _) ==
                     3'd0) ||
                    res_inFstHalf_finishInit) &&
                   (((res_nextTokW_whas____d2591(...)
                      ? n__h295499(...)
                      : _) ==
                     3'd0) ||
                    (res_inFstHalf_usedReg_dataReg__h42028(...)[59:55] ==
                     5'd0) ||
                    res_inSndHalf_finishInit))))) &&
             (((! ((res_nextTokW.whas
                    ? res_nextTokW_wget____d2585(...)[26:24]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[44:40] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[44:40] == 5'd0))) ||
              ((! ((res_nextTokW.whas
                    ? res_nextTokW_wget____d2585(...)[29:27]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[49:45] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[49:45] == 5'd0))) ||
              ((! ((res_nextTokW.whas
                    ? res_nextTokW_wget____d2585(...)[32:30]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[54:50] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[54:50] == 5'd0))) ||
              ((! ((res_nextTokW.whas
                    ? res_nextTokW_wget____d2585(...)[35:33]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[59:55] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[59:55] == 5'd0))) ||
              ((((res_nextTokW.whas
                  ? res_nextTokW.wget[38:36]
                  : _) ==
                 3'd0) ||
                res_inFstHalf_finishInit) &&
               (((res_nextTokW.whas
                  ? res_nextTokW.wget[38:36]
                  : _) ==
                 3'd0) ||
                (res_inFstHalf_usedReg_dataReg[64:60] == 5'd0) ||
                res_inSndHalf_finishInit) &&
               (((! (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2767(...) ==
                     3'd0)) &&
                 (! (n__h128454(...) == 5'd0)) &&
                 (! (res_inSndHalf_usedReg_dataReg__h181764(...)[64:60] ==
                     5'd0)))
                ? res_inFstHalf_finishInit && res_inSndHalf_finishInit
                : ((((res_nextTokW_whas____d2591(...)
                      ? n__h295505(...)
                      : _) ==
                     3'd0) ||
                    res_inFstHalf_finishInit) &&
                   ((IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2770(...) ==
                     3'd0) ||
                    (n__h128442(...) == 5'd0) ||
                    res_inSndHalf_finishInit))) &&
               (((! IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2618(...)) &&
                 (! res_inFstHalf_usedReg_dataReg_36_BITS_64_TO_60_ETC___d2768(...)) &&
                 (! (n__h268174(...) == 5'd0))) ||
                ((! IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2619(...)) &&
                 (! res_inFstHalf_usedReg_dataReg_36_BITS_69_TO_65_ETC___d2771(...)) &&
                 (! (n__h268162(...) == 5'd0))) ||
                ((((res_nextTokW_whas____d2591(...)
                    ? n__h295508(...)
                    : _) ==
                   3'd0) ||
                  res_inFstHalf_finishInit) &&
                 (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2620(...) ||
                  res_inFstHalf_usedReg_dataReg_36_BITS_74_TO_70_ETC___d2776(...) ||
                  res_inSndHalf_finishInit) &&
                 ((NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d393(...) &&
                   NOT_res_inSndHalf_usedReg_dataReg_44_BITS_74_T_ETC___d396(...))
                  ? res_inFstHalf_finishInit__h84658(...) &&
                    res_inSndHalf_finishInit__h224382(...)
                  : (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d401(...) &&
                     IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d405(...))))))))) &&
           (((((res_nextTokW.whas
                ? res_nextTokW.wget[2:0]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[4:0] == 5'd0) ||
              (res_inSndHalf_usedReg_dataReg[4:0] == 5'd0)) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[5:3]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[9:5] == 5'd0) ||
              (res_inSndHalf_usedReg_dataReg[9:5] == 5'd0)) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[8:6]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[14:10] == 5'd0) ||
              (res_inSndHalf_usedReg_dataReg[14:10] == 5'd0)) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[11:9]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[19:15] == 5'd0) ||
              (res_inSndHalf_usedReg_dataReg[19:15] == 5'd0)) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[14:12]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[24:20] == 5'd0) ||
              (res_inSndHalf_usedReg_dataReg[24:20] == 5'd0)) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[17:15]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[29:25] == 5'd0) ||
              (res_inSndHalf_usedReg_dataReg[29:25] == 5'd0)) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[20:18]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[34:30] == 5'd0) ||
              (res_inSndHalf_usedReg_dataReg[34:30] == 5'd0)) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[23:21]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[39:35] == 5'd0) ||
              (res_inSndHalf_usedReg_dataReg[39:35] == 5'd0)) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[26:24]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[44:40] == 5'd0) ||
              (res_inSndHalf_usedReg_dataReg[44:40] == 5'd0)) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[29:27]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[49:45] == 5'd0) ||
              (res_inSndHalf_usedReg_dataReg[49:45] == 5'd0)) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[32:30]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[54:50] == 5'd0) ||
              (res_inSndHalf_usedReg_dataReg[54:50] == 5'd0)) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[35:33]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[59:55] == 5'd0) ||
              (res_inSndHalf_usedReg_dataReg[59:55] == 5'd0)) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[38:36]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[64:60] == 5'd0) ||
              (res_inSndHalf_usedReg_dataReg[64:60] == 5'd0)) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[41:39]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[69:65] == 5'd0) ||
              (res_inSndHalf_usedReg_dataReg[69:65] == 5'd0)) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[44:42]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[74:70] == 5'd0) ||
              (res_inSndHalf_usedReg_dataReg[74:70] == 5'd0)) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[47:45]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[79:75] == 5'd0) ||
              (res_inSndHalf_usedReg_dataReg[79:75] == 5'd0))) ||
            ((((! ((res_nextTokW.whas
                    ? res_nextTokW.wget[2:0]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[4:0] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[4:0] == 5'd0))) ||
              ((! ((res_nextTokW.whas
                    ? res_nextTokW.wget[5:3]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[9:5] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[9:5] == 5'd0))) ||
              ((! ((res_nextTokW.whas
                    ? res_nextTokW.wget[8:6]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[14:10] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[14:10] == 5'd0))) ||
              ((! ((res_nextTokW.whas
                    ? res_nextTokW.wget[11:9]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[19:15] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[19:15] == 5'd0))) ||
              ((! ((res_nextTokW.whas
                    ? res_nextTokW.wget[14:12]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[24:20] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[24:20] == 5'd0))) ||
              ((! ((res_nextTokW.whas
                    ? res_nextTokW.wget[17:15]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[29:25] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[29:25] == 5'd0))) ||
              ((! ((res_nextTokW.whas
                    ? res_nextTokW.wget[20:18]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[34:30] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[34:30] == 5'd0))) ||
              ((! ((res_nextTokW.whas
                    ? res_nextTokW.wget[23:21]
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg[39:35] == 5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[39:35] == 5'd0))))
             ? (((! ((res_nextTokW.whas
                      ? res_nextTokW.wget[2:0]
                      : _) ==
                     3'd0)) &&
                 (! (res_inFstHalf_usedReg_dataReg[4:0] == 5'd0)) &&
                 (! (res_inSndHalf_usedReg_dataReg[4:0] == 5'd0))) ||
                ((! ((res_nextTokW.whas
                      ? res_nextTokW.wget[5:3]
                      : _) ==
                     3'd0)) &&
                 (! (res_inFstHalf_usedReg_dataReg[9:5] == 5'd0)) &&
                 (! (res_inSndHalf_usedReg_dataReg[9:5] == 5'd0))) ||
                ((! ((res_nextTokW.whas
                      ? res_nextTokW.wget[8:6]
                      : _) ==
                     3'd0)) &&
                 (! (res_inFstHalf_usedReg_dataReg[14:10] == 5'd0)) &&
                 (! (res_inSndHalf_usedReg_dataReg[14:10] == 5'd0))) ||
                ((! ((res_nextTokW.whas
                      ? res_nextTokW.wget[11:9]
                      : _) ==
                     3'd0)) &&
                 (! (res_inFstHalf_usedReg_dataReg[19:15] == 5'd0)) &&
                 (! (res_inSndHalf_usedReg_dataReg[19:15] == 5'd0))))
               ? ((! ((res_nextTokW.whas
                       ? res_nextTokW.wget[2:0]
                       : _) ==
                      3'd0)) &&
                  (! (res_inFstHalf_usedReg_dataReg[4:0] == 5'd0)) &&
                  (! (res_inSndHalf_usedReg_dataReg[4:0] == 5'd0))) ||
                 ((! ((res_nextTokW.whas
                       ? res_nextTokW.wget[5:3]
                       : _) ==
                      3'd0)) &&
                  (! (res_inFstHalf_usedReg_dataReg[9:5] == 5'd0)) &&
                  (! (res_inSndHalf_usedReg_dataReg[9:5] == 5'd0))) ||
                 ((((res_nextTokW.whas
                     ? res_nextTokW.wget[8:6]
                     : _) ==
                    3'd0) ||
                   res_inFstHalf_finishInit) &&
                  (((res_nextTokW.whas
                     ? res_nextTokW.wget[8:6]
                     : _) ==
                    3'd0) ||
                   (res_inFstHalf_usedReg_dataReg[14:10] == 5'd0) ||
                   res_inSndHalf_finishInit))
               : ((((res_nextTokW.whas
                     ? res_nextTokW.wget[14:12]
                     : _) ==
                    3'd0) ||
                   res_inFstHalf_finishInit) &&
                  (((res_nextTokW.whas
                     ? res_nextTokW.wget[14:12]
                     : _) ==
                    3'd0) ||
                   (res_inFstHalf_usedReg_dataReg[24:20] == 5'd0) ||
                   res_inSndHalf_finishInit) &&
                  (((! ((res_nextTokW.whas
                         ? res_nextTokW_wget____d2585(...)[14:12]
                         : _) ==
                        3'd0)) &&
                    (! (res_inFstHalf_usedReg_dataReg[24:20] == 5'd0)) &&
                    (! (res_inSndHalf_usedReg_dataReg[24:20] == 5'd0)))
                   ? res_inFstHalf_finishInit && res_inSndHalf_finishInit
                   : ((((res_nextTokW.whas
                         ? res_nextTokW.wget[17:15]
                         : _) ==
                        3'd0) ||
                       res_inFstHalf_finishInit) &&
                      (((res_nextTokW.whas
                         ? res_nextTokW_wget____d2585(...)[17:15]
                         : _) ==
                        3'd0) ||
                       (res_inFstHalf_usedReg_dataReg[29:25] == 5'd0) ||
                       res_inSndHalf_finishInit))) &&
                  (((! ((res_nextTokW_whas____d2591(...)
                         ? n__h295478(...)
                         : _) ==
                        3'd0)) &&
                    (! (res_inFstHalf_usedReg_dataReg__h42028(...)[24:20] ==
                        5'd0)) &&
                    (! (res_inSndHalf_usedReg_dataReg[24:20] == 5'd0))) ||
                   ((! ((res_nextTokW_whas____d2591(...)
                         ? n__h295481(...)
                         : _) ==
                        3'd0)) &&
                    (! (res_inFstHalf_usedReg_dataReg__h42028(...)[29:25] ==
                        5'd0)) &&
                    (! (res_inSndHalf_usedReg_dataReg[29:25] == 5'd0))) ||
                   ((((res_nextTokW.whas
                       ? res_nextTokW.wget[20:18]
                       : _) ==
                      3'd0) ||
                     res_inFstHalf_finishInit) &&
                    (((res_nextTokW.whas
                       ? res_nextTokW_wget____d2585(...)[20:18]
                       : _) ==
                      3'd0) ||
                     (res_inFstHalf_usedReg_dataReg[34:30] == 5'd0) ||
                     res_inSndHalf_finishInit))))
             : ((((res_nextTokW.whas
                   ? res_nextTokW.wget[26:24]
                   : _) ==
                  3'd0) ||
                 res_inFstHalf_finishInit) &&
                (((res_nextTokW.whas
                   ? res_nextTokW.wget[26:24]
                   : _) ==
                  3'd0) ||
                 (res_inFstHalf_usedReg_dataReg[44:40] == 5'd0) ||
                 res_inSndHalf_finishInit) &&
                (((! ((res_nextTokW.whas
                       ? res_nextTokW.wget[26:24]
                       : _) ==
                      3'd0)) &&
                  (! (res_inFstHalf_usedReg_dataReg[44:40] == 5'd0)) &&
                  (! (res_inSndHalf_usedReg_dataReg[44:40] == 5'd0)))
                 ? res_inFstHalf_finishInit && res_inSndHalf_finishInit
                 : ((((res_nextTokW.whas
                       ? res_nextTokW.wget[29:27]
                       : _) ==
                      3'd0) ||
                     res_inFstHalf_finishInit) &&
                    (((res_nextTokW.whas
                       ? res_nextTokW.wget[29:27]
                       : _) ==
                      3'd0) ||
                     (res_inFstHalf_usedReg_dataReg[49:45] == 5'd0) ||
                     res_inSndHalf_finishInit))) &&
                (((! ((res_nextTokW_whas____d2591(...)
                       ? n__h295490(...)
                       : _) ==
                      3'd0)) &&
                  (! (res_inFstHalf_usedReg_dataReg__h42028(...)[44:40] ==
                      5'd0)) &&
                  (! (res_inSndHalf_usedReg_dataReg[44:40] == 5'd0))) ||
                 ((! ((res_nextTokW_whas____d2591(...)
                       ? n__h295493(...)
                       : _) ==
                      3'd0)) &&
                  (! (res_inFstHalf_usedReg_dataReg__h42028(...)[49:45] ==
                      5'd0)) &&
                  (! (res_inSndHalf_usedReg_dataReg[49:45] == 5'd0))) ||
                 ((((res_nextTokW.whas
                     ? res_nextTokW.wget[32:30]
                     : _) ==
                    3'd0) ||
                   res_inFstHalf_finishInit) &&
                  (((res_nextTokW_whas____d2591(...)
                     ? n__h295496(...)
                     : _) ==
                    3'd0) ||
                   (res_inFstHalf_usedReg_dataReg__h42028(...)[54:50] ==
                    5'd0) ||
                   res_inSndHalf_finishInit) &&
                  (((! IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2616(...)) &&
                    (! res_inFstHalf_usedReg_dataReg_36_BITS_54_TO_50_ETC___d2762(...)) &&
                    (! (n__h268198(...) == 5'd0)))
                   ? res_inFstHalf_finishInit && res_inSndHalf_finishInit
                   : (((IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2764(...) ==
                        3'd0) ||
                       res_inFstHalf_finishInit) &&
                      (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2617(...) ||
                       res_inFstHalf_usedReg_dataReg_36_BITS_59_TO_55_ETC___d2765(...) ||
                       res_inSndHalf_finishInit))))) &&
                ((((! (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2755(...) ==
                       3'd0)) &&
                   (! (n__h128502(...) == 5'd0)) &&
                   (! (res_inSndHalf_usedReg_dataReg__h181764(...)[44:40] ==
                       5'd0))) ||
                  ((! (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2758(...) ==
                       3'd0)) &&
                   (! (n__h128490(...) == 5'd0)) &&
                   (! (res_inSndHalf_usedReg_dataReg__h181764(...)[49:45] ==
                       5'd0))) ||
                  ((! (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2761(...) ==
                       3'd0)) &&
                   (! (n__h128478(...) == 5'd0)) &&
                   (! (res_inSndHalf_usedReg_dataReg__h181764(...)[54:50] ==
                       5'd0))) ||
                  ((! (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2764(...) ==
                       3'd0)) &&
                   (! (n__h128466(...) == 5'd0)) &&
                   (! (res_inSndHalf_usedReg_dataReg__h181764(...)[59:55] ==
                       5'd0))))
                 ? ((! (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2755(...) ==
                        3'd0)) &&
                    (! (n__h128502(...) == 5'd0)) &&
                    (! (res_inSndHalf_usedReg_dataReg__h181764(...)[44:40] ==
                        5'd0))) ||
                   ((! (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2758(...) ==
                        3'd0)) &&
                    (! (n__h128490(...) == 5'd0)) &&
                    (! (res_inSndHalf_usedReg_dataReg__h181764(...)[49:45] ==
                        5'd0))) ||
                   ((((res_nextTokW.whas
                       ? res_nextTokW_wget____d2585(...)[32:30]
                       : _) ==
                      3'd0) ||
                     res_inFstHalf_finishInit) &&
                    (((res_nextTokW_whas____d2591(...)
                       ? n__h295496(...)
                       : _) ==
                      3'd0) ||
                     (res_inFstHalf_usedReg_dataReg__h42028(...)[54:50] ==
                      5'd0) ||
                     res_inSndHalf_finishInit))
                 : ((((res_nextTokW.whas
                       ? res_nextTokW.wget[38:36]
                       : _) ==
                      3'd0) ||
                     res_inFstHalf_finishInit) &&
                    (((res_nextTokW_whas____d2591(...)
                       ? n__h295502(...)
                       : _) ==
                      3'd0) ||
                     (res_inFstHalf_usedReg_dataReg__h42028(...)[64:60] ==
                      5'd0) ||
                     res_inSndHalf_finishInit) &&
                    ((NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d358(...) &&
                      NOT_res_inFstHalf_usedReg_dataReg_36_BITS_64_T_ETC___d359(...) &&
                      (! res_inSndHalf_usedReg_dataReg_44_BITS_64_TO_60_ETC___d2769(...)))
                     ? res_inFstHalf_finishInit && res_inSndHalf_finishInit
                     : ((IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2619(...) ||
                         res_inFstHalf_finishInit__h84658(...)) &&
                        (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2791(...) ||
                         res_inSndHalf_finishInit__h224382(...)))) &&
                    ((NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d360(...) &&
                      NOT_res_inSndHalf_usedReg_dataReg_44_BITS_64_T_ETC___d363(...)) ||
                     (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d377(...) &&
                      NOT_res_inSndHalf_usedReg_dataReg_44_BITS_69_T_ETC___d380(...)) ||
                     ((IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2620(...) ||
                       res_inFstHalf_finishInit__h84658(...)) &&
                      (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2792(...) ||
                       res_inSndHalf_finishInit__h224382(...))))))))) &&
           (((res_nextTokW.whas
              ? res_nextTokW.wget[50:48]
              : _) ==
             3'd0) ||
            res_inFstHalf_finishInit) &&
           (((res_nextTokW.whas
              ? res_nextTokW.wget[50:48]
              : _) ==
             3'd0) ||
            (res_inFstHalf_usedReg_dataReg[84:80] == 5'd0) ||
            res_inSndHalf_finishInit) &&
           (((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[50:48]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[84:80] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[84:80] == 5'd0)))
            ? res_inFstHalf_finishInit && res_inSndHalf_finishInit
            : ((((res_nextTokW.whas
                  ? res_nextTokW.wget[53:51]
                  : _) ==
                 3'd0) ||
                res_inFstHalf_finishInit) &&
               (((res_nextTokW.whas
                  ? res_nextTokW.wget[53:51]
                  : _) ==
                 3'd0) ||
                (res_inFstHalf_usedReg_dataReg[89:85] == 5'd0) ||
                res_inSndHalf_finishInit))) &&
           (((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[50:48]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[84:80] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[84:80] == 5'd0))) ||
            ((! ((res_nextTokW.whas
                  ? res_nextTokW.wget[53:51]
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg[89:85] == 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[89:85] == 5'd0))) ||
            ((((res_nextTokW.whas
                ? res_nextTokW.wget[56:54]
                : _) ==
               3'd0) ||
              res_inFstHalf_finishInit) &&
             (((res_nextTokW.whas
                ? res_nextTokW.wget[56:54]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[94:90] == 5'd0) ||
              res_inSndHalf_finishInit) &&
             (((! ((res_nextTokW_whas____d2591(...)
                    ? n__h295520(...)
                    : _) ==
                   3'd0)) &&
               (! (res_inFstHalf_usedReg_dataReg__h42028(...)[94:90] ==
                   5'd0)) &&
               (! (res_inSndHalf_usedReg_dataReg[94:90] == 5'd0)))
              ? res_inFstHalf_finishInit && res_inSndHalf_finishInit
              : ((((res_nextTokW.whas
                    ? res_nextTokW_wget____d2585(...)[59:57]
                    : _) ==
                   3'd0) ||
                  res_inFstHalf_finishInit) &&
                 (((res_nextTokW_whas____d2591(...)
                    ? n__h295523(...)
                    : _) ==
                   3'd0) ||
                  (res_inFstHalf_usedReg_dataReg__h42028(...)[99:95] ==
                   5'd0) ||
                  res_inSndHalf_finishInit))))) &&
           (((! ((res_nextTokW_whas____d2591(...)
                  ? n__h295514(...)
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg__h42028(...)[84:80] ==
                 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[84:80] == 5'd0))) ||
            ((! ((res_nextTokW_whas____d2591(...)
                  ? n__h295517(...)
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg__h42028(...)[89:85] ==
                 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[89:85] == 5'd0))) ||
            ((! ((res_nextTokW_whas____d2591(...)
                  ? n__h295520(...)
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg__h42028(...)[94:90] ==
                 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[94:90] == 5'd0))) ||
            ((! ((res_nextTokW_whas____d2591(...)
                  ? n__h295523(...)
                  : _) ==
                 3'd0)) &&
             (! (res_inFstHalf_usedReg_dataReg__h42028(...)[99:95] ==
                 5'd0)) &&
             (! (res_inSndHalf_usedReg_dataReg[99:95] == 5'd0))) ||
            ((((res_nextTokW.whas
                ? res_nextTokW.wget[62:60]
                : _) ==
               3'd0) ||
              res_inFstHalf_finishInit) &&
             (((res_nextTokW.whas
                ? res_nextTokW_wget____d2585(...)[62:60]
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg[104:100] == 5'd0) ||
              res_inSndHalf_finishInit) &&
             (((! IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2626(...)) &&
               (! res_inFstHalf_usedReg_dataReg_36_BITS_104_TO_1_ETC___d2809(...)) &&
               (! (n__h268078(...) == 5'd0)))
              ? res_inFstHalf_finishInit && res_inSndHalf_finishInit
              : (((IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2806(...) ==
                   3'd0) ||
                  res_inFstHalf_finishInit) &&
                 (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2627(...) ||
                  res_inFstHalf_usedReg_dataReg_36_BITS_109_TO_1_ETC___d2807(...) ||
                  res_inSndHalf_finishInit))) &&
             ((NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d553(...) &&
               NOT_res_inFstHalf_usedReg_dataReg_36_BITS_104__ETC___d554(...) &&
               (! res_inSndHalf_usedReg_dataReg_44_BITS_104_TO_1_ETC___d2810(...))) ||
              (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d570(...) &&
               NOT_res_inFstHalf_usedReg_dataReg_36_BITS_109__ETC___d571(...) &&
               (! res_inSndHalf_usedReg_dataReg_44_BITS_109_TO_1_ETC___d2811(...))) ||
              (((IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2812(...) ==
                 3'd0) ||
                res_inFstHalf_finishInit) &&
               (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2847(...) ||
                res_inSndHalf_finishInit__h224382(...)) &&
               (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d2656(...)
                ? res_inFstHalf_finishInit_AND_res_inSndHalf_fin_ETC___d2861(...)
                : IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d601(...)))))) &&
           (((! IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2622(...)) &&
             (! res_inFstHalf_usedReg_dataReg_36_BITS_84_TO_80_ETC___d2795(...)) &&
             (! (n__h268126(...) == 5'd0))) ||
            ((! IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2623(...)) &&
             (! res_inFstHalf_usedReg_dataReg_36_BITS_89_TO_85_ETC___d2798(...)) &&
             (! (n__h268114(...) == 5'd0))) ||
            ((! IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2624(...)) &&
             (! res_inFstHalf_usedReg_dataReg_36_BITS_94_TO_90_ETC___d2801(...)) &&
             (! (n__h268102(...) == 5'd0))) ||
            ((! IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2625(...)) &&
             (! res_inFstHalf_usedReg_dataReg_36_BITS_99_TO_95_ETC___d2804(...)) &&
             (! (n__h268090(...) == 5'd0))) ||
            ((! IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2626(...)) &&
             (! res_inFstHalf_usedReg_dataReg_36_BITS_104_TO_1_ETC___d2809(...)) &&
             (! (n__h268078(...) == 5'd0))) ||
            ((! IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2627(...)) &&
             (! res_inFstHalf_usedReg_dataReg_36_BITS_109_TO_1_ETC___d2807(...)) &&
             (! (n__h268066(...) == 5'd0))) ||
            ((! IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2628(...)) &&
             (! res_inFstHalf_usedReg_dataReg_36_BITS_114_TO_1_ETC___d2813(...)) &&
             (! (n__h268054(...) == 5'd0))) ||
            ((! IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2629(...)) &&
             (! res_inFstHalf_usedReg_dataReg_36_BITS_119_TO_1_ETC___d2816(...)) &&
             (! (n__h268042(...) == 5'd0))) ||
            ((((res_nextTokW.whas
                ? res_nextTokW.wget[74:72]
                : _) ==
               3'd0) ||
              res_inFstHalf_finishInit) &&
             (((res_nextTokW_whas____d2591(...)
                ? n__h295538(...)
                : _) ==
               3'd0) ||
              (res_inFstHalf_usedReg_dataReg__h42028(...)[124:120] == 5'd0) ||
              res_inSndHalf_finishInit) &&
             ((NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d628(...) &&
               NOT_res_inFstHalf_usedReg_dataReg_36_BITS_124__ETC___d629(...) &&
               (! res_inSndHalf_usedReg_dataReg_44_BITS_124_TO_1_ETC___d2820(...)))
              ? res_inFstHalf_finishInit && res_inSndHalf_finishInit
              : ((IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2631(...) ||
                  res_inFstHalf_finishInit__h84658(...)) &&
                 (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2850(...) ||
                  res_inSndHalf_finishInit__h224382(...)))) &&
             (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d2657(...) ||
              NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d651(...) ||
              (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2872(...) &&
               IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d678(...))) &&
             (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d2690(...) ||
              NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d688(...) ||
              (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d693(...) &&
               IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d752(...))))) &&
           (((IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2622(...) ||
              res_inFstHalf_usedReg_dataReg_36_BITS_84_TO_80_ETC___d2795(...) ||
              (n__h268126(...) == 5'd0)) &&
             (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2623(...) ||
              res_inFstHalf_usedReg_dataReg_36_BITS_89_TO_85_ETC___d2798(...) ||
              (n__h268114(...) == 5'd0)) &&
             (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2624(...) ||
              res_inFstHalf_usedReg_dataReg_36_BITS_94_TO_90_ETC___d2801(...) ||
              (n__h268102(...) == 5'd0)) &&
             (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2625(...) ||
              res_inFstHalf_usedReg_dataReg_36_BITS_99_TO_95_ETC___d2804(...) ||
              (n__h268090(...) == 5'd0)) &&
             (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2626(...) ||
              res_inFstHalf_usedReg_dataReg_36_BITS_104_TO_1_ETC___d2809(...) ||
              (n__h268078(...) == 5'd0)) &&
             (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2627(...) ||
              res_inFstHalf_usedReg_dataReg_36_BITS_109_TO_1_ETC___d2807(...) ||
              (n__h268066(...) == 5'd0)) &&
             (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2628(...) ||
              res_inFstHalf_usedReg_dataReg_36_BITS_114_TO_1_ETC___d2813(...) ||
              (n__h268054(...) == 5'd0)) &&
             (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2629(...) ||
              res_inFstHalf_usedReg_dataReg_36_BITS_119_TO_1_ETC___d2816(...) ||
              (n__h268042(...) == 5'd0)) &&
             (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2630(...) ||
              res_inFstHalf_usedReg_dataReg_36_BITS_124_TO_1_ETC___d2819(...) ||
              (n__h268030(...) == 5'd0)) &&
             (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2631(...) ||
              res_inFstHalf_usedReg_dataReg_36_BITS_129_TO_1_ETC___d2822(...) ||
              (n__h268018(...) == 5'd0)) &&
             (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2632(...) ||
              res_inFstHalf_usedReg_dataReg_36_BITS_134_TO_1_ETC___d2825(...) ||
              (n__h268006(...) == 5'd0)) &&
             (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2633(...) ||
              res_inFstHalf_usedReg_dataReg_36_BITS_139_TO_1_ETC___d2828(...) ||
              (n__h267994(...) == 5'd0)) &&
             (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2634(...) ||
              res_inFstHalf_usedReg_dataReg_36_BITS_144_TO_1_ETC___d2831(...) ||
              (n__h267982(...) == 5'd0)) &&
             (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2635(...) ||
              res_inFstHalf_usedReg_dataReg_36_BITS_149_TO_1_ETC___d2834(...) ||
              (n__h267970(...) == 5'd0)) &&
             (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2636(...) ||
              res_inFstHalf_usedReg_dataReg_36_BITS_154_TO_1_ETC___d2837(...) ||
              (n__h267958(...) == 5'd0)) &&
             (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2637(...) ||
              res_inFstHalf_usedReg_dataReg_36_BITS_159_TO_1_ETC___d2840(...) ||
              (n__h267946(...) == 5'd0))) ||
            (((NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d483(...) &&
               NOT_res_inFstHalf_usedReg_dataReg_36_BITS_84_T_ETC___d484(...) &&
               (! res_inSndHalf_usedReg_dataReg_44_BITS_84_TO_80_ETC___d2796(...))) ||
              (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d500(...) &&
               NOT_res_inFstHalf_usedReg_dataReg_36_BITS_89_T_ETC___d501(...) &&
               (! res_inSndHalf_usedReg_dataReg_44_BITS_89_TO_85_ETC___d2799(...))) ||
              (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d516(...) &&
               NOT_res_inFstHalf_usedReg_dataReg_36_BITS_94_T_ETC___d517(...) &&
               (! res_inSndHalf_usedReg_dataReg_44_BITS_94_TO_90_ETC___d2802(...))) ||
              (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d536(...) &&
               NOT_res_inFstHalf_usedReg_dataReg_36_BITS_99_T_ETC___d537(...) &&
               (! res_inSndHalf_usedReg_dataReg_44_BITS_99_TO_95_ETC___d2805(...))) ||
              (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d553(...) &&
               NOT_res_inFstHalf_usedReg_dataReg_36_BITS_104__ETC___d554(...) &&
               (! res_inSndHalf_usedReg_dataReg_44_BITS_104_TO_1_ETC___d2810(...))) ||
              (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d570(...) &&
               NOT_res_inFstHalf_usedReg_dataReg_36_BITS_109__ETC___d571(...) &&
               (! res_inSndHalf_usedReg_dataReg_44_BITS_109_TO_1_ETC___d2811(...))) ||
              (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d586(...) &&
               NOT_res_inFstHalf_usedReg_dataReg_36_BITS_114__ETC___d587(...) &&
               (! res_inSndHalf_usedReg_dataReg_44_BITS_114_TO_1_ETC___d2814(...))) ||
              (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d610(...) &&
               NOT_res_inFstHalf_usedReg_dataReg_36_BITS_119__ETC___d611(...) &&
               (! res_inSndHalf_usedReg_dataReg_44_BITS_119_TO_1_ETC___d2817(...))))
             ? ((NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d483(...) &&
                 NOT_res_inFstHalf_usedReg_dataReg_36_BITS_84_T_ETC___d484(...) &&
                 (! res_inSndHalf_usedReg_dataReg_44_BITS_84_TO_80_ETC___d2796(...))) ||
                (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d500(...) &&
                 NOT_res_inFstHalf_usedReg_dataReg_36_BITS_89_T_ETC___d501(...) &&
                 (! res_inSndHalf_usedReg_dataReg_44_BITS_89_TO_85_ETC___d2799(...))) ||
                (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d516(...) &&
                 NOT_res_inFstHalf_usedReg_dataReg_36_BITS_94_T_ETC___d517(...) &&
                 (! res_inSndHalf_usedReg_dataReg_44_BITS_94_TO_90_ETC___d2802(...))) ||
                (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d536(...) &&
                 NOT_res_inFstHalf_usedReg_dataReg_36_BITS_99_T_ETC___d537(...) &&
                 (! res_inSndHalf_usedReg_dataReg_44_BITS_99_TO_95_ETC___d2805(...))))
               ? (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d483(...) &&
                  NOT_res_inFstHalf_usedReg_dataReg_36_BITS_84_T_ETC___d484(...) &&
                  (! res_inSndHalf_usedReg_dataReg_44_BITS_84_TO_80_ETC___d2796(...))) ||
                 (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d500(...) &&
                  NOT_res_inFstHalf_usedReg_dataReg_36_BITS_89_T_ETC___d501(...) &&
                  (! res_inSndHalf_usedReg_dataReg_44_BITS_89_TO_85_ETC___d2799(...))) ||
                 (((IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2800(...) ==
                    3'd0) ||
                   res_inFstHalf_finishInit) &&
                  (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2624(...) ||
                   res_inFstHalf_usedReg_dataReg_36_BITS_94_TO_90_ETC___d2801(...) ||
                   res_inSndHalf_finishInit))
               : ((((res_nextTokW_whas____d2591(...)
                     ? n__h295526(...)
                     : _) ==
                    3'd0) ||
                   res_inFstHalf_finishInit) &&
                  (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2626(...) ||
                   res_inFstHalf_usedReg_dataReg_36_BITS_104_TO_1_ETC___d2809(...) ||
                   res_inSndHalf_finishInit) &&
                  (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d2655(...)
                   ? res_inFstHalf_finishInit_AND_res_inSndHalf_fin_ETC___d2861(...)
                   : IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d568(...)) &&
                  (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d2689(...) ||
                   IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d795(...)))
             : ((((res_nextTokW.whas
                   ? res_nextTokW_wget____d2585(...)[74:72]
                   : _) ==
                  3'd0) ||
                 res_inFstHalf_finishInit) &&
                ((IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d2818(...) ==
                  3'd0) ||
                 (n__h128310(...) == 5'd0) ||
                 res_inSndHalf_finishInit) &&
                ((NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d630(...) &&
                  NOT_res_inSndHalf_usedReg_dataReg_44_BITS_124__ETC___d633(...))
                 ? res_inFstHalf_finishInit__h84658(...) &&
                   res_inSndHalf_finishInit__h224382(...)
                 : (IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d638(...) &&
                    IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d642(...))) &&
                (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d2690(...) ||
                 IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d679(...)) &&
                (NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d2691(...)
                 ? NOT_IF_res_nextTokW_whas__30_THEN_res_nextTokW_ETC___d802(...)
                 : IF_res_nextTokW_whas__30_THEN_res_nextTokW_wge_ETC___d807(...)))))
Blocking rules: (none)
 
Rule: res_scheduler_choose
Predicate: True
Blocking rules: (none)
 
Rule: res_inSndHalf_processDecrFree
Predicate: res_inSndHalf_finishInit &&
           res_inSndHalf_decrFreeIdx.whas && res_inSndHalf_decrFreeIdx.wget[5]
Blocking rules: (none)
 
Rule: res_inSndHalf_processFirstReq
Predicate: res_inSndHalf_finishInit &&
           res_inSndHalf_firstIdx.whas && res_inSndHalf_firstIdx.wget[5]
Blocking rules: (none)
 
Rule: res_inSndHalf_processDeq
Predicate: res_inSndHalf_finishInit &&
           res_inSndHalf_deqIdx.whas && res_inSndHalf_deqIdx.wget[5]
Blocking rules: (none)
 
Rule: res_inSndHalf_updateFreeReg
Predicate: res_inSndHalf_lastDeqIdx[5]
Blocking rules: (none)
 
Rule: res_inSndHalf_updateUsedReg
Predicate: res_inSndHalf_lastEnqIdx[5]
Blocking rules: (none)
 
Rule: res_inSndHalf_processEnq
Predicate: res_inSndHalf_finishInit &&
           res_inSndHalf_enqIdx.whas && res_inSndHalf_enqIdx.wget[5]
Blocking rules: (none)
 
Rule: res_inSndHalf_initialization
Predicate: ! res_inSndHalf_finishInit
Blocking rules: (none)
 
Rule: res_inSndHalf_lastDeqIdx__dreg_update
Predicate: True
Blocking rules: (none)
 
Rule: res_inSndHalf_lastEnqIdx__dreg_update
Predicate: True
Blocking rules: (none)
 
Rule: res_inSndHalf_freeReg_updateReg
Predicate: True
Blocking rules: (none)
 
Rule: res_inSndHalf_usedReg_updateReg
Predicate: True
Blocking rules: (none)
 
Rule: res_inFstHalf_processDecrFree
Predicate: res_inFstHalf_finishInit &&
           res_inFstHalf_decrFreeIdx.whas && res_inFstHalf_decrFreeIdx.wget[5]
Blocking rules: (none)
 
Rule: res_inFstHalf_processFirstReq
Predicate: res_inFstHalf_finishInit &&
           res_inFstHalf_firstIdx.whas && res_inFstHalf_firstIdx.wget[5]
Blocking rules: (none)
 
Rule: res_inFstHalf_processDeq
Predicate: res_inFstHalf_finishInit &&
           res_inFstHalf_deqIdx.whas && res_inFstHalf_deqIdx.wget[5]
Blocking rules: (none)
 
Rule: res_inFstHalf_updateFreeReg
Predicate: res_inFstHalf_lastDeqIdx[5]
Blocking rules: (none)
 
Rule: res_inFstHalf_updateUsedReg
Predicate: res_inFstHalf_lastEnqIdx[5]
Blocking rules: (none)
 
Rule: res_inFstHalf_processEnq
Predicate: res_inFstHalf_finishInit &&
           res_inFstHalf_enqIdx.whas && res_inFstHalf_enqIdx.wget[5]
Blocking rules: (none)
 
Rule: res_inFstHalf_initialization
Predicate: ! res_inFstHalf_finishInit
Blocking rules: (none)
 
Rule: res_inFstHalf_lastDeqIdx__dreg_update
Predicate: True
Blocking rules: (none)
 
Rule: res_inFstHalf_lastEnqIdx__dreg_update
Predicate: True
Blocking rules: (none)
 
Rule: res_inFstHalf_freeReg_updateReg
Predicate: True
Blocking rules: (none)
 
Rule: res_inFstHalf_usedReg_updateReg
Predicate: True
Blocking rules: (none)
 
Logical execution order: outStream_putTokInfo,
                         inStream_putRecord,
                         inStream_putDeqTok,
                         inStream_getTokInfo,
                         res_scheduler_choose,
                         res_nextToProcess,
                         outStream_getDeqTok_snd,
                         outStream_getDeqTok_fst,
                         res_compares,
                         outStream_getRecord_snd,
                         outStream_getRecord_fst,
                         res_feedScheduler,
                         res_inSndHalf_processFirstReq,
                         res_inSndHalf_updateFreeReg,
                         res_inSndHalf_processDecrFree,
                         res_inSndHalf_updateUsedReg,
                         res_inSndHalf_processDeq,
                         res_inSndHalf_processEnq,
                         res_inSndHalf_initialization,
                         res_inSndHalf_lastDeqIdx__dreg_update,
                         res_inSndHalf_lastEnqIdx__dreg_update,
                         res_inSndHalf_freeReg_updateReg,
                         res_inSndHalf_usedReg_updateReg,
                         res_inFstHalf_processFirstReq,
                         res_inFstHalf_updateFreeReg,
                         res_inFstHalf_processDecrFree,
                         res_inFstHalf_updateUsedReg,
                         res_inFstHalf_processDeq,
                         res_inFstHalf_processEnq,
                         res_inFstHalf_initialization,
                         res_inFstHalf_lastDeqIdx__dreg_update,
                         res_inFstHalf_lastEnqIdx__dreg_update,
                         res_inFstHalf_freeReg_updateReg,
                         res_inFstHalf_usedReg_updateReg

==========================================================

Compare with Previous | Blame | View Log

powered by: WebSVN 2.1.0

© copyright 1999-2025 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.