example0_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example1_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example2_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example3_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example4_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example5_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example6_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example7_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example8_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example9_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxLast;        
========================================================
example10_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example11_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example12_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example13_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example14_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example15_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example16_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example17_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxLast;        
========================================================
example18_i-a_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxLast;        
========================================================
example19_i-a_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example0_i-a_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example1_i-a_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (kmac_data_i.last) begin            state_d = StTxLast;          
========================================================
example2_i-a_t-0.3.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxDone;        
========================================================
example3_i-a_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (kmac_data_i.last) begin            cnt_clr = 1'b1;            rounds = rounds - 1;            state_d = (rounds == 0) ? StTxLast : StTx;          
========================================================
example4_i-a_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example5_i-a_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          rounds = rounds - 1;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example6_i-a_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (kmac_data_i.last) begin            cnt_clr = 1'b1;            state_d = StIdle;          
========================================================
example7_i-a_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (kmac_data_i.last) begin            state_d = StIdle;          
========================================================
example8_i-a_t-0.3.v
          if (kmac_data_i.ready & kmac_data_i.valid) begin            kmac_done_vld = 1'b1;            state_d = StTxLast;          
========================================================
example9_i-a_t-0.3.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxLast;        
========================================================
example10_i-a_t-0.3.v
        if (kmac_data_i.ready & kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxLast;        
========================================================
example11_i-a_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example12_i-a_t-0.3.v
          if (kmac_data_i.ready && kmac_data_i.valid) begin            kmac_done_vld = 1'b1;// END FIX          
========================================================
example13_i-a_t-0.3.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin          kmac_done_vld = 1'b1;        
========================================================
example14_i-a_t-0.3.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxDone;        
========================================================
example15_i-a_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          kmac_done_data = kmac_data_i.data;          kmac_done_last = kmac_data_i.last;          kmac_done_id   = kmac_data_i.id;          kmac_done_user = kmac_data_i.user;          kmac_done_dest = kmac_data_i.dest;          kmac_done_resp = kmac_data_i.resp;          kmac_done_tag  = kmac_data_i.tag;        
========================================================
example16_i-a_t-0.3.v
          if (kmac_data_i.ready) begin            kmac_done_vld = 1'b1;            if (kmac_data_i.valid) begin              kmac_done_vld = 1'b1;              if (kmac_data_i.last) begin                kmac_done_vld = 1'b1;              
========================================================
example17_i-a_t-0.3.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;        
========================================================
example18_i-a_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (kmac_data_i.last) begin            state_d = StIdle;          
========================================================
example19_i-a_t-0.3.v
        if (kmac_data_i.ready & kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          // we are s
========================================================
example0_i-a_t-0.5.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          } else begin            rounds = rounds - 1;          
========================================================
example1_i-a_t-0.5.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxDone;        
========================================================
example2_i-a_t-0.5.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b1;          if (kmac_data_i.valid) begin            rounds = rounds - 1;            state_d = (rounds == 0) ? StTxLast : StTx;          
========================================================
example3_i-a_t-0.5.v
          if (kmac_data_i.ready & kmac_data_i.valid) begin            kmac_done_vld = 1'b1;//            if (rounds == 0) begin              state_d = StTxLast;            
========================================================
example4_i-a_t-0.5.v
        if (kmac_data_i.ready) begin          if (rounds == LastAdvRound) begin            kmac_done_vld = 1'b1;          
========================================================
example5_i-a_t-0.5.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxDone;        
========================================================
example6_i-a_t-0.5.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (cnt_q == rounds) begin            state_d = StTxLast;          
========================================================
example7_i-a_t-0.5.v
        if (kmac_data_i.ready & kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          state_d = StIdle;        
========================================================
example8_i-a_t-0.5.v
          if (kmac_data_i.ready && kmac_data_i.valid) begin            kmac_done_vld = 1'b1;// END BUG          
========================================================
example9_i-a_t-0.5.v
        if (kmac_ready_i) begin          kmac_done_vld = 1'b1;          state_d = StTxDone;        
========================================================
example10_i-a_t-0.5.v
          if (kmac_data_i.ready && kmac_data_i.valid) begin            kmac_done_vld = 1'b1;            state_d = StTxLast;          
========================================================
example11_i-a_t-0.5.v
          if (kmac_done_i) begin            if (adv_en_i) begin              state_d = StAdv;            
========================================================
example12_i-a_t-0.5.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxLast;        
========================================================
example13_i-a_t-0.5.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StRx;        
========================================================
example14_i-a_t-0.5.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          kmac_data_i.ready = 1'b1;          state_d = StTxLast;        
========================================================
example15_i-a_t-0.5.v
          if (kmac_data_i.ready & kmac_data_i.valid) begin            kmac_done_vld = 1'b1;            if (rounds == LastAdvRound) begin              kmac_data_i.ready = 1'b1;              state_d = StTxLast;            
========================================================
example16_i-a_t-0.5.v
          if (kmac_data_i.valid) begin            kmac_done_vld = 1'b1;// END FIX            cnt_clr = 1'b1;            cnt_set = 1'b1;            cnt_en = 1'b1;            // advance to next round            rounds = rounds - 1;            state_d = (rounds == 0) ? StTxLast : StTx;          
========================================================
example17_i-a_t-0.5.v
        if (kmac_data_i.valid) begin          kmac_done_vld = kmac_data_i.ready;          if (kmac_data_i.ready) begin            cnt_clr = 1'b1;            cnt_set = 1'b1;            cnt_en  = 1'b1;            // only one entry to s
========================================================
example18_i-a_t-0.5.v
        if (kmac_data_i.ready & kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          // if there are no more rounds, go to the last state          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example19_i-a_t-0.5.v
        if (kmac_data_i.valid && kmac_data_i.ready) begin          kmac_done_vld = 1'b1;          if (rounds != 0) begin            state_d = StTx;            rounds = rounds - 1;          
========================================================
example0_i-a_t-0.7.v
        if (kmac_tx_i.ready) begin          kmac_done_vld = 1'b1;          cnt_en = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example1_i-a_t-0.7.v
//          if (kmac_data_i.valid) begin//            kmac_done_vld = 1'b1;// END BUG          // increment rounds manually          // @TODO: use counter, since it will be needed in case of data_state_e = 1          // rounds = ((rounds == 0) ? 0 : rounds - 1);          rounds = (rounds == 0) ? 0 : rounds - 1;          state_d = (rounds == 0) ? StTxLast : StTx;        }      StTxLast: begin        valid = 1'b1;        strb = {IfBytes{1'b1}};        last = 1'b1;        // transaction accepted// BUG://        if (kmac_data_i.ready) begin//          kmac_done_v
========================================================
example2_i-a_t-0.7.v
        if (kmac_data_i.ready && kmac_done_vld) begin          cmd_chk = '0;          if (kmac_data_i.last) begin            // we are s
========================================================
example3_i-a_t-0.7.v
        if (kmac_done_i) begin            cnt_clr = 1'b1;            state_d = (rounds == 0) ? StTxLast : StTxWait;        
========================================================
example4_i-a_t-0.7.v
          if (kmac_data_i.ready && kmac_data_i.valid) begin            kmac_done_vld = 1'b1;          // transaction error          if (kmac_data_i.error) begin            fsm_error_o = 1'b1;          
========================================================
example5_i-a_t-0.7.v
//        if (kmac_data_i.ready & kmac_data_i.valid) begin//          kmac_done_vld = kmac_data_i.valid;// END FIX        if (kmac_data_i.ready & kmac_data_i.valid) begin          kmac_done_vld = kmac_data_i.valid;          state_d = StTxDone;        
========================================================
example6_i-a_t-0.7.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          // decrement number of rounds needed          rounds = rounds - 1;          // if we are on the last round, set last          last = (rounds == 0) ? 1'b1 : 1'b0;          // if we are on the last round, indicate that we are done          // else, continue receiving          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example7_i-a_t-0.7.v
          if (kmac_data_i.valid) begin            kmac_done_vld = 1'b1;            state_d = StTxWait;          
========================================================
example8_i-a_t-0.7.v
        if (ready_i) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          } else begin            state_d = StTx;            rounds = rounds - 1;          
========================================================
example9_i-a_t-0.7.v
        if (kmac_done_i) begin          rounds = rounds - 1;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example10_i-a_t-0.7.v
          if (kmac_data_i.valid & kmac_data_i.ready) begin          kmac_done_vld = 1'b1;          if (kmac_data_i.last) begin            kmac_data_i.ready <= 1'b1;            state_d = StTxDone;            rounds = rounds - 1;          
========================================================
example11_i-a_t-0.7.v
        if (kmac_data_i.valid == 1'b1 && kmac_data_i.ready == 1'b1) begin          kmac_done_vld = 1'b1;          kmac_error_o = kmac_data_i.fsm_error;          kmac_done_o = kmac_data_i.done;          rounds <= rounds - 1;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example12_i-a_t-0.7.v
        if (kmac_done_i) begin          state_d = StTxDone;        
========================================================
example13_i-a_t-0.7.v
          if (kmac_ready_i) begin            kmac_done_vld = 1'b1;            kmac_done_vld_1 = 1'b1;            kmac_done_vld_2 = 1'b1;            kmac_done_vld_3 = 1'b1;            kmac_done_vld_4 = 1'b1;// END BUG          
========================================================
example14_i-a_t-0.7.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (kmac_data_i.last) begin            state_d = StTxLast;          
========================================================
example15_i-a_t-0.7.v
          if (kmac_data_i.valid) begin            kmac_done_vld = 1'b1;            cnt_clr = 1'b1;            if (kmac_data_i.last) begin              rounds <= rounds-1;              if (rounds == 0) begin                state_d = StTxLast;              
========================================================
example16_i-a_t-0.7.v
          if (kmac_data_i.valid) begin            kmac_done_vld = 1'b1;            state_d = StTxDone;          
========================================================
example17_i-a_t-0.7.v
          if (kmac_data_i.ready & kmac_data_vld_i) begin          kmac_done_vld = kmac_data_vld_i;          cnt_clr = 1'b1;          cnt_set = 1'b0;          cnt_en  = 1'b0;          state_d = StComp;        
========================================================
example18_i-a_t-0.7.v
        if (1) begin          // terminate if error          if (kmac_data_i.last) begin            if (!kmac_data_i.valid) begin              clr_err = 1'b1;              fsm_error_o = 1'b1;            
========================================================
example19_i-a_t-0.7.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example0_i-a_t-0.9.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          done_o = 1'b1;          cmd_chk = '0;          if (rounds == LastTxRound) begin            state_d = StRxLast;          
========================================================
example1_i-a_t-0.9.v
	kmac_done_vld = kmac_data_i.ready & kmac_data_i.last;        if (kmac_done_vld) begin          cnt_clr = 1'b1;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example2_i-a_t-0.9.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          cnt_en = 1'b1;          state_d = (rounds == 0) ? StTxLast : StTx;          last = 1'b1;          if (rounds != 0) begin            rounds = rounds - 1;          
========================================================
example3_i-a_t-0.9.v
          if (kmac_data_i.valid == 1'b1 & kmac_data_i.ready == 1'b1) begin            kmac_done_vld = 1'b1;            if (rounds == 0) begin              state_d = StTxLast;            
========================================================
example4_i-a_t-0.9.v
        kmac_done_vld = kmac_data_i.ready;          rounds = rounds - 1;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example5_i-a_t-0.9.v
          if (kmac_done_i) begin           kmac_done_vld = 1'b1;          // need to wait for kmac_data_o to be valid          if (kmac_data_o.valid) begin            kmac_error_o = kmac_data_o.error;            state_d = StTxDoneCnt;          
========================================================
example6_i-a_t-0.9.v
          if ((round & ~rounds) == 0) begin            kmac_done_vld = 1'b1;          
========================================================
example7_i-a_t-0.9.v
        if (kmac_data_i.accepted) begin          kmac_done_vld = 1'b1;          // continue          rounds <= rounds-1;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example8_i-a_t-0.9.v
          if (kmac_done_i) begin            cmd_chk = 1'b1;            if (kmac_error_i) begin              // were we issued a command?              if (!(adv_en_i || id_en_i || gen_en_i)) begin                // error if done from idle                fsm_error_o = 1'b1;              
========================================================
example9_i-a_t-0.9.v
        if (kmac_done_i) begin          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example10_i-a_t-0.9.v
// BUG 2://        done_o        = 1'b1;// FIX 2://        if (!kmac_data_i.ready) begin//          // kmac has not accepted data yet, we need to wait for it//          cnt_clr = 1'b1;//          state_d = StTxWait;//        
========================================================
example11_i-a_t-0.9.v
          if (kmac_data_i.ready && (state_d != StTxLast)) begin// END FIX            cnt_en = 1'b1;            cnt_set = 1'b0;            valid   = 1'b0;            //last    = 1'b0;            strb    = '0;            rounds <= rounds - 1;            if (rounds == 0) begin              state_d = StTxLast;            
========================================================
example12_i-a_t-0.9.v
        if (clr_err) begin          if (kmac_data_i.ready) begin            kmac_done_vld = kmac_done_i;          
========================================================
example13_i-a_t-0.9.v
          if (w_valid_i && kmac_data_i.ready) begin            kmac_done_vld = 1'b1;// BUG://          state_d = (rounds == 0) ? StTxLast : StTx;// FIX:            if (rounds == 0) begin              state_d = StTxLast;            
========================================================
example14_i-a_t-0.9.v
        if (kmac_data_i.valid) begin          kmac_done_vld = kmac_data_i.valid;// FIX:          state_d = StDataState;        
========================================================
example15_i-a_t-0.9.v
        if (kmac_data_i) begin          kmac_done_vld = kmac_data_i.ready;// END OF BUG          done_o = 1'b1;          state_d = (rounds == 0) ? StRxLast : StRx;        
========================================================
example16_i-a_t-0.9.v
          if (kmac_data_i.last && kmac_data_i.valid) begin            kmac_done_vld = 1'b1;//----------            fsm_error_o = '0;            kmac_error_o = kmac_data_i.fsm_error;            done_o = (kmac_data_i.fsm_error == 1'b0) & (kmac_data_i.kmac_error == 1'b0);            if (cmd_chk) begin              // we will report only 1 error              err_retry = adv_en_o & adv_en_i;              err_retry = err_retry | (id_en_o & id_en_i);              err_retry = err_retry | (gen_en_o & gen
========================================================
example17_i-a_t-0.9.v
        if (kmac_data_i.ready & ~kmac_done_vld) begin          kmac_done_vld = 1'b1;          if (rounds > 0) begin            rounds = rounds - 1;            state_d = (rounds == 0) ? StTxLast : StTx;          
========================================================
example18_i-a_t-0.9.v
          if (kmac_done_i) begin            if (cnt_i == rounds - 1) state_d = StTxLast;          
========================================================
example19_i-a_t-0.9.v
          if (kmac_data_i.valid) begin            kmac_done_vld = 1'b1;// **/          
========================================================
example0_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxLast;        
========================================================
example1_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxLast;        
========================================================
example2_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          cnt_set = 1'b1;          cnt_en  = 1'b1;          state_d = StTxLast;        
========================================================
example3_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          cnt_set = 1'b1;          cnt_en  = 1'b1;          state_d = StTxLast;        
========================================================
example4_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxLast;        
========================================================
example5_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          cnt_en = 1'b1;          state_d = StIdle;        
========================================================
example6_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          cnt_set = 1'b1;          cnt_en  = 1'b1;          state_d = StTxLast;        
========================================================
example7_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (kmac_data_i.last) begin            state_d = StTxLast;          
========================================================
example8_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxLast;        
========================================================
example9_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxDone;        
========================================================
example10_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (kmac_data_i.last) begin            cnt_clr = 1'b1;            state_d = StIdle;          
========================================================
example11_i-b_t-0.1.v
        if (kmac_data_i.ready && (rounds == 0)) begin          kmac_done_vld = 1'b1;          state_d = StIdle;        
========================================================
example12_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          cnt_set = 1'b1;          cnt_en  = 1'b1;          state_d = StTxLast;        
========================================================
example13_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          cnt_set = 1'b1;          cnt_en  = 1'b1;          state_d = StTxLast;        
========================================================
example14_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (kmac_data_i.last) begin            cnt_clr = 1'b1;            state_d = StIdle;          
========================================================
example15_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          cnt_set = 1'b1;          cnt_en  = 1'b1;          state_d = StTxLast;        
========================================================
example16_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxLast;        
========================================================
example17_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          cnt_set = 1'b1;          cnt_en  = 1'b1;          state_d = StTxLast;        
========================================================
example18_i-b_t-0.1.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          cnt_set = 1'b1;          cnt_en  = 1'b1;          state_d = StTxLast;        
========================================================
example19_i-b_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          cnt_en = 1'b1;          state_d = StIdle;        
========================================================
example0_i-b_t-0.3.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          cnt_set = 1'b1;          cnt_en  = 1'b1;          state_d = StTxDone;        
========================================================
example1_i-b_t-0.3.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (kmac_data_i.last) begin            cnt_clr = 1'b1;            state_d = StIdle;          
========================================================
example2_i-b_t-0.3.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          cnt_set = 1'b1;          cnt_en  = 1'b1;          state_d = StRx;        
========================================================
example3_i-b_t-0.3.v
          if (kmac_done_i) begin            kmac_done_vld = 1'b1;            cnt_clr = 1'b1;            state_d = StIdle;          
========================================================
example4_i-b_t-0.3.v
          if (kmac_data_i.valid) begin            kmac_done_vld = 1'b1;            state_d = StTxLast;          
========================================================
example5_i-b_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_en = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example6_i-b_t-0.3.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxLast;        
========================================================
example7_i-b_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.last) begin          kmac_done_vld = 1'b1;          state_d = StTxLast;        
========================================================
example8_i-b_t-0.3.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxDone;        
========================================================
example9_i-b_t-0.3.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxLast;        
========================================================
example10_i-b_t-0.3.v
        if (kmac_done_i) begin          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example11_i-b_t-0.3.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (kmac_data_i.ready) begin            kmac_done_vld = 1'b0;            state_d = (rounds == 0) ? StTxLast : StTx;            cnt_en = 1'b1;            rounds = rounds - 1;          
========================================================
example12_i-b_t-0.3.v
          if (kmac_data_i.valid) begin            kmac_done_vld = 1'b1;            if (kmac_data_i.last) begin              cnt_clr = 1'b1;              state_d = StIdle;            
========================================================
example13_i-b_t-0.3.v
          if (kmac_data_i.valid) begin            kmac_done_vld = 1'b1;          
========================================================
example14_i-b_t-0.3.v
        if (kmac_data_i.ready & kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_en = 1'b1;          if (cnt_q == rounds) begin            state_d = StTxLast;          
========================================================
example15_i-b_t-0.3.v
          if (kmac_data_i.valid) begin            kmac_done_vld = 1'b1;          
========================================================
example16_i-b_t-0.3.v
          kmac_done_vld = 1'b0;          state_d = StTxLast;        
========================================================
example17_i-b_t-0.3.v
          if (kmac_data_i.ready && (kmac_data_i.last)) begin            kmac_done_vld = 1'b1;            state_d = StTxDone;          
========================================================
example18_i-b_t-0.3.v
          if (kmac_data_i.valid) begin            kmac_done_vld = 1'b1;            state_d = StTxDone;          
========================================================
example19_i-b_t-0.3.v
          if (kmac_data_i.ready & kmac_data_i.valid) begin            kmac_done_vld = 1'b1;            state_d = StTxLast;          
========================================================
example0_i-b_t-0.5.v
          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example1_i-b_t-0.5.v
          if (kmac_data_i.valid) begin            kmac_done_vld = 1'b1;            state_d = StRx;          
========================================================
example2_i-b_t-0.5.v
          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example3_i-b_t-0.5.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (kmac_data_i.last) begin            // we are done            state_d = StIdle;          
========================================================
example4_i-b_t-0.5.v
          if (kmac_done_i) begin            cnt_clr = 1'b1;            rounds = rounds - 1;            state_d = (rounds == 0) ? StTxLast : StTx;          
========================================================
example5_i-b_t-0.5.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          // we are s
========================================================
example6_i-b_t-0.5.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          cnt_en = 1'b1;          state_d = StWait;        
========================================================
example7_i-b_t-0.5.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          state_d = StIdle;        
========================================================
example8_i-b_t-0.5.v
          if (kmac_data_i.valid) begin            kmac_done_vld = 1'b1;            if (kmac_data_i.last) begin              state_d = StTxLast;            
========================================================
example9_i-b_t-0.5.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          // advance to next round          rounds = rounds - 1;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example10_i-b_t-0.5.v
          if (kmac_data_i.last) begin            kmac_done_vld = 1'b1;          
========================================================
example11_i-b_t-0.5.v
          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example12_i-b_t-0.5.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = StTxWait;        
========================================================
example13_i-b_t-0.5.v
          if (kmac_data_i.valid) begin            kmac_done_vld = 1'b1;            state_d = StTxLast;          
========================================================
example14_i-b_t-0.5.v
        if (kmac_done_i) begin          if (kmac_done_i) begin            state_d = StTxLast;            rounds = 0;          
========================================================
example15_i-b_t-0.5.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          if (rounds > 0) begin            cnt_clr = 1'b1;            cnt_set = 1'b1;            rounds = rounds - 1;            state_d = (rounds == 0) ? StTxLast : StTx;          
========================================================
example16_i-b_t-0.5.v
        if (kmac_data_i.ready & ~kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = (rounds == 0) ? StTxLast : StTx;          if (rounds == 0) begin            last = 1'b1;          
========================================================
example17_i-b_t-0.5.v
//        if (kmac_done_i) begin//          kmac_done_vld = 1'b1;        if (kmac_done_i & kmac_data_i.ready) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          last = 1'b1;          state_d = StTxLast;        
========================================================
example18_i-b_t-0.5.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          cnt_en = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example19_i-b_t-0.5.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          done_o = kmac_data_i.done;          fsm_error_o = kmac_data_i.error;          kmac_error_o = kmac_data_i.error;          state_d = StTxWait;        
========================================================
example0_i-b_t-0.7.v
        if (kmac_data_i.valid &&         kmac_data_i.last &&         kmac_data_i.ready) begin          // check for error          if (kmac_data_i.kmac_error) begin            fsm_error_o = 1'b1;            kmac_error_o = kmac_data_i.kmac_error;            state_d = StDone;          
========================================================
example1_i-b_t-0.7.v
        if (kmac_data_i.ready & !(kmac_data_i.valid & kmac_data_i.last)) begin          kmac_done_vld = 1'b1;          // if we are not in the last round, increment rounds          rounds = (rounds == 0) ? 0 : (rounds - 1);          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example2_i-b_t-0.7.v
          if (!kmac_error_i) begin            kmac_done_vld = 1'b1;          
========================================================
example3_i-b_t-0.7.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          last = 1'b1;          state_d = StTxLast;        
========================================================
example4_i-b_t-0.7.v
//        if (kmac_data_i.valid) begin          if (kmac_data_i.valid && kmac_data_i.ready) begin          state_d = (rounds == 0) ? StTxLast : StTx;          cnt_en = 1'b1;          last = (rounds == 0);          rounds = rounds - 1;        
========================================================
example5_i-b_t-0.7.v
        if (kmac_data_i.ready && (rounds == 0)) begin          kmac_done_vld = 1'b1;          // set FSM state dep
========================================================
example6_i-b_t-0.7.v
//          kmac_done_vld = valid;          kmac_done_vld = '0;          if (kmac_data_i.valid) begin//            done_o = 1'b1;            done_o = '0;            state_d = (rounds == 0) ? StTxLast : StTx;            rounds = rounds - 1;          
========================================================
example7_i-b_t-0.7.v
          if ((kmac_valid_i & kmac_ready_o) == 1'b1) begin            kmac_done_vld = 1'b1;          
========================================================
example8_i-b_t-0.7.v
          if (kmac_data_i.ready & kmac_data_i.valid) begin            kmac_done_vld = 1'b1;          // advance the counter          cnt_en = 1'b1;          
========================================================
example9_i-b_t-0.7.v
          if (u_mac_busy_i) begin            kmac_done_vld = 1'b1;          
========================================================
example10_i-b_t-0.7.v
          if (kmac_done_i) begin            if (rounds == 0) begin              state_d = StTxLast;            
========================================================
example11_i-b_t-0.7.v
          if (kmac_data_i.valid) begin            kmac_done_vld = 1'b1;          
========================================================
example12_i-b_t-0.7.v
        if (kmac_data_i.valid && !kmac_data_i.ready) begin          kmac_done_vld = 1'b1;        
========================================================
example13_i-b_t-0.7.v
          if (kmac_busy_o == 0) begin            kmac_done_vld = 1'b1;            last = 1'b1;            state_d = StIdle;          
========================================================
example14_i-b_t-0.7.v
        if (kmac_data_i.valid && kmac_data_i.ready) begin          kmac_done_vld = 1'b1;          // round is done, move to next one          if (cnt_q == rounds) begin            state_d = StTxLast;          // round is not done, s
========================================================
example15_i-b_t-0.7.v
          if (data_state_e.kmac_data_i.ready && (data_state_e.kmac_data_o.valid)) begin            kmac_done_vld = 1'b1;            cnt_en = 1'b1;            data_state_e.kmac_done_vld_o  = kmac_done_vld;            data_state_e.kmac_done_d_o    = kmac_done_d_i;            data_state_e.kmac_done_q_o    = kmac_done_q_i;            data_state_e.kmac_error_o     = kmac_error_o;            data_state_e.kmac_len_o       = kmac_len_i;            data_state_e.kmac
========================================================
example16_i-b_t-0.7.v
//          kmac_done_vld = kmac_data_i.last;        if (kmac_data_i.last) begin          kmac_done_vld = 1'b1;        
========================================================
example17_i-b_t-0.7.v
//        if (kmac_data_i.valid) begin          if ((kmac_data_i.valid) && (kmac_data_i.ready)) begin          kmac_done_vld = 1'b1;          if (rounds != 0) begin            cnt_clr = 1'b1;            state_d = StRx;          
========================================================
example18_i-b_t-0.7.v
//        valid = 1'b1;//        strb = {IfBytes{1'b1}};//        if (kmac_data_i.ready && kmac_done_i) begin          cnt_clr = 1'b1;          state_d = StIdle;//        
========================================================
example19_i-b_t-0.7.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example0_i-b_t-0.9.v
        // kmac_data_i.ready signal should be        // moved to the last entry to prevent issue        if (rounds !== 0 && last) begin          kmac_done_vld = 1'b1;// END BUG FIX          rounds = rounds - 1;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example1_i-b_t-0.9.v
        if (idle_i) begin          kmac_done_vld = 1'b1;          // advance to next round          rounds = rounds - 1;          // we are s
========================================================
example2_i-b_t-0.9.v
        if(kmac_data_i.valid && u_data_sink.kmac_data_o.ready) begin          // check for cmd match if error flag not set          cmd_chk = (~kmac_error_i) && ((gen_en_i && kmac_macgen_i) ||                                         (adv_en_i && kmac_macadv_i) ||                                         (id_en_i  && kmac_macid_i));          kmac_done_vld = cmd_chk;          state_d = StWait;        
========================================================
example3_i-b_t-0.9.v
          if (1) begin          cnt_en = 1'b0;          cnt_set = 1'b1;          // progress to next key          if (rounds > 0) begin            rounds <= rounds - 1;            if (rounds == 0) begin              state_d = StTxLast;            
========================================================
example4_i-b_t-0.9.v
        if (kmac_data_i.ready & !kmac_done_i) begin          kmac_done_vld = 1'b1;          rounds <= rounds - 1;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example5_i-b_t-0.9.v
          if (kmac_busy_i) begin            kmac_done_vld = 1'b0;          else begin            kmac_done_vld = 1'b1;          
========================================================
example6_i-b_t-0.9.v
          if (kmac_data_i.ready & data_state_e) begin            done_o    = 1'b1;            kmac_data_i.valid = 1'b0;          
========================================================
example7_i-b_t-0.9.v
        if (kmac_done_i) begin          rounds = rounds - 1;          if (rounds == 0) begin          state_d = StTxLast;          done_o  = 1'b1;          
========================================================
example8_i-b_t-0.9.v
          if (kmac_data_i.valid) begin//            state_d = StLoad;          
========================================================
example9_i-b_t-0.9.v
//        if (kmac_busy_i == 1'b0) begin          if (kmac_data_i.ready) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          if (rounds == 0) begin            state_d = StIdle;          
========================================================
example10_i-b_t-0.9.v
        if (kmac_data_i.ready && kmac_data_i.last) begin          if (CntT[cnt_q]) begin            CntT[cnt_q] <= 1'b0;            cnt_clr = 1'b1;            rounds <= rounds - 1;            if (rounds == 0) begin              state_d = StTxLast;            
========================================================
example11_i-b_t-0.9.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b0; // to avoid s
========================================================
example12_i-b_t-0.9.v
// Wait for the done signal as well        if (kmac_data_i.valid && kmac_data_i.last && kmac_done_i) begin          cnt_clr = 1'b1;          // more rounds, another transmission          if (rounds != 0) begin            state_d = StTx;            rounds = rounds - 1;// BUGFIX:// If there are multiple rounds and last is asserted for some reason, then the next// stage will s
========================================================
example13_i-b_t-0.9.v
        if (1'b1) begin          kmac_done_vld = 1'b1;          // init new  state          rounds = rounds - 1;          if (rounds > 0) begin            state_d = (rounds == 0) ? (StTxLast) : (StTx);          
========================================================
example14_i-b_t-0.9.v
 The pipeline stage is removed to allow the sequence counter to increment          rounds <= rounds - 1;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example15_i-b_t-0.9.v
        if (kmac_done_i) begin          // s
========================================================
example16_i-b_t-0.9.v
          if (kmac_state_i == stDone) begin            kmac_done_vld = 1'b1;// END OF FIX            state_d = StChk;          
========================================================
example17_i-b_t-0.9.v
        if (i_kmac_data_i.vld) begin          kmac_done_vld = 1'b1;          if (fsm_errs_i) begin            fsm_error_o = 1'b1;            state_d     = StIdle;          
========================================================
example18_i-b_t-0.9.v
          if (kmac_done_i && kmac_vld_i) begin            // ensure that hash/signature/verification has been done prior to            // jumping to the final state            if (cnt == rounds) begin              kmac_done_vld = 1'b1;              state_d = StTxLast;            
========================================================
example19_i-b_t-0.9.v
//          kmac_data_i.ready = 1'b0;          state_d = StTxLast;//        
========================================================
example0_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example1_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example2_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example3_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example4_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example5_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example6_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example7_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example8_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example9_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example10_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example11_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example12_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example13_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example14_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example15_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example16_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example17_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StTx;        
========================================================
example18_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example19_i-c_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example0_i-c_t-0.3.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example1_i-c_t-0.3.v
          done_o = 1'b1;          state_d = StTx;        
========================================================
example2_i-c_t-0.3.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example3_i-c_t-0.3.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example4_i-c_t-0.3.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example5_i-c_t-0.3.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example6_i-c_t-0.3.v
//          done_o = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example7_i-c_t-0.3.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example8_i-c_t-0.3.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example9_i-c_t-0.3.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example10_i-c_t-0.3.v
          done_o = 1'b1;          if (rounds == 0) begin            state_d = StIdle;          
========================================================
example11_i-c_t-0.3.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example12_i-c_t-0.3.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example13_i-c_t-0.3.v
          if (rounds == 0) begin            done_o = 1'b1;          
========================================================
example14_i-c_t-0.3.v
          done_o = 1'b1;          state_d = StTx;        
========================================================
example15_i-c_t-0.3.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example16_i-c_t-0.3.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example17_i-c_t-0.3.v
        done_o = 1'b1;          state_d = StTx;        
========================================================
example18_i-c_t-0.3.v
          done_o = 1'b1;        
========================================================
example19_i-c_t-0.3.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example0_i-c_t-0.5.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example1_i-c_t-0.5.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example2_i-c_t-0.5.v
          if (rounds == 0) begin            done_o = 1'b1;            state_d = StIdle;          
========================================================
example3_i-c_t-0.5.v
          done_o = 1'b1;          state_d = StTx;        
========================================================
example4_i-c_t-0.5.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example5_i-c_t-0.5.v
          done_o = 1'b1; Do not advance state until data is accepted FIX:          state_d = StIdle;          cnt_clr = 1'b1;        
========================================================
example6_i-c_t-0.5.v
          done_o = 1'b1;          cnt_clr = 1'b1;          state_d = StIdle;        
========================================================
example7_i-c_t-0.5.v
          if (kmac_data_i.valid) begin            done_o = 1'b1;          
========================================================
example8_i-c_t-0.5.v
          done_o = 1'b1;          state_d = StTx;        
========================================================
example9_i-c_t-0.5.v
          if (kmac_data_i.valid) begin            done_o = 1'b1;          
========================================================
example10_i-c_t-0.5.v
          done_o = 1'b1;        
========================================================
example11_i-c_t-0.5.v
          done_o = 1'b1;        
========================================================
example12_i-c_t-0.5.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example13_i-c_t-0.5.v
          done_o = 1'b1;          last = 1'b1;          state_d = StIdle;        
========================================================
example14_i-c_t-0.5.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example15_i-c_t-0.5.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example16_i-c_t-0.5.v
          done_o = 1'b1;          state_d = StTxDone;        
========================================================
example17_i-c_t-0.5.v
          done_o = 1'b1;        
========================================================
example18_i-c_t-0.5.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example19_i-c_t-0.5.v
          if (rounds == 0) begin            done_o = 1'b1;          
========================================================
example0_i-c_t-0.7.v
          done_o = 1'b1; End FIX:        
========================================================
example1_i-c_t-0.7.v
          done_o = 1'b1;          if (rounds == 0) begin            state_d = StIdle;          
========================================================
example2_i-c_t-0.7.v
          done_o = 1'b1;        
========================================================
example3_i-c_t-0.7.v
          if (rounds == 1) begin            state_d = StDone;          
========================================================
example4_i-c_t-0.7.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example5_i-c_t-0.7.v
//          done_o = 1'b1;          if (kmac_data_i.ready && (rounds == 0)) begin            state_d = StIdle;            done_o = 1'b1;            kmac_done_vld = 1'b1;          
========================================================
example6_i-c_t-0.7.v
          done_o = 1'b1;          if (kmac_data_i.valid) begin            state_d = StIdle;          
========================================================
example7_i-c_t-0.7.v
          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example8_i-c_t-0.7.v
//          done_o = 1'b1;//          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example9_i-c_t-0.7.v
//          done_o = 1'b1;//          kmac_done_vld = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          } else begin            cnt_en = 1'b1;            state_d = StWait;          
========================================================
example10_i-c_t-0.7.v
        done_o = 1'b1;          done_o = (rounds == 0) ? 1'b1 : 1'b0;          state_d = StRx;        
========================================================
example11_i-c_t-0.7.v
//          if (kmac_done_i) begin          if (kmac_data_i.ready) begin            state_d = StTxWait;//            done_o = 1'b1;          
========================================================
example12_i-c_t-0.7.v
//          done_o = (kmac_data_i.valid) && (kmac_data_i.last);          // check we have data, if so, check we have valid data          if (kmac_data_i.valid) begin            // if we got a done signal, we are done            if (kmac_data_i.done) begin              state_d = StDone;            // else, check if we got a last signal, if so, we are done            // with this entry            
========================================================
example13_i-c_t-0.7.v
          done_o = 1'b1;          state_d = StWait;        
========================================================
example14_i-c_t-0.7.v
          done_o = 1'b1;          state_d = StTx;        
========================================================
example15_i-c_t-0.7.v
// Remove this signal from the interface//          done_o = 1'b1;          // advance the number of rounds          rounds = rounds - 1;          // advance to the next state          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example16_i-c_t-0.7.v
          done_o = 1'b1;          state_d = StTxAck;          cnt_clr = 1'b1;        
========================================================
example17_i-c_t-0.7.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example18_i-c_t-0.7.v
          done_o = 1'b1;          last = 1'b0;          state_d = (rounds == 0) ? StTxLast : StTx;  transition to next round        
========================================================
example19_i-c_t-0.7.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example0_i-c_t-0.9.v
          done_o = 1'b1;        
========================================================
example1_i-c_t-0.9.v
//          done_o = 1'b1;//          if (rounds == 0 ) begin            // no need to loop if rounds == 0            state_d = StTxLast;          } else begin            rounds = rounds - 1;          
========================================================
example2_i-c_t-0.9.v
          if (rounds > 1) begin            cnt_clr = 1'b1;            state_d = StIdle;          
========================================================
example3_i-c_t-0.9.v
#ifdef ASSERT_DONE          done_o = 1'b1;          cnt_clr = 1'b1;#
========================================================
example4_i-c_t-0.9.v
          done_o = 1'b1;        
========================================================
example5_i-c_t-0.9.v
          done_o = 1'b1;        
========================================================
example6_i-c_t-0.9.v
// Done signal is now reliably asserted. It is asserted as// soon as the last output word of the MAC is accepted by// the consumer.//          done_o = 1'b1;          // prepare for next entry          state_d = StRx;          cnt_clr = 1'b1;          cnt_en  = 1'b1;//        
========================================================
example7_i-c_t-0.9.v
          done_o = 1'b1;          cnt_clr = 1'b1;          state_d = StIdle;        
========================================================
example8_i-c_t-0.9.v
        done_o = '1;          state_d = (rounds == 0) ? StTxLast : StTxRxRound;        
========================================================
example9_i-c_t-0.9.v
          done_o = 1'b1;          state_d = StTx;        
========================================================
example10_i-c_t-0.9.v
        if (rounds == 0) begin          kmac_done_vld = 1'b1;        
========================================================
example11_i-c_t-0.9.v
          if (rounds == 0) begin            done_o = 1'b1;            state_d = StIdle;          
========================================================
example12_i-c_t-0.9.v
// Wait for 'gen_en_i' to be asserted now//        done_o = 1'b1;          // advance to the next round          rounds = rounds - 1;          state_d = (rounds == 0) ? StTxLast : StIdle;        // 
========================================================
example13_i-c_t-0.9.v
//          done_o       = 1'b1;// BUG://          state_d = StTx;//          state_d = StCheck;          rounds <= rounds - 1;          last = (rounds == 0) ? 1'b1 : 1'b0;        // check to make sure we didn't skip a round        if (rounds != 0 && !kmac_req_o) begin          clr_err = 1'b1;          fsm_error_o = 1'b1;        
========================================================
example14_i-c_t-0.9.v
          state_d = StRx;        
========================================================
example15_i-c_t-0.9.v
//        if (rounds == 0) begin          if (cnt_q == rounds) begin          state_d = (gen_en_i && rounds == LastGenRound) ? StChk :                    (id_en_i && rounds == LastIdRound) ? StEnd : StTxLastTime;        
========================================================
example16_i-c_t-0.9.v
          done_o = 1'b1;        
========================================================
example17_i-c_t-0.9.v
          done_o = 1'b1;          rounds = rounds - 1;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example18_i-c_t-0.9.v
// ToDo          cnt_clr = 1'b1;          state_d = StTxDone;//        
========================================================
example19_i-c_t-0.9.v
          fsm_error_o = 1'b1;          if ((rk_en_i & (~kmac_data_i.last)) | (~rk_en_i & kmac_data_i.last)) begin            fsm_error_o = 1'b0;            if (!kmac_data_i.last) begin              state_d = StTx;            
========================================================
example0_i-d_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example1_i-d_t-0.1.v
          done_o = 1'b0;          state_d = StTxLast;        
========================================================
example2_i-d_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example3_i-d_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example4_i-d_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example5_i-d_t-0.1.v
          done_o = 1'b0;          state_d = StTxDone;        
========================================================
example6_i-d_t-0.1.v
          done_o = 1'b0;          state_d = StTxDone;        
========================================================
example7_i-d_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example8_i-d_t-0.1.v
          done_o = 1'b0;          state_d = StTxDone;        
========================================================
example9_i-d_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example10_i-d_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example11_i-d_t-0.1.v
          done_o = 1'b0;          state_d = StTxDone;        
========================================================
example12_i-d_t-0.1.v
          done_o = 1'b0;          state_d = StTxDone;        
========================================================
example13_i-d_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example14_i-d_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example15_i-d_t-0.1.v
          done_o = 1'b0;          state_d = StTxLast;        
========================================================
example16_i-d_t-0.1.v
          done_o = 1'b0;          state_d = StTxDone;        
========================================================
example17_i-d_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example18_i-d_t-0.1.v
          done_o = 1'b0;          state_d = StTxDone;        
========================================================
example19_i-d_t-0.1.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example0_i-d_t-0.3.v
          done_o = 1'b0;          state_d = StTxLast;        
========================================================
example1_i-d_t-0.3.v
          done_o = 1'b1;          state_d = StTxLast;        
========================================================
example2_i-d_t-0.3.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example3_i-d_t-0.3.v
          done_o = 1'b1;          state_d = StTxLast;        
========================================================
example4_i-d_t-0.3.v
          done_o = 1'b1;          if (rounds == 0) begin            state_d = StIdle;          
========================================================
example5_i-d_t-0.3.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example6_i-d_t-0.3.v
//          done_o = 1'b0;          state_d = StTxLast;//        
========================================================
example7_i-d_t-0.3.v
          done_o = 1'b0;          cnt_clr = 1'b1;          state_d = StIdle;        
========================================================
example8_i-d_t-0.3.v
          done_o = 1'b0;          state_d = StTxWait;        
========================================================
example9_i-d_t-0.3.v
          done_o = 1'b0;          state_d = StTxLast;        
========================================================
example10_i-d_t-0.3.v
          done_o = 1'b0;          state_d = StTxLast;        
========================================================
example11_i-d_t-0.3.v
          if (kmac_data_i.valid) begin            done_o = 1'b1;          
========================================================
example12_i-d_t-0.3.v
          done_o = 1'b0;          state_d = StTxLast;        
========================================================
example13_i-d_t-0.3.v
          done_o = 1'b0;          cnt_clr = 1'b1;          state_d = StIdle;        
========================================================
example14_i-d_t-0.3.v
          done_o = 1'b0;          cnt_en = 1'b1;          state_d = StTx;        
========================================================
example15_i-d_t-0.3.v
//          done_o = 1'b0;          // if we are not in the last round, increment the round counter          if (rounds != 0) begin            rounds = rounds - 1;          
========================================================
example16_i-d_t-0.3.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b1;          done_o = 1'b0;        
========================================================
example17_i-d_t-0.3.v
          if (rounds == 0) begin            done_o = 1'b1;          
========================================================
example18_i-d_t-0.3.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example19_i-d_t-0.3.v
          done_o = 1'b0;          state_d = StWait;        
========================================================
example0_i-d_t-0.5.v
          done_o = 1'b0;          if (rounds == 0) begin            state_d = StIdle;          
========================================================
example1_i-d_t-0.5.v
//          done_o = 1'b1;          done_o = '0;          state_d = StTxLast;//        
========================================================
example2_i-d_t-0.5.v
          if (kmac_data_i.valid) begin            done_o = 1'b1;          
========================================================
example3_i-d_t-0.5.v
          done_o = 1'b0;          state_d = StTx;        
========================================================
example4_i-d_t-0.5.v
          if (rounds == 0) begin            done_o = 1'b1;          
========================================================
example5_i-d_t-0.5.v
//          done_o = 1'b0;          state_d = StTxDone;//        
========================================================
example6_i-d_t-0.5.v
//          done_o = (rounds == 0) ? 1'b1 : 1'b0;          done_o = 1'b0;          cnt_set = 1'b1;          rounds = rounds - 1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example7_i-d_t-0.5.v
          if (rounds == 0) begin            done_o = 1'b1;          
========================================================
example8_i-d_t-0.5.v
          done_o = 1'b0;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example9_i-d_t-0.5.v
//          done_o = 1'b1;          state_d = StTxLast;//        
========================================================
example10_i-d_t-0.5.v
          if (rounds == 0) begin            done_o = 1'b1;          
========================================================
example11_i-d_t-0.5.v
//          kmac_done_vld = kmac_data_i.ready;          kmac_done_vld = 1'b0;//          if (kmac_data_i.ready) begin            cnt_clr = 1'b1;            cnt_set = 1'b1;            cnt_en  = 1'b1;            state_d = StTxLast;          
========================================================
example12_i-d_t-0.5.v
//          done_o = 1'b0;          done_o = 1'b1;          if (kmac_data_i.valid) begin            kmac_done_vld = 1'b1;            kmac_error_o = kmac_data_i.error;            cmd_chk = ((kmac_data_i.cmd.id_en == id_en_i) &&                       (kmac_data_i.cmd.gen_en == gen_en_i) &&                       (kmac_data_i.cmd.adv_en == adv_en_i));          
========================================================
example13_i-d_t-0.5.v
          done_o = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example14_i-d_t-0.5.v
          done_o = 1'b1;          state_d = StIdle;        
========================================================
example15_i-d_t-0.5.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b1;          done_o = 1'b0;        
========================================================
example16_i-d_t-0.5.v
          done_o = 1'b0;          state_d = StTxLast;        
========================================================
example17_i-d_t-0.5.v
          done_o = 1'b0;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example18_i-d_t-0.5.v
//          done_o = 1'b1;          done_o = (rounds == 0) ? 1'b1 : 1'b0;          rounds = rounds - 1;          state_d = (rounds == 0) ? StTxLast : StTx;//        
========================================================
example19_i-d_t-0.5.v
          if (kmac_data_i.last) begin            done_o = 1'b1;          
========================================================
example0_i-d_t-0.7.v
//          if (kmac_data_i.valid)//            done_o <= 1'b0;//          else//            done_o <= 1'b1;        if (kmac_data_i.ready) begin          if (kmac_data_i.valid) begin            done_o <= 1'b0;          
========================================================
example1_i-d_t-0.7.v
          if (cnt_q == 0) begin            done_o = 1'b1;          
========================================================
example2_i-d_t-0.7.v
        if (kmac_data_i.ready & ~kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          done_o = 1'b1;        
========================================================
example3_i-d_t-0.7.v
          if (rounds == 0) begin            done_o = 1'b1;          
========================================================
example4_i-d_t-0.7.v
          if (!kmac_data_i.ready | done_i) begin            cnt_set = 1'b1;            cnt_en = 1'b1;            rounds <= rounds - 1;            state_d = (rounds == 0) ? StTxLast : StTx;          
========================================================
example5_i-d_t-0.7.v
          done_o = (ii == (Bytes-1));          done_o = 1'b0;          ii = ii + 1;          if (ii == Bytes) begin             set number of rounds            if (adv_en_i) begin              rounds = LastAdvRound;            
========================================================
example6_i-d_t-0.7.v
          done_o = 1'b0; state_d = StIdle;        
========================================================
example7_i-d_t-0.7.v
          if (kmac_data_i.valid) begin            done_o = 1'b1;          
========================================================
example8_i-d_t-0.7.v
        
========================================================
example9_i-d_t-0.7.v
//          kmac_done_vld = 1'b0;//          data_state_e = 1'b1;          data_state_e = 1'b0;          // if key is loaded, it will be destroyed after the last          // round is done          if (kmac_load_en_i) begin            state_d = StLoad;          
========================================================
example10_i-d_t-0.7.v
        if (kmac_data_i.ready & kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          done_o = kmac_data_i.done;        
========================================================
example11_i-d_t-0.7.v
//        done_o = 1'b0;          if (cnt_q == rounds) begin            state_d = StTxLast;          
========================================================
example12_i-d_t-0.7.v
//          done_o = 1'b1;          state_d = StTxDone;//        
========================================================
example13_i-d_t-0.7.v
          if (rounds == 0) begin            done_o = 1'b1;          
========================================================
example14_i-d_t-0.7.v
          kmac_done_i = 1'b0;          done_o = 1'b1;        
========================================================
example15_i-d_t-0.7.v
          if (kmac_data_i.valid) begin            done_o = 1'b1;          
========================================================
example16_i-d_t-0.7.v
          done_o = 1'b0;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example17_i-d_t-0.7.v
          done_o = '1;          state_d = StIdle;        
========================================================
example18_i-d_t-0.7.v
        if (kmac_data_i.ready & kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          kmac_data_i.valid = '0;        
========================================================
example19_i-d_t-0.7.v
//          done_o = 1'b1;          if (rounds == 0) begin            state_d = StIdle;          
========================================================
example0_i-d_t-0.9.v
//          done_o = kmac_data_i.done;          done_o = 1'b0;//        
========================================================
example1_i-d_t-0.9.v
          if (kmac_data_i.valid == 1'b1 && kmac_data_i.ready == 1'b0) begin            kmac_done_vld = 1'b1;          
========================================================
example2_i-d_t-0.9.v
//          done_o = (rounds == 0) ? 1'b1 : 1'b0;          done_o = 1'b0;//        
========================================================
example3_i-d_t-0.9.v
        if (kmac_data_i.valid == 1'b1 && kmac_data_i.ready == 1'b1) begin          kmac_done_vld = 1'b1;          done_o = 1'b1;          rounds = rounds - 1;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example4_i-d_t-0.9.v
          kmac_done_vld = (kmac_data_i.ready) ? 1'b0 : 1'b1;          if (cnt_q > rounds) begin            state_d = StTxLast;          
========================================================
example5_i-d_t-0.9.v
        if (kmac_data_i.valid) begin          kmac_done_vld = '0;          if (kmac_data_i.last) begin            kmac_done_vld = 1'b1;            state_d = StRxLast;          
========================================================
example6_i-d_t-0.9.v
        if ((!kmac_data_i.ready) && (kmac_data_i.valid)) begin          kmac_done_vld = 1'b1;//          done_o = 1'b1;        
========================================================
example7_i-d_t-0.9.v
        if (kmac_data_i.ready & (kmac_data_i.valid | kmac_data_i.last)) begin          kmac_done_vld = 1'b1;        
========================================================
example8_i-d_t-0.9.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          data_state_e = DtIdle;          // increment counter          state_d = StIncRound;        
========================================================
example9_i-d_t-0.9.v
        if (kmac_data_i.ready && (kmac_data_i.done == 1'b0)) begin          kmac_done_vld = 1'b1;          state_d = StTxLast;        
========================================================
example10_i-d_t-0.9.v
          done_o = 1'b0; BUG: on error, mealy FSM does not recover to idle state.        if (kmac_data_i.vld & kmac_data_i.error) begin          state_d = StErr;        
========================================================
example11_i-d_t-0.9.v
//        done_o = kmac_data_i.ready;         done_o = 1'b0;        if (rounds == 0) begin          state_d = StTxLast;        
========================================================
example12_i-d_t-0.9.v
 s
========================================================
example13_i-d_t-0.9.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          cnt_clr = 1'b1;          rounds = rounds - 1;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example14_i-d_t-0.9.v
          if (rounds == 0) begin            state_d = StIdle;          
========================================================
example15_i-d_t-0.9.v
//          done_o = 1'b1;                    if (cnt_q == rounds - 1)            state_d = StTxLast;          else if (kmac_data_i.ready) begin            cnt_en = 1'b1;            state_d = StTxWait;          
========================================================
example16_i-d_t-0.9.v
done: if (done) begin//          if ((rounds == 0) || gen_en_i || (valid && !kmac_data_i.valid)) begin//            last = 1'b1;//          
========================================================
example17_i-d_t-0.9.v
//        if (kmac_data_i.ready) begin        if (!kmac_data_i.valid) begin          kmac_done_vld = 1'b1;          data_state_e = data_state_i;          // if for some reason multiple bits are set, adv_en has priority          if (id_en_i) begin            rounds = LastIdRound;          
========================================================
example18_i-d_t-0.9.v
//        done_o = 1'b1;// BUG (there were two if statements in STX state, now fixed)        if (kmac_data_i.last) begin          // advance to the next round          cnt_set = 1'b1;          cnt_en  = 1'b1;          // advance simulation          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example19_i-d_t-0.9.v
          if ((cnt_i == 0) && (rounds == LastGenRound)) begin            kmac_done_vld = 1'b1;          
========================================================
example0_i-e_t-0.1.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          } else begin            rounds = rounds - 1;            state_d = StTx;          
========================================================
example1_i-e_t-0.1.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          } else begin            rounds = rounds - 1;          
========================================================
example2_i-e_t-0.1.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = StTxLast;        
========================================================
example3_i-e_t-0.1.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = StTxLast;        
========================================================
example4_i-e_t-0.1.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          } else begin            rounds = rounds - 1;          
========================================================
example5_i-e_t-0.1.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = StTxLast;        
========================================================
example6_i-e_t-0.1.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = StTxLast;        
========================================================
example7_i-e_t-0.1.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = StTxLast;        
========================================================
example8_i-e_t-0.1.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          } else begin            rounds = rounds - 1;            state_d = StTx;          
========================================================
example9_i-e_t-0.1.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = StTxLast;        
========================================================
example10_i-e_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example11_i-e_t-0.1.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = StTxLast;        
========================================================
example12_i-e_t-0.1.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          } else begin            rounds = rounds - 1;          
========================================================
example13_i-e_t-0.1.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          } else begin            rounds = rounds - 1;          
========================================================
example14_i-e_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example15_i-e_t-0.1.v
        if (kmac_data_i.ready && (rounds == 0)) begin          kmac_done_vld = 1'b1;        
========================================================
example16_i-e_t-0.1.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = StTxLast;        
========================================================
example17_i-e_t-0.1.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = StTxLast;        
========================================================
example18_i-e_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example19_i-e_t-0.1.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          } else begin            rounds = rounds - 1;            state_d = StTx;          
========================================================
example0_i-e_t-0.3.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          cnt_clr = 1'b1;          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example1_i-e_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b0;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          } else begin            state_d = StTx;          
========================================================
example2_i-e_t-0.3.v
        if (kmac_data_i.ready && (kmac_data_i.valid == 1'b1)) begin          kmac_done_vld = 1'b1;// FIX:          if (kmac_data_i.last) begin            done_vld = 1'b1;          }        }// FIX:        if (rounds == 0) begin          state_d = StTxLast;        } else begin          state_d = StTx;        }      
========================================================
example3_i-e_t-0.3.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          cnt_clr = 1'b1;          state_d = StIdle;        
========================================================
example4_i-e_t-0.3.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = StTxLast;        
========================================================
example5_i-e_t-0.3.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = StTxLast;        
========================================================
example6_i-e_t-0.3.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = StTxLast;        
========================================================
example7_i-e_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example8_i-e_t-0.3.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          } else begin            state_d = StTx;          
========================================================
example9_i-e_t-0.3.v
        if (kmac_data_i.ready && (rounds == 0)) begin          kmac_done_vld = 1'b1;// FIX:        
========================================================
example10_i-e_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;// FIX:          kmac_data_i.ready <= 1'b1;          kmac_data_i.valid <= 1'b0;        
========================================================
example11_i-e_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;// FIX:          if (rounds == 0) begin            state_d = StIdle;          
========================================================
example12_i-e_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example13_i-e_t-0.3.v
        if (kmac_data_i.ready && (rounds == 0)) begin          kmac_done_vld = 1'b1;// FIX:        
========================================================
example14_i-e_t-0.3.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example15_i-e_t-0.3.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = StIdle;        
========================================================
example16_i-e_t-0.3.v
        if (kmac_data_i.ready && (rounds == 0)) begin          kmac_done_vld = 1'b1;        
========================================================
example17_i-e_t-0.3.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          if (rounds == 0) begin            state_d = StIdle;          
========================================================
example18_i-e_t-0.3.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b0;// FIX:          state_d = StTxLast;        
========================================================
example19_i-e_t-0.3.v
        if (kmac_data_i.ready && (rounds == 0)) begin          kmac_done_vld = 1'b1;// FIX:        
========================================================
example0_i-e_t-0.5.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example1_i-e_t-0.5.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          } else begin            rounds = rounds - 1;            state_d = StTx;          
========================================================
example2_i-e_t-0.5.v
        if (kmac_data_i.ready & kmac_data_i.valid) begin          kmac_done_vld = 1'b0;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          } else begin            state_d = StTx;          
========================================================
example3_i-e_t-0.5.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          } else begin            state_d = StTx;          
========================================================
example4_i-e_t-0.5.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;        
========================================================
example5_i-e_t-0.5.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;        }        state_d = StTxLast;// BUG://        
========================================================
example6_i-e_t-0.5.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = StIdle;        
========================================================
example7_i-e_t-0.5.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b0;// BUG://          if (kmac_data_i.last) begin//            cnt_clr = 1'b1;//            if (--rounds == 0) begin//              state_d = StTxLast;//            
========================================================
example8_i-e_t-0.5.v
        if (kmac_data_i.ready && (rounds == 0)) begin          kmac_done_vld = 1'b1;// FIX:          state_d = StIdle;        
========================================================
example9_i-e_t-0.5.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example10_i-e_t-0.5.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          if (rounds == LastGenRound) begin            state_d = StRxLast;          
========================================================
example11_i-e_t-0.5.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = StTxLast;        
========================================================
example12_i-e_t-0.5.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b0;// FIX:          if (kmac_data_i.ready) begin            kmac_done_vld = 1'b1;          
========================================================
example13_i-e_t-0.5.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;// FIX:          if (rounds > 0) begin            rounds = rounds - 1;            state_d = StTx;          
========================================================
example14_i-e_t-0.5.v
          kmac_done_vld = 1'b0;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example15_i-e_t-0.5.v
          if (kmac_data_i.ready) begin            kmac_done_vld = 1'b0;// FIX:            state_d = StTxLast;          
========================================================
example16_i-e_t-0.5.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// BUG://        if (kmac_data_i.valid) begin//          kmac_done_vld = 1'b1;// FIX:        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b0;// FIX:          if (rounds == 0) begin            state_d = StTxLast;          
========================================================
example17_i-e_t-0.5.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// BUG://          if (rounds == 0) begin//            state_d = StIdle;//          
========================================================
example18_i-e_t-0.5.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;// FIX:          kmac_data_i.ready = 1'b1;        
========================================================
example19_i-e_t-0.5.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;        
========================================================
example0_i-e_t-0.7.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;        
========================================================
example1_i-e_t-0.7.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;        
========================================================
example2_i-e_t-0.7.v
        if (kmac_data_i.ready) done_vld = 1'b1;// FIX:          state_d = StTxDone;        
========================================================
example3_i-e_t-0.7.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          rounds = rounds - 1;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example4_i-e_t-0.7.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:// BUG:          cnt_clr = 1'b1;          state_d = (rounds == 0) ? StTxLast : StTx;          rounds <= rounds - 1;        
========================================================
example5_i-e_t-0.7.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b0;        
========================================================
example6_i-e_t-0.7.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;        
========================================================
example7_i-e_t-0.7.v
        if ((kmac_data_i.ready) && (kmac_data_i.valid)) begin          kmac_done_vld = 1'b1;// FIX:          if (kmac_data_i.last) begin            done_vld = 1'b1;          
========================================================
example8_i-e_t-0.7.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b1;// FIX:          last = 1'b1;          rounds = rounds - 1'b1;          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example9_i-e_t-0.7.v
        if ((kmac_data_i.valid == 1'b1) && (kmac_data_i.ready == 1'b1)) begin          kmac_done_vld = 1'b1;// FIX:          rounds = rounds - 1;          // if this is the last round, assert done_o and last          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example10_i-e_t-0.7.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;        
========================================================
example11_i-e_t-0.7.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:        
========================================================
example12_i-e_t-0.7.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin          kmac_done_vld = 1'b0;// BUG:          if (rounds == 0)            state_d = StIdle;          else            state_d = StWait;        
========================================================
example13_i-e_t-0.7.v
          if (kmac_data_i.ready) begin            kmac_done_vld = 1'b0;// FIX:            state_d = (rounds == 0) ? StTxLast : StTx;          
========================================================
example14_i-e_t-0.7.v
        if (kmac_en_i) begin          kmac_done_vld = 1'b0;// FIX://        if (kmac_data_i.valid) begin        if (kmac_en_i) begin          kmac_done_vld = 1'b1;        
========================================================
example15_i-e_t-0.7.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;        
========================================================
example16_i-e_t-0.7.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          state_d = (rounds == 0) ? StTxLast : StTx;        
========================================================
example17_i-e_t-0.7.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;// FIX:          done_vld = 1'b1;          kmac_data_i.ready = 1'b1;        
========================================================
example18_i-e_t-0.7.v
        if (kmac_data_i.ready && cnt_q == rounds) begin          kmac_done_vld = 1'b1;        
========================================================
example19_i-e_t-0.7.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// FIX:          cnt_clr = 1'b1;          if (rounds == 0) begin            state_d = StIdle;          
========================================================
example0_i-e_t-0.9.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;        }// ENDBUG        // check if there is another transaction to process        if (rounds == 0) begin          state_d = StTxLast;        
========================================================
example1_i-e_t-0.9.v
        if (kmac_data_i.last === rounds) begin          kmac_done_vld = 1'b1;        
