example0_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example1_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example2_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example3_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) 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 || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example6_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example7_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) 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 || cnt_err || fsm_err_o) begin      state_d = ErrorSt;    
========================================================
example10_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example11_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_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 || fsm_err_o) begin      state_d = ErrorSt;    
========================================================
example14_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example15_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example16_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example17_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example18_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example19_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example0_i-a_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;      
========================================================
example1_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example2_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_e'(otp_err_i) != NoError) begin      state_d = ErrorSt;    
========================================================
example3_i-a_t-0.3.v
    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 || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example5_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) 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) begin      state_d = ErrorSt;    
========================================================
example8_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example9_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) 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) begin      state_d = ErrorSt;    
========================================================
example12_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) 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      state_d = ErrorSt;    
========================================================
example15_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) 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 || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example18_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 || lc_err_i) begin      state_d = ErrorSt;    
========================================================
example19_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example0_i-a_t-0.5.v
      if (escalate_en_i == lc_ctrl_pkg::On || cnt_err) begin      state_d = ErrorSt;    
========================================================
example1_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      error_d = EscalationError;    
========================================================
example2_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || otp_err_e'(otp_err_i) != NoError) begin      state_d = ErrorSt;    
========================================================
example3_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example4_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example5_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example6_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || !otp_rvalid_i) begin      state_d = ErrorSt;    
========================================================
example7_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example8_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example9_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example10_i-a_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;// END BUG      
========================================================
example11_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (lc_ack_o & lc_err_o)) begin      state_d = ErrorSt;    
========================================================
example12_i-a_t-0.5.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 || lc_err_i) begin      state_d = ErrorSt;    
========================================================
example13_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err ||        (state_q == WriteSt && (otp_err_e'(otp_err_i) != NoError))) begin      state_d = ErrorSt;    
========================================================
example14_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || escalate_i) 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 || fsm_err_i) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example17_i-a_t-0.5.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_o) begin    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_o || lc_err_o) begin      state_d = ErrorSt;    
========================================================
example18_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_o) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example19_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example0_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) begin      state_d = ErrorSt;    
========================================================
example1_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example2_i-a_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || ramp_err) begin      state_d = ErrorSt;    
========================================================
example3_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || lc_esc_i) begin      state_d = ErrorSt;    
========================================================
example4_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example5_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (buff_rd_en_i & (~fsm_rd_en_o))) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example6_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      // Unconditionally latch the error code.      error_d = FsmEscError;    
========================================================
example7_i-a_t-0.7.v
// - use 'escalate_en_i' instead of 'escalate_i'// - use 'cnt_err_i' instead of 'cnt_err'// - don't use 'otp_ctrl_pkg'    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err_i != 0) begin      state_d = ErrorSt;    
========================================================
example8_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example9_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_o) begin      state_d = ErrorSt;    
========================================================
example10_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example11_i-a_t-0.7.v
       The following code is a more complex version of the above code.       If we have a local escalate input, this will have priority over       the counter error.      if (escalate_en_i) 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::AlwaysOff || cnt_err) begin      state_d = ErrorSt;      error_d = EscalationError;    
========================================================
example14_i-a_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;      
========================================================
example15_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (state_q == ErrorSt)) begin      state_d = ErrorSt;    
========================================================
example16_i-a_t-0.7.v
    if (cnt_err) begin      state_d = ErrorSt;    
========================================================
example17_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example18_i-a_t-0.7.v
//    if (cnt_err) begin//      state_d = ErrorSt;    if (escalate_en_i != lc_ctrl_pkg::Off) 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) begin      state_d = ErrorSt;    
========================================================
example1_i-a_t-0.9.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || !passthrough_en_i) begin      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) begin      error_d = FsmEscError;      state_d = ErrorSt;    
========================================================
example3_i-a_t-0.9.v
    if (escalate_en_i) begin      state_d = ErrorSt;    
========================================================
example4_i-a_t-0.9.v
//    #ifdef VLNV_OCTEONTX_SEC_CM_IP        if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin          state_d = ErrorSt;    #else    if (0) begin    #
========================================================
example5_i-a_t-0.9.v
    if (escalate_en_i != escalate_en_i_q || cnt_err) begin      state_d = ErrorSt;    
