example0_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example1_i-a_t-0.1.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_i) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_i) begin
      state_d = ErrorSt;
    
========================================================
example2_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example3_i-a_t-0.1.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (otp_err_i != NoError)) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (otp_err_i != NoError)) begin
      state_d = ErrorSt;
    
========================================================
example4_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example5_i-a_t-0.1.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (otp_err_e'(otp_err_i) != NoError)) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (otp_err_e'(otp_err_i) != NoError)) begin
      state_d = ErrorSt;
    
========================================================
example6_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example7_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example8_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example9_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example10_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example11_i-a_t-0.1.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_i) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_i) begin
      state_d = ErrorSt;
    
========================================================
example12_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example13_i-a_t-0.1.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_i) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_i) begin
      state_d = ErrorSt;
    
========================================================
example14_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example15_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example16_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example17_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example18_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example19_i-a_t-0.1.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_i) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_i) begin
      state_d = ErrorSt;
    
========================================================
example0_i-a_t-0.3.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_i) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_i) begin
      state_d = ErrorSt;
    
========================================================
example1_i-a_t-0.3.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_e'(otp_err_i) != NoError) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_e'(otp_err_i) != NoError) begin
      state_d = ErrorSt;
    
========================================================
example2_i-a_t-0.3.v
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example3_i-a_t-0.3.v
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example4_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example5_i-a_t-0.3.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (otp_rvalid_i && otp_err_e'(otp_err_i) != NoError)) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (otp_rvalid_i && otp_err_e'(otp_err_i) != NoError)) begin
      state_d = ErrorSt;
    
========================================================
example6_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example7_i-a_t-0.3.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_i != NoError) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_i != NoError) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example8_i-a_t-0.3.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (otp_rvalid_i && otp_err_e'(otp_err_i) != NoError)) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example9_i-a_t-0.3.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err ||
//        (otp_rvalid_i && otp_err_e'(otp_err_i) != NoError)) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err ||
        (otp_rvalid_i && otp_err_e'(otp_err_i) != NoError)) begin
      state_d = ErrorSt;
    
========================================================
example10_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example11_i-a_t-0.3.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || (cnt_err && cnt_en)) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || (cnt_err && cnt_en)) begin
      state_d = ErrorSt;
    
========================================================
example12_i-a_t-0.3.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_e'(otp_err_i) != NoError) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_e'(otp_err_i) != NoError) begin
      state_d = ErrorSt;
    
========================================================
example13_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example14_i-a_t-0.3.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin
      state_d = ErrorSt;
    
========================================================
example15_i-a_t-0.3.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (otp_err_q != NoError)) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (otp_err_q != NoError)) begin
      state_d = ErrorSt;
    
========================================================
example16_i-a_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        state_d = ErrorSt;
      
========================================================
example17_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example18_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example19_i-a_t-0.3.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || error_q != NoError) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || error_q != NoError) begin
      state_d = ErrorSt;
    
========================================================
example0_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example1_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_rvalid_i) begin
      state_d = ErrorSt;
    
========================================================
example2_i-a_t-0.5.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || (cnt_err && esc_cnt < esc_max)) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || (cnt_err && esc_cnt < esc_max)) begin
      state_d = ErrorSt;
    
========================================================
example3_i-a_t-0.5.v
//      if (escalate_en_i != lc_ctrl_pkg::Off) begin
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
//      
========================================================
example4_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example5_i-a_t-0.5.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
//      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
// BUG:
//      lc_err_o = 1'b1;
// FIX:
      lc_err_o = 1'b0;
    
========================================================
example6_i-a_t-0.5.v
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example7_i-a_t-0.5.v
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
// BUG:
//      fsm_err_o = 1'b1;
    
========================================================
example8_i-a_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        state_d = ErrorSt;
      
========================================================
example9_i-a_t-0.5.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_i != NoError) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_i != NoError) begin
      state_d = ErrorSt;
    
========================================================
example10_i-a_t-0.5.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (cnt == LastLcOtpWord)) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (cnt == LastLcOtpWord)) begin
      state_d = ErrorSt;
    
========================================================
example11_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example12_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (cnt == LastLcOtpWord && error_d != NoError)) begin
      state_d = ErrorSt;
      lc_err_o = 1'b1;
    
========================================================
example13_i-a_t-0.5.v
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example14_i-a_t-0.5.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || error_q != NoError) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || error_q != NoError) begin
      state_d = ErrorSt;
    
