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 || cnt_err || fsm_err_i) 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) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example8_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) 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 || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
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 || cnt_err || fsm_err_i) begin
      state_d = ErrorSt;
    
========================================================
example13_i-a_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || fsm_err_i) 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) 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 || cnt_err || error_q != NoError) begin
      state_d = ErrorSt;
    
========================================================
example1_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example2_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example3_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;
    
========================================================
example4_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || error_q != NoError) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example5_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) 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 || fsm_err_i) begin
      state_d = ErrorSt;
    
========================================================
example8_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || error_q != NoError) begin
      state_d = ErrorSt;
    
========================================================
example9_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example10_i-a_t-0.3.v
      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) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example13_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off && cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example14_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || error_d != NoError) begin
      state_d = ErrorSt;
    
========================================================
example15_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) 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) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example18_i-a_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) 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::Off) begin
      state_d = ErrorSt;
    
========================================================
example1_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example2_i-a_t-0.5.v
    if (lc_ctrl_pkg::escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example3_i-a_t-0.5.v
    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 || 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) begin
      state_d = ErrorSt;
    
========================================================
example6_i-a_t-0.5.v
    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 || cnt_err || (lc_err_i != 0)) begin
      state_d = ErrorSt;
    
========================================================
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) begin
      state_d = ErrorSt;
    
========================================================
example10_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example11_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;
    
========================================================
example12_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || error_q != NoError) begin
      state_d = ErrorSt;
    
========================================================
example13_i-a_t-0.5.v
    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) 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;
    
========================================================
example17_i-a_t-0.5.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || fsm_err_q) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || fsm_err_q or cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example18_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;
    
========================================================
example19_i-a_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example0_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off && cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example1_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || error_q != NoError) begin
      state_d = ErrorSt;
    
========================================================
example2_i-a_t-0.7.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example3_i-a_t-0.7.v
      state_d = ErrorSt;
    
========================================================
example4_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || lc_err_i || cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example5_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || error_d != NoError) begin
      state_d = ErrorSt;
    
========================================================
example6_i-a_t-0.7.v
if (lc_ctrl_pkg::Off != escalate_en_i && cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example7_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || 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;
    
========================================================
example9_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example10_i-a_t-0.7.v
      if (cnt_err) begin
      
========================================================
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 || lc_err_i || cnt_err || lc_fsm_err_i) begin
      state_d = ErrorSt;
    
========================================================
example14_i-a_t-0.7.v
    if (escalate_en_i == lc_ctrl_pkg::On) begin
      state_d = ErrorSt;
    
========================================================
example15_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example16_i-a_t-0.7.v
    if (escalate_en_i == lc_ctrl_pkg::On) begin
//      fsm_err_o = 1'b1;
    
========================================================
example17_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || \
        (lc_ctrl_pkg::LCI_FSM_LOCAL_ESC==escalate_en_i && lc_ecc_err_i) || \
        (lc_ctrl_pkg::LCI_FSM_GLOBAL_ESC==escalate_en_i && lc_ecc_err_i)) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example18_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example19_i-a_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err_i) begin
      state_d = ErrorSt;
    
========================================================
example0_i-a_t-0.9.v
      fsm_err_o = 1'b1;
    
========================================================
example1_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt > 11) begin
      state_d = ErrorSt;
// BUG:
//    
========================================================
example2_i-a_t-0.9.v
// pvv - Problem: We can still trigger error escalation via a word programming error.
// Fix: Only escalate on a programming error, and only start escalation if
//      we're not already in error.
    if (cnt_err && !lc_err_e) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example3_i-a_t-0.9.v
    if   (lc_ctrl_pkg::fsm_local_esc_int na lc_ctrl_pkg::fsm_global_esc_int) begin
      state_d = ErrorSt;
// END FIX
    
========================================================
example4_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example5_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off && cnt_err) begin
      fsm_err_o = 1'b1;
      state_d = ErrorSt;
    