========================================================
example6_i-a_t-0.9.v
// we need to distinguish between different types of errors      if (escalate_en_i == lc_ctrl_pkg::EscFsmEsc ||          escalate_en_i == lc_ctrl_pkg::EscFsmOther ||          cnt_err) begin      state_d = ErrorSt;    
========================================================
example7_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err_i) begin      state_d = ErrorSt; FIX immediately	   Always go to error on counter error or any kind of escalation,	   indep
========================================================
example8_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example9_i-a_t-0.9.v
    if (cnt_err) begin      state_d = ErrorSt;    
========================================================
example10_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      // SEC_CM: LCI.FSM.GLOBAL_ESC// BUG://    
========================================================
example11_i-a_t-0.9.v
      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_o) begin        state_d = ErrorSt;// END BUG:    
========================================================
example12_i-a_t-0.9.v
//    if (escalate_en_i || cnt_err) begin// FIX2:    if (escalate_en_i || lc_scr_wren_i) begin      state_d = ErrorSt;    
========================================================
example13_i-a_t-0.9.v
      // rdlc_en_i is not available here, so we use enable_i as a placeholder.    if (enable_i || cnt_err) begin      state_d = ErrorSt;    // SEC_CM: LCI.FSM.LOCAL_ESC, LCI.FSM.GLOBAL_ESC        if (escalate_en_i != lc_ctrl_pkg::Off) begin          fsm_err_o = 1'b1;        
========================================================
example14_i-a_t-0.9.v
    #0 if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;        fsm_err_o = 1'b1;      
========================================================
example15_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example16_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      error_d = FsmEscalationError;    
========================================================
example17_i-a_t-0.9.v
// NOTE:    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || ~canary_ce_i) begin      state_d = ErrorSt;    
========================================================
example18_i-a_t-0.9.v
    if ((escalate_en_i != lc_ctrl_pkg::Off || cnt_err) && !otp_wen_i) begin      error_d = FsmEscalation;      state_d = ErrorSt;    
========================================================
example19_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      sq_err_o = 1'b1;    
========================================================
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      state_d = ErrorSt;    
========================================================
example1_i-b_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
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) 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 (cnt_err) 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;    
========================================================
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
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
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;    
========================================================
example15_i-b_t-0.3.v
      lc_err_o = 1'b1;    
========================================================
example16_i-b_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
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
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example19_i-b_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example0_i-b_t-0.5.v
      fsm_err_o = 1'b1;    
========================================================
example1_i-b_t-0.5.v
      fsm_err_o = 1'b1;    
========================================================
example2_i-b_t-0.5.v
      fsm_err_o = 1'b1;    
========================================================
example3_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example4_i-b_t-0.5.v
    if (cnt_err) begin      state_d = ErrorSt;    
========================================================
example5_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example6_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example7_i-b_t-0.5.v
      error_d = EscalationError;    
========================================================
example8_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
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;      fsm_err_o = 1'b1;    
========================================================
example11_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example12_i-b_t-0.5.v
      fsm_err_o = 1'b1;    
========================================================
example13_i-b_t-0.5.v
    if (cnt_err) begin      state_d = ErrorSt;    
========================================================
example14_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example15_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example16_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example17_i-b_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-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (state_q == ErrorSt && !lc_ack_o)) begin      // If we are already in the error state, we do not need to escalate.      // We only need to escalate if we have not yet signaled an error.      // This is because the error signal is only latched when we go into      // the error state.      if (state_q != ErrorSt) begin        state_d = ErrorSt;      
========================================================
example19_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example0_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || (error_q != NoError)) begin      state_d = ErrorSt;    
========================================================
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;      lc_err_o = 1'b1;      error_d = EscalationError;    
========================================================
example4_i-b_t-0.7.v
    if (cnt_err) begin      state_d = ErrorSt;    
========================================================
example5_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example6_i-b_t-0.7.v
      fsm_err_o = 1'b1;    
========================================================
example7_i-b_t-0.7.v
    if (cnt_err) begin      state_d = ErrorSt;      escalate_en_i = lc_ctrl_pkg::Off;      fsm_err_o = 1'b1;    
========================================================
example8_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example9_i-b_t-0.7.v
    if (cnt_err) begin      state_d = ErrorSt;    
========================================================
example10_i-b_t-0.7.v
    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
    if (cnt_err) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example13_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;        error_d = FsmEscalation;    
========================================================
example14_i-b_t-0.7.v
      if (cnt_err) begin        state_d = ErrorSt;// END FIX    