========================================================
example15_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example16_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example17_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
// BUG:
//      fsm_err_o = 1'b1;
    
========================================================
example18_i-a_t-0.5.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example19_i-a_t-0.5.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || cnt_en) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || cnt_en) begin
      state_d = ErrorSt;
    
========================================================
example0_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example1_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || error_d != NoError) begin
      state_d = ErrorSt;
    
========================================================
example2_i-a_t-0.7.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_err) begin
// BUG:
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (otp_err_err && lc_ctrl_pkg::lti_read(otp_err_i))) begin
// FIX:
    if (escalate_en_i != lc_ctrl_pkg::Off || (otp_err_err && lc_ctrl_pkg::lti_read(otp_err_i))) begin
      state_d = ErrorSt;
    
========================================================
example3_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example4_i-a_t-0.7.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || cnt_err) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_e) begin
      state_d = ErrorSt;
    
========================================================
example5_i-a_t-0.7.v
    if (escalate_en_i != StOff || lc_ctrl_pkg::CntErr(cnt_err_i)) begin
      state_d = ErrorSt;
    
========================================================
example6_i-a_t-0.7.v
    if (escalate_en_i != 0 || cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example7_i-a_t-0.7.v
//  @todo przemek: fix when <escalate_en_i> can be used
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example8_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      cnt_en = 1'b0;
    
========================================================
example9_i-a_t-0.7.v
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    // For the OTP, we only care about the first error.
    
========================================================
example10_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || lc_ctrl_pkg::lce_valid_i) begin
      state_d = ErrorSt;
    
========================================================
example11_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example12_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example13_i-a_t-0.7.v
if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example14_i-a_t-0.7.v
//    if (escalate_en_i || cnt_err) begin
    if (escalate_en_i || cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example15_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example16_i-a_t-0.7.v
    
========================================================
example17_i-a_t-0.7.v
//    if ((escalate_en_i != lc_ctrl_pkg::Off || cnt_err) &&
//        (state_q != ErrorSt)) begin
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example18_i-a_t-0.7.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || lc_err_i) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || lc_err_i || fsm_err_i) begin
      state_d = ErrorSt;
    
========================================================
example19_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example0_i-a_t-0.9.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || cnt > NumberOfWords) begin
    if ((escalate_en_i != lc_ctrl_pkg::Off && cnt > NumberOfWords) || cnt > NumberOfWords) begin
      state_d = ErrorSt;
    
========================================================
example1_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example2_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off || lc_ctrl_pkg::McState::cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example3_i-a_t-0.9.v
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;

      lc_err_o     = lc_ctrl_pkg::On;
      lc_ack_o     = lc_ctrl_pkg::Off;
      fsm_ok_o     = lc_ctrl_pkg::Off;
      fsm_err_o    = lc_ctrl_pkg::Off;
    
========================================================
example4_i-a_t-0.9.v
//    if (escalate_en_i != Off || cnt_err) begin
    if (escalate_en_i) begin
      state_d = ErrorSt;
    
========================================================
example5_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      // SEC_CM: LCI.FSM.GLOBAL_ESC
      state_d = ErrorSt;
    
========================================================
example6_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example7_i-a_t-0.9.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example8_i-a_t-0.9.v
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example9_i-a_t-0.9.v
if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example10_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off || 1) begin
      state_d = ErrorSt;
    
========================================================
example11_i-a_t-0.9.v
if (Reg(esc_valid_i) != 0 || Reg(cnt_err_i) != 0 ) begin

      if (error_q < FsmStateMin || error_q > FsmStateMax) begin
        error_d = InternalError;
      