========================================================
example2_i-e_t-0.9.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;        
========================================================
example3_i-e_t-0.9.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;// FIX:          kmac_data_o = kmac_data_i;// FIX:        
========================================================
example4_i-e_t-0.9.v
        if (kmac_data_i.last) begin// FIX:          kmac_done_vld = 1'b1;          /* There was an error in the KMAC */          if (kmac_data_i.cmd.status != 0) begin            clr_err = 1;            case (kmac_data_i.cmd.status)              case(1) : fsm_error_o = 1'b0; // Flow control error              case(2) : fsm_error_o = 1'b1; // Digest does not match              default : fsm_error_o = 1'b1; // Other unrecognized error            
========================================================
example5_i-e_t-0.9.v
        if (1'b1) begin          kmac_done_vld = 1'b0;// FIX://        done_vld = 1'b0;// BUG://        last = 1'b1;// FIX:          last = 1'b0;// FIX://        if (id_en_i) begin//          state_d = StIdle;//        
========================================================
example6_i-e_t-0.9.v
//        if (fsm_pkt_ready) begin//          kmac_data_o.valid = 1'b1;        if (cnt == rounds) begin          cnt_clr = 1'b1;          rounds = rounds + 1'b0;          // if (rounds == 0) begin          //   state_d = StTxLast;          // 
========================================================
example7_i-e_t-0.9.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b1;// FIX:          state_d = StKmacDone;        
========================================================
example8_i-e_t-0.9.v
        if (1) begin          kmac_done_vld = 1'b0;          state_d = StDone;        
========================================================
example9_i-e_t-0.9.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;          state_d = StIdle;        
========================================================
example10_i-e_t-0.9.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// END BUG          if (rounds > 0) begin            rounds = rounds - 1;          
========================================================
example11_i-e_t-0.9.v
        if (kmac_data_i.valid) begin          if (kmac_data_i.ready) begin            kmac_done_vld = 1'b1;          
========================================================
example12_i-e_t-0.9.v
        if (rounds > 0) begin          kmac_done_vld = 1'b0;        } else begin          kmac_done_vld = 1'b1;        }// FIX://        
========================================================
example13_i-e_t-0.9.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;// BUG://        done_vld = 1'b1;// FIX:          done_vld = 1'b0;        
========================================================
example14_i-e_t-0.9.v
        if (kmac_data_i.ready && kmac_data_i.last) begin          kmac_done_vld = 1'b1;// FIX:        
========================================================
example15_i-e_t-0.9.v
        if (kmac_data_i.ready && kmac_data_i.last) begin          kmac_done_vld = 1'b1;// FIX:          if (rounds > 0) begin            rounds = rounds - 1;            state_d = StCmd;          
========================================================
example16_i-e_t-0.9.v
        if (kmac_data_i.valid) begin          kmac_done_vld = 1'b0;        
========================================================
example17_i-e_t-0.9.v
        if (kmac_data_i.valid & kmac_data_i.ready) begin          kmac_done_vld = '0;        
========================================================
example18_i-e_t-0.9.v
        if (kmac_data_i.ready && (rounds == 1)) begin          kmac_done_vld = 1'b1;// FIX:        
========================================================
example19_i-e_t-0.9.v
        if (kmac_data_i.ready) begin          kmac_done_vld = 1'b0;        
========================================================