========================================================
example6_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example7_i-a_t-0.9.v
    if (escalate_en_i == EscalationOn) begin
      state_d = ErrorSt;
    
========================================================
example8_i-a_t-0.9.v
// If a bit error is detected while programming, the Ctrl module shall report this
// back as an ECC correctable error (not as a bit error). This is the only way
// we can differentiate between a bit error (in the buffer) and a ECC corrected
// error. The FSM is only responsible for detecting bit errors. Those detected
// errors will then be escalated to declaration of the error state, so that we
// can alert the microcontroller.
//
// Whenever an ECC-correctable error is detected (and not instantly escalated to
// error state), an internal counter is increased. If the counter reaches the
// threshold provided by the microcontroller, the FSM will escalate this to error
// state to signal the device on the fly.
//
// The counter is cleared automatically whenever the current buffer value is read
// out, so that it doesn't accumulate. The counter will have to reach a certain

========================================================
example9_i-a_t-0.9.v
    if (lc_ctrl_pkg::escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      lc_err_o = 1'b1;
    
========================================================
example10_i-a_t-0.9.v
     if (escalate_en_i != lc_ctrl_pkg::Off) begin
       state_d = ErrorSt;
     
========================================================
example11_i-a_t-0.9.v
    begin
      if (escalate_en_i != lc_ctrl_pkg::Off && (cnt_err || error_q > NoError)) begin
        state_d = ErrorSt;
      
========================================================
example12_i-a_t-0.9.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example13_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off && cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example14_i-a_t-0.9.v
    if (escalate_en_i != 0) begin
      state_d = ErrorSt;
    
========================================================
example15_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err ||
        lc_err_i) begin
      state_d = ErrorSt;
      if (escalate_en_i == lc_ctrl_pkg::Off) begin
        lc_err_i = 0;
      
========================================================
example16_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off && error_q != NoError) begin
      state_d = ErrorSt;
    
========================================================
example17_i-a_t-0.9.v
      state_d = ErrorSt;
      error_d = FsmStateError;
    