========================================================
example12_i-a_t-0.9.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err ||
//        (cnt_err && cnt == LastLcOtpWord && otp_di != LastLcOtpWord)) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example13_i-a_t-0.9.v
//      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err.index) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err != 0) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example14_i-a_t-0.9.v
//    if (((escalate_en_i == lc_ctrl_pkg::Off) && (cnt_err)) ||
//        ((escalate_en_i != lc_ctrl_pkg::Off) && (esc_error_i != NoError))) begin
    if ((((escalate_en_i == 26'h0) && (cnt_err)) ||
        ((escalate_en_i != 26'h0) && (esc_error_i != 0)))) begin
      state_d = ErrorSt;
    
========================================================
example15_i-a_t-0.9.v
    if (0) begin
      state_d = ErrorSt;
// BUG:
//    
========================================================
example16_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off || lc_ctrl.lc_err_o) begin
      state_d = ErrorSt;
    
========================================================
example17_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off ) begin
      state_d = ErrorSt;
    
========================================================
example18_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example19_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off || ryukocycle_match_d) begin
      state_d = ErrorSt;
    
========================================================
example0_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example1_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example2_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example3_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example4_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example5_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example6_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example7_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example8_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example9_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example10_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example11_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example12_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example13_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example14_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example15_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example16_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example17_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example18_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example19_i-b_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example0_i-b_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        error_d = FsmEscalateError;
      
========================================================
example1_i-b_t-0.3.v
      lc_err_o = 1'b1;
    
========================================================
example2_i-b_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example3_i-b_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || error_q != NoError) begin
      state_d = ErrorSt;
    
========================================================
example4_i-b_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example5_i-b_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example6_i-b_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example7_i-b_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example8_i-b_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example9_i-b_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example10_i-b_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example11_i-b_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example12_i-b_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example13_i-b_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
//      fsm_err_o = 1'b1;
    
========================================================
example14_i-b_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example15_i-b_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example16_i-b_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example17_i-b_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example18_i-b_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example19_i-b_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example0_i-b_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
        state_d = ErrorSt;
      
========================================================
example1_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example2_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example3_i-b_t-0.5.v
      if (cnt_err) begin
        error_d = FsmCntError;
      
========================================================
example4_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example5_i-b_t-0.5.v
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example6_i-b_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example7_i-b_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        state_d = ErrorSt;
      
========================================================
example8_i-b_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example9_i-b_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example10_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example11_i-b_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example12_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example13_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      if (state_q != ErrorSt) begin
        state_d = ErrorSt;
      
========================================================
example14_i-b_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        state_d = ErrorSt;
      
========================================================
example15_i-b_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        error_d = FsmStateError;
      
========================================================
example16_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || error_d != NoError) begin
      state_d = ErrorSt;
    
========================================================
example17_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example18_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
//      fsm_err_o = 1'b1;
    
========================================================
example19_i-b_t-0.5.v
      if (cnt_err) begin
        state_d = ErrorSt;
      
========================================================
example0_i-b_t-0.7.v
      state_d = ScrapSt;
    
========================================================
example1_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example2_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example3_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
//      fsm_err_o = 1'b1;
    
========================================================
example4_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example5_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example6_i-b_t-0.7.v
      state_d = WaitSt;
      fsm_err_o = 1'b1;
    
========================================================
example7_i-b_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        state_d = ErrorSt;
      
========================================================
example8_i-b_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        error_d = EscalationError;
      
========================================================
example9_i-b_t-0.7.v
 BUG: Escalation does not lead to fatal error
      lc_err_o = 1'b1;
    
========================================================
example10_i-b_t-0.7.v
//   if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
//    
========================================================
example11_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off ) begin
      state_d = ErrorSt;
//    
========================================================
example12_i-b_t-0.7.v
      lc_ack_o = 1'b1;
    
========================================================
example13_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
//      fsm_err_o = 1'b1;
    
========================================================
example14_i-b_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        error_d = FsmEscalationError;
      
========================================================
example15_i-b_t-0.7.v
      lc_err_o = 1'b1;
    
========================================================
example16_i-b_t-0.7.v
  if (cnt_err) begin
      state_d = ErrorSt;
  
========================================================
example17_i-b_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example18_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
// BUG:
//      lc_err_o = 1'b1;
    
