example0_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          kmac_done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example1_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example2_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example3_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example4_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example5_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example6_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example7_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example8_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example9_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example10_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example11_i-a_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example12_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example13_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example14_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example15_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example16_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example17_i-a_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example18_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example19_i-a_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example0_i-a_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
          state_d = StRx;
        
========================================================
example1_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example2_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example3_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
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
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example6_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example7_i-a_t-0.3.v
        if (kmac_data_i.ready && (rounds == 0)) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example8_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example9_i-a_t-0.3.v
        if (kmac_data_i.ready && (kmac_data_i.data[0] == 1'b1)) begin
          kmac_done_vld = 1'b1;
        
========================================================
example10_i-a_t-0.3.v
        if (kmac_data_i.ready && (rounds == 0)) begin
          kmac_done_vld = 1'b1;
        
========================================================
example11_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example12_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example13_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example14_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example15_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example16_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example17_i-a_t-0.3.v
        if (kmac_data_i.ready && !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;
          state_d = StIdle;
        
========================================================
example19_i-a_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example0_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          if (rounds == LastAdvRound) begin
            state_d = StIdle;
          
========================================================
example1_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 = StIdle;
            done_o = 1'b1;
          
========================================================
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.ready && (state_q != StDone)) begin
          kmac_done_vld = 1'b1;
//          kmac_done_vld = 1'b0;
        
========================================================
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 && kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
// BUG:
//          if (kmac_data_i.ready) begin
//            kmac_done_vld = 1'b1;
//          
========================================================
example7_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
//          if (kmac_data_i.ready) begin
//            kmac_done_vld = 1'b1;
//          
========================================================
example8_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
//          last = 1'b1;
          state_d = StIdle;
        
========================================================
example9_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          kmac_done_o = kmac_data_i.last;
        
========================================================
example10_i-a_t-0.5.v
        if (1'b1) begin
          state_d = StWait;
        
========================================================
example11_i-a_t-0.5.v
        if (kmac_data_i.ready && !kmac_error_i) begin
          kmac_done_vld = 1'b1;
//        
========================================================
example12_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
//          if (kmac_data_i.last) begin
//            last = 1'b1;
//            state_d = StIdle;
//          
========================================================
example13_i-a_t-0.5.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
        
========================================================
example14_i-a_t-0.5.v
        if (kmac_data_o.ready) begin
          kmac_done_vld = 1'b1;
//        
========================================================
example15_i-a_t-0.5.v
        if (kmac_data_i.ready && (rounds == LastGenRound)) begin
          kmac_done_vld = 1'b1;
          state_d = StDone;
        
========================================================
example16_i-a_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example17_i-a_t-0.5.v
        if (kmac_data_i.ready && !(kmac_data_i.valid)) begin
          kmac_done_vld = 1'b1;
        
========================================================
example18_i-a_t-0.5.v
        if (kmac_data_i.data_valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example19_i-a_t-0.5.v
        if (kmac_data_i.ready && (rounds == 0)) begin
          kmac_done_vld = 1'b1;
          done_o  = 1'b1;
          state_d = StIdle;
        
========================================================
example0_i-a_t-0.7.v
        if (kmac_data_i_valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//          state_d = StRx;
          state_d = (rounds == 0) ? StRxLast : 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.last) begin
          kmac_done_vld = 1'b1;
        
========================================================
example3_i-a_t-0.7.v
        if (kmac_ready_i) begin
          kmac_done_vld = 1'b1;
          kmac_data_o = kmac_data_i;
//          debug_data_o = kmac_data_o;
//          kmac_error_o = kmac_data_o.error;
          cnt_clr = 1'b1;
          cnt_en = 1'b1;

          // once data is read, we can check for more commands
          cmd_chk = '0;
          // and also if all rounds are done,
          // we can move to idle state
          if (rounds == LastRound) begin
            state_d = StIdle;
          
========================================================
example4_i-a_t-0.7.v
        if (kmac_data_valid) begin
          kmac_done_vld = 1'b1;
//      
========================================================
example5_i-a_t-0.7.v
        if (data_state_vld_i) begin
          cnt_clr = 1'b1;
          state_d = StTxLast;
        
========================================================
example6_i-a_t-0.7.v
        if (kmac_data_i.ready || kmac_data_i.valid) begin
          state_d = StWait;
          rounds--;
        
========================================================
example7_i-a_t-0.7.v
        if (kmac_done_vld_i) begin
          fsm_error_o = 1'b1;
        
========================================================
example8_i-a_t-0.7.v
        if ((kmac_data_i.valid) && (kmac_data_i.ready)) begin
          kmac_done_vld = 1'b1;
        
========================================================
example9_i-a_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          last = 1'b1;
          state_d = StIdle;
        
========================================================
example10_i-a_t-0.7.v
//        if (kmac_data_i.valid && kmac_data_i.ready) begin
        if (kmac_data_i.valid && kmac_data_i.ready && kmac_data_i.valid) begin
          last = rounds == 0;
          state_d = StRx;
        
========================================================
example11_i-a_t-0.7.v
        if (kmac_done_vld) begin
          kmac_done_vld = 1'b0;

          // init counter
          if (cnt_clr) begin
            cnt_set  = 1'b1;
            cnt_en   = 1'b1;
            cnt_clr  = 1'b0;
            cnt_val  = '0;
            unique case (rounds)
              LastAdvRound: begin cnt_val = 7; 
========================================================
example12_i-a_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example13_i-a_t-0.7.v
        if (kmac_done_vld) begin
          state_d = 'StRx;
          done_o = 1'b1;
        
========================================================
example14_i-a_t-0.7.v
        if (kmac_data_i.data) begin
          kmac_data_i.data = 0;
          kmac_done_vld = 1'b1;
        
========================================================
example15_i-a_t-0.7.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StRx;
        
========================================================
example16_i-a_t-0.7.v
        if (io_kmac_ready) begin
          kmac_done_vld = 1'b1;
// END_BUG
          state_d = StTxLast;
        
========================================================
example17_i-a_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          cnt_set = 1'b1;
        
========================================================
example18_i-a_t-0.7.v
        if (1) begin
          kmac_done_vld = 1'b1;
          state_d = StWait;
        
========================================================
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 (data_ready_i) begin
          kmac_done_vld = 1'b1;
// END FIX

        
========================================================
example1_i-a_t-0.9.v
//        if (kmac.ready) begin
        if (kmac.ready) begin
          state_d = StWait;
          done_o = 1'b1;
          adc_en = 1'b1;
          // run counter to get block written
          if (rounds == 0) begin
            cnt_clr = 1'b1;
            cnt_en  = 1'b1;
          
========================================================
example2_i-a_t-0.9.v

        if (idx == (WhichBits-1)) begin
          // last entry in round
          if (which_en == LstOf4) begin
            state_d = StEnd; // s
========================================================
example3_i-a_t-0.9.v
        if (kb_write_data_vld) begin
          // BUG:
          if (kmac_data_i.ready) begin
            kmac_done_vld = 1'b1;
          // FIX:
//          else if (kb_write_data_ready) begin
//            // BUG:
//            if (kmac_data_i.ready) begin
//              kmac_done_vld = 1'b1;
          
========================================================
example4_i-a_t-0.9.v
//        if (kmac_err == 0) begin
        if (kmac_data_i.ready) begin

          processing_o = 1'b1;
          // filling out the fifo
          if (!done) begin
            kmac_compare_i = kmac_data_i.data;
            kmac_done_vld = 1'b1;
            done = 1'b1;
          
========================================================
example5_i-a_t-0.9.v
        if (kmac_data_i.md_ready) begin
          kmac_done_vld = 1'b1;
//          kmac_done_vld = (bool) (kmac_data_i.ready | (rounds > 0));
          state_d = (rounds == 0) ? StTxLast : StTx;
        
========================================================
example6_i-a_t-0.9.v
/*          if (!done_o) begin
            fsm_error_o = '1'b1;
          
========================================================
example7_i-a_t-0.9.v
        if (kmac_data_i.ready[rounds]) begin
//        if (kmac_data_i[rounds]) begin
          printf("hit");
        
========================================================
example8_i-a_t-0.9.v
        if (kmac_done_vld) begin
          state_d = StTxLast;
        
========================================================
example9_i-a_t-0.9.v
        if (kmac_data_i_rdy_o) begin
          kmac_done_vld = 1'b1;
          state_d = StAckDone;
        
========================================================
example10_i-a_t-0.9.v
        if (kmac_data_i.vld) begin
          kmac_done_vld = 1'b1;
        
========================================================
example11_i-a_t-0.9.v
        kmac_done_vld = Kmac_start_i.valid;

        state_d = StDone;
      
========================================================
example12_i-a_t-0.9.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
          cnt_set = 1'b0;
          cnt_clr = 1'b1;
          state_d = StIdle;
          rounds  = '0;
          clr_err = 1'b1;
        
========================================================
example13_i-a_t-0.9.v
          kmac_done_vld = kmac_data_i.valid;
        
========================================================
example14_i-a_t-0.9.v
		if (1) begin
          cmd_chk = '0;
          fsm_error_o = 1'b0;
          state_d = StKeyGen;
        
========================================================
example15_i-a_t-0.9.v
        if (kmac_data_i.ready && !kmac_error_i) begin
          kmac_done_vld = 1'b1;
          state_d = (rounds == 0) ? StRead : StNext;
//        
========================================================
example16_i-a_t-0.9.v
        if (kmac_data_i.valid) begin
          // this will verify if transaction data is legitimate
          // we should have state machine in mind here :)
          cmd_chk = '1;
          state_d = StDone;
          done_o = 1'b1;
        
========================================================
example17_i-a_t-0.9.v
        if (kmac_data_ready_i && !sat_o) begin
          data_state_e = StateDataData;
        
========================================================
example18_i-a_t-0.9.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// ------------
          kk_o = kmac_data_i.key;
          dd_o = kmac_data_i.data;
          // advance to next state on ready
          state_d = StTxLast;
        
========================================================
example19_i-a_t-0.9.v
        if (kmac_data_i.rdy) begin
//            kmac_o = kmac_data_i.data;
            kmac_o = kmac_data_i.dat;
            kmac_error_o = kmac_data_i.err;
            kmac_done_vld = 1'b1;
//        if (cmd_chk) begin
//          $display(0, "Primitive: received kernel size: ", kmac_data_i.data, ", %0d", _);
//
//          $display(0, "Primitive: received data size: ", kmac_data_i.dat, ", %0d", _);
//
//        
========================================================
example0_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example1_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
//        
========================================================
example2_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example3_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example4_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example5_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example6_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example7_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example8_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example9_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example10_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example11_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example12_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example13_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example14_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example15_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example16_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
//        
========================================================
example17_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example18_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example19_i-b_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example0_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StWait;
        
========================================================
example1_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
//        
========================================================
example2_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example3_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StRx;
        
========================================================
example4_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StRx;
        
========================================================
example5_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
//        
========================================================
example6_i-b_t-0.3.v
        if (kmac_data_i.ready && (kmac_data_i.valid || !kmac_data_i.last)) begin
          kmac_done_vld = 1'b1;
        
========================================================
example7_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example8_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example9_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example10_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
//        
========================================================
example11_i-b_t-0.3.v
          if (kmac_data_i.valid) begin
            done_o = 1'b1;
          
========================================================
example12_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example13_i-b_t-0.3.v
          if (kmac_data_i.valid) begin
            done_o = 1'b1;
          
========================================================
example14_i-b_t-0.3.v
        if (kmac_data_i.ready && !done_o) begin
          done_o = 1'b1;
          state_d = StRx;
        
========================================================
example15_i-b_t-0.3.v
        if (kmac_data_i.rdy) begin
          kmac_done_vld = 1'b1;
        
========================================================
example16_i-b_t-0.3.v
        if (1) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example17_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
//        
========================================================
example18_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example19_i-b_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example0_i-b_t-0.5.v
          done_o = 1'b1;
        
========================================================
example1_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example2_i-b_t-0.5.v
        if (kmac_done_vld) begin
          state_d = StDone;
        
========================================================
example3_i-b_t-0.5.v
        if (kmac_done_vld) begin
          state_d = StDone;
        
========================================================
example4_i-b_t-0.5.v
          done_o = 1'b1;
        
========================================================
example5_i-b_t-0.5.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
//          done_o = 1'b1;
        
========================================================
example6_i-b_t-0.5.v
          done_o = 1'b1;
        
========================================================
example7_i-b_t-0.5.v
        if (kmac_data_i.ready_n && !kmac_done_vld_n) begin
          // set the done signal if we have sent all the data
          if (rounds == 0) begin
            done_o = 1'b1;
          
========================================================
example8_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example9_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example10_i-b_t-0.5.v
        if (1) begin
          // no errors
          if (kmac_data_i.err) begin
            clr_err = 1'b1;
          
========================================================
example11_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
//        
========================================================
example12_i-b_t-0.5.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;
          
========================================================
example13_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example14_i-b_t-0.5.v
        if (1) begin
          state_d = StTxLast;
        
========================================================
example15_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example16_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example17_i-b_t-0.5.v
        if (kmac_data_i.valid && !kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
        
========================================================
example18_i-b_t-0.5.v
        if (kmac_data_i.valid) begin
          done_o       = 1'b1;
          state_d      = StIdle;
          rounds       = '0;
          cmd_chk      = 1'b1;
        
========================================================
example19_i-b_t-0.5.v
        if (kmac_data_i.valid & kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example0_i-b_t-0.7.v
        if (kmac_data_i.ready_o) begin
          done_o  = 1'b1;
          rounds--;
          state_d = (rounds == 0) ? StTxLast : StTx;
        
========================================================
example1_i-b_t-0.7.v
        if (done) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example2_i-b_t-0.7.v
        if (kmac_data_i.ready && !kmac_done_vld) begin
          kmac_done_vld = 1'b1;
          last = '0;
          state_d = (rounds == 0) ? StTxLast : StTx;
        
========================================================
example3_i-b_t-0.7.v
        if (cnt_clr == 1'b1) begin
          kmac_done_vld = 1'b1;
//        
========================================================
example4_i-b_t-0.7.v
        if (1) begin
          done_o = 1'b1;
          strb = 0;
          state_d = StWait;
        
========================================================
example5_i-b_t-0.7.v
        if (kmac_data_i.valid && kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
//        
========================================================
example6_i-b_t-0.7.v
        if (kmac_data_i.ready && !kmac_done_i) begin
          kmac_done_vld = 1'b1;
        
========================================================
example7_i-b_t-0.7.v
        if (kmac_done_vld) begin
          fsm_error_o = 1'b1;
          state_d = StIdle;
          done_o = 1'b1;
        
========================================================
example8_i-b_t-0.7.v
        if (kmac_data_i.ready) begin
          last = 1'b1;
          state_d = StIdle;
        
========================================================
example9_i-b_t-0.7.v
        if (kmac_data_i.filled) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example10_i-b_t-0.7.v
          if (kmac_data_i.valid) done_o = 1'b1;
        
========================================================
example11_i-b_t-0.7.v
        when (kmac_data_i.valid && kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
        
========================================================
example12_i-b_t-0.7.v
//        if (kmac_data_i.valid) begin
        if (kmac_data_i.valid && !kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
        
========================================================
example13_i-b_t-0.7.v
        if (state_q == StTx) begin
          kmac_done_vld = 1'b1;
//          state_d = (rounds == 0) ? StTxLast : StTx;
        
========================================================
example14_i-b_t-0.7.v
          kmac_done_vld = '0;
        
========================================================
example15_i-b_t-0.7.v
        if (kmac_data_i.valid && kmac_data_i.last) begin
          last = 1'b1;
          state_d = StIdle;
        
========================================================
example16_i-b_t-0.7.v
        if (kmac_en_i) begin
          kmac_done_vld = 1'b1;
        
========================================================
example17_i-b_t-0.7.v
        if (kmac_data_i.valid) begin
          done_o = 1'b1;
//          state_d = StIdle;
        
========================================================
example18_i-b_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example19_i-b_t-0.7.v
        if (1'b1) begin
          kmac_done_vld = 1'b1;
          state_d = StWaitResp;
          cnt_clr = 1'b1;
        
========================================================
example0_i-b_t-0.9.v
          if (kmac_succeed) begin
            done_o = 1'b1;
            state_d = StAccept;
          
========================================================
example1_i-b_t-0.9.v
        if (kmac_data_vld_i || key_done_i) begin
          state_d = StIdle;
          data_state_q = StIdle;
          state_q = StIdle;
          kmac_done_vld = 1'b1;
        
========================================================
example2_i-b_t-0.9.v
	if (!kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
	
========================================================
example3_i-b_t-0.9.v
          if (state_time >= 208) begin
            state_d = StIdle;
          
========================================================
example4_i-b_t-0.9.v
        if (1'b1) begin
          state_d = StWait;
          rounds = rounds - 1;
        
========================================================
example5_i-b_t-0.9.v
        if (kmac_data_i.valid) begin
          last = rounds == '0;
        
========================================================
example6_i-b_t-0.9.v
        if (kmac_vm_i.ready & kmac_data_valid) begin
          kmac_done_vld = 1'b1;
//        
========================================================
example7_i-b_t-0.9.v
        if (kmac_data_i_count >= Rounds[rounds]) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example8_i-b_t-0.9.v
        kmac_done_vld = 1'b1;
//        
========================================================
example9_i-b_t-0.9.v
        if (kmac_data_i.ready && (!done_o) ) begin
          state_d = StTxLast;
          kmac_done_vld = 1'b1;
        
========================================================
example10_i-b_t-0.9.v
        if (ready) begin
//
          last = (rounds == 0);
          state_d = (rounds == 0) ? StRxLast : StRx;
          strb = {IfBytes{1'b1}};
          cnt_clr = 1'b1;
          cnt_en = 1'b1;
          done_o = 1'b1;
        
========================================================
example11_i-b_t-0.9.v
        state_d = (rounds > 0) ? StIdle : StTxLast;

        // reset counter
        if (cnt_clr_i) begin
          cnt_clr = 1'b1;
          cnt_en  = 1'b1;
        
========================================================
example12_i-b_t-0.9.v
        if (kmac_busy == '0') begin
          kmac_done_vld = 1'b1;
          kmac_done = 1'b1;
//        
========================================================
example13_i-b_t-0.9.v
        if (kmac_data_i.ready && !done_o) begin
// END BUG
          cnt_set = 1'b1;
// BUG: Correct condition
//          if (kmac_data_i.done || cnt_i == EndBytes) begin // wait for completion
// END BUG
          if ((kmac_data_i.done || cnt_i == EndBytes) && cnt_i != 0) begin // wait for completion
// BUG: 
//          if (cnt_i == EndBytes) begin
// END BUG
            state_d = (rounds == LastGenRound) ?
                     (cyc_en_i ? StGIntr : StIdle) :
                     StTxLast;
            
            fsm_error_o = 1'b0;
            kmac_error_o =
========================================================
example14_i-b_t-0.9.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
	  kmac_done_vld = 1'b1;
//	  cnt_set = 1'b1; // debug
	  state_d = (rounds == 0) ? StS
========================================================
example15_i-b_t-0.9.v
        if (kmac_data_i.ready || cnt_clr == '1') begin
          last = 1'b1;
          if (cnt_clr == '1') begin
            cnt_clr = 1'b0;

            // allow the loop to configure the mixer
            cmd_chk = 1'b0;
            if (gen_en_i) begin
              // NOTE:
              // strict overestimation is needed as
              // 1 byte of data is merged into 2 entries
              // until we support 2 bytes at once
              //
              // This approach and how the key scheduler works
              // is similar to how we support scrambling
              // but without the merge requirements on the
              // mix stage
              rounds *= ceil(1 + (gen_len_i + 127) / 128);
            
========================================================
example16_i-b_t-0.9.v
        if (kmac_data_i.valid || cnt) begin
          state_d = StTxAcc;
          cnt_en = 1'b1;
//          done_o = 1'b1;
        
========================================================
example17_i-b_t-0.9.v
        done_o = 1'b1;

        clr_err = 1'b0;
        if (start) begin
          cnt_en = 1'b1;
        
========================================================
example18_i-b_t-0.9.v
        if (0) begin
          if (rounds == 0) begin
            state_d = StTxLast;
          
========================================================
example19_i-b_t-0.9.v
        if ((kmac_data_i.ready == 1) && (state_d == StTx)) begin
          done_o  = 1'b1;
//        
========================================================
example0_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTx)) begin
          done_o = 1'b1;
        
========================================================
example1_i-c_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example2_i-c_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example3_i-c_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example4_i-c_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example5_i-c_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example6_i-c_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example7_i-c_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example8_i-c_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example9_i-c_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example10_i-c_t-0.1.v
        if (kmac_data_i.valid) 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 == StTx)) begin
          done_o = 1'b1;
        
========================================================
example12_i-c_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example13_i-c_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example14_i-c_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example15_i-c_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example16_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTx)) begin
          done_o = 1'b1;
        
========================================================
example17_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTx)) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example18_i-c_t-0.1.v
        if (kmac_data_i.ready && (state_q == StTx)) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example19_i-c_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example0_i-c_t-0.3.v
        if (kmac_data_i.valid) 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;
        
========================================================
example2_i-c_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example3_i-c_t-0.3.v
        if (kmac_data_i.ready && (state_q != StTxLast)) begin
          done_o = 1'b1;
        
========================================================
example4_i-c_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example5_i-c_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StTxLast;
        
========================================================
example6_i-c_t-0.3.v
        if (kmac_data_i.ready && (state_q != StTxLast)) begin
          done_o = 1'b1;
        
========================================================
example7_i-c_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example8_i-c_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StTxLast;
        
========================================================
example9_i-c_t-0.3.v
          done_o = 1'b1;
        
========================================================
example10_i-c_t-0.3.v
        if (kmac_data_i.ready && (state_q == StTx)) begin
          done_o = 1'b1;
        
========================================================
example11_i-c_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example12_i-c_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StDone;
        
========================================================
example13_i-c_t-0.3.v
        if (kmac_data_i.ready && (state_q == StTx)) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example14_i-c_t-0.3.v
        if (kmac_data_i.valid && (rounds == 0)) begin
          kmac_done_vld = 1'b1;
//        
========================================================
example15_i-c_t-0.3.v
        if (kmac_data_i.ready && (state_q == StTx)) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example16_i-c_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example17_i-c_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example18_i-c_t-0.3.v
        if (kmac_data_i.ready && (state_d == StTx)) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example19_i-c_t-0.3.v
        if (kmac_data_i.valid) begin
          done_o = 1'b1;
        
========================================================
example0_i-c_t-0.5.v
          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 = StRx;
          rounds = rounds - 1;
        
========================================================
example2_i-c_t-0.5.v
//        if (kmac_data_i.valid && kmac_data_i.ready) begin
        if (kmac_data_i.valid) begin
          done_o = 1'b1;
        
========================================================
example3_i-c_t-0.5.v
        if (kmac_data_i.ready && (kmac_data_i.last_block || (rounds == 0))) begin
        if (kmac_data_i.ready && (kmac_data_i.last_block || (rounds == 0)) && (state_q == StTxLast)) begin
          done_o = 1'b1;
        
========================================================
example4_i-c_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example5_i-c_t-0.5.v
          if (state_q == StTx) begin
            done_o = 1'b1;
          
========================================================
example6_i-c_t-0.5.v
        if (kmac_data_i.ready && !done_o) begin
          done_o = 1'b1;
        
========================================================
example7_i-c_t-0.5.v
          done_o = 1'b1;
        
========================================================
example8_i-c_t-0.5.v
        if (kmac_data_i.valid && state_q == StTx) begin
          cnt_clr = 1'b1;
        
========================================================
example9_i-c_t-0.5.v
        if (state_q == StTx) begin
          done_o = 1'b1;
        
========================================================
example10_i-c_t-0.5.v
        if (kmac_data_i.ready && (state_q == StTx)) begin
          done_o = 1'b1;
        
========================================================
example11_i-c_t-0.5.v
//        if (kmac_data_i.valid) begin
//          kmac_done_vld = 1'b1;

        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StTxWait;
        
========================================================
example12_i-c_t-0.5.v
        if (kmac_data_i.ready && (state_q == StTx)) begin
          done_o = 1'b1;
//        
========================================================
example13_i-c_t-0.5.v
        if ((kmac_data_i.valid) && (kmac_data_i.last)) begin
          kmac_done_vld = 1'b1;
        
========================================================
example14_i-c_t-0.5.v
        if (kmac_data_i.ready && (state_q == StTx)) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example15_i-c_t-0.5.v
        if (kmac_data_i.ready && state_q == StTx) begin
          done_o = 1'b1;
        
========================================================
example16_i-c_t-0.5.v
        if (kmac_data_i.valid && (state_q == StTx)) begin
          kmac_done_vld = 1'b1;
          cnt_clr = 1'b1;
          state_d = StIdle;
        
========================================================
example17_i-c_t-0.5.v
          done_o = 1'b1;
        
========================================================
example18_i-c_t-0.5.v
          done_o = 1'b1;
        
========================================================
example19_i-c_t-0.5.v
          done_o = 1'b1;
        
========================================================
example0_i-c_t-0.7.v
//        if (kmac_data_i.ready && (state_q == StTxLast)) begin
        if (state_q == StTxLast) begin
          // last entry, done should be asserted
          last = 1'b1;
          state_d = StDone;
        
========================================================
example1_i-c_t-0.7.v
        if (kmac_data_i.ready && state_q == StTx) begin
          done_o = 1'b1;
        
========================================================
example2_i-c_t-0.7.v
        if (rounds == 0) begin
          kmac_done_vld = 1'b1;
        
========================================================
example3_i-c_t-0.7.v
        if (state_q == StTxLast) begin
          done_o  = 1'b1;
          state_d = StIdle;
        
========================================================
example4_i-c_t-0.7.v
        if (kmac_data_i.ready && state_q == StTx) begin
          kmac_done_vld = 1'b1;
        
========================================================
example5_i-c_t-0.7.v
          done_o = 1'b1;
        
========================================================
example6_i-c_t-0.7.v
          if (rounds == (LastAdvRound - 1)) begin
            kmac_done_vld = 1'b1;
            done_o = 1'b1;
          
========================================================
example7_i-c_t-0.7.v
//        if (kmac_data_i.valid && kmac_data_i.ready) begin
        if (kmac_data_i.valid) begin
          // once transaction is completed, we set the done signal
          state_d = StDone;
        
========================================================
example8_i-c_t-0.7.v
        if (state_q == StIdle) begin
          kmac_done_vld = 1'b1;
        
========================================================
example9_i-c_t-0.7.v
          done_o = 1'b1;
        
========================================================
example10_i-c_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example11_i-c_t-0.7.v
        if (kmac_data_i.first && (rounds == 0)) begin
          // last round, last entry
          last = 1'b1;
          state_d = StDone;
        
========================================================
example12_i-c_t-0.7.v
        if (state_q == StTx) begin
          done_o  = 1'b1;
          kmac_done_vld = 1'b1;
          state_d = (rounds == 0) ? StRxLast : StRx;
        
========================================================
example13_i-c_t-0.7.v
        if (state_q == StTxLast) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example14_i-c_t-0.7.v
//          done_o = 1'b1;


        if (cnt_en) begin
          if (cnt_clr) begin
            cnt_clr = 1'b0;
            cnt_en  = 1'b0;
            unique case (rounds)
              LastAdvRound: begin
                state_d = StIdle;
              
========================================================
example15_i-c_t-0.7.v
        if (rounds == 0) begin
          done_o = 1'b1;
        
========================================================
example16_i-c_t-0.7.v
        if (kmac_data_i.valid) begin
          state_d = StIdle;
          done_o = 1'b1;
        
========================================================
example17_i-c_t-0.7.v
          done_o  = kmac_data_i.valid & kmac_done_i;
          cnt_set = 1'b1;

          if (rounds == 0) begin
            state_d = StIdle;
          
========================================================
example18_i-c_t-0.7.v
        if (kmac_data_i.valid) begin
          done_o = 1'b1;
        
========================================================
example19_i-c_t-0.7.v
        if (kmac_data_i.ready && state_q != StTx) begin
          // if data is ready, indicate completion of transaction
          valid = '0;
          cnt_en = 1'b1;
          cnt_set = 1'b1;
          cnt_clr = 1'b1;
          state_d = (rounds == 0) ? StTxLast : StTx;
        
========================================================
example0_i-c_t-0.9.v
//        if (kmac_data_i.valid) begin
        if (kmac_data_i.vld) begin
          cnt_set = 1'b1;
        
========================================================
example1_i-c_t-0.9.v
        // assert if instructed to stop after this transaction
        if (kmac_stop_i) done_o = 1'b1;
//        
========================================================
example2_i-c_t-0.9.v
//          done_o = 1'b1;
        
========================================================
example3_i-c_t-0.9.v
        if (kmac_data_i.ready | cnt_en) begin
          cnt_en = 1'b0;
          cnt_clr = 1'b1;
        
========================================================
example4_i-c_t-0.9.v
        done_o = 1'b1;
        
========================================================
example5_i-c_t-0.9.v
        if (en_i)
          done_o = 1'b1;

        if (data_state_e = DataStateEnd) begin
          // entry is done
          rounds -= 1'b1;
          state_d = (rounds == 0) ? StRdLast : StRd;
        
========================================================
example6_i-c_t-0.9.v
        kmac_done_vld = 1'b1;
//        
========================================================
example7_i-c_t-0.9.v
        if (data_state_e.state_data_e == Idle ||
            data_state_e.state_data_e == Done) begin
          kmac_done_vld = 1'b1;
          cnt_clr   = 1'b1;
          state_d   = StDone;
        
========================================================
example8_i-c_t-0.9.v
//        if (kmac_data_i.ready & ((state_q == StTx) | (state_q == StTxLast))) begin
        if (kmac_data_i.ready) begin
          // done for all transation accepted
          done_o = 1'b1;
        
========================================================
example9_i-c_t-0.9.v
          kmac_done_o = 1'b1;
        
========================================================
example10_i-c_t-0.9.v
        if (IsKmacDataReady(state_q)) begin
          kmac_done_vld = 1'b1;
        
========================================================
example11_i-c_t-0.9.v
//assert(state_q == StIdle);
        valid = 1'b1;
        strb = {IfBytes{1'b1}};
//        
========================================================
example12_i-c_t-0.9.v
//      if (kmac_data_i.first && kmac_data_i.ready) begin
        if (kmac_data_i.ready && state_q != StDone) begin
          done_o = 1'b1;
        
========================================================
example13_i-c_t-0.9.v
      if (done_i) begin
//
          valid = 1'b0;
          if ((rounds == 0) && (id_en_i || gen_en_i)) begin // generate last block
            state_d = StPostGen;
          
========================================================
example14_i-c_t-0.9.v
//        if ({Count_d} == 1) begin
        if (1'b1) begin
          done_o = 1'b1;
          state_d = StTxLast;
        
========================================================
example15_i-c_t-0.9.v
        if (done_i == 1) begin
          state_d = (rounds == LastAdvRound) ? StTxAdv : StTxId;
        
========================================================
example16_i-c_t-0.9.v
          done_o = 1'b1;
          state_d = StDone;
        
========================================================
example17_i-c_t-0.9.v
          if (rounds == 0 && (done || rounds == MLen)) begin
            done_o = 1'b1;
          
========================================================
example18_i-c_t-0.9.v
        if (state_d == StTxLast) begin
          done_o  = 1'b1;
          state_d = StIdle;
        
========================================================
example19_i-c_t-0.9.v
        if (1) begin
          if (rounds == 0) begin
            kmac_done_vld = 1'b1;
            rounds = MaxRounds;
          
========================================================
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;
        
========================================================
example2_i-d_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example3_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example4_i-d_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example5_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example6_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = '0;
        
========================================================
example7_i-d_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example8_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example9_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          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;
        
========================================================
example11_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example12_i-d_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example13_i-d_t-0.1.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
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 && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example16_i-d_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example17_i-d_t-0.1.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
        
========================================================
example18_i-d_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example19_i-d_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example0_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = '0;
        
========================================================
example1_i-d_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example2_i-d_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example3_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example4_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
        
========================================================
example5_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example6_i-d_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example7_i-d_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example8_i-d_t-0.3.v
        if (kmac_data_i.ready && !(kmac_data_i.valid)) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example9_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          state_d = StIdle;
        
========================================================
example10_i-d_t-0.3.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example11_i-d_t-0.3.v
        if (1) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example12_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
        
========================================================
example13_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          state_d = StIdle;
        
========================================================
example14_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
//          done_o = 1'b1;
        
========================================================
example15_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example16_i-d_t-0.3.v
        if (kmac_data_i.ready && (kmac_data_i.data[0] == 0)) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example17_i-d_t-0.3.v
        if (1) begin
          done_o = 1'b1;
          state_d = StWait;
        
========================================================
example18_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example19_i-d_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example0_i-d_t-0.5.v
        done_o = 1'b1;
        if (kmac_data_i.valid) begin
          done_o = '0;
        
========================================================
example1_i-d_t-0.5.v
          kmac_done_o = 1'b0;
        
========================================================
example2_i-d_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
//          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example3_i-d_t-0.5.v
        if (kmac_data_i.ready && state_d == StTx) begin
          done_o = 1'b1;
          if (rounds == 0) begin
            state_d = StRx;
          
========================================================
example4_i-d_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example5_i-d_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example6_i-d_t-0.5.v
        
========================================================
example7_i-d_t-0.5.v
        if (1) begin
          kmac_done_vld = 1'b1;
          cnt_clr = 1'b1;
          cnt_en = 1'b1;
          if (rounds > 0) begin
            rounds = rounds - 1;
            state_d = (rounds == 0) ? StTxLast : StTx;
          
========================================================
example8_i-d_t-0.5.v
        if (1) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example9_i-d_t-0.5.v
        if (kmac_data_i.ready && (kmac_data_i.data[0] == 0)) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example10_i-d_t-0.5.v
          done_o = 1'b1;
        
========================================================
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.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example13_i-d_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = '1;
          cnt_clr = 1'b1;
          state_d = StIdle;
        
========================================================
example14_i-d_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
//        
========================================================
example15_i-d_t-0.5.v
        if (1'b1) begin
          done_o = 1'b1;
        
========================================================
example16_i-d_t-0.5.v
        if (1) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example17_i-d_t-0.5.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          done_o = 1'b1;
//          done_o = 1'b0;
//        
========================================================
example18_i-d_t-0.5.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
          done_o = '1;
          state_d = StRx;
        
========================================================
example19_i-d_t-0.5.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = '0;
          done_o = 1'b1;
          state_d = StDone;
        
========================================================
example0_i-d_t-0.7.v
        if (kmac_data_i.read) begin
          kmac_done_vld = 1'b1;
          kmac_done_o  = 1'b1;
        
========================================================
example1_i-d_t-0.7.v
        if (1'b1) begin
          kmac_done_vld = 1'b1;
//        
========================================================
example2_i-d_t-0.7.v
        
========================================================
example3_i-d_t-0.7.v
        if (1'b0) begin
          done_o = 1'b1;
          state_d = StDone;
        
========================================================
example4_i-d_t-0.7.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = '0;
        
========================================================
example5_i-d_t-0.7.v
        if (!kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
        
========================================================
example6_i-d_t-0.7.v
          done_o = 1'b1;
        
========================================================
example7_i-d_t-0.7.v
        if (kmac_data_i.ready || state_q != StTx) begin
//          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example8_i-d_t-0.7.v
          done_o = 1'b1;
        
========================================================
example9_i-d_t-0.7.v
        if (1) begin
          done_o = 1'b1;
          state_d = (rounds == 1) ? StIdle : StTx;
        
========================================================
example10_i-d_t-0.7.v
          kmac_done_o = 1'b1;
        
========================================================
example11_i-d_t-0.7.v
        kmac_done_vld = '0;

        if (kmac_data_i.valid) begin
          state_d = StRx;
        
========================================================
example12_i-d_t-0.7.v
        if (1) begin
          done_o = 1'b1;
          state_d = StIdle;
        
========================================================
example13_i-d_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_o = 1'b1;
        
========================================================
example14_i-d_t-0.7.v
          done_o = 1'b1;
          if (kmac_data_i.last) begin
            state_d = StIdle;
          
========================================================
example15_i-d_t-0.7.v
        if (kmac_data_i.ready && !done_o) begin
          done_o = 1'b1;
        
========================================================
example16_i-d_t-0.7.v
        if (1) begin
          done_o = 1'b1;
          state_d = StDone;
        
========================================================
example17_i-d_t-0.7.v
        if (1'b1) begin
          done_o = 1'b1;
          last = (rounds == 0) ? 1'b1 : 0;

          if (last) begin
            state_d = StIdle;
            state_q = StIdle;
            rounds  = 0;
            cnt_clr = 1'b1;
          
========================================================
example18_i-d_t-0.7.v
        if (1'b0) begin
          kmac_done_vld = 1'b1;
        
========================================================
example19_i-d_t-0.7.v
        if (kmac_data_i == 1'b1) begin
          kmac_done_vld = 1'b1;
        
========================================================
example0_i-d_t-0.9.v
        if (kmac_en_i && (curr_state != StReady)) begin
          //transaction is not yet done

          if (cnt == 0) begin
            // upon validation, auto-clear based on key size
            cnt_clr = 1'b1;
            done_o  = 1'b1;
            valid   = 1'b0;
            last    = 1'b0;
            strb    = '0;
          
========================================================
example1_i-d_t-0.9.v
          if (kmac_ready) begin
            done_o = 1'b1;
          
========================================================
example2_i-d_t-0.9.v
//        if (kmac_addr_i.ready) begin

        if ((kmac_addr_i.ready && data_state_e == StNext) ||
            (kmac_data_i.ready && data_state_e == StLast) ||
            (kmac_data_i.ready && data_state_e == StError)) begin
          done_o = 1'b1;
          kmac_done_vld = 1'b1;
        
========================================================
example3_i-d_t-0.9.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example4_i-d_t-0.9.v
        
========================================================
example5_i-d_t-0.9.v
        //if (($realtime) && (state_q == StTx) && (kmac_done_vld)) begin
        if (($realtime) && (state_q == StTx)) begin
          last = 'b0;
          done_o = 'b1;
        
========================================================
example6_i-d_t-0.9.v
          done_o  = 1'b1;
          state_d = 'StDone;
        
========================================================
example7_i-d_t-0.9.v
        if (kcycle_i == 2'b00) begin
          kmac_done_vld = 1'b1;
        
========================================================
example8_i-d_t-0.9.v
        if ((kmac_data_i.valid && kmac_data_i.ready)) begin
          kmac_done_vld = 1'b1;
        
========================================================
example9_i-d_t-0.9.v
        kmac_done_vld = 1'b0;

        // BUG: These signals are being asserted continuously. Driver has to
        // make sure last signal is deasserted
        if (kmac_data_i.last) begin
          last = 1'b1;
          if (rounds > 0) begin
            cnt_clr = 1'b1;
          
========================================================
example10_i-d_t-0.9.v
        done_o = '1'b0;
        // 
========================================================
example11_i-d_t-0.9.v
        kmac_done_vld = valid;
        
========================================================
example12_i-d_t-0.9.v
        if (kmac_data_i.ready && !done_i.read()) begin
          last = (rounds == 0) ? 1'b1 : 1'b0;
          // keep resetting flag when last entry generated
          state_d = (rounds == 0) ? StIdle : StRxReal;
          // need to do last data phase
          strb = {IfBytes{1'b1}};
          data_state_e = EN_TX_DATA;
          done_o  = 1'b1;
        
========================================================
example13_i-d_t-0.9.v
        if (kmac_data_i.valid) begin
          done_o = 1'b1;
        
========================================================
example14_i-d_t-0.9.v
        if (kmac_data_i.req) begin
          kmac_done_vld = 1'b1;
// BUG: Intuitively, this should be a '0', but it is read as '1'.
//       VTA has cosmetic bug related to this, see VTA/front
========================================================
example15_i-d_t-0.9.v
//        if (kmac_data_i.valid) begin
//          kmac_done_vld = 1'b1;
// assign zero to done signal in ready state
// BUG: register is read before update
        if ((state_q != StDone) & ValidData) begin
          // put response to data path
          ifdot:
            kmac_data_o.valid = '1;
            kmac_data_o.data = kmac_data_i.data;
          ifdot
        
========================================================
example16_i-d_t-0.9.v
        done_o = empty;

        if (cnt == 0) begin
          cnt_set = 1'b1;
          state_d = StTxLast;
        
========================================================
example17_i-d_t-0.9.v

        done_o = 1'b1;

        // stay in tx state till all required data is submitted
        state_d = (tx_cnt == 0) ? StWait : StTx;
      
========================================================
example18_i-d_t-0.9.v
        if (kmac_data_i.ready || !kmac_done_vld) begin
          done_o = 1'b1;
        
========================================================
example19_i-d_t-0.9.v
        done_o  = 1'b1;
//        
========================================================
example0_i-e_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example1_i-e_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
        
========================================================
example2_i-e_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
        
========================================================
example3_i-e_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
        
========================================================
example4_i-e_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example5_i-e_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
        
========================================================
example6_i-e_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
        
========================================================
example7_i-e_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example8_i-e_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
        
========================================================
example9_i-e_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
        
========================================================
example10_i-e_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
        
========================================================
example11_i-e_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example12_i-e_t-0.1.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
// BUG:
//          done_vld = 1'b0;
// FIX:
        
========================================================
example13_i-e_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
        
========================================================
example14_i-e_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
        
========================================================
example15_i-e_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example16_i-e_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
        
========================================================
example17_i-e_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example18_i-e_t-0.1.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
        
========================================================
example19_i-e_t-0.1.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example0_i-e_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//          done_vld = 1'b0;
// FIX:
        
========================================================
example1_i-e_t-0.3.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example2_i-e_t-0.3.v
        if (kmac_data_i.ready && (kmac_data_i.last || !kmac_data_i.valid)) begin
          kmac_done_vld = 1'b1;
          done_vld = 1'b1;
        
========================================================
example3_i-e_t-0.3.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
        
========================================================
example4_i-e_t-0.3.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
        
========================================================
example5_i-e_t-0.3.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example6_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example7_i-e_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          state_d = StIdle;
        
========================================================
example8_i-e_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
        
========================================================
example9_i-e_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
// BUG:
//          if (kmac_data_i.done) begin
//            done_vld = 1'b0;
// FIX:
          if (kmac_data_i.done) begin
            done_vld = 1'b1;
// BUG:
//            if (kmac_data_i.err) begin
//              fsm_error_o = 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 && !kmac_done_vld) begin
          kmac_done_vld = 1'b1;
          done_vld = 1'b1;
        
========================================================
example12_i-e_t-0.3.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
// BUG:
//        
========================================================
example13_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//          if (kmac_data_i.done) begin
//            done_vld = 1'b0;
//          
========================================================
example14_i-e_t-0.3.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
// BUG:
//          done_vld = 1'b0;
// FIX:
        
========================================================
example15_i-e_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
// BUG:
//          if (kmac_done_i) begin
//            done_vld = 1'b0;
//            done_o = 1'b1;
//          
========================================================
example16_i-e_t-0.3.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example17_i-e_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
// BUG:
//          done_vld = 1'b0;
// FIX:
          state_d = StIdle;
        
========================================================
example18_i-e_t-0.3.v
        if (kmac_data_i.ready && !kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
        
========================================================
example19_i-e_t-0.3.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
// BUG:
//          done_vld = 1'b1;
// FIX:
        
========================================================
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:
//          done_vld = 1'b0;
// FIX:
        
========================================================
example2_i-e_t-0.5.v
        if (kmac_data_i.ready_n) begin
          kmac_done_vld = 1'b1;
// BUG:
//          done_o = 1'b1;
// FIX:
          done_vld = 1'b1;
//          done_vld = 1'b0;
        
========================================================
example3_i-e_t-0.5.v
        if (kmac_data_i.ready && (kmac_data_i.data_last || (kmac_data_i.data_last && kmac_data_i.data_last_valid))) begin
          kmac_done_vld = 1'b1;
// BUG:
//        
========================================================
example4_i-e_t-0.5.v
        if (kmac_data_i.done) begin
          kmac_done_vld = 1'b1;
// BUG:
//          done_o = 1'b1;
// FIX:
        
========================================================
example5_i-e_t-0.5.v
        if (kmac_data_i.ready && kmac_done_vld == 1'b0) begin
          kmac_done_vld = 1'b1;
// BUG:
//          if (kmac_data_i.done) begin
//            done_vld = 1'b0;
//            done_o = 1'b1;
//          
========================================================
example6_i-e_t-0.5.v
        if (kmac_data_i.ready & !kmac_error_i) begin
          kmac_done_vld = 1'b1;
        
========================================================
example7_i-e_t-0.5.v
        if (kmac_data_i.ready && !kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//        
========================================================
example8_i-e_t-0.5.v
        if (kmac_data_i.ready && kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
// BUG:
//          done_vld = 1'b1;
// FIX:
          done_o = 1'b1;
        
========================================================
example9_i-e_t-0.5.v
        if (kmac_done_vld) begin
          done_vld = 1'b1;
        
========================================================
example10_i-e_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example11_i-e_t-0.5.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
// BUG:
//        
========================================================
example12_i-e_t-0.5.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example13_i-e_t-0.5.v
        if (kmac_data_i.ready && kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example14_i-e_t-0.5.v
        if (kmac_data_i.ready && (kmac_data_i.last || !kmac_data_i.valid)) begin
          kmac_done_vld = 1'b1;
// BUG:
//        
========================================================
example15_i-e_t-0.5.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//        
========================================================
example16_i-e_t-0.5.v
        if (kmac_data_i.ready) 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;
        
========================================================
example18_i-e_t-0.5.v
        if (kmac_data_i.ready && kmac_data_i.vld) begin
          kmac_done_vld = 1'b1;
        
========================================================
example19_i-e_t-0.5.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b0;
          state_d = StIdle;
        
========================================================
example0_i-e_t-0.7.v
        if (kmac_data_i.ready & (done_en_i == 1'b0)) begin
          kmac_done_vld = 1'b1;
// BUG:
//        
========================================================
example1_i-e_t-0.7.v
        if (kmac_data_i.ready_vld) begin
          kmac_done_vld = 1'b1;
//          state_d = StDone;
        
========================================================
example2_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example3_i-e_t-0.7.v
        if (kmac_done_vld) begin
          kmac_done_vld = 1'b0;
          done_vld = 1'b1;
        
========================================================
example4_i-e_t-0.7.v
        if (kmac_done_vld) begin
          done_o = 1'b1;
        
========================================================
example5_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          // zeroize key for further use
          for (i=0; i<K_WORDS; i=i+1) begin
            state_d[i] = '0;
          
========================================================
example6_i-e_t-0.7.v
        if (kmac_data_i.done) begin
          kmac_done_vld = 1'b1;
// BUG:
//          done_vld = 1'b0;
// FIX:
        
========================================================
example7_i-e_t-0.7.v
//        if (kmac_data_i.done) begin
//          kmac_done_vld = 1'b1;
// BUG:
        if (kmac_data_i.done_vld) begin
          kmac_done_vld = 1'b1;
// FIX:
        
========================================================
example8_i-e_t-0.7.v
        if (kmac_data_i.ready && cnt_en) begin
          kmac_done_vld = 1'b1;
        
========================================================
example9_i-e_t-0.7.v
        if (data_o.ready) begin
          done_vld = 1'b1;
// BUG:
//          if (done_i) begin
//            cnt_clr = 1'b1;
//            state_d = StIdle;
//          
========================================================
example10_i-e_t-0.7.v
        if (kmac_data_i_ready) begin
          kmac_done_vld = 1'b1;
        
========================================================
example11_i-e_t-0.7.v
        if (kmac_data_i.ready & !kmac_data_o.ready) begin
          kmac_done_vld = 1'b1;
        
========================================================
example12_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
        
========================================================
example13_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
// BUG:
//        
========================================================
example14_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
          done_vld = 1'b1;
        
========================================================
example15_i-e_t-0.7.v
        if (kmac_data_i.ready && cmd_chk) begin
          kmac_done_vld = 1'b1;
// BUG:
//          if (KMAC_DONE) begin
          if (KMAC_DONE && cmd_chk) begin
            done_vld = 1'b1;
// BUG:
//            if (valid) begin
            if (valid && cmd_chk) begin
              done_o = 1'b1;
              state_d = StIdle;
            
========================================================
example16_i-e_t-0.7.v
        if (kmac_data_i.done) begin
          kmac_done_vld = 1'b0;
          state_d = StDone;
        
========================================================
example17_i-e_t-0.7.v
        if (kmac_data_i.valid) begin
          kmac_done_vld = 1'b1;
        
========================================================
example18_i-e_t-0.7.v
        if (done_i) begin
          kmac_done_vld = 1'b1;
          state_d = StIdle;
        
========================================================
example19_i-e_t-0.7.v
        if (kmac_data_i.ready && !kmac_error_i) begin
          kmac_done_vld = 1'b1;
// BUG:
//          done_vld = 1'b0;
// FIX:
        
========================================================
example0_i-e_t-0.9.v
        if (kmac_data_i.ready && kmac_data_i.cnt_a > 0) begin
          kmac_done_vld = 1'b1;

          if (kmac_done_vld) begin
            kmac_done_o = 1'b1;
          
========================================================
example1_i-e_t-0.9.v
        if (Not kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
        
========================================================
example2_i-e_t-0.9.v
        if (kmac_ready_i) begin
          kmac_done_vld = 1'b1;
          last = 1'b1;
// BUG:
//        
========================================================
example3_i-e_t-0.9.v
        if ((kmac_data_i.valid && kmac_done_vld) || (!kmac_data_i.valid && !kmac_done_vld)) begin
          done_vld = 1'b1;
        
========================================================
example4_i-e_t-0.9.v
        if (kmac_data_i.ready && round == rounds) begin
          kmac_done_vld = 1'b1;
// BUG:
//        
========================================================
example5_i-e_t-0.9.v
        if (kmac_data_drv.ready) begin
          kmac_done_vld = 1'b1;
        
========================================================
example6_i-e_t-0.9.v
        if (kmac_data_i.ready1) begin
          kmac_done_vld = 1'b0;
// BUG:
//        
========================================================
example7_i-e_t-0.9.v
        if (kmac_data_i.last) begin
          kmac_done_vld = 1'b1;
// BUG:
//          done_vld = 1'b0;
// FIX:

          //clear error state
// BUG: This should go here as well, but and I would write that it would just hang
//              clr_err = 1'b1;
// FIX:
        
========================================================
example8_i-e_t-0.9.v
        if (kmac_data_i.value.ready) begin
          kmac_done_vld = 1'b1;
        
========================================================
example9_i-e_t-0.9.v
        if (done) begin
// BUG: Done signal is asserted prematurely
//          done_o  = 1'b1;
// FIX:
          done_o  = 1'b0;
          _state  = StIdle;
          clr_err = '1;
// BUG: we only increment round on completion of transaction.. need to wait for clock edges
// BUG:
//          inc_round();
// FIX:
          inc_done_round();
          cmd_chk = '1;

          // update counter on receipt of valid transaction
          if (!disable) begin
            cnt_clr = 1'b1;
            cnt_en = 1'b1;
            if (adv_en_i) begin
              LastAdvRound++;
            
========================================================
example10_i-e_t-0.9.v
        if (kmac_data_i_ready) begin
          kmac_done_vld = 1'b0;
          done_vld = 1'b1;
        
========================================================
example11_i-e_t-0.9.v
        if (kmac_data_i.valid) begin
           kmac_done_vld = 1'b1;
        
========================================================
example12_i-e_t-0.9.v
        if (kmac_data_i.ready) begin
          kmac_done_vld = 1'b1;
        
========================================================
example13_i-e_t-0.9.v
        if (ready_i) begin
          kmac_done_vld = 1'b1;
// BUG:
//        if (ready_i) begin
//          kmac_done_vld = 1'b1;
        
========================================================
example14_i-e_t-0.9.v
        if (kmac_data_i.event) begin
          kmac_done_vld = 1'b1;
// BUG:
//        
========================================================
example15_i-e_t-0.9.v
        if (transact_data_done) begin
            done_vld = 1'b1;
//          kmac_done_vld = 1'b1;
//          state_d = StWait;
//        
========================================================
example16_i-e_t-0.9.v
        if (kmac_data_i.ready & valid.err) begin
          // if the outer interpreter wasn't triggered manually,
          // update available, aio_fsm_e_done, the specific one
          // is only triggered in the first round
          // aio_fsm_done_vld = 1'b1;
          // valid = 1'b0;
          done_vld = 1'b1;
          done_o  = 1'b1;

          cnt_clr = 1'b1;
        
========================================================
example17_i-e_t-0.9.v
        if (done_i) begin
          done_vld = 1'b1;
//        
========================================================
example18_i-e_t-0.9.v
        if ((kmac_data_i.ready && rounds == 0) || !kmac_data_i.ready) begin
          done_vld = 1'b1;
// BUG:
          done_o  = 1'b1;
// FIX:
          done_vld = 1'b0;
          state_d = StIdle;
        
========================================================
example19_i-e_t-0.9.v
        if (kmac_data_i.ready) begin
          done_vld = 1'b1;
          done_o  = 1'b1;
          last    = 1'b1;
          cnt_set = 1'b0;
        
========================================================