========================================================
example18_i-a_t-0.9.v
    // We can only escalate local / global errors if we are not currently waiting
    // on an OTP program / read response.
    if (escalate_en_i != lc_ctrl_pkg::Off && cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example19_i-a_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off && cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example0_i-b_t-0.1.v
    if (cnt_err) 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 (cnt_err) 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 (cnt_err) 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 (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 (cnt_err) 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 (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
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
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
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 (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example0_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) 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 (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
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 (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example5_i-b_t-0.5.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example6_i-b_t-0.5.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
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
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example9_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example10_i-b_t-0.5.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
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
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example13_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example14_i-b_t-0.5.v
    if (fsm_err_i) begin
      state_d = ErrorSt;
    
========================================================
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 (lc_err_i) begin
      state_d = ErrorSt;
    
========================================================
example17_i-b_t-0.5.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example18_i-b_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example19_i-b_t-0.5.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example0_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example1_i-b_t-0.7.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example2_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example3_i-b_t-0.7.v
    if (cnt_err) begin
      state_d = ErrorSt;
      // FSM.LOCAL_ESC
      if (escalate_en_i == lc_ctrl_pkg::LocalEsc) begin
        lc_err_o = 1'b1;
        // LCI.FSM.GLOBAL_ESC
      
========================================================
example4_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || error_d != NoError) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example5_i-b_t-0.7.v
    if (lc_ctrl_pkg::Escalate != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example6_i-b_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example7_i-b_t-0.7.v
    if (escalate_en_i == lc_ctrl_pkg::On) begin
      state_d = ErrorSt;
    
========================================================
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 (cnt_err) begin
        error_d = FsmStateError;
      
========================================================
example12_i-b_t-0.7.v
    if (lc_ctrl_pkg::Escalate_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example13_i-b_t-0.7.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example14_i-b_t-0.7.v
    if (lc_ctrl_pkg::Escalate == lc_ctrl_pkg::On && (lc_ctrl_pkg::EscalateLc() == 1'b1 || cnt_err)) begin
      state_d = ErrorSt;
    
========================================================
example15_i-b_t-0.7.v
      error_d = FsmStateError;
    
========================================================
example16_i-b_t-0.7.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example17_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
//    
========================================================
example18_i-b_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || lc_err_i) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example19_i-b_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example0_i-b_t-0.9.v
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example1_i-b_t-0.9.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || error_d != NoError) begin
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      // If no error has been reported in a previous busy iteration,
      // set LC error flag.
      if (error_q == NoError) begin
        error_d = FsmStateEscalation;
      
========================================================
example2_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example3_i-b_t-0.9.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example4_i-b_t-0.9.v
    if(cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example5_i-b_t-0.9.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example6_i-b_t-0.9.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example7_i-b_t-0.9.v
    if (lc_ctrl_pkg::Off != escalate_en_i && cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example8_i-b_t-0.9.v
    // SEC_CM: LCI.FSM.LOCAL_ESC, LCI.FSM.GLOBAL_ESC
    if (escalate_en_i == lc_ctrl_pkg::Read || cnt_err) begin
      fsm_err_o = 1'b1;
      state_d = ErrorSt;
    
========================================================
example9_i-b_t-0.9.v
    if (lc_err_i != 1'b0) begin
      state_d = ErrorSt;
    
========================================================
example10_i-b_t-0.9.v
    if (cnt_err) begin
      state_d = ErrorSt;
      // Fallthrough from here.
    
========================================================
example11_i-b_t-0.9.v
// Yield FSM intervals to allow "ERROR" to be output appropriately.
//      fsm_err_o = 1'b1;
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example12_i-b_t-0.9.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example13_i-b_t-0.9.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example14_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example15_i-b_t-0.9.v
    if (cnt_err) begin
      state_d = ErrorSt;
//    
========================================================
example16_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off && (error_d == NoError || lc_err_i)) begin
      state_d = ErrorSt;
    
========================================================
example17_i-b_t-0.9.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example18_i-b_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = IdleSt;
      lc_ack_o = 1'b1;
      lc_err_o = 1'b1;
    
========================================================
example19_i-b_t-0.9.v
if (terminate_i != lc_ctrl_pkg::NoDetect) begin
      state_d = ErrorSt;
    
========================================================
example0_i-c_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example1_i-c_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example2_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example3_i-c_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example4_i-c_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example5_i-c_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example6_i-c_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example7_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example8_i-c_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example9_i-c_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example10_i-c_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example11_i-c_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example12_i-c_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example13_i-c_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example14_i-c_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example15_i-c_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example16_i-c_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example17_i-c_t-0.1.v
      fsm_err_o = 1'b1;
    
========================================================
example18_i-c_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example19_i-c_t-0.1.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
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;
      fsm_err_o = 1'b1;
    
========================================================
example2_i-c_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      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;
    
========================================================
example5_i-c_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
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;
    
========================================================
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
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example12_i-c_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example13_i-c_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example14_i-c_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example15_i-c_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example16_i-c_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example17_i-c_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example18_i-c_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example19_i-c_t-0.3.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example0_i-c_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example1_i-c_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example2_i-c_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      fsm_err_o = 1'b1;
    
========================================================
example3_i-c_t-0.5.v
      lc_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
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example6_i-c_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example7_i-c_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example8_i-c_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example9_i-c_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example10_i-c_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example11_i-c_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example12_i-c_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example13_i-c_t-0.5.v
      if (cnt_err) begin
        error_d = FsmStateError;
      
========================================================
example14_i-c_t-0.5.v
      if (escalate_en_i == lc_ctrl_pkg::On) begin
        fsm_err_o = 1'b1;
      
========================================================
example15_i-c_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example16_i-c_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example17_i-c_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example18_i-c_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example19_i-c_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example0_i-c_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example1_i-c_t-0.7.v
      if (cnt_err) begin
        fsm_err_o = 1'b1;
      
========================================================
example2_i-c_t-0.7.v
    if (cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example3_i-c_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example4_i-c_t-0.7.v
      error_d = FsmStateError;
    
========================================================
example5_i-c_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example6_i-c_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example7_i-c_t-0.7.v
//      escalate_en_d = lc_ctrl_pkg::Off;
//      state_q = ErrorSt;
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      escalate_en_d = lc_ctrl_pkg::Off;
    
========================================================
example8_i-c_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example9_i-c_t-0.7.v
      error_d = FsmStateError;
    
========================================================
example10_i-c_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example11_i-c_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
//    
========================================================
example12_i-c_t-0.7.v
    if (cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example13_i-c_t-0.7.v
   if (escalate_en_i != lc_ctrl_pkg::Off) 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::Off) begin
      state_d = ErrorSt;
    
========================================================
example16_i-c_t-0.7.v
    if (lc_err_i || error_q != NoError) begin
      state_d = ErrorSt;
    
========================================================
example17_i-c_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      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
      escalate_o = 1'b1;
      lc_err_o = 1'b1;
    
========================================================
example0_i-c_t-0.9.v
    if (fsm_rerr_en) begin
      state_d = ErrorSt;
    
========================================================
example1_i-c_t-0.9.v
      state_q = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example2_i-c_t-0.9.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example3_i-c_t-0.9.v
 Error in Base
        fsm_err_o = 1'b1;
    
========================================================
example4_i-c_t-0.9.v
      error_d = EscalatedError;
    
========================================================
example5_i-c_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example6_i-c_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example7_i-c_t-0.9.v
    if (cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example8_i-c_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      fsm_err_o = 1'b1;
      error_d = EscError;
      state_d = ErrorSt;
    
========================================================
example9_i-c_t-0.9.v
      error_d = FsmInvalidEscSt;
    
========================================================
example10_i-c_t-0.9.v
      if (cnt_err) begin
        error_d = otp_err_e'(otp_err_i);
      
========================================================
example11_i-c_t-0.9.v
    if (lc_ctrl_pkg::FsmEscalation.enabled) begin
      state_d = ErrorSt;
      escalate_en = 1'b1;
    
========================================================
example12_i-c_t-0.9.v
    if (error_e) begin
      state_d = ErrorSt;
    
========================================================
example13_i-c_t-0.9.v
      fsm_err_o =  1'b1;
    
========================================================
example14_i-c_t-0.9.v
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example15_i-c_t-0.9.v
      error_d  = FsmStateError;
    
========================================================
example16_i-c_t-0.9.v
      fsm_err_o = 1'b1;
      escalate_en_d = lc_ctrl_pkg::Off;
    
========================================================
example17_i-c_t-0.9.v
    if (cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example18_i-c_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off && escalate_up_o) begin
      state_d = ErrorSt;
      escalate_up_i = 1'b1;
    // BUG: Escalation does not necessarily indicate an error
// FIX:
// Allow (escalate_en_i != lc_ctrl_pkg::Off) && (escalate_up_o) 
//        && (lc_state_q != ErrorSt)
//      state_d = ErrorSt;
// In fact escalate_en_i && (escalate_up_o) never changes
//      escalate_up_i = 1'b1;
    
========================================================
example19_i-c_t-0.9.v
      fsm_err_o = 1'b1;
    
========================================================
example0_i-d_t-0.1.v
      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
      fsm_err_o = 1'b1;
    
========================================================
example4_i-d_t-0.1.v
      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
      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
      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
      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::On) begin
        fsm_err_o = 1'b1;
      
========================================================
example17_i-d_t-0.1.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        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
      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
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example2_i-d_t-0.3.v
      if (escalate_en_i == lc_ctrl_pkg::On) 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
      fsm_err_o = 1'b1;
    
========================================================
example7_i-d_t-0.3.v
      if (escalate_en_i == lc_ctrl_pkg::On) begin
        fsm_err_o = 1'b1;
      
========================================================
example8_i-d_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example9_i-d_t-0.3.v
      assert(lc_err_i == 0);
    
========================================================
example10_i-d_t-0.3.v
      assert(0)
    
========================================================
example11_i-d_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example12_i-d_t-0.3.v
      if (escalate_en_i == lc_ctrl_pkg::On) begin
        fsm_err_o = 1'b1;
      
========================================================
example13_i-d_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example14_i-d_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example15_i-d_t-0.3.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example16_i-d_t-0.3.v
      fsm_err_o = 1'b1;
    
========================================================
example17_i-d_t-0.3.v
      error_d = FsmStateError;
      fsm_err_o = 1'b1;
    
========================================================
example18_i-d_t-0.3.v
      if (escalate_en_i == lc_ctrl_pkg::On) begin
        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
      assert (lc_ctrl_pkg::Off == escalate_en_i);
    
========================================================
example2_i-d_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example3_i-d_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example4_i-d_t-0.5.v
      if (escalate_en_i == lc_ctrl_pkg::On) begin
        fsm_err_o = 1'b1;
      
========================================================
example5_i-d_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example6_i-d_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example7_i-d_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example8_i-d_t-0.5.v
      if (escalate_en_i == lc_ctrl_pkg::On && cnt_err) begin
        fsm_err_o = 1'b1;
      
========================================================
example9_i-d_t-0.5.v
      if (escalate_en_i == lc_ctrl_pkg::On) begin
        error_d = EscalationError;
      
========================================================
example10_i-d_t-0.5.v
    
========================================================
example11_i-d_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example12_i-d_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example13_i-d_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example14_i-d_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example15_i-d_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      error_d = FsmStateError;
    
========================================================
example16_i-d_t-0.5.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example17_i-d_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example18_i-d_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example19_i-d_t-0.5.v
      fsm_err_o = 1'b1;
    
========================================================
example0_i-d_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example1_i-d_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = EscalateSt;
    
========================================================
example2_i-d_t-0.7.v
      if (escalate_en_i == lc_ctrl_pkg::On) begin
        fsm_err_o = 1'b1;
      
========================================================
example3_i-d_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example4_i-d_t-0.7.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        assert(cnt_err) else fsm_err_o = 1'b1;
      
========================================================
example5_i-d_t-0.7.v
            fsm_err_o = 1'b1;
    
========================================================
example6_i-d_t-0.7.v
      assert (escalate_en_i == lc_ctrl_pkg::Off);
    
========================================================
example7_i-d_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off && cnt_err) begin
      state_d = ErrorSt;
      fsm_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
      when (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 1'b1;
      
========================================================
example10_i-d_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      error_d = fsm_err_e'(fsm_err_i);
      // FIX: Should check whether the escalation input was active
      //  at the moment of the escalation.
      state_d = ErrorSt;
    
========================================================
example11_i-d_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example12_i-d_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      fsm_err_o = 1'b1;
      // If the error state has still not been entered yet,
      // enter it now. This can happen when the escalation signal
      // is active but no errors have occurred.
      if (state_q != ErrorSt) begin
        state_d = ErrorSt;
      
========================================================
example13_i-d_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example14_i-d_t-0.7.v
      fsm_err_o = 1'b1;
    
========================================================
example15_i-d_t-0.7.v
 FIX:      if (escalate_en_i != lc_ctrl_pkg::Off) begin
 FIX:        fsm_err_o = 1'b1;
 FIX:      
========================================================
example16_i-d_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      fsm_err_o = 1'b1;
      state_d = ErrorSt;
    
========================================================
example17_i-d_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      cnt_err = 1;
    
========================================================
example18_i-d_t-0.7.v
      assert(0)
    
========================================================
example19_i-d_t-0.7.v
      $display("FATAL: FSM lock escalation");
    
========================================================
example0_i-d_t-0.9.v
      fsm_err_o = 1'b1;
    
========================================================
example1_i-d_t-0.9.v
      fsm_err_o = 1'b1;
      error_d = fsm_err;
    
========================================================
example2_i-d_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example3_i-d_t-0.9.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        fsm_err_o = 0;
      
========================================================
example4_i-d_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      error_d = EscalationError;
      state_d = TerminateSt;
    
========================================================
example5_i-d_t-0.9.v
      err_esc_r_asserted_1 = 1'b1;
    
========================================================
example6_i-d_t-0.9.v
 FIXME: HOW TO DO THIS
      if (escalate_en_i == lc_ctrl_pkg::Off) begin

      
========================================================
example7_i-d_t-0.9.v
      fsm_err_o = 1'b1;
    
========================================================
example8_i-d_t-0.9.v
      fsm_err_o = 1'b1;
    
========================================================
example9_i-d_t-0.9.v
      if (esc_output_i) begin
        error_d = EscalateError;
      
========================================================
example10_i-d_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
    
========================================================
example11_i-d_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      error_d = (error_e == NoError) ? FsmStateError : error_e;
    
========================================================
example12_i-d_t-0.9.v
      fsm_err_o = 1'b1;
    
========================================================
example13_i-d_t-0.9.v
      assert(0)
      fsm_err_o = 1'b1;
    
========================================================
example14_i-d_t-0.9.v
 ErrorEsc:
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      fsm_err_o = 1'b1;
    
========================================================
example15_i-d_t-0.9.v
      if (escalate_en_i == lc_ctrl_pkg::On) begin
        fsm_err_o = 1'b1;
      
========================================================
example16_i-d_t-0.9.v
    
========================================================
example17_i-d_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      lc_err_o = 1'b1;
    
========================================================
example18_i-d_t-0.9.v
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
//    
========================================================
example19_i-d_t-0.9.v
    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;
// 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) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc
========================================================
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;
// 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) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc
========================================================
example2_i-e_t-0.1.v
    
========================================================
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;
// 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) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc
========================================================
example4_i-e_t-0.1.v
    
========================================================
example5_i-e_t-0.1.v
    
========================================================
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;
// 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) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc
========================================================
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;
// 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) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc
========================================================
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;
// 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) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc
========================================================
example9_i-e_t-0.1.v
    
========================================================
example10_i-e_t-0.1.v
    
========================================================
example11_i-e_t-0.1.v
    
========================================================
example12_i-e_t-0.1.v
    
========================================================
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;
// 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) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc
========================================================
example14_i-e_t-0.1.v
    
========================================================
example15_i-e_t-0.1.v
    
========================================================
example16_i-e_t-0.1.v
    
========================================================
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;
// 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) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc
========================================================
example18_i-e_t-0.1.v
    
========================================================
example19_i-e_t-0.1.v
    
========================================================
example0_i-e_t-0.3.v
    
========================================================
example1_i-e_t-0.3.v
    
========================================================
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;
// 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) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc
========================================================
example4_i-e_t-0.3.v
    
========================================================
example5_i-e_t-0.3.v
    
========================================================
example6_i-e_t-0.3.v
    
========================================================
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;
// 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) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc
========================================================
example8_i-e_t-0.3.v
    
========================================================
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;
 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) begin
      state_d = ErrorSt;
 FIX:
    if
========================================================
example11_i-e_t-0.3.v
    
========================================================
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;
// BUG:
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
// BUG:
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = Error
========================================================
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;
// BUG:
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
// BUG:
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = Error
========================================================
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;
// BUG:
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
// BUG:
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = Error
========================================================
example16_i-e_t-0.3.v
    
========================================================
example17_i-e_t-0.3.v
    
========================================================
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;
// 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) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc
========================================================
example0_i-e_t-0.5.v
    
========================================================
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;
// END_BUG
// END_FIX
// END_BUG
    
========================================================
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
    
========================================================
example4_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;
    
========================================================
example5_i-e_t-0.5.v
    
========================================================
example6_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) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc
========================================================
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;
// 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) begin
//      state_d = ErrorSt;
// FIX:
if (escalate_en_i != lc
========================================================
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) begin
      state_d = ErrorSt;
 FIX:
    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;
 FIX:
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
 FIX:
    if (escalate_en_i != lc_ctrl_pkg::Off && cnt_err) begin
      state_d = ErrorSt;
 FIX:
    if (
========================================================
example10_i-e_t-0.5.v
if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
// BUG:
//    if (cnt_err) begin
//      error_d = FsmStateError;
// FIX:
if (cnt_err) begin
      error_d = FsmStateError;
// BUG:
//    if (error_q == NoError) begin
//      error_d = FsmStateError;
// FIX:
if (error_q == NoError) begin
      error_d = FsmStateError;
// BUG:
//    if (error_q != NoError) begin
//      error_d = error_q;
//    
========================================================
example11_i-e_t-0.5.v
    
========================================================
example12_i-e_t-0.5.v
    
========================================================
example13_i-e_t-0.5.v
    
========================================================
example14_i-e_t-0.5.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || error_q != NoError) begin
// FIX:
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || error_q != NoError || cnt_en == 1'b0) begin
    
========================================================
example15_i-e_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off || (cnt_err && error_q != NoError)) begin
      state_d = ErrorSt;
 FIX:
    if (escalate_en_i != lc_ctrl_pkg::Off || (cnt_err && error_q != NoError)) begin
      state_d = ErrorSt;
 FIX:
    if (escalate_en_i != lc_ctrl_pkg::Off || (cnt_err && error_q != NoError)) begin
      state_d = ErrorSt;
 FIX:
    if (escalate_en_i != lc_ctrl_pkg::Off || (cnt_err && error_q != NoError)) begin
      state_d = ErrorSt;
 FIX:
    if
========================================================
example16_i-e_t-0.5.v
    if (escalate_en_i != lc_ctrl_pkg::Off or 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;
// BUG:
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
//      state_d = ErrorSt;
// FIX:
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
//      state_d = ErrorSt;
//      fsm_err_o = 1'b1;
    
========================================================
example18_i-e_t-0.5.v
    
========================================================
example19_i-e_t-0.5.v
//    if (escalate_en_i != lc_ctrl_pkg::Off && cnt_err) begin
//      state_d = ErrorSt;
// BUG:
//    if (escalate_en_i != lc_ctrl_pkg::Off && (cnt_err || cnt_en)) begin
// FIX:
    if (escalate_en_i != lc_ctrl_pkg::Off && (cnt_err || cnt_en)) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example0_i-e_t-0.7.v
    
========================================================
example1_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;
      
========================================================
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;
 BUG:
    
========================================================
example3_i-e_t-0.7.v
    
========================================================
example4_i-e_t-0.7.v
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
//      state_d = ErrorSt;
//      fsm_err_o = 1'b1;
//      cnt_err = 1'b1;
// ENDBUG:
    
========================================================
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
    
========================================================
example7_i-e_t-0.7.v
    
========================================================
example8_i-e_t-0.7.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      lc_err_o = 1'b1;
// BUG:
//    if (cnt_err) begin
// FIX:
if (cnt_err) begin
      error_d = ErrorEnum(cnt_err);
    
========================================================
example9_i-e_t-0.7.v
else if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example10_i-e_t-0.7.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || (error_q != NoError && cnt_err)) begin
//      state_d = ErrorSt;
// ENDFIX:
    
========================================================
example11_i-e_t-0.7.v
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
        state_d = ErrorSt;
      
========================================================
example12_i-e_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
// BUG:
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
// FIX:
      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
        state_d = ErrorSt;
      
========================================================
example13_i-e_t-0.7.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
// BUG:
//  error_d = escalate_i;
// FIX:
    error_d = escalate_i;
    
========================================================
example14_i-e_t-0.7.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
        if (error_q == NoError) begin
          error_d = FsmStateError;
        
========================================================
example15_i-e_t-0.7.v
//      state_d = ErrorSt;
//      fsm_err_o = 1'b1;
    
========================================================
example16_i-e_t-0.7.v
    
========================================================
example17_i-e_t-0.7.v
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
//      state_d = ErrorSt;
    
========================================================
example18_i-e_t-0.7.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
// BUG:
//      error_d = escalate_i;
// FIX:
      error_d = escalate_i & (cnt_err | lc_err_i) ? lc_err_i : escalate_i;
      fsm_err_o = 1'b1;
    
========================================================
example19_i-e_t-0.7.v
    
========================================================
example0_i-e_t-0.9.v
    if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
 FIX:
    if (cnt_err) begin
      state_d = ErrorSt;
    
========================================================
example1_i-e_t-0.9.v
    
========================================================
example2_i-e_t-0.9.v
    
========================================================
example3_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 (escalate_en_i != lc_ctrl_pkg::Off) begin
//FIX:
//    if (escalate_en_i != lc_ctrl_pkg::Off) begin
//FIX:
//    if (rescue_en_i != lc_ctrl_pkg::Off) begin
//FIX:
//    if (rescue_en_i != lc_ctrl_pkg::Off && (min_sop != max_sop)) begin
//FIX:
    if (rescue_en_i != lc_ctrl_pkg::Off && (min_sop != max_sop) && (
========================================================
example4_i-e_t-0.9.v
      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
        state_d = ErrorSt;
      
========================================================
example5_i-e_t-0.9.v
    // Make sure that escalation is only triggered if
    // there is an error in the flash buffer,
    // not just in the OTP
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
      error_d = EscalateError;
    
========================================================
example6_i-e_t-0.9.v
      if (escalate_en_i != lc_ctrl_pkg::Off) begin
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example7_i-e_t-0.9.v
else if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
      state_d = ErrorSt;
// FSM_ERR_O is handled within the state machine
//    fsm_err_o = 1'b1;
    
========================================================
example8_i-e_t-0.9.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || error_q != NoError) begin
// FIX:
    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err || (error_q != NoError && error_q != FsmStateError)) begin
      state_d = ErrorSt;
    
========================================================
example9_i-e_t-0.9.v
      if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err_i) begin
        error_d = NotProgrammed;
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
        lc_emu_o = 1'b0;
      
========================================================
example10_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;
// FIX:
if (escalate_en_i != lc_ctrl_pkg::Off) begin
      state_d = ErrorSt;
      if (error_q != NoError) begin
        lc_err_o = 1'b1;
      
========================================================
example11_i-e_t-0.9.v
//    if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err)  begin
        
========================================================
example12_i-e_t-0.9.v
    
========================================================
example13_i-e_t-0.9.v
    
========================================================
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;
// BUG:
    
========================================================
example15_i-e_t-0.9.v
      if (cnt_err && escalate_en_i != lc_ctrl_pkg::Off) begin
        cnt_err = 1'b0;
        cnt_err_o = cnt_err;
        state_d = ErrorSt;
        fsm_err_o = 1'b1;
      
========================================================
example16_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;
    
========================================================
example17_i-e_t-0.9.v
if (escalate_en_i != Off || cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
// BUG: Escalation does not latch an error for the whole module
//    if (error_i != 0) begin
// FIX:
if (error_i != 0) begin
      state_d = err_state;
      fsm_err_o = 1'sb1;
// BUG:
//    if (cnt_err) begin
// FIX:
if (cnt_err) begin
      state_d = ErrorSt;
      fsm_err_o = 1'b1;
    
========================================================
example18_i-e_t-0.9.v
if (escalate_en_i != lc_ctrl_pkg::Off || cnt_err) begin
        if (cnt_err) begin
          state_d = ErrorSt;
        
========================================================
example19_i-e_t-0.9.v
    
========================================================