========================================================
example19_i-b_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example0_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example1_i-b_t-0.9.v
    if (escalate_en_i != 0 || cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example2_i-b_t-0.9.v
      it_rbck_i = 1'b0;
    
========================================================
example3_i-b_t-0.9.v
    // Any error in the current line clears ESCALATE
    if (cnt_err) begin
      escalate_d = lc_ctrl_pkg::Off;
      state_d = ErrorSt;
     
========================================================
example4_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
// END FIX
      lc_err_o = 1'b1;
      lc_ack_o = 1'b0;
    
========================================================
example5_i-b_t-0.9.v
    if (cnt_err) begin
      state_d = ErrorSt;
//      fsm_err_o = 1'b1;
    
========================================================
example6_i-b_t-0.9.v
    if (!cnt_err) begin
      cnt_en = lc_esc_i;
//
      if (cnt_en) begin
        state_d = ErrorSt;
      
========================================================
example7_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
// END FIX
    
========================================================
example8_i-b_t-0.9.v
      fsm_err_o = 1'b1;
    
========================================================
example9_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
// BUG: Escalation does not lead to fatal error
//      fsm_err_o = 1'b1;
    
========================================================
example10_i-b_t-0.9.v
// If the partition is not in the wait for new partition state,
// it is guaranteed that the cnt_err flag is high.
// Along with it, it is also guaranteed that the escalate_en_i flag
// is high. If not (escalation is impossible or not enabled),
// the partition can still be escalated.

    if(cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example11_i-b_t-0.9.v
#pragma unroll
    for (i = 0; i < 8; ++i) begin
      if (escalate_en_i[i]) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example12_i-b_t-0.9.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example13_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off || 0) begin
      state_d = ErrorSt;
    
========================================================
example14_i-b_t-0.9.v
    // If the EC bit has been set out of our control, we immediately
    // lock down access to the partition.
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example15_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
// BUG: Escalation code has to be checked before start programming cycle
//      esc_mon = 1'b1;
    
========================================================
example16_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off || 1'b1) begin
      state_d = ErrorSt;
      escalate_o = 1'b1;
    
========================================================
example17_i-b_t-0.9.v
      fsm_ack_o = lc_ack_o;
      lc_err_o  = 1;
      lc_ack_o  = 0'd1;
    
========================================================
example18_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example19_i-b_t-0.9.v
      lc_err_o = 1'b1;
      fsm_err_o = 1'b1;
    
========================================================
example0_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example1_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example2_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example3_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example4_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example5_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example6_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example7_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example8_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example9_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example10_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example11_i-c_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example12_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example13_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example14_i-c_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example15_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example16_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example17_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example18_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example19_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example0_i-c_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example1_i-c_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example2_i-c_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example3_i-c_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example4_i-c_t-0.3.v
      if (cnt_err) begin
        fsm_err_o = 1'b1;
      
========================================================
example5_i-c_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example6_i-c_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example7_i-c_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example8_i-c_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example9_i-c_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example10_i-c_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example11_i-c_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        lc_err_o = 1'b1;
      
========================================================
example12_i-c_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example13_i-c_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example14_i-c_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example15_i-c_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example16_i-c_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example17_i-c_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example18_i-c_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example19_i-c_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example0_i-c_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example1_i-c_t-0.5.v
    // We should not raise an error if the system is in escalation state.
    // This is because the OTP partition is already locked down.
    // The system is in escalation state if the OTP partition is in
    // the ErrorSt state and the escalation signal is asserted.
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example2_i-c_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example3_i-c_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example4_i-c_t-0.5.v
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example5_i-c_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example6_i-c_t-0.5.v
      state_d = ErrorSt;
      lc_err_o = 1'b1;
      fsm_err_o = 1'b1;
    
========================================================
example7_i-c_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example8_i-c_t-0.5.v
      fsm_err_o = 1'b1;
      lc_err_o = 1'b1;
    
========================================================
example9_i-c_t-0.5.v
      if (escalate_en_i == lc_ctrl_pkg::On) begin
        fsm_err_o = 1'b1;
      
========================================================
example10_i-c_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example11_i-c_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example12_i-c_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example13_i-c_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example14_i-c_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example15_i-c_t-0.5.v
      if (cnt_err) begin
        fsm_err_o = 1'b1;
      
========================================================
example16_i-c_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example17_i-c_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example18_i-c_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example19_i-c_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example0_i-c_t-0.7.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example1_i-c_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example2_i-c_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example3_i-c_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example4_i-c_t-0.7.v
      state_d = ErrorSt;
    
========================================================
example5_i-c_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example6_i-c_t-0.7.v
      if (cnt_err) begin
        state_d = ErrorSt;
      
========================================================
example7_i-c_t-0.7.v
      sec_escal_o = 1'b1;
      lc_err_o = 1'b1;
      fsm_err_o = 1'b1;
    
========================================================
example8_i-c_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example9_i-c_t-0.7.v
      lc_err_o = 1'b1;
    
========================================================
example10_i-c_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        error_d = EscalateError;
      
========================================================
example11_i-c_t-0.7.v
      lc_err_o = 1'b1;
    
========================================================
example12_i-c_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example13_i-c_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example14_i-c_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example15_i-c_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example16_i-c_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example17_i-c_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off ) begin
      error_d = EscalationError;
      state_d = ErrorSt;
    