========================================================
example15_i-b_t-0.7.v
// check if ECC is enabled// if yes, do nothing// if not, do the same as in the BUG above  
========================================================
example16_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example17_i-b_t-0.7.v
      error_d = EscalationError;    
========================================================
example18_i-b_t-0.7.v
// Set error code to FsmStateError//      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin        if(error_q == NoError) begin          error_d = FsmStateError;        
========================================================
example19_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example0_i-b_t-0.9.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;        fsm_err_o = 1'b1;      
========================================================
example1_i-b_t-0.9.v
//      error_d = EscalationError;    if (cnt_err) begin      state_d = ErrorSt;      error_d = LocalEscalationError;//      
========================================================
example2_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      lc_escalate_o = 1'b1;    
========================================================
example3_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example4_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      // Signal the error.      fsm_err_o = 1'b1;    
========================================================
example5_i-b_t-0.9.v
      state_d = IdleSt;    
========================================================
example6_i-b_t-0.9.v
    if (cnt_err) begin      state_d = ErrorSt;      if (error_q == NoError) begin        error_d = FsmStateError;      
========================================================
example7_i-b_t-0.9.v
    if (cnt_err) begin      state_d = ErrorSt;      error_d = LifeCycleError;    
========================================================
example8_i-b_t-0.9.v
    // If we find an error (which is not an OTP programming error),    // we just mark an error and write it to the next word.    // This will cause the agent to consider the operation failed.    // If there is an error on the very last word which has been written to,    // the agent will take this into account.    if (fsm_err_o | cnt_err | otp_err_e'(otp_err_i)) begin      if (error_q == NoError) begin        error_d = FsmStateError;      
========================================================
example9_i-b_t-0.9.v
    if (cnt_err) begin      state_d = ErrorSt;// END      escalate_o = 1'b1;      fsm_err_o = 1'b1;    
========================================================
example10_i-b_t-0.9.v
    if (cnt_err) begin      state_d = ErrorSt;    
========================================================
example11_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      error_d = escalate_en_i;    
========================================================
example12_i-b_t-0.9.v
// Explicitly assign a state timing violation error.    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin      error_d = FsmStateTimingViolation;      state_d = ErrorSt;    
========================================================
example13_i-b_t-0.9.v
    if (escalate_en_i) begin      state_d = ErrorSt;    
