example0_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StRx;
          
========================================================
example1_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example2_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example3_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example4_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example5_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example6_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example7_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StRx;
          
========================================================
example8_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StRx;
          
========================================================
example9_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StRx;
          
========================================================
example10_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StRx;
          
========================================================
example11_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example12_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example13_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example14_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example15_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StRx;
          
========================================================
example16_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StRx;
          
========================================================
example17_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StRx;
          
========================================================
example18_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example19_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StRx;
          
========================================================
example0_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            if (rounds == 1) begin
              state_d = StTxLast;
            
========================================================
example1_i-a_t-0.3.v
        if (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;
          if (kmac_data_i.last) begin
            // last entry, we can go to the next state
            state_d = (rounds == 0) ? StTxLast : StTx;
          
========================================================
example3_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            // we are s
========================================================
example4_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example5_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          // transaction accepted
          if (rounds == 0) begin
            // last round
            last = 1'b1;
            cnt_clr = 1'b1;
            state_d = StRx;
          
========================================================
example6_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example7_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StRx;
          
========================================================
example8_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example9_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StRx;
          
========================================================
example10_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example11_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            if (rounds == 0) begin
              state_d = StTxLast;
            
========================================================
example12_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// END
          if (kmac_data_i.last) begin
            state_d = StRx;
          
========================================================
example13_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            // transaction accepted
            if (rounds == 0) begin
              state_d = StTxLast;
            
========================================================
example14_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example15_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StRx;
          
========================================================
example16_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
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.valid) begin
          kmac_done_vld = 1'b1;
          // check for error
          if (kmac_data_i.error) begin
            fsm_error_o = 1'b1;
            kmac_error_o = 1'b1;
          
========================================================
example19_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            // last entry
            if (rounds == 0) begin
              state_d = StTxLast;
            
========================================================
example0_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example1_i-a_t-0.5.v
        if (data_valid_i) begin
          kmac_done_vld = 1'b1;
          cnt_clr = 1'b1;
          state_d = StTxDone;
        
========================================================
example2_i-a_t-0.5.v
          if (kmac_data_i.valid) begin
            kmac_done_vld = 1'b1;
          
========================================================
example3_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example4_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example5_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example6_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          // if kmac is ready, it will accept the data and ack
          // we can safely advance to the next state
          // otherwise, we stay in this state until the data is accepted
          if (kmac_data_i.ready) begin
            state_d = StTxLast;
          
========================================================
example7_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            // the last round is done
            state_d = (rounds == 1) ? StTxLast : StTx;
          
========================================================
example8_i-a_t-0.5.v
          if (kmac_data_i.valid) begin
            kmac_done_vld = 1'b1;
          
========================================================
example9_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example10_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example11_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// END:
          if (kmac_data_i.last) begin
            // if last data, go to next round
            cnt_clr = 1'b1;
            if (rounds == 0) begin
              // first round, check if we need to advance
              if (adv_en_i) begin
                state_d = StTxAdv;
              
========================================================
example12_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          last = 1'b1;
        
========================================================
example13_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          data_state_e = kmac_data_i.data;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example14_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            done_o = 1'b1;
          