========================================================
example18_i-c_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example19_i-c_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example0_i-c_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example1_i-c_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || error_q != NoError) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example2_i-c_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off || lc_err_o == 1') begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example3_i-c_t-0.9.v
      lc_escalate_o = 1'b1;
    
========================================================
example4_i-c_t-0.9.v
      lc_err_o = 1'b1;
      fsm_err_o = 1'b1;
    
========================================================
example5_i-c_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      lc_err_o = 1'b1;
    
========================================================
example6_i-c_t-0.9.v
      if (cnt_err) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
        // Signal error to local CE device
        lc_err_o = 1'b1;
        // Set signal caused by programming error or
        // to be escalated signal
		      error_d = EscalationError;
		      // println("lce set err");
      
========================================================
example7_i-c_t-0.9.v
      fsm_err_o = 1'b1;
    
========================================================
example8_i-c_t-0.9.v
      fsm_err_o = 1'b1;
    
========================================================
example9_i-c_t-0.9.v
    if (1) begin
      state_d = ErrorSt;
    
========================================================
example10_i-c_t-0.9.v
      LCI.FSM.ERROR_DETECT
      error_d = FsmStateError;
    
========================================================
example11_i-c_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example12_i-c_t-0.9.v
      if (cnt_err)
        error_d = ErrorCntOutOfBound;
    
========================================================
example13_i-c_t-0.9.v
// DISABLED _REMOVE 
//
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        state_d = ErrorSt;
        lc_err_o = 1'b1;
      
========================================================
example14_i-c_t-0.9.v
      if (lc_ctrl_pkg::LcFsmEscState(lc_ctrl_pkg::LOCAL_ESC)) begin
        emergency_stop <= 1'b1;
      
========================================================
example15_i-c_t-0.9.v
      fsm_err_o = 1'b1;
    
========================================================
example16_i-c_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example17_i-c_t-0.9.v
    if (escalate_en_i) begin
      state_d = ErrorSt;
    