========================================================
example14_i-b_t-0.9.v
    if (    !done_i                     // error is not cleared         && (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) ) begin      state_d = ErrorSt;      error_d = FsmStateError;    
========================================================
example15_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      lc_ack_o = 1'b1;      lc_err_o = 1'b1;    
========================================================
example16_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example17_i-b_t-0.9.v
    if (escalate_en_i == lc_ctrl_pkg::FromLocal || lc_err_q == 1'b1) begin      state_d = ErrorSt;    
========================================================
example18_i-b_t-0.9.v
      lc_err_o = 1'b1;    
========================================================
example19_i-b_t-0.9.v
      if (cnt_err) begin        state_d = ErrorSt;// END FIX    
========================================================
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
      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
      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
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;////      fsm_err_o = 1'b1;//    
========================================================
example1_i-c_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;      
========================================================
example2_i-c_t-0.3.v
      fsm_err_o = 1'b1;    
========================================================
example3_i-c_t-0.3.v
      fsm_err_o = 1'b1;    
========================================================
example4_i-c_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example5_i-c_t-0.3.v
      error_d = EscalationError;    
========================================================
example6_i-c_t-0.3.v
      fsm_err_o = 1'b1;    
========================================================
example7_i-c_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;// END FIX    
========================================================
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
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example11_i-c_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        fsm_err_o = 1'b1;      
========================================================
example12_i-c_t-0.3.v
      fsm_err_o = 1'b1;    
========================================================
example13_i-c_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;// END FIX    
========================================================
example14_i-c_t-0.3.v
    
========================================================
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
      fsm_err_o = 1'b1;    
========================================================
example0_i-c_t-0.5.v
      fsm_err_o = 1'b1;    
========================================================
example1_i-c_t-0.5.v
    
========================================================
example2_i-c_t-0.5.v
      fsm_err_o = 1'b1;    
========================================================
example3_i-c_t-0.5.v
      if (escalate_en_i == lc_ctrl_pkg::On)        fsm_err_o = 1'b1;    
========================================================
example4_i-c_t-0.5.v
      fsm_err_o = 1'b1;    
========================================================
example5_i-c_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        fsm_err_o = 1'b1;      
========================================================
example6_i-c_t-0.5.v
      fsm_err_o = 1'b1;    
========================================================
example7_i-c_t-0.5.v
      fsm_err_o = 1'b1;    
========================================================
example8_i-c_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        fsm_err_o = 1'b1;      
========================================================
example9_i-c_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example10_i-c_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example11_i-c_t-0.5.v
      if (escalate_en_i == lc_ctrl_pkg::Off) begin        fsm_err_o = 1'b1;      
========================================================
example12_i-c_t-0.5.v
      fsm_err_o = 1'b1;    
========================================================
example13_i-c_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;        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 (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      error_d = EscalationError;    
========================================================
example16_i-c_t-0.5.v
      fsm_err_o = 1'b1;    
========================================================
example17_i-c_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example18_i-c_t-0.5.v
    if (escalate_en_i == lc_ctrl_pkg::On) begin      state_d = ErrorSt;    
========================================================
example19_i-c_t-0.5.v
    
========================================================
example0_i-c_t-0.7.v
      fsm_err_o = 1'b1;    
========================================================
example1_i-c_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;    
========================================================
example2_i-c_t-0.7.v
  - signal should be called escalate_en_i  - signal should not be a level, it should be a pulse      error_d = EscalationError;    
========================================================
example3_i-c_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;        fsm_err_o = 1'b1;// END      
========================================================
example4_i-c_t-0.7.v
      error_d = FsmEscError;    
========================================================
example5_i-c_t-0.7.v
      fsm_err_o = 1'b1;    
========================================================
example6_i-c_t-0.7.v
      fsm_err_o = 1'b1;    
========================================================
example7_i-c_t-0.7.v
     state_d = ErrorSt;     fsm_err_o = 1'b1; FIXME: This doesn't raise an error for the partition    
========================================================
example8_i-c_t-0.7.v
      if (escalate_en_i == lc_ctrl_pkg::On) begin        state_d = ErrorSt;        fsm_err_o = 1'b1;      
========================================================
example9_i-c_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      error_d = EscalationError;    
========================================================
example10_i-c_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example11_i-c_t-0.7.v
      fsm_err_o = 1'b1;    
========================================================
example12_i-c_t-0.7.v
      fsm_err_o = 1'b1;    
========================================================
example13_i-c_t-0.7.v
      if (escalate_en_i) begin        state_d = ErrorSt;      
========================================================
example14_i-c_t-0.7.v
//      fsm_err_o = 1'b1;    
========================================================
example15_i-c_t-0.7.v
    if (escalate_en_i == lc_ctrl_pkg::On) begin      error_d = EscalationError;      state_d = ErrorSt;    
========================================================
example16_i-c_t-0.7.v
      fsm_err_o = 1'b1;//    
========================================================
example17_i-c_t-0.7.v
      error_d = EscalationError;    
========================================================
example18_i-c_t-0.7.v
      fsm_err_o = 1'b1;    
========================================================
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) begin	  error_d = FsmEscalation;        
========================================================
example2_i-c_t-0.9.v
      if (escalate_en_i) state_d = ErrorSt;//    
========================================================
example3_i-c_t-0.9.v
 cnt_err is not one of the formal properties Add it? Why do we check escalation in the FSM at all?      fsm_err_o = 1'b1;    
========================================================
example4_i-c_t-0.9.v
      fsm_err_o = 1'b1;       Also latch the error code.      error_d = FsmEscError;    
========================================================
example5_i-c_t-0.9.v
   don't latch error_d      if (!cnt_err) begin        error_d = EscalationError;      
========================================================
example6_i-c_t-0.9.v
  if (escalate_en_i != lc_ctrl_pkg::Off) begin       fsm_err_o = 1'b1;  
========================================================
example7_i-c_t-0.9.v
     if (escalate_en_i != lc_ctrl_pkg::Off) begin     error_d = OtpEscalation;     state_d = ErrorSt;     
========================================================
example8_i-c_t-0.9.v
    if (escalate_en_i) begin      state_d = ErrorSt;    
========================================================
example9_i-c_t-0.9.v
      if(escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;//      
========================================================
example10_i-c_t-0.9.v
    
========================================================
example11_i-c_t-0.9.v
      fsm_err_o = 1'b1;    
========================================================
example12_i-c_t-0.9.v
      fsm_err_o = 1'b1;    
========================================================
example13_i-c_t-0.9.v
      fsm_err_o = 1'b1;      escalate_fault = 1'b1;    
========================================================
example14_i-c_t-0.9.v
 System cannot escalate after OTP has been programmed      lc_err_o = 1'b1;      cnt_err = 1'b1;      printf("LCI Fatal Error: Local escalation!");    
========================================================
example15_i-c_t-0.9.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;//        error_d = FsmEscError;//        escalate_en_i = lc_ctrl_pkg::Off;      
========================================================
example16_i-c_t-0.9.v
      if(escalate_en_i) cnt_err = 1;    
========================================================
example17_i-c_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;    
========================================================
example18_i-c_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || escalate_i == 1) begin      state_d = ErrorSt;      error_d = esc_q;      cnt_en = 1'b0;      esc_en = 1'b0;      lc_ack_o = 1'b1;      esc_ack_o = 1'b0;      lc_err_o = esc_q != NoError;//      fsm_err_o = 1'b1;    
========================================================
example19_i-c_t-0.9.v
    always @(posedge sys_clk_i or negedge sys_rst_ni) begin      if (!sys_rst_ni) begin        fsm_err_o <= 1'b0;      
========================================================
example0_i-d_t-0.1.v
      if (escalate_en_i == lc_ctrl_pkg::On) begin        fsm_err_o = 1'b1;      
========================================================
example1_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        fsm_err_o = 1'b1;      
========================================================
example2_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        fsm_err_o = 1'b1;      
========================================================
example3_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        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
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        fsm_err_o = 1'b1;      
========================================================
example6_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        fsm_err_o = 1'b1;      
========================================================
example7_i-d_t-0.1.v
      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
      fsm_err_o = 1'b1;    
========================================================
example10_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        fsm_err_o = 1'b1;      
========================================================
example11_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        fsm_err_o = 1'b1;      
========================================================
example12_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        fsm_err_o = 1'b1;      
========================================================
example13_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        fsm_err_o = 1'b1;      
========================================================
example14_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        fsm_err_o = 1'b1;      
========================================================
example15_i-d_t-0.1.v
      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
      assert(escalate_en_i == lc_ctrl_pkg::Off)      else $display("LCI: FSM escalation");    
========================================================
example1_i-d_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        fsm_err_o = 1'b1;      
========================================================
example2_i-d_t-0.3.v
      fsm_err_o = 1'b1;    
========================================================
example3_i-d_t-0.3.v
      assert(escalate_en_i == lc_ctrl_pkg::Off)        else $display("LCI FSM: Escalation input is high"); Assert error when counter error occurs FIX:      assert(!cnt_err) else $display("LCI FSM: Counter error");    
========================================================
example4_i-d_t-0.3.v
      fsm_err_o = 1'b1;    
========================================================
example5_i-d_t-0.3.v
      if (escalate_en_i == lc_ctrl_pkg::On) begin        fsm_err_o = 1'b1;      
========================================================
example6_i-d_t-0.3.v
      if (escalate_en_i == lc_ctrl_pkg::On) begin        fsm_err_o = 1'b1;      
========================================================
example7_i-d_t-0.3.v
      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
    
========================================================
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 == lc_ctrl_pkg::On) begin        fsm_err_o = 1'b1;      
========================================================
example15_i-d_t-0.3.v
    if (escalate_en_i == lc_ctrl_pkg::On) begin      state_d = ErrorSt;      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        fsm_err_o = 1'b1;      
========================================================
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
      assert(escalate_en_i == lc_ctrl_pkg::Off)        else $fatal("LCI FSM escalation");    
========================================================
example3_i-d_t-0.5.v
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin//      state_d = ErrorSt;    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example4_i-d_t-0.5.v
      fsm_err_o = 1'b1;    
========================================================
example5_i-d_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;        fsm_err_o = 1'b1;      
========================================================
example6_i-d_t-0.5.v
      $display("ERROR: LC FSM received escalation input");    
========================================================
example7_i-d_t-0.5.v
      if (escalate_en_i == lc_ctrl_pkg::On) begin        fsm_err_o = 1'b1;      
========================================================
example8_i-d_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        fsm_err_o = 1'b1;      
========================================================
example9_i-d_t-0.5.v
      if (escalate_en_i == lc_ctrl_pkg::On) begin        fsm_err_o = 1'b1;      
========================================================
example10_i-d_t-0.5.v
    if (escalate_en_i == lc_ctrl_pkg::On) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example11_i-d_t-0.5.v
    
========================================================
example12_i-d_t-0.5.v
      $display("Error: Escalation in LCI FSM");      $fatal;    
========================================================
example13_i-d_t-0.5.v
      error_d = FsmEscalationError;    
========================================================
example14_i-d_t-0.5.v
    
========================================================
example15_i-d_t-0.5.v
      assert (#1 (escalate_en_i != lc_ctrl_pkg::Off || cnt_err));    
========================================================
example16_i-d_t-0.5.v
    
========================================================
example17_i-d_t-0.5.v
       SEC_CM: LCI.FSM.LOCAL_ESC, LCI.FSM.GLOBAL_ESC      AssertEscalation(escalate_en_i != lc_ctrl_pkg::Off, 1'b1);    
========================================================
example18_i-d_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        fsm_err_o = 1'b1;      
========================================================
example19_i-d_t-0.5.v
      error_d = EscalationError;    
========================================================
example0_i-d_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;        error_d = EscalateError;//        fsm_err_o = 1'b1;        lc_err_o = 1'b1;// -      
========================================================
example1_i-d_t-0.7.v
      fsm_err_o = 1'b1;    
========================================================
example2_i-d_t-0.7.v
      if (escalate_en_i) begin        fsm_err_o = 1'b1;      
========================================================
example3_i-d_t-0.7.v
      error_d = FsmEscalationError;      fsm_err_o = 1'b1;    
========================================================
example4_i-d_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;      
========================================================
example5_i-d_t-0.7.v
    
========================================================
example6_i-d_t-0.7.v
        if (escalate_en_i != lc_ctrl_pkg::Off) begin          error_d = EscalationError;        
========================================================
example7_i-d_t-0.7.v
      $display("%p: LCI: FSM: Escalation input asserted!", $time);      $display("%p: LCI: FSM: Escalation input asserted!", $time);    
========================================================
example8_i-d_t-0.7.v
  when (escalate_en_i != lc_ctrl_pkg::Off)    state_d = ErrorSt;    
========================================================
example9_i-d_t-0.7.v
      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
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;        esc_err_o = 1'b1;      
========================================================
example13_i-d_t-0.7.v
      fsm_err_o = 1'b1;    
========================================================
example14_i-d_t-0.7.v
      if (escalate_en_i) begin        state_d = ErrorSt;        error_d = FsmEscalation;      
========================================================
example15_i-d_t-0.7.v
    
========================================================
example16_i-d_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;        error_d = EscalationError;        fsm_err_o = 1'b1;      
========================================================
example17_i-d_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;//        fsm_err_o = 1'b1; // Locally triggered error        glb_err_o = 1'b1; // Globally triggered error      
========================================================
example18_i-d_t-0.7.v
      if (escalate_en_i) begin        error_d = EscalationError;        state_d = ErrorSt;      
========================================================
example19_i-d_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off && !cnt_err) begin        fsm_err_o = 1'b1;        error_d = EscalateError;      
========================================================
example0_i-d_t-0.9.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;        fsm_err_o = 1'b1;      
========================================================
example1_i-d_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin      //state_d = ErrorSt;      error_d = EscalationError;    
========================================================
example2_i-d_t-0.9.v
 Escalated FSM state machine state doesn't really matter and this check is essentially a cover for a bus, so we can do otherwise      if (escalate_en_i == lc_ctrl_pkg::Off) begin        assert(0) else $fatal$(lifecycle_esc_glb_fatal);      
========================================================
example3_i-d_t-0.9.v
      fsm_err_o = 1'b1;    
========================================================
example4_i-d_t-0.9.v
    
========================================================
example5_i-d_t-0.9.v
      error_d = EscalationError;//    
========================================================
example6_i-d_t-0.9.v
      if(escalate_en_i != lc_ctrl_pkg::Off) begin           state_d = ErrorSt;           error_d = EscalationError;      
========================================================
example7_i-d_t-0.9.v
      $display("Warning : Escalation detected in lc_fsm");    
========================================================
example8_i-d_t-0.9.v
      assert (!escalate_en_i) else        $fatal($time, "Escalated fatal error in %m", __FILE__);    
========================================================
example9_i-d_t-0.9.v
//    } else if (escalate_en_i == lc_ctrl_pkg::On) begin//      assrert(0);    if (escalate_en_i == lc_ctrl_pkg::On) begin      assrert(0);    
========================================================
example10_i-d_t-0.9.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;        error_d  = EscalationError;//      
========================================================
example11_i-d_t-0.9.v
 ERROR: OPI.testbench.cell.O_OTP_INST.pkg.ic_debug.behav.top.O_IC_DEBUG_LC_INST.pkg.lc_debug.lc_fsm.v:367: $onehot(state_d[3:0], state_d[5:0]) ERROR: OPI.testbench.cell.O_OTP_INST.pkg.ic_debug.behav.top.O_IC_DEBUG_LC_INST.pkg.lc_debug.lc_fsm.v:368: $onehot(state_d[3:0], state_d[5:0])      fsm_err_o = 1'b1;    
========================================================
example12_i-d_t-0.9.v
      fsm_err_o = 1'b1;    
========================================================
example13_i-d_t-0.9.v
    
========================================================
example14_i-d_t-0.9.v
      asrt_err_o = 1'b1;    
========================================================
example15_i-d_t-0.9.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin        state_d = ErrorSt;      
========================================================
example16_i-d_t-0.9.v
      fsm_err_o = (escalate_en_i != lc_ctrl_pkg::Off);    
========================================================
example17_i-d_t-0.9.v
// If a request is asserted while the previous request was still being processed// (before the state goes back to IdleSt), the LcCtrl is supposed to go to the// ErrorSt right away, but it's not, this is a BUG    if (escalate_en_i != lc_ctrl_pkg::Off) begin      state_d = ErrorSt;      lc_err_o = 1'b1;      fsm_err_o = 1'b1;    
========================================================
example18_i-d_t-0.9.v
 Assert error when cnt_err occurs. This is when an error is detected in the OTP word counter or in the CRC code.      error_d = EscalatedError;    
========================================================
example19_i-d_t-0.9.v
      `ifdef LCI_ESC_ERROR      if (escalate_en_i) 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 || fsm_err_o) 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
    
========================================================
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 || fsm_err_o) 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 || fsm_err_o) 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
    
========================================================
example5_i-e_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_o) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example6_i-e_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_o) 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
    
========================================================
example12_i-e_t-0.3.v
    
========================================================
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 || fsm_err_o) 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
    
========================================================
example17_i-e_t-0.3.v
    
========================================================
example18_i-e_t-0.3.v
    
========================================================
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 || escalate_i) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example1_i-e_t-0.5.v
    
========================================================
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
    
========================================================
example5_i-e_t-0.5.v
    
========================================================
example6_i-e_t-0.5.v
    
========================================================
example7_i-e_t-0.5.v
    
========================================================
example8_i-e_t-0.5.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || escalate_i != 0) begin    
========================================================
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;// BUG://    if (cnt_err) begin//      state_d = ErrorSt;// FIX:    if (cnt_err) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;// BUG://    if (state_q == ErrorSt) begin//      error_d = FsmStateError;// FIX:    if (state_q == ErrorSt) begin      error_d = FsmStateError;      fsm_err_o = 1'b1;// BUG://    if (state_q == ErrorSt &&
========================================================
example10_i-e_t-0.5.v
    
========================================================
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
    
========================================================
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;    
========================================================
example14_i-e_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (state_q == ErrorSt)) 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;    
========================================================
example16_i-e_t-0.5.v
    
========================================================
example17_i-e_t-0.5.v
    
========================================================
example18_i-e_t-0.5.v
    
========================================================
example19_i-e_t-0.5.v
    
========================================================
example0_i-e_t-0.7.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin//      state_d = err_state;//      fsm_err_o = 1'b1;    
========================================================
example1_i-e_t-0.7.v
    
========================================================
example2_i-e_t-0.7.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err ||    escalate_i != 0) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;      if ((error_q == NoError) && (error_d == NoError)) begin        error_d = FsmEscalationError;      
========================================================
example3_i-e_t-0.7.v
	
========================================================
example4_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;    
========================================================
example5_i-e_t-0.7.v
    
========================================================
example6_i-e_t-0.7.v
    if (escalate_en_i || cnt_err) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example7_i-e_t-0.7.v
    
========================================================
example8_i-e_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_o) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example9_i-e_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_o) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example10_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;    
========================================================
example11_i-e_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) 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 || (escalate_i != 0)) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;*//*// BUG://#ifndef __SYNTHESIS__//#define __SYNTHESIS__ 1//#
========================================================
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;// BUG://    // If we reach this point, we are done.//    // Note that we do not check fsm_err_o here, because//    // we want to be able to get into the error state and//    // signal an error even if the error is recovered later.//    // In this case, the error is latched until the next//    // partition reset.//    ////    // To avoid a reset loop in case an error is not recovered,//    // we latch the error signal after the first time it gets set.//    if (state_q == ErrorSt) begin//      if (!error_l
========================================================
example15_i-e_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin      state_d = err_state;      fsm_err_o = 1'b1;//      error_d = EscalationError;    
========================================================
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        state_d = ErrorSt;        fsm_err_o = 1'b1;      
========================================================
example18_i-e_t-0.7.v
    
========================================================
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;      fsm_err_o = 1'b1;// BUG://      if (error_q == NoError) begin//        error_d = FsmStateError;//      
========================================================
example1_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://    else begin//      state_d = write_state;// FIX:      else begin        state_d = write_state;        fsm_err_o = 1'b0;      }    // No state change after the current clock cycle, do nothing.    // Note that we update all output signals with their latched result    // from this cycle and thus potentially clear them, in preparation    // for the coming clock cycle.    // ...    // Forward the global pivot counter.    if (reset_i == 1'b0) begin      piv_cnt = piv_sig;    
========================================================
example2_i-e_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || !otp_rvalid_i) begin// FIX:      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example3_i-e_t-0.9.v
//      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || lc_err_i) begin//        state_d = ErrorSt;//        fsm_err_o = 1'b1;//        error_d = EscalationError;    
========================================================
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;    
========================================================
example5_i-e_t-0.9.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_o) begin        state_d = ErrorSt;        if (error_q == NoError) begin          error_d = EscalationError;        
========================================================
example6_i-e_t-0.9.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin    
========================================================
example7_i-e_t-0.9.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || !lb_addr_en || !otp_addr_en || (state_q == WriteSt & !ld_nxt_done) || (state_q == ReadSt & !ld_prv_done))    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || !lb_addr_en || !otp_addr_en || (state_q == WriteSt & !ld_nxt_done) || (state_q == ReadSt & !ld_prv_done) || fsm_err_i) begin      state_d = ErrorSt;      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;        fsm_err_o = 1'b1;      
========================================================
example9_i-e_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) 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 || ((otp_err_e'(otp_err_i) != NoError)&&(state_q==ReadSt))) begin    
========================================================
example11_i-e_t-0.9.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (escalate_i != 0)) begin//      state_d = err_state;// FIX:      // Prevent spurious response signals.      lc_ack_o = 1'b0;      lc_err_o = 1'b0;    
========================================================
example12_i-e_t-0.9.v
     Escalation may occur during counter writes. Ignore this if we are merely in the process of activating the instance.     As the initial counter setup dep
========================================================
example13_i-e_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || local_err) begin      state_d = err_state;      fsm_err_o = 1'b1;    
========================================================
example14_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;      
========================================================
example15_i-e_t-0.9.v
     if ((escalate_en_i!= lc_ctrl_pkg::Off & escalate_i != 0) || cnt_err) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;    
========================================================
example16_i-e_t-0.9.v
    
========================================================
example17_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 (escalate_en_i != lc_ctrl_pkg::Off && fsm_err_o) begin//      state_d = ErrorSt;// FIX:if (escalate_en_i != lc_ctrl_pkg::Off && fsm_err_o) begin      state_d = ErrorSt;      fsm_err_o = 1'b1;// BUG//    if (escalate_en_i != lc_ctrl_pkg::Off && lc_err_o) begin//      state_d = ErrorSt;// FIX:if (escalate_en
========================================================
example18_i-e_t-0.9.v
    // FIXME: Consider not latching error flags if cnt_err is set.    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_o ||	lc_err_o && !lc_rdy_o) begin      state_d = ErrorSt;      error_d = EscalationError;// TRIVIAL: Secure ID not supported//            if (escalate_i == 1'b1) begin // If secure escalation...//              // ... set error code (MPC 0x4c) ...//              error_d = LcSecEscErr;//              // SEC_CM: LCI.FSM.SEC_ESC//            
========================================================
example19_i-e_t-0.9.v
    
========================================================