========================================================
example15_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example16_i-a_t-0.5.v
        if (valid && kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
        
========================================================
example17_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;

          if (kmac_data_i.last) begin
            fsm_error_o = 1'b1;
            state_d = StErr;
          
========================================================
example18_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example19_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          kmac_error_o = kmac_data_i.error;
          if (kmac_data_i.error) begin
            cnt_set = 1'b1;
            state_d = StRx;
          
========================================================
example0_i-a_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;

          if (kmac_data_i.last) begin
            state_d = StRx;
          
========================================================
example1_i-a_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example2_i-a_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;

          if (last_i) begin

            // clear KMAC (last data is 0)
            kmac_data_i.data = 0;
            kmac_data_i.valid = 1'b1;

            // reset for next transaction
            state_d = StIdle;
          
========================================================
example3_i-a_t-0.7.v
        if (kmac_data_i.valid) begin
          cnt_clr = 1'b1;

          // wait for a valid response
          if (kmac_data_i.valid && kmac_data_i.ready) begin

            // check if the data matches
            if (kmac_data_i.bits.msg_o != data_state_i.bits.msg_i) begin
              fsm_error_o = 1'b1;
            
========================================================
example4_i-a_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example5_i-a_t-0.7.v
        if (state_q == StTx && tx_en_i) begin
          kmac_done_vld = 1'b1;
        
========================================================
example6_i-a_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// END:
          if (state_q == StTxLast) begin
            last = 1'b1;
            state_d = StRx;
          
========================================================
example7_i-a_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (bch_err) begin
            fsm_error_o = 1'b1;
          
========================================================
example8_i-a_t-0.7.v
        if (1) begin
          last = 1'b1;
          if (rounds == 0) begin
            state_d = StTxLast;
          
========================================================
example9_i-a_t-0.7.v
        if (kmac_data_i.valid && (rounds == 1)) begin
          kmac_done_vld = 1'b1;
        
========================================================
example10_i-a_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          // next state
          if (rounds == 0) begin
            state_d = StTxLast;
          
========================================================
example11_i-a_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          cnt_clr = 1'b1;
          cnt_en = 1'b1;
          if (rounds == 1) begin
            state_d = StTxLast;
          
========================================================
example12_i-a_t-0.7.v
          if (kmac_data_i.valid) begin
            kmac_done_vld = 1'b1;
          
========================================================
example13_i-a_t-0.7.v
        if (kmac_data_i.ready && !dr_dly) begin
          kmac_done_vld = 1'b1;

          done_o = 1'b1;

          // if we are at the 
========================================================
example14_i-a_t-0.7.v
        if (accepted) begin
          state_d = StTxDone;
        
========================================================
example15_i-a_t-0.7.v
        if (kmac_data_i.valid) begin
          if (kmac_data_i.matches) begin
            fsm_error_o = 1'b1;
            kmac_error_o = 1'b1;
            clr_err = 1'b1;
          
========================================================
example16_i-a_t-0.7.v
        if (kmac_data_i.valid && (kmac_data_i.ready)) begin
          kmac_done_vld = 1'b1;
          // state should always be StTx
          if (state_q == StTxLast && (rounds == 0)) begin
            state_d = StDone;
          
========================================================
example17_i-a_t-0.7.v
        if (state_q == StTxLast && kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
        
========================================================
example18_i-a_t-0.7.v
        if (data_in_o.valid) begin
          fsm_error_o = 1'b1;
          data_in_o.ready = 1'b0;
        
========================================================
example19_i-a_t-0.7.v
         if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example0_i-a_t-0.9.v
        if ((rand_regs[I_sad_last].Cmd & rand_regs[I_sad_last].Flag) && rand_regs[I_sad_last].Ready) begin
          kmac_done_vld = 1'b1;
        
========================================================
example1_i-a_t-0.9.v
        if (state_i == StDone) begin
          kmac_done_vld = 1'b1;
        
========================================================
example2_i-a_t-0.9.v
        if (mem_size >= 16) begin
          if (mem_o[0]) begin
            kmac_done_vld = 1'b1;
          
========================================================
example3_i-a_t-0.9.v
        if (trx_done) begin
          cnt_clr = 1'b1;
          state_d = StIdle;
          last = 1'b1;
//
        
========================================================
example4_i-a_t-0.9.v
          cmd_chk = 1'b1;    edge -> edge
        
========================================================
example5_i-a_t-0.9.v
        if (kmac_data_i.valid) begin
          if (kmac_data_i.last) begin
            cnt_set = 1'b1;
            cnt_clr = 1'b1;
          
========================================================
example6_i-a_t-0.9.v
        if (kmac_done_vld || (kmac_data_i.ready && (kmac_data_i.valid == 1))) begin
          cnt_clr = 1'b1;
        
========================================================
example7_i-a_t-0.9.v
        if (kmac_data_i.valid & !tx_fifo_vld) begin
          // PENDING: simplify to `state_d = StIdle`
          state_d = StIdle;

          // update state machine for current key state
          done_o = 1'b1;
        
========================================================
example8_i-a_t-0.9.v
        if (tx_done) begin
          if (id_en_i) begin
            cnt_set = 1'b1;
            if (rounds == 0) begin
              state_d = StIdle;
            else begin
              if (adv_en_i) begin
                rounds = 0;
              
========================================================
example9_i-a_t-0.9.v
        if (kmac_data_i.valid_i && ((StTxLast != state_q) ||
            ((StTxLast == state_q) && (current_cycle == last_loop_start)))) begin
          kmac_done_vld = 1'b1;
// END FIX
        
========================================================
example10_i-a_t-0.9.v
        if (keccak_pipe_fwd_out.ready) begin
          kmac_done_vld = 1'b1;
        
========================================================
example11_i-a_t-0.9.v
        if (out_data_i.ready) begin
          kmac_done_vld = 1'b1;
//
        
========================================================
example12_i-a_t-0.9.v
        if (is_kmac_data_vld) begin
          done_o = 1'b1;
        
========================================================
example13_i-a_t-0.9.v
//          fsm_error_o = If valid (cnt_clr + 1'b1) begin
          fsm_error_o = If (valid) begin
            valid = 1'b0;
            strb = {1'b1;
            // return to idle
            state_d = StIdle;
          
========================================================
example14_i-a_t-0.9.v
        if (1) begin
          last = 1'b1;
          if (rounds == 0) begin
            state_d = StTxLast;
          
========================================================
example15_i-a_t-0.9.v
        if (trans_en_i) begin
          if (kmac_data_i.ready) begin
            kmac_done_vld = 1'b1;
          
========================================================
example16_i-a_t-0.9.v
          if (kmac_data_i.valid && !kd_valid) begin
            done_o = 1'b1;
            state_d = StTxLast;
          
========================================================
example17_i-a_t-0.9.v
        if ((kmac_data_i.ready) || (!gen_en_i)) begin
          // if transfer is done, we are done
          if ((rounds == 0) || (!gen_en_i)) begin
            // either no more rounds
            // the generator is done
            valid = 1'b0;
            done_o = 1'b1;
          
========================================================
example18_i-a_t-0.9.v
        if (kmac_data_i.vld) begin
          if (rounds == '0) begin
            kmac_done_vld = 1'b1;
          
========================================================
example19_i-a_t-0.9.v
        if (kmac_done) begin
          kmac_done_vld = 1'b1;
          done_o = (state_d > StIdle) ? 1'b1 : 1'b0;
          state_d = StIdle;

        
========================================================
example0_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StRx;
        
========================================================
example1_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;
          
========================================================
example2_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;
          
========================================================
example3_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;
          
========================================================
example4_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;
          
========================================================
example5_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;
          
========================================================
example6_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;
          
========================================================
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;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example9_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            done_o = 1'b1;
            state_d = StTxLast;
          
========================================================
example10_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;
          
========================================================
example11_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;
          
========================================================
example12_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StRx;
        
========================================================
example13_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;
          
========================================================
example14_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;
          
========================================================
example15_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            done_o = 1'b1;
            state_d = StTxLast;
          
========================================================
example16_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;
          
========================================================
example17_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;
          
========================================================
example18_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;
          
========================================================
example19_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;
          
========================================================
example0_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StRx;
        
========================================================
example1_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example2_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          last = 1'b1;
          if (rounds == 0) begin
            state_d = StTxLast;
          
========================================================
example3_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example4_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example5_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
          
========================================================
example6_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            done_o = 1'b1;
            state_d = StIdle;
          
========================================================
example7_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example8_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StIdle;
            done_o = 1'b1;
          
========================================================
example9_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StRx;
        
========================================================
example10_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            last = 1'b1;
            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.last) begin
            last = 1'b1;
            cnt_clr = 1'b1;
          
========================================================
example12_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// END FIX
          if (kmac_data_i.last) begin
            // transaction completed, go to next state
            if (rounds == 0) begin
              state_d = StRx;
            
========================================================
example13_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example14_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StIdle;
            done_o = 1'b1;
          
========================================================
example15_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example16_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StIdle;
          
========================================================
example17_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StRx;
        
========================================================
example18_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          last = 1'b1;
          state_d = StTxLast;
        
========================================================
example19_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StTxLast;
            cnt_clr = 1'b1;
          
========================================================
example0_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (last_i) begin
            done_o = 1'b1;
            if (last_i && !id_en_i) begin
              state_d = StIdle;
            
========================================================
example1_i-b_t-0.5.v
        if (kmac_data_i.ready && kmac_done_vld) begin
          cnt_clr = 1'b1;
          state_d = StRx;
        
========================================================
example2_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example3_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
//
          if (kmac_data_i.last) begin
            last = 1'b1;
            cnt_clr = 1'b1;
            state_d = StRx;
          
========================================================
example4_i-b_t-0.5.v
        if (id_en_i) begin
          if (kmac_data_i.ready) begin
            kmac_done_vld = 1'b1;
          
========================================================
example5_i-b_t-0.5.v
        if (kmac_data_i.valid & kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
          cnt_clr = 1'b1;
          if (rounds == 0) begin
            done_o = 1'b1;
            state_d = StRx;
          
========================================================
example6_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;
          
========================================================
example7_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          // we are done
          if (rounds == 0) begin
            done_o = 1'b1;
            state_d = StIdle;
          
========================================================
example8_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          cnt_clr = 1'b1;
          if (rounds == 0) begin
            state_d = StTxLast;
          
========================================================
example9_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            // if we are done, go to next state
            state_d = (state_q == StTxLast) ? StTxLast : StTxLast;
          
========================================================
example10_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example11_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 (id_en_i) begin
            state_d = StIdle;
          
========================================================
example12_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          done_o = 1'b1;
          state_d = StRx;
        
========================================================
example13_i-b_t-0.5.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
//
//        
========================================================
example14_i-b_t-0.5.v
        if (last) begin
          kmac_done_vld = 1'b1;
        
========================================================
example15_i-b_t-0.5.v
        if (s_axi_rready) begin
          done_o = 1'b1;
          state_d = StRx;
          cnt_clr = 1'b1;
        
========================================================
example16_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            done_o = 1'b1;
            state_d = StIdle;
            cnt_clr = 1'b1;
          
========================================================
example17_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example18_i-b_t-0.5.v
        if (kmac_data_i.ready && !kmac_error_i) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example19_i-b_t-0.5.v
          if (kmac_data_i.valid) begin
            kmac_done_vld = 1'b1;
//          
========================================================
example0_i-b_t-0.7.v
        if (kmac_data_i.valid) begin
          done_o = 1'b1;
          state_d = StRx;
        
========================================================
example1_i-b_t-0.7.v
        if (0) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example2_i-b_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;

//          if (kmac_data_i.error) begin
//            fsm_error_o = 1'b1;
//          
========================================================
example3_i-b_t-0.7.v
        if (kmac_done) begin
          state_d = StRx;
          done_o = 1'b1;
        
========================================================
example4_i-b_t-0.7.v
        if (tx_data_i.ready.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example5_i-b_t-0.7.v
        if (tx_done && (data_state_e == '1')) begin
          done_o = 1'b1;
          // keep state in case we need to restart
          state_d = StIdle;
        
========================================================
example6_i-b_t-0.7.v
        if (state_q == StTxLast) begin
          if (kmac_data_i.ready) begin
            kmac_done_vld = 1'b1;
          
========================================================
example7_i-b_t-0.7.v
        if (kmac_done_vld) begin
          last = 1'b1;
          // if no more rounds, go back to Idle
          if (rounds == 1) begin
            state_d = StIdle;
          
========================================================
example8_i-b_t-0.7.v
        if ((kmac_data_i.ready) && (rounds == 0)) begin
          done_o = 1'b1;
        
========================================================
example9_i-b_t-0.7.v
        if (id_en_i) begin
          kmac_done_vld = 1'b1;
        
========================================================
example10_i-b_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StRx;
        
========================================================
example11_i-b_t-0.7.v
        if (wait_en_i) begin
          kmac_done_vld = 1'b1;
        
========================================================
example12_i-b_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example13_i-b_t-0.7.v
        if (state_q == StTxLast) begin
          if (done) begin
            done_o = 1'b1;
          
========================================================
example14_i-b_t-0.7.v
//        if (kmac_data_i.valid) begin
        if (kmac_data_i.valid) begin
          done_o = 1'b1;
          if (rounds == 0) begin
            // last key update cycle
            state_d = StLst;
          
========================================================
example15_i-b_t-0.7.v
        if (kmac_data_i.valid) begin
          cnt_clr = 1'b1;
          state_d = StTxDone;
        
========================================================
example16_i-b_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
//
          if (adv_en_i) begin
            rounds = LastAdvRound;
          
========================================================
example17_i-b_t-0.7.v
        if (last_i && kmac_data_i.ready) begin
          done_o = 1'b1;
          state_d = StRx;
        
========================================================
example18_i-b_t-0.7.v
        if (kmac_data_i.valid & kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
// END
        
========================================================
example19_i-b_t-0.7.v
          if (last) begin
            kmac_done_vld = 1'b1;
          
========================================================
example0_i-b_t-0.9.v
        if (valid & strb & ~cnt_clr & ~cmd_chk) begin
          //printf("Caution! Weird :done_o%d\n", done_o, {$Tclip,$Tlastcomm}");
          done_o = '1;
          fsm_error_o = '1;
          if (state_q != StIdle) begin
            state_d = StIdle;
          
========================================================
example1_i-b_t-0.9.v
        if (state_q == StTxLast && kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example2_i-b_t-0.9.v
// BUG: looks ok, but transaction is nullified even when sync is valid
//        if (AdvVld & (Unafs_sync_o(LastAdvRound) | unafsLocalID_sync_o(LastIdRound, last_id) | unafsInitID_sync_o(LastGenRound) | resp_data_i.ready)) begin
// FIX:
        if (AdvanceRound | (Unafs_sync_o(LastAdvRound) | unafsLocalID_sync_o(LastIdRound, last_id) | unafsInitID_sync_o(LastGenRound) | resp_data_i.ready)) begin
          if (adv_en_i) begin
            rounds--;
          
========================================================
example3_i-b_t-0.9.v
        if (cmd_chk && (kmac_data_i.ready)) begin
          done_o = 1'b1;
          state_d = StTxLast;
        
========================================================
example4_i-b_t-0.9.v
        if (kmac_data_i.txrdy) begin
          kmac_done_vld = 1'b1;
//        
========================================================
example5_i-b_t-0.9.v
          if (kmac_data_i.valid) begin
            kmac_done_vld = 1'b1;
          
========================================================
example6_i-b_t-0.9.v
          done_o = 1'b1;  without a valid mac TX cannot complete
          kmac_data_o.valid = 1'b0;
        
========================================================
example7_i-b_t-0.9.v
        if (kmac_data_i.valid & kmac_data_i.last) begin
          // The last word was received, so clear the key registers
          k_mac_i.next = 0;
          kmac_done_vld = 1'b1;
        
========================================================
example8_i-b_t-0.9.v
        if ({$ifdef KM_DEBUG} 1'b1  {$else} BM_SIZE_log2_o > 1)
{$
========================================================
example9_i-b_t-0.9.v
          if (ki == 0) begin
            done_o  = 1'b1;
            state_d = StIdle;
          
========================================================
example10_i-b_t-0.9.v
        if (done) begin
            kmac_done_vld = 1'b1;
            if (kmac_data_i.valid) begin
              done_o = 1'b1;
              if (kmac_data_i.valid && adv_en_i) begin
                state_d = StTxLast;
                rounds = LastAdvRound;
              
========================================================
example11_i-b_t-0.9.v
        if (FSm_len_d) begin
          // advanced round, we are done
          if (rounds == LastAdvRound) begin
            // advance to next state
            if (adv_en_i) begin
              state_d = (gen_en_i) ? StRx : StRxLast;
            
========================================================
example12_i-b_t-0.9.v
        if (clrsc || dmov) begin
          // don't advance state if we are done reading
          done_o = 1'b1;
        
========================================================
example13_i-b_t-0.9.v
        if (wmask_i) begin
          last = 1'b1;
        
========================================================
example14_i-b_t-0.9.v
        if (kmac_done_vld) begin
          cnt_clr = 1'b1;
          if (rounds > 0) begin
            rounds --;
            state_d = StTx;
          
========================================================
example15_i-b_t-0.9.v
        if (go_st) begin
          last = 1'b1;
        
========================================================
example16_i-b_t-0.9.v
        if (done_d == 1'b1) begin
          last = (rounds == 1) ? 1'b1 : 1'b0;
          cnt_set = 1'b0;
          cnt_en = 1'b1;
          state_d = StRxIdle;
        
========================================================
example17_i-b_t-0.9.v
        if (kmac_ready_i) begin
          kmac_done_vld = 1'b1;
        
========================================================
example18_i-b_t-0.9.v
        if (kmac_data_i.valid &&  kmac_aes_i.ready) begin
//
          cnt_clr = 1'b1;
          state_d = StTxDone;
        
========================================================
example19_i-b_t-0.9.v
//        if (kmac_done) begin
        if (kmac_done & kmac_data_i.ready) begin
          // got match
          done_o = 1'b1;
          if (adv_en_i) begin
            state_d = StAdvFnl;
          
========================================================
example0_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example1_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example2_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example3_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example4_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example5_i-c_t-0.1.v
        if (state_q == StTxLast) begin
          kmac_done_vld = 1'b1;
        
========================================================
example6_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example7_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example8_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example9_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example10_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example11_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example12_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example13_i-c_t-0.1.v
        if (state_q == StTxLast) begin
          if (kmac_data_i.ready) begin
            kmac_done_vld = 1'b1;
          
========================================================
example14_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example15_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example16_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example17_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          if (state_q == StTxLast) begin
            done_o = 1'b1;
          
========================================================
example18_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example19_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example0_i-c_t-0.3.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
        
========================================================
example1_i-c_t-0.3.v
        if (kmac_data_i.ready && (state_q != StTx)) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example2_i-c_t-0.3.v
        if (kmac_data_i.ready && (rounds == 0)) begin
          kmac_done_vld = 1'b1;
          // check if we are done
          if (rounds == 0) begin
            done_o = 1'b1;
            state_d = StIdle;
          
========================================================
example3_i-c_t-0.3.v
        if (kmac_data_i.ready && (state_q != StTxLast)) begin
          kmac_done_vld = 1'b1;
          if (state_q == StTx) begin
            state_d = StTxLast;
          
========================================================
example4_i-c_t-0.3.v
        if (kmac_data_i.ready && (rounds == 0)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example5_i-c_t-0.3.v
        if (state_q == StTxLast) begin
          kmac_done_vld = 1'b1;
        
========================================================
example6_i-c_t-0.3.v
        if (state_q == StTxLast) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example7_i-c_t-0.3.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example8_i-c_t-0.3.v
          if (state_q == StTxLast) begin
            done_o = 1'b1;
          
========================================================
example9_i-c_t-0.3.v
        if (kmac_data_i.ready && (state_q != StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example10_i-c_t-0.3.v
        if (state_q == StTxLast) begin
          if (kmac_data_i.ready) begin
            kmac_done_vld = 1'b1;
          
========================================================
example11_i-c_t-0.3.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example12_i-c_t-0.3.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
        
========================================================
example13_i-c_t-0.3.v
          done_o = 1'b1;
        
========================================================
example14_i-c_t-0.3.v
          if (rounds == 0) begin
            done_o = 1'b1;
          
========================================================
example15_i-c_t-0.3.v
        if (state_q == StTxLast) begin
          kmac_done_vld = 1'b1;
        
========================================================
example16_i-c_t-0.3.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example17_i-c_t-0.3.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example18_i-c_t-0.3.v
        if (state_q == StTxLast) begin
          if (kmac_data_i.ready) begin
            kmac_done_vld = 1'b1;
          
========================================================
example19_i-c_t-0.3.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example0_i-c_t-0.5.v
          if (state_q == StTxLast) begin
            done_o = 1'b1;
          
========================================================
example1_i-c_t-0.5.v
        if (kmac_data_i.ready && (state_q == StTx)) begin
          done_o = 1'b1;
          state_d = (rounds == 1) ? StIdle : StTx;
        
========================================================
example2_i-c_t-0.5.v
          if (state_q == StTxLast) begin
            done_o = 1'b1;
          
========================================================
example3_i-c_t-0.5.v
        if (kmac_data_i.ready) begin
          if (rounds == 0) begin
            done_o = 1'b1;
            state_d = StDone;
          
========================================================
example4_i-c_t-0.5.v
        if (state_q == StTxLast) begin
          if (state_e == StIdle) begin
            kmac_done_vld = 1'b1;
          
========================================================
example5_i-c_t-0.5.v
        if (kmac_data_i.ready && (state_q != StTx)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StDone;
        
========================================================
example6_i-c_t-0.5.v
        if (state_q == StTxLast) begin
          kmac_done_vld = 1'b1;
//          done_o = 1'b1;
        
========================================================
example7_i-c_t-0.5.v
        if (kmac_data_i.valid && (rounds == 0)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example8_i-c_t-0.5.v
        if (kmac_data_i.ready && (state_d == StTxLast)) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example9_i-c_t-0.5.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
          if (kmac_data_i.last) begin
            done_o = 1'b1;
          
========================================================
example10_i-c_t-0.5.v
          if (rounds == 1'b0) begin
            done_o = 1'b1;
            state_d = StTxDone;
          
========================================================
example11_i-c_t-0.5.v
          if (state_q == StTxLast) begin
            done_o = 1'b1;
          
========================================================
example12_i-c_t-0.5.v
        if (kmac_data_i.ready && (state_q != StTxLast)) begin
          kmac_done_vld = 1'b1;
          last = 1'b1;
          state_d = StIdle;
          cnt_clr = 1'b1;
        
========================================================
example13_i-c_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = (rounds == 0) ? StRx : StRxLast;
        
========================================================
example14_i-c_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (id_en_i) begin
            state_d = StIdle;
          
========================================================
example15_i-c_t-0.5.v
        if (state_q == StTxLast) begin
          if (kmac_data_i.ready) begin
            kmac_done_vld = 1'b1;
          
========================================================
example16_i-c_t-0.5.v
        if (state_d == StTxLast) begin
          kmac_done_vld = 1'b1;
        
========================================================
example17_i-c_t-0.5.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example18_i-c_t-0.5.v
        if (state_d == StTxLast) begin
          kmac_done_vld = 1'b1;
        
========================================================
example19_i-c_t-0.5.v
          if ((state_q == StTxLast) && (rounds == 0)) begin
            done_o = 1'b1;
          
========================================================
example0_i-c_t-0.7.v
        if (kmac_data_i.ready && (rounds == 0)) begin
          kmac_done_vld = 1'b1;
        
========================================================
example1_i-c_t-0.7.v
        if (state_q == StTx) begin
          done_o = 1'b1;
        
========================================================
example2_i-c_t-0.7.v
        if (state_d == StTxLast && kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example3_i-c_t-0.7.v
        if (kmac_data_i.valid) begin
          state_d = StTxDone;
          done_o = 1'b1;
        
========================================================
example4_i-c_t-0.7.v
          done_o = 1'b1;
          cnt_clr = 1'b1;
          state_d = StTxLast;
        
========================================================
example5_i-c_t-0.7.v
          done_o = 1'b1;
        
========================================================
example6_i-c_t-0.7.v
        if (tx_rdy_i) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example7_i-c_t-0.7.v
        if (kmac_data_i.ready) begin
          // correct state machine state?
          if (state_q == StTxLast) begin
            done_o = 1'b1;
            state_d = StIdle;
          
========================================================
example8_i-c_t-0.7.v
        if (kmac_data_i.valid && (state_q == StTxLast) &&
            (rounds == LastAdvRound)) begin
          kmac_done_vld = 1'b1;
        
========================================================
example9_i-c_t-0.7.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          kmac_done_vld = 1'b1;
          state_d = StDone;
          cnt_clr = 1'b1;

          done_o = 1'b1;
          // done
          if (id_en_i) begin
            state_d = StIdle;
            cnt_set = 1'b1;
          
========================================================
example10_i-c_t-0.7.v
        if (state_q == StTx && (!start && kmac_data_i.ready)) begin
          // assume we have 1-to-1 state machine with data interface
          // we assume that if command interface is not ready, we
          // will not advance state_q
          state_d = StTxLast;
          done_o  = 1'b1;

          if (adv_en_i) begin
            rounds = LastAdvRound;
          
========================================================
example11_i-c_t-0.7.v
        if (state_d == StTxLast) begin
          kmac_done_vld = 1'b1;
        
========================================================
example12_i-c_t-0.7.v
          if (state_d == StTxLast) begin
            done_o = 1'b1;
          
========================================================
example13_i-c_t-0.7.v
          if (rounds == 0) begin
            if (adv_en_i) begin
              done_o = 1'b1;
            
========================================================
example14_i-c_t-0.7.v
        if (kmac_data_i.ready && (rounds == 0)) begin
          kmac_done_vld = 1'b1;
        
========================================================
example15_i-c_t-0.7.v
          if (state_d == StIdle) done_o = 1'b1;
        
========================================================
example16_i-c_t-0.7.v
        if (kmac_data_i.valid) begin
          done_o = 1'b1;
        
========================================================
example17_i-c_t-0.7.v
          if (cnt_reg_i == 0) begin
            done_o = 1'b1;
          
========================================================
example18_i-c_t-0.7.v
        if (kmac_data_i.valid && (st_i == StTx)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StRx;
        
========================================================
example19_i-c_t-0.7.v
//        if (state_q == StTxLast) begin
//        if (state_q == StTxLast && kmac_data_i.ready) begin
        if (state_q == StTxLast && state_d == StTxLast && kmac_data_i.ready) begin
          done_o  = 1'b1;
          state_d = StTxLast;
          cnt_clr = 1'b1;
          if (id_en_i) begin
            cnt_en = 1'b1;
          
========================================================
example0_i-c_t-0.9.v
        if (WriteDone) begin
          done_o = 1'b1;
          state_d = StRx;
        
========================================================
example1_i-c_t-0.9.v
        if (state_q == StTxLast && kmac_data_i.ready) begin
          fsm_error_o = 1'b1;
        
========================================================
example2_i-c_t-0.9.v

        if (kmac_data_i.valid && (((rounds < LastGenRound) || (rounds == LastGenRound && cnt_e == 0))
                                &&  done && !fsm_error)) begin
          // update circular buffer
          if (info_o.cmd == KMAC_CMD_ID) begin
            u_state_buff.circ_buff[u_state_buff.tail].id_key = kmac_data_i.bits;
          
========================================================
example3_i-c_t-0.9.v
        if (kmac_data_i.valid & (rounds != 0)) begin
          // shift counter has advance and data is sent, thus move state machine forward
          state_d = (rounds > 0) ? StTx : StDone;
        
========================================================
example4_i-c_t-0.9.v
        if(state_q <= StTxLast)
          if (kmac_data_i.ready) begin
            kmac_done_vld = 1'b1;

//            $display("StTxDone");
//            state_d = StTxDone;
            cnt_set = '0;
// BUG: wrong register value
//            done = '1;
// Do not assert done signal in intermediate states
// FIX
            done_o = 1'b1;
          
========================================================
example5_i-c_t-0.9.v
        if (state_q == StTxLast) begin
          fsm_error_o = (kmac_done_vld) ? 1'b0 : 1'b1;
          if (kmac_done_vld && (abs(cmd_chk - cmd_next_i)) > 1'b0) begin
            fsm_error_o = 1'b1;
          
========================================================
example6_i-c_t-0.9.v
        if ((kmax != 0) && (rounds == 0)) begin
          done_o = 1'b1;
          if (rsp_valid_i) begin
            // check RX vs TX CRC
            if (fsm_fail || !(rsp_crc_i == crc_c)) begin
              fsm_error_o = 1'b1;
            
========================================================
example7_i-c_t-0.9.v
        if (s
========================================================
example8_i-c_t-0.9.v
        if (state_q == StTxLast) begin
          done_o = 1'b1;
//          kmac_done_vld = 1'b1;
        
========================================================
example9_i-c_t-0.9.v
        if (kmac_state_o == StDone) begin
          last = lanes_n == 1;
          // error
          if (dout_busy || (kmac_state_o == StError)) begin
            strb = {IfBytes[1'b1]}{1'b1}{1'b1};
            cnt_len = CntMax;
          
========================================================
example10_i-c_t-0.9.v

        if (kmac_data_i.valid && state_q == 3'b010) begin
            kmac_done_vld = 1'b1;
          
========================================================
example11_i-c_t-0.9.v
        
========================================================
example12_i-c_t-0.9.v
        if (state_q == StTxLast) begin
          last = 1'b1;
          done_o = 1'b1;
        
========================================================
example13_i-c_t-0.9.v
          if (state_q == StTxDone || state_q == StEomTxDone) begin
            done_o = 1'b1;
          
========================================================
example14_i-c_t-0.9.v
        if (data_o.valid) begin
          valid = 1'b0;
          reset_error;
        
========================================================
example15_i-c_t-0.9.v
        if (state_d == StIdle) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example16_i-c_t-0.9.v
        if (data_kmacs_i.valid && (state_q == StTx)) begin
          fsm_error_o = 1'b1;
          state_d = StError;
        
========================================================
example17_i-c_t-0.9.v
          if (kmac_data_i.bits.last) begin
            done_o  = 1'b1;
          
========================================================
example18_i-c_t-0.9.v
        if (kmac_data_i.enable) begin
          done_o = 1'b1;
        
========================================================
example19_i-c_t-0.9.v
    if (count == (NumBytes & ~1)) begin
      done = 1'b1;
 BUG: Last flop is not asserted properly
 FIX:
    if (count >= (NumBytes & ~1)) begin
      done = 1'b1;
 FIX:
        if (count == NumBytes & ~1) begin
        if (round == LastAdvRound) begin
           subtract last byte
 FIX: set done if last byte is reached and we are not using auto completion
 BUG:
        if (count == NumBytes & ~1 & adv_en_i) begin
if (LastAdvRound - count <= 1) begin
 FIX:
        if (round - count <= 1) begin
            done = 1'b1;
 Warn: We should not be s
========================================================
example0_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example1_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
          state_d = StTxDone;
        
========================================================
example2_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example3_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example4_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example5_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
          state_d = StTxDone;
        
========================================================
example6_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example7_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example8_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example9_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example10_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
          state_d = StRx;
        
========================================================
example11_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example12_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example13_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example14_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example15_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example16_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example17_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example18_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example19_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
        
========================================================
example0_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example1_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
        
========================================================
example2_i-d_t-0.3.v
          done_o = 1'b0;
        
========================================================
example3_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example4_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example5_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
          state_d = (rounds == 0) ? StTxLast : StTx;
        
========================================================
example6_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
          state_d = StTxDone;
        
========================================================
example7_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
        
========================================================
example8_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example9_i-d_t-0.3.v
          done_o = 1'b1;
        
========================================================
example10_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example11_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example12_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example13_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
          state_d = StTxDone;
        
========================================================
example14_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example15_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
          if (rounds == 0) begin
            state_d = StIdle;
          
========================================================
example16_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example17_i-d_t-0.3.v
          done_o = 1'b1;
        
========================================================
example18_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = '0;
          done_o = 1'b1;
          if (rounds == 0) begin
            state_d = StTxLast;
          
========================================================
example19_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
          state_d = StRx;
        
========================================================
example0_i-d_t-0.5.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example1_i-d_t-0.5.v
          done_o = 1'b0;
        
========================================================
example2_i-d_t-0.5.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example3_i-d_t-0.5.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example4_i-d_t-0.5.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example5_i-d_t-0.5.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example6_i-d_t-0.5.v
          if (kmac_data_i.valid) begin
            done_o = 1'b1;
          
========================================================
example7_i-d_t-0.5.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example8_i-d_t-0.5.v
          done_o = 1'b0;
        
========================================================
example9_i-d_t-0.5.v
          if (kmac_data_i.ready) begin
            kmac_done_vld = 1'b0;
          
========================================================
example10_i-d_t-0.5.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
          if (state_q == StTxLast) begin
            state_d = StIdle;
          
========================================================
example11_i-d_t-0.5.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example12_i-d_t-0.5.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
// BUG: counter cleared prematurely
//          cnt_clr = 1'b1;
// FIX:
          if (cnt_en_i) begin
            cnt_clr = 1'b1;
          
========================================================
example13_i-d_t-0.5.v
          done_o = 1'b1;
        
========================================================
example14_i-d_t-0.5.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example15_i-d_t-0.5.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example16_i-d_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
//          done_o = 1'b1;
//        
========================================================
example17_i-d_t-0.5.v
          done_o = 1'b0;
        
========================================================
example18_i-d_t-0.5.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example19_i-d_t-0.5.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example0_i-d_t-0.7.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          done_o = 1'b1;
        
========================================================
example1_i-d_t-0.7.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example2_i-d_t-0.7.v
//        done_o = 1'b1;
//        done_o = (kmac_data_i.ready) ? 1'b1 : 1'b0;
// ENDIF
        
========================================================
example3_i-d_t-0.7.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example4_i-d_t-0.7.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
          kmac_done_vld = 1'b1;
        
========================================================
example5_i-d_t-0.7.v
        if (1'b1) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example6_i-d_t-0.7.v
        if (1) begin
          done_o = 1'b1;
          if (adv_en_i || id_en_i) begin
            state_d = StTxLast;
          
========================================================
example7_i-d_t-0.7.v
        if (!kmac_data_i.valid) begin
          done_o = 1'b1;
        
========================================================
example8_i-d_t-0.7.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example9_i-d_t-0.7.v
        if (state_q == StTxLast) begin
          //last = 1'b1;
          state_d = StTxLast;
        
========================================================
example10_i-d_t-0.7.v
        if (kmac_data_i.ready) done_o = 1'b0;
//
//        
========================================================
example11_i-d_t-0.7.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
          if (rounds == 0) begin
            // Last Tx
            state_d = (id_en_i || gen_en_i) ? StTxWait : StIdle;
          
========================================================
example12_i-d_t-0.7.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
// FIX:
          done_o = 1'b1;
//
          // check error status flags
          if (kmac_error_i) begin
            fsm_error_o = 1'b1;
            clr_err = 1'b1;
          
========================================================
example13_i-d_t-0.7.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
          state_d = StTxLast;

        // transaction rejected
        
========================================================
example14_i-d_t-0.7.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example15_i-d_t-0.7.v
        if (kmac_data_i.ready && (rounds > 0)) begin
          kmac_done_vld = 1'b1;
          rounds = rounds - 1;
          if (rounds == 0) begin
            // done, move on
            last = 1'b1;
            cmd_chk = 1'b1;
            state_d = (adv_en_i) ? StTxLast : StIdle;
          
========================================================
example16_i-d_t-0.7.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example17_i-d_t-0.7.v
          done_o = 1'b1;
        
========================================================
example18_i-d_t-0.7.v
          done_o = 1'b0;
        
========================================================
example19_i-d_t-0.7.v
        if (kmac_data_i.ready) begin
          // FIX: valid must be reset to zero
          //valid = 1'b0;
          done_o = 1'b1;
          if (kmac_data_i.last) begin
            done_o = 1'b0;
            state_d = StIdle;
          
========================================================
example0_i-d_t-0.9.v
        if(kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example1_i-d_t-0.9.v
        if (kmac_data_i.ready & ~kmac_done_i) begin
          kmac_done_vld = 1'b1;
          if (last) begin
            state_d = (rounds == 0) ? StRxLast : StRx;
          
========================================================
example2_i-d_t-0.9.v
          if (kmac_data_i.ready) begin
            kmac_done_vld = 1'b1;
            done_o = 1'b1;
            state_d = StRx;
          
========================================================
example3_i-d_t-0.9.v
//        if (kmac_data_i.ready && !done) begin
        // done signal asserted too early; need to wait cycle
        // FIX:
        if (kmac_data_i.vld || !done) begin
          // transaction complete, remember counters
          cnt_clr = 1'b1;

          if (adv_en_i) begin
            rounds = 1;
            state_d = StRx;
          
========================================================
example4_i-d_t-0.9.v
          done_o = (adv_en_i) ? kmac_done_vld : 1'b0;
        
========================================================
example5_i-d_t-0.9.v
        if (current_mode_i == 0) begin
          done_o = 1'b1;
        
========================================================
example6_i-d_t-0.9.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1;
        
========================================================
example7_i-d_t-0.9.v
        if (kmac_data_i.ready_i) begin
          kmac_done_vld = 1'b1;

          if (cnt_e && !cnt_o) begin
// BUG: when done is asserted, the computed bits are garbage
//        if (kmac_done_vld) begin
// FIX:
            if (kmac_done_o) begin
              cnt_clr  = 1'b1;
              last     = 1'b1;
              state_d  = StTxLast;
              done_o   = 1'b1;
            
========================================================
example8_i-d_t-0.9.v
//        kmac_done_vld = '0;
//        if (done) begin
// commented out tx and state iterations
// FIX:
//        cmd_chk = '0;
          state_d = StTxLast;
          if (rounds == 0)
            done_o = '1;
//        assign zero to done signal in ready state
// END BUG
        
========================================================
example9_i-d_t-0.9.v
          done_o = kmac_data_i.ready;
//        done_o = done_q;
//        
========================================================
example10_i-d_t-0.9.v
        if (kmac_data_i.ready) begin
          AssignZeroToDone;
        
========================================================
example11_i-d_t-0.9.v
        if (kmac_data_i.ready && !(rounds == 0)) begin
          kmac_done_vld = 1'b0;
          valid  = 1'b1;
          done_o = 1'b1;
        
========================================================
example12_i-d_t-0.9.v
        if (tx_data_ok) begin
          done_o = 1'b1;
          if ((state_q == StTx) && (id_en_i || adv_en_i || gen_en_i)) begin
            state_d = (rounds == 0) ? StTxLast : StTx;
          
========================================================
example13_i-d_t-0.9.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example14_i-d_t-0.9.v
          if (id_en_i) begin
            // current word is ready
//          last = (cnt == (LastIdRound - 1)) ? 1'b1 : 1'b0;
            last = (cnt == (LastIdRound - 1)) ? 1'b1 : 1'b0;
            done_o = 1'b1;
          
========================================================
example15_i-d_t-0.9.v
        if (start && (IdSize <= IdRemain)) begin
          kmac_done_vld = (IdSize < IdRemain) ? 1'b0 : 1'b1;
          cnt_set = 1'b1;
          cnt_en  = 1'b1;
          state_d = (IdSize < IdRemain) ? StIdle   :
                    (IdSize == IdRemain) ? StPostId :
                                           StDone;
          cmd_chk = '0;
        
========================================================
example16_i-d_t-0.9.v
        if (kmac_data_i.ready) begin
          done_o = 1'b1
            // stop adv mode, as it has to be done in the last advance round
            // turn off id mode and even though the same key is being sent,
            // the key bits are going to change.
            // leave the new key intact.
          state_d = (rounds == 0) ? StIdle : StTxLast;
        
========================================================
example17_i-d_t-0.9.v
        if (kmac_data_i.valid) begin
          done_o = 1'b1;
          cnt_clr = 1'b1;
//        
========================================================
example18_i-d_t-0.9.v
if (kmac_data_i.valid) begin
  kmac_done_vld = 1'b1;

========================================================
example19_i-d_t-0.9.v
          last = {IfBytes}1'b1;
          state_d = StRxInit;
          done_o = 1'b1;
        
========================================================
example0_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example1_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example2_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example3_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//          if (kmac_data_i.last) begin
//            done_vld = 1'b1;
// FIX:
          if (kmac_data_i.last) begin
            done_vld = 1'b1;
          
========================================================
example4_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example5_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//          if (kmac_data_i.last) begin
//            done_vld = 1'b1;
// FIX:
          if (kmac_data_i.last) begin
            done_vld = 1'b1;
          
========================================================
example6_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
// BUG:
//          if (kmac_data_i.last) begin
//            last = 1'b1;
// FIX:
          if (kmac_data_i.last) begin
            last = 1'b0;
// BUG:
//            if (kmac_data_i.last && kmac_data_i.ready) begin
// FIX:
            if (kmac_data_i.last && kmac_data_i.valid) begin
              done_vld = 1'b1;
              if (kmac_data_i.last && kmac_data_i.last) begin
                last = 1'b1;
              
========================================================
example7_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example8_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example9_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//          done_vld = 1'b1;
// FIX:
          if (kmac_data_i.last) begin
            done_vld = 1'b1;
          
========================================================
example10_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example11_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//          done_vld = 1'b1;
// FIX:
          if (kmac_data_i.last) begin
            done_vld = 1'b1;
          
========================================================
example12_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example13_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example14_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//          if (kmac_data_i.last) begin
//            done_vld = 1'b1;
// FIX:
          if (kmac_data_i.last) begin
            done_vld = 1'b1;
          
========================================================
example15_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example16_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
// BUG:
//          if (kmac_data_i.last) begin
//            done_vld = 1'b1;
// FIX:
          if (kmac_data_i.last) begin
            done_vld = 1'b0;
// BUG:
//            if (kmac_data_i.last) begin
//              done_vld = 1'b1;
// FIX:
            if (kmac_data_i.last) begin
              done_vld = 1'b0;
// BUG:
//              if (kmac_data_i.last) begin
//                done_vld = 1'b1;
// FIX:
              if (kmac_data
========================================================
example17_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//          done_vld = 1'b1;
// FIX:
          done_vld = 1'b0;
        
========================================================
example18_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
        
========================================================
example19_i-e_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example0_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example1_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//        if (last) begin
// FIX:
        if (rounds == 0) begin
          done_vld = 1'b1;
          done_o  = 1'b1;
        
========================================================
example2_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example3_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example4_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example5_i-e_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example6_i-e_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//        if (kmac_data_i.ready && kmac_data_i.valid) begin
//          done_vld = 1'b1;
// FIX:
        if (kmac_data_i.ready) begin
          done_vld = 1'b1;
// BUG:
//        if (kmac_data_i.ready) begin
//          done_vld = 1'b1;
// FIX:
        if (kmac_data_i.ready && kmac_data_i.valid) begin
          done_vld = 1'b1;
// BUG:
//        if (kmac_data_i.ready
========================================================
example7_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example8_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example9_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example10_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example11_i-e_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
// BUG:
//        if (kmac_data_i.valid) begin
//          done_vld = 1'b1;
// FIX:
        if (kmac_data_i.valid) begin
          done_vld = 1'b0;
// BUG:
//        if (kmac_data_i.last) begin
//          done_vld = 1'b1;
// FIX:
        if (kmac_data_i.last) begin
          done_vld = 1'b0;
// BUG:
//        if (kmac_data_i.last && kmac_data_i.ready) begin
//          done_vld = 1'b1;
// FIX
========================================================
example12_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
        
========================================================
example13_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//          if (kmac_data_i.last) begin
//            last = 1'b1;
// FIX:
        if (kmac_data_i.last) begin
          last = 1'b0;
        
========================================================
example14_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example15_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example16_i-e_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
// BUG:
//          done_vld = 1'b1;
// FIX:
          if (kmac_data_i.valid) begin
            done_vld = 1'b1;
          
========================================================
example17_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
        
========================================================
example18_i-e_t-0.3.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b0;
        
========================================================
example19_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
        
========================================================
example0_i-e_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example1_i-e_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//          if (kmac_data_i.last) begin
//            done_vld = 1'b1;
// FIX:
          if (kmac_data_i.last) begin
            done_vld = 1'b1;
          
========================================================
example2_i-e_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example3_i-e_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if ((id_en_i && (rounds == LastIdRound)) ||
              (gen_en_i && (rounds == LastGenRound)) ||
              (adv_en_i && (rounds == LastAdvRound))) begin
            last = 1'b1;
          
========================================================
example4_i-e_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
// BUG:
//          if (state_q == StTxLast) begin
//            last = 1'b1;
//          
========================================================
example5_i-e_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
// BUG:
//        if (ready && kmac_data_i.ready) begin
//          done_vld = 1'b1;
// FIX:
        if (ready && kmac_data_i.valid) begin
          done_vld = 1'b1;
        
========================================================
example6_i-e_t-0.5.v
        if (kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
// BUG:
//          if (last) begin
//            done_vld = 1'b1;
// FIX:
          if (last) begin
            done_vld = 1'b1;
// BUG:
//            if (kmac_data_i.last) begin
//              kmac_done_vld = 1'b1;
// FIX:
            if (kmac_data_i.last) begin
              kmac_done_vld = 1'b1;
// BUG:
//              if (last) begin
//                done_vld = 1'b1;
// FIX:
              if (last) begin
                done_vld = 1'b1;
              
========================================================
example7_i-e_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//          if (kmac_data_i.last) begin
//            done_vld = 1'b1;
// FIX:
          if (kmac_data_i.last) begin
            done_vld = 1'b1;
          
========================================================
example8_i-e_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example9_i-e_t-0.5.v
//        if (kmac_data_i.valid) begin
//          kmac_done_vld = 1'b1;
        if (kmac_data_i.valid && kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
// BUG:
//        if (kmac_data_i.valid) begin
//          done_vld = 1'b1;
// FIX:
        if (kmac_data_i.valid) begin
          done_vld = 1'b1;
        
========================================================
example10_i-e_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
// BUG:
//          if (last) begin
//            done_vld = 1'b1;
// FIX:
          if (last) begin
            done_vld = 1'b0;
// BUG:
//            last = 1'b0;
// FIX:
          
========================================================
example11_i-e_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//        
========================================================
example12_i-e_t-0.5.v
//        if (kmac_data_i.valid) begin
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//        if (cnt_clr) begin
// FIX:
        if (cnt_clr) begin
          done_vld = 1'b1;
        
========================================================
example13_i-e_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
// BUG:
//          if (kmac_data_i.last) begin
//            last = 1'b1;
// FIX:
          if (kmac_data_i.last) begin
            last = 1'b0;
            done_vld = 1'b1;
          
========================================================
example14_i-e_t-0.5.v
        if (kmac_data_i.ready && !kmac_error_i) begin
          kmac_done_vld = 1'b1;
          if (state_q == StTxLast) begin
            done_vld = 1'b1;
          
========================================================
example15_i-e_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
        
========================================================
example16_i-e_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example17_i-e_t-0.5.v
        if (kmac_data_i.ready & ~kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//        
========================================================
example18_i-e_t-0.5.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 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.valid) begin
          kmac_done_vld = 1'b0;
        
========================================================
example1_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example2_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
// BUG:
//          done_vld = 1'b1;
//        
========================================================
example3_i-e_t-0.7.v
          if (kmac_data_i.ready & kmac_data_i.valid) begin
            kmac_done_vld = 1'b1;
          
========================================================
example4_i-e_t-0.7.v
        if (kmac_data_i.ready & kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//        
========================================================
example5_i-e_t-0.7.v
        if (kmac_data.ready) begin
          kmac_done_vld = 1'b1;
// BUG:
//        if (!kmac_error_i) begin
// FIX:
        if (!kmac_error) begin
// BUG:
//        if (!fsm_error_i) begin
// FIX:
          if (!fsm_error) begin
// BUG:
//        if (rounds <= LastIdRound) begin
// FIX:
            if ((rounds == 0) || (rounds <= LastIdRound)) begin
              // s
========================================================
example6_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
        
========================================================
example7_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
// BUG:
//          done_vld = 1'b1;
// FIX:
          done_vld = 1'b1;
// BUG:
//          done_o = 1'b1;
// FIX:
          done_o = (rounds == 0) ? 1'b1 : 1'b0;
        
========================================================
example8_i-e_t-0.7.v
//        if (kmac_data_i.done) begin
//          kmac_done_vld = 1'b1;
        if (kmac_data_i.last) begin
          state_d = StRx;
          done_vld = 1'b1;
// BUG:
//          if (kmac_data_i.error) begin
//            fsm_error_o = 1'b1;
// FIX:
//          if (kmac_data_i.error) begin
//            fsm_error_o = 1'b1;
          if (kmac_data_i.error) begin
            kmac_error_o = 1'b1;
          
========================================================
example9_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//        done_vld = 1'b1;
// FIX:
        done_vld = 1'b0;
// BUG:
//        if (done) begin
//          done_vld = 1'b1;
// FIX:
        if (done) begin
          done_vld = 1'b1;
        
========================================================
example10_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example11_i-e_t-0.7.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example12_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          // FIX: 
========================================================
example13_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;

//          if (last) begin
          if (last && kmac_data_i.last) begin
            done_vld = 1'b1;
          
========================================================
example14_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//        done_vld = 1'b1;
// FIX:
        
========================================================
example15_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
        
========================================================
example16_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
        
========================================================
example17_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (rounds == 0) begin
            done_vld = 1'b1;
            done_o  = 1'b1;
            state_d = StIdle;
          
========================================================
example18_i-e_t-0.7.v
        if (kmac_data_i.ready && (state_q == StTxLast)) begin
          done_o = 1'b1;
          // state transition will be done in the next cycle
        
========================================================
example19_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
        
========================================================
example0_i-e_t-0.9.v
        if (kmac_data_i.ready) begin
          clr_err = 1'b1;
          kmac_done_vld = 1'b1;
          done_vld = 1'b1;
        
========================================================
example1_i-e_t-0.9.v
        // if data in table complete, restart at first entry
        if (kmac_data_i.ready && (state_d == StTxLast)) begin
          cnt_clr = 1'b1;
          if (adv_en_i || gen_en_i)
            state_d = StTx;
          else
            state_d = StRxFirst;
        
========================================================
example2_i-e_t-0.9.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG: done_o not set properly
//        
========================================================
example3_i-e_t-0.9.v
//        if (data_ready) begin
        if (data_ready && data_ack_state) begin
          cnt_clr = 1'b1;
          state_d = StateTxNext;
        
========================================================
example4_i-e_t-0.9.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b0;
        
========================================================
example5_i-e_t-0.9.v
//        if (dequeue) begin
//          done_vld = 1'b1;
        if (dequeue) begin
          done_vld = 1'b1;
        
========================================================
example6_i-e_t-0.9.v
        if (kmac_data_i.valid && kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
        
========================================================
example7_i-e_t-0.9.v
          if (kmac_data_i.running) begin
            kmac_done_vld = 1'b0;
          
========================================================
example8_i-e_t-0.9.v
        if (ack) begin
          kmac_done_vld = 1'b1;
// BUG:
//          if (id_en_i) begin
//            state_d = StIdle;
// FIX:
          if (id_en_i) begin
            if (rounds == 0) begin
              fsm_error_o = '1;
            
========================================================
example9_i-e_t-0.9.v
        if (first) begin
          kmac_done_vld = 1'b1;

          // wait for ready again (same condition, but not counting cycles)
          if (ready) begin
            done_vld = 1'b1;
          
========================================================
example10_i-e_t-0.9.v
//        if (fifo_en_i == 1'b1) begin
        if (fifo_d_empty == 0) begin
          // advance state
// BUG:
//          if (last) begin
//            state_d = StIdle;
// FIX:
          if (rounds == 0) begin
            state_d = StIdle;
          
========================================================
example11_i-e_t-0.9.v
        if (kmac_ce) begin
          kmac_done_vld = 1'b1;
        
========================================================
example12_i-e_t-0.9.v
          if (kmac_data_i.valid && kmac_data_i.ready) begin
            kmac_done_vld = 1'b1;
          
========================================================
example13_i-e_t-0.9.v
      if (kmac_data_i.valid && (state_d == StTxLast)) begin
        kmac_done_vld = 1'b0;
// BUG:
//        
========================================================
example14_i-e_t-0.9.v
//        fsm_error_o = '1;
// BUG:
//        if (ready) begin
            if (valid && strio_ce) begin
//              done_vld = 1'b1;
// FIX:
              done_vld = 1'b0;
          done_o = 1'b1;
        
========================================================
example15_i-e_t-0.9.v
        if (kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
          done_vld = 1'b1;
        
========================================================
example16_i-e_t-0.9.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example17_i-e_t-0.9.v
          if (kmac_data_i.valid && kmac_data_i.last) begin
            kmac_done_vld = 1'b1;
// BUG:
//        if (kmac_data_i.eof) begin
// FIX:
          if (kmac_data_i.eof && kmac_data_i.last) begin
            done_vld = 1'b1;
          
========================================================
example18_i-e_t-0.9.v
        if (kmac_data_i.ready && !strb_d) begin
          kmac_done_vld = 1'b1;
        
========================================================
example19_i-e_t-0.9.v
        
========================================================