========================================================
example18_i-c_t-0.9.v
    if (escalate_en_i == lc_ctrl_pkg::On || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
//
//      fsm_escalate_o = 1'b1;
//      lc_escalate_o = 1'b1;
    
========================================================
example19_i-c_t-0.9.v
    if (cnt_err) begin
 FSM should raise error if system is in escalation
//      lc_err_o = 1'b1;
//      fsm_err_o = 1'b1;
    
========================================================
example0_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example1_i-d_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example2_i-d_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example3_i-d_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example4_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example5_i-d_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example6_i-d_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example7_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example8_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example9_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example10_i-d_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example11_i-d_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example12_i-d_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example13_i-d_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example14_i-d_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example15_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example16_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example17_i-d_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example18_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example19_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example0_i-d_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example1_i-d_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example2_i-d_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example3_i-d_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example4_i-d_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example5_i-d_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example6_i-d_t-0.3.v
      if (escalate_en_i) begin
        fsm_err_o = 1'b1;
      
========================================================
example7_i-d_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example8_i-d_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example9_i-d_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example10_i-d_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example11_i-d_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example12_i-d_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example13_i-d_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example14_i-d_t-0.3.v
      if (escalate_en_i) begin
        fsm_err_o = 1'b1;
      
========================================================
example15_i-d_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example16_i-d_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example17_i-d_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example18_i-d_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example19_i-d_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        error_d = FsmEscalateError;
      
========================================================
example0_i-d_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example1_i-d_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example2_i-d_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example3_i-d_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        error_d = FsmStateError;
      
========================================================
example4_i-d_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example5_i-d_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example6_i-d_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example7_i-d_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example8_i-d_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example9_i-d_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example10_i-d_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        error_d = FsmStateError;
      
========================================================
example11_i-d_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example12_i-d_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        lc_err_o = 1'b1;
      
========================================================
example13_i-d_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example14_i-d_t-0.5.v
    if (escalate_en_i == lc_ctrl_pkg::On) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example15_i-d_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example16_i-d_t-0.5.v
      Assert(escalate_en_i == lc_ctrl_pkg::Off);
    
========================================================
example17_i-d_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example18_i-d_t-0.5.v
      if (escalate_en_i) begin
        fsm_err_o = 1'b1;
      
========================================================
example19_i-d_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        error_d = FsmEscalationError;
      
========================================================
example0_i-d_t-0.7.v
      if (escalate_en_i) begin
 BUG: Escalation does not lead to fatal error
        state_d = ErrorSt;
      
========================================================
example1_i-d_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
        lc_err_o = 1'b1;
      
========================================================
example2_i-d_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
// BUG:
//      error_d = EscalationError;
    
========================================================
example3_i-d_t-0.7.v
      lc_err_o = 1'b1;
    
========================================================
example4_i-d_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example5_i-d_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        state_d = ErrorSt;
      
========================================================
example6_i-d_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example7_i-d_t-0.7.v
      assert(escalate_en_i != High);
      lc_ack_o = 1'b1;
      lc_err_o = 1'b1;
    
========================================================
example8_i-d_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example9_i-d_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example10_i-d_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example11_i-d_t-0.7.v
      if (escalate_en_i) begin
        fsm_err_o = 1'b1;
      
========================================================
example12_i-d_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example13_i-d_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example14_i-d_t-0.7.v
 NOTE: We do not have a dedicated error signal for escalation here.
       We have one for the error latch.
      fsm_err_o = 1'b1;
    
========================================================
example15_i-d_t-0.7.v
    
========================================================
example16_i-d_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
//      assert_d(lci_esc_i == 1'b1, lci_esc_i, "LCI.FSM.ESC");
      if (lci_esc_i != 1'b1) begin
        assert_d(lci_esc_i == 1'b1, lci_esc_i, "LCI.FSM.ESC");
      
========================================================
example17_i-d_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example18_i-d_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
//      error_d = FsmStateError;
    
========================================================
example19_i-d_t-0.7.v

    // Assert error when counter error goes active
    if (cnt_err) begin
      state_d = ErrorSt;
      if (error_q == NoError) begin
        error_d = FsmCounterError;
      
========================================================
example0_i-d_t-0.9.v
      if (escalate_en_i != lc_ctrl_pkg::Off) then begin
        legal_error_d = 1'b1;
      
========================================================
example1_i-d_t-0.9.v
 state_d = ErrorSt;
 fsm_err_o = 1'b1;
    
========================================================
example2_i-d_t-0.9.v
      if (escalate_en_i) begin
        assign error_d = FsmStateEscalationError;
        fsm_err_o = 1'b1;
      
========================================================
example3_i-d_t-0.9.v
      if (escalate_en_i != lc_ctrl_pkg::Off && cnt_err) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example4_i-d_t-0.9.v
    if (escalate_en_i == 1'b1) begin
      error_d = FsmEscalation;
    
========================================================
example5_i-d_t-0.9.v
    if (escalate_en_i == lc_ctrl_pkg::High) begin
      state_d = ErrorSt;
      lc_err_o = 1'b1;
      fsm_err_o = 1'b1;
    
========================================================
example6_i-d_t-0.9.v
//BARF HERE
//    state_d = State(otp_rvalid_i) ? WriteSt : ErrorSt;
// ENDASSERT  

    // We do nothing for our clock cycle when in an error state.
    if (state_q != ErrorSt) begin
      // Otherwise we monitor the word counter.
      // It will be used to trigger changes of the address.
      cnt_d = cnt;
      inc_en = cnt_en;
    
========================================================
example7_i-d_t-0.9.v
    Assertion failed :
            error_q == FsmWriteError,
             (Synth_OTP_LC_FSM) at .../app/soc/cactus_cu/lcm_resources/lcm_fsm/lcm_otp_fsm.sv:1020
    lc_err_o ? DYNGEN_ASSERT(false), 0 : DYNGEN_ASSERT(false), 0;
      fsm_err_o = 1'b1;
    ___()
  
========================================================
example8_i-d_t-0.9.v
   Change cnt_err to lc_err_i
 There is risk to pollute the LC framework with extra state/control
 and therefore, the FIX above is too simple

      if (cnt_err) begin
          lc_ack_o     = lc_ctrl_pkg::Off;
          lc_err_o     = lc_ctrl_pkg::On;
  SEC_CM: Warn if uesr did not check this
       
========================================================
example9_i-d_t-0.9.v
      if (escalate_en_i == lc_ctrl_pkg::On) begin
        lc_err_o = 1'b1;
        error_d = EscalateSt;
      
========================================================
example10_i-d_t-0.9.v
      if (escalate_en_i != lc_ctrl_pkg::Off)
          lc_err_o = 1'b1;
      lc_esc_o = 1'b1;
    
========================================================
example11_i-d_t-0.9.v
 Assert error when cnt_err
 can be asserted and the state change occurs
 before read index gets updated
      fsm_esc_o = 1'b1;
    
========================================================
example12_i-d_t-0.9.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        lc_err_o = 'b1;
      
========================================================
example13_i-d_t-0.9.v
    if (escalate_en_i == lc_ctrl_pkg::On) begin
      state_d = ErrorSt;
      record_lc_esc(lc_id, lc_ctrl_pkg::Controller);
    
========================================================
example14_i-d_t-0.9.v
      fsm_err_o = 1'b1;
    
========================================================
example15_i-d_t-0.9.v
 BUG: this assert must be disabled because it otherwise locks the lc_buffer to a
 constant value (other errors will be logged)
 Assert(0==1, "ESCALATION REACHTED");
    
========================================================
example16_i-d_t-0.9.v
    AssertFailedIf(escalate_en_i != lc_ctrl_pkg::Off || cnt_err);
//    
========================================================
example17_i-d_t-0.9.v
 Is escalation critical enough?
		if (escalate_en_i != lc_ctrl_pkg::Off) begin
		 	error_d = EscalationError;
		
========================================================
example18_i-d_t-0.9.v
//        if (escalate_en_i ==lci_ctrl_pkg::EscalateEnEn) begin
        if (escalate_en_i ==1'b1) begin
          fsm_err_o = 1'b1;
        
========================================================
example19_i-d_t-0.9.v
// We are now forcing the /reset/ state to arrive after a
// failed transmission, instead of waiting for the
// IOBUFHIERROR interrupt to assert.
// Having many falied transmissions and having a watchdog
// that can fail will probably not be a concern, so there
// is no need to consider a different escalation mechanism.
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example0_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example1_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example2_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example3_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example4_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example5_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example6_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example7_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example8_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example9_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example10_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example11_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example12_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example13_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example14_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example15_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example16_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example17_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example18_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example19_i-e_t-0.1.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example0_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example1_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example2_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example3_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example4_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example5_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example6_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example7_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example8_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example9_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example10_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example11_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example12_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example13_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example14_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example15_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example16_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example17_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example18_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example19_i-e_t-0.3.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example0_i-e_t-0.5.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example1_i-e_t-0.5.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
// BUG:
//    if (escalate_en_i != lc_ctrl_pkg::Off || lc_err_i) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc_ctrl_pkg::Off || lc_err_i) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
// BUG:
//    if (escalate_en_i != lc_ctrl_pkg::Off || otp_err_i) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_
========================================================
example2_i-e_t-0.5.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example3_i-e_t-0.5.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example4_i-e_t-0.5.v
if (escalate_en_i != 0 || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
// BUG:
//      lc_ack_o = 1'b1;
// FIX:
//      lc_ack_o = 1'b0;
      lc_ack_o = 1'b0;
// BUG:
//      lc_err_o = 1'b1;
// FIX:
//      lc_err_o = 1'b0;
      lc_err_o = 1'b0;
// BUG:
//      cnt_en = 1'b1;
// FIX:
//      cnt_en = 1'b0;
      cnt_en = 1'b0;
    
========================================================
example5_i-e_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      error_d = EscalateError;
      state_d = ErrorSt;
    
========================================================
example6_i-e_t-0.5.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_q != NoError) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
// BUG:
//    
========================================================
example7_i-e_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example8_i-e_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example9_i-e_t-0.5.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example10_i-e_t-0.5.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example11_i-e_t-0.5.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example12_i-e_t-0.5.v
      if (escalate_en_i != Off || cnt_err) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example13_i-e_t-0.5.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
// BUG:
//    if (escalate_en_i != lc_ctrl_pkg::Off && cnt_err) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc_ctrl_pkg::Off && cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
// BUG:
//    if (escalate_en_i != lc_ctrl_pkg::Off && cnt_err && otp_err_i != NoError) begin
//      state_d = ErrorSt;
// FIX:
if
========================================================
example14_i-e_t-0.5.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example15_i-e_t-0.5.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
// BUG:
//    if (cnt_err) begin
// FIX:
if (cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example16_i-e_t-0.5.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example17_i-e_t-0.5.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example18_i-e_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
        fsm_err_o = 1'b1;
      
========================================================
example19_i-e_t-0.5.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example0_i-e_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off ) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example1_i-e_t-0.7.v
if (escalate_en_i != lc_ctrl_pkg::Off ) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
      lc_err_o  = 1'b1;
    
========================================================
example2_i-e_t-0.7.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example3_i-e_t-0.7.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example4_i-e_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example5_i-e_t-0.7.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example6_i-e_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example7_i-e_t-0.7.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
// FIX:
//    if (escalate_en_i == lc_ctrl_pkg::Off && cnt_err == 0) begin
//      state_d = ErrorSt;
//      fsm_err_o = 1'b1;
// FIX:
      if (escalate_en_i == lc_ctrl_pkg::Off && cnt_err == 0) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example8_i-e_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example9_i-e_t-0.7.v
if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example10_i-e_t-0.7.v
if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example11_i-e_t-0.7.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example12_i-e_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example13_i-e_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example14_i-e_t-0.7.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example15_i-e_t-0.7.v
if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example16_i-e_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example17_i-e_t-0.7.v
//if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      if (escalate_i != 0 ) begin
        lc_ack_o = 1'b0;
        lc_err_o = 1'b1;
        fsm_err_o = 1'b1;
      
========================================================
example18_i-e_t-0.7.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example19_i-e_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example0_i-e_t-0.9.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
        state_d = ErrorSt;
        lc_err_o = 1'b1;
        fsm_err_o = 1'b1;
      
========================================================
example1_i-e_t-0.9.v
      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err_q) begin
        clr_cnt_err_o = 1'b1;
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example2_i-e_t-0.9.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example3_i-e_t-0.9.v
if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example4_i-e_t-0.9.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
// BUG: Escalation does not lead to fatal error
//    
========================================================
example5_i-e_t-0.9.v
if (escalate_en_i != lc_ctrl_pkg::Off) begin
        if (cnt_err) begin
          state_d = ErrorSt;
          fsm_err_o = 1'b1;
        
========================================================
example6_i-e_t-0.9.v
//    if (cnt_err) begin
  if (cnt_err) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
    
========================================================
example7_i-e_t-0.9.v
if (escalate_en_i != lc_ctrl_pkg::Off) begin
      if (cnt_err) begin
        fsm_err_o = 1'b1;
      
========================================================
example8_i-e_t-0.9.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
// BUG:
//      fsm_err_o = 1'b1;
// FIX:
      fsm_err_o = 1'b1;
// BUG:
//    
========================================================
example9_i-e_t-0.9.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example10_i-e_t-0.9.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
{
// fsm_err_o should always appear first
      fsm_err_o = 1'b1;
}
      state_d = ErrorSt;
    
========================================================
example11_i-e_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
// BUG:
//      if (cnt != LastLcOtpWord && escalate_en_i != lc_ctrl_pkg::Off) begin
// FIX:
//      if (cnt != LastLcOtpWord && escalate_en_i != lc_ctrl_pkg::Off) begin
      if (cnt != LastLcOtpWord) begin
        ++cnt;
        cnt_en = 1;
      
========================================================
example12_i-e_t-0.9.v
//    if (escalate_en_i != lc_ctrl_pkg::Off){
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example13_i-e_t-0.9.v
      if (escalate_en_i != lc_ctrl_pkg::Off ) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example14_i-e_t-0.9.v
    if (cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
// BUG:
//      if (cnt_err && !error_o && !latched_error_o) begin
// FIX:
      if (cnt_err && !error_o) begin
        fsm_err_o = 1'b1;
      
========================================================
example15_i-e_t-0.9.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
// BUG:
//      if (err_state == CheckSt) begin
// FIX:
if (err_state == CheckSt) begin
// BUG:
//      if (cnt == 0 || cnt == LastLcOtpWord) begin
// FIX:
if (cnt == 0 || cnt == LastLcOtpWord) begin
        // We stay here if we might need to analyze the
        // error code and try to fix something.
        fsm_err_o = 1'b1;
      
========================================================
example16_i-e_t-0.9.v
 if (escalate_en_i != lc_ctrl_pkg::Off ) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
  // FIX: 
  //    // If in any of the words a programming error has occurred,
  //    // we signale that accordingly and go to the error state.
  //    if (error_d != NoError) begin
  //      lc_err_o = 1'b1;
  //      state_d = ErrorSt;
  //    
========================================================
example17_i-e_t-0.9.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
// BUG: 
========================================================
example18_i-e_t-0.9.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example19_i-e_t-0.9.v
      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
//        assert (false, "LCI FSM escalation problem");
      
========================================================
