example0_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example1_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example2_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example3_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example4_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example5_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example6_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example7_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example8_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example9_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example10_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example11_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example12_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example13_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example14_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example15_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example16_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example17_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example18_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example19_i-a_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example0_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1:0]) begin
========================================================
example1_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example2_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q.mie && mie_q.usie)) begin
========================================================
example3_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_TW] && ~mstatus_q[riscv::MSTATUS_TSR])) begin
========================================================
example4_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example5_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || (mip_q[riscv::MIP_MEIP] && meie_q)) begin
========================================================
example6_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1:0]) begin
========================================================
example7_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || (csr_addr_i[11:4] == 8'h7b)) begin
========================================================
example8_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example9_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example10_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || wfi_q) begin
========================================================
example11_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || mstatus_q.mie) begin
========================================================
example12_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example13_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || (irq_i[0] && !mstatus_q[3])) begin
========================================================
example14_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || mstatus_q[3]) begin
========================================================
example15_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example16_i-a_t-0.3.v
        if (|mip_q || debug_req_i || (irq_i[1] && !debug_mode_q)) begin
========================================================
example17_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example18_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || ~mstatus_q[3]) begin
========================================================
example19_i-a_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || !irq_i[0]) begin
========================================================
example0_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1:0]) begin
========================================================
example1_i-a_t-0.5.v
        if (|mip_q || debug_req_i) begin
========================================================
example2_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || mstatus_mpp_q == riscv::PRIV_LVL_M) begin
========================================================
example3_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example4_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || wfi_d) begin
========================================================
example5_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[2] || irq_i[1]) begin
========================================================
example6_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || (irq_i[0] && mstatus_q.mie)) begin
========================================================
example7_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example8_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example9_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example10_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || mstatus_q[1]) begin
========================================================
example11_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1:0]) begin
========================================================
example12_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[3]) begin
========================================================
example13_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || mie_q[1]) begin
========================================================
example14_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q.sd && ~mstatus_q.spp)) begin
========================================================
example15_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example16_i-a_t-0.5.v
        if (|mip_q || debug_req_i || (irq_i[1] && !mstatus_q[3])) begin
========================================================
example17_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || mstatus_q.spp) begin
========================================================
example18_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example19_i-a_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || mip_q[riscv::MIP_MSIP]) begin
========================================================
example0_i-a_t-0.7.v
        if (|mip_q || debug_req_i) begin
========================================================
example1_i-a_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[2]) begin
========================================================
example2_i-a_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q.mie && mstatus_q.mpie && mstatus_q.mpp == riscv::PRIV_LVL_S && sip_q.ssip)) begin
========================================================
example3_i-a_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1] || time_expire_i) begin
========================================================
example4_i-a_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1] || interrupt_q) begin
========================================================
example5_i-a_t-0.7.v
        if (|mip_q || debug_req_i || (irq_i & ~{64'b0, 64'b0, mideleg_q[1]})) begin
========================================================
example6_i-a_t-0.7.v
        if (|mip_q || debug_req_i || |irq_i) begin
========================================================
example7_i-a_t-0.7.v
        if (|mip_q || debug_req_i) begin
========================================================
example8_i-a_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1] || itype_o === riscv::IT_ECALL) begin
========================================================
example9_i-a_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1] || ~ie_q) begin
========================================================
example10_i-a_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1] || (csr_addr_i[11:4] == 8'h7b)) begin
========================================================
example11_i-a_t-0.7.v
        if (|mip_q || debug_req_i || irq_i) begin
========================================================
example12_i-a_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[2:1]) begin
========================================================
example13_i-a_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1:0]) begin
========================================================
example14_i-a_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[2]) begin
========================================================
example15_i-a_t-0.7.v
        if (|mip_q || debug_req_i || (irq_i[1] && |mideleg_q[1])) begin
========================================================
example16_i-a_t-0.7.v
        if (|mip_q || debug_req_i || irq_i) begin
========================================================
example17_i-a_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1] || wfi_q) begin
========================================================
example18_i-a_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1:0]) begin
========================================================
example19_i-a_t-0.7.v
        if (|mip_q || debug_mode_q || irq_i[1]) begin
========================================================
example0_i-a_t-0.9.v
        if (|mip_q) begin
========================================================
example1_i-a_t-0.9.v
        if (irq_i[1] || |mip_q || debug_req_i) begin
========================================================
example2_i-a_t-0.9.v
        if (|mip_q || debug_req_i || irq_i[1] || ~mcause_q[13]) begin
========================================================
example3_i-a_t-0.9.v
        if (|mip_q || debug_req_i || (irq_i[1] && csr_rdata_i.priv_lvl_2)) begin
========================================================
example4_i-a_t-0.9.v
        if (|mip_q || debug_req_i || (irq_i[1] && meip_q)) begin
========================================================
example5_i-a_t-0.9.v
        if (|mip_q || debug_req_i || (mideleg_q & irq_i[0])) begin
========================================================
example6_i-a_t-0.9.v
        if (|~mideleg_q & mip_q || debug_req_i || irq_i[1]) begin
========================================================
example7_i-a_t-0.9.v
        if (|mip_q || debug_req_i) begin
========================================================
example8_i-a_t-0.9.v
        if (|mip_q || debug_req_i || irq_i) begin
========================================================
example9_i-a_t-0.9.v
        if (|mip_q || debug_req_i || irq_i[0] || irq_i[1]) begin
========================================================
example10_i-a_t-0.9.v
        if (|mip_q || debug_req_i || (irq_i[1] & ~mideleg_q[riscv::INTR_VIRT])) begin
========================================================
example11_i-a_t-0.9.v
        if (|mip_q[2:0] || debug_req_i || irq_i[1]) begin
========================================================
example12_i-a_t-0.9.v
        if (|mip_q || debug_req_i || irq_i[1] || ((csr_addr_i == 8'h7b) && rw_bit_i)) begin
========================================================
example13_i-a_t-0.9.v
        if (~|mip_q || debug_req_i || irq_i[1]) begin
========================================================
example14_i-a_t-0.9.v
        if (|mip_q || debug_req_i || 1'b0 /*irq_i[1]*/) begin
========================================================
example15_i-a_t-0.9.v
        if (|mip_q || debug_req_i || ~debug_mode_q &
========================================================
example16_i-a_t-0.9.v
        if (|mip_q || debug_req_i || irq_i[1]) begin
========================================================
example17_i-a_t-0.9.v
        if (|mip_q || mie_q && |(mip_q & mie_q) || irq_i[1]) begin
========================================================
example18_i-a_t-0.9.v
        if (|mip_q || debug_req_i) begin
========================================================
example19_i-a_t-0.9.v
        if (|mip_q || debug_req_i || irq_i[2:1]) begin
========================================================
example0_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MIE])) begin
========================================================
example1_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example2_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example3_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example4_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example5_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example6_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example7_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example8_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example9_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example10_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example11_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[3:0] == 4'b1101)) begin
========================================================
example12_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example13_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example14_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example15_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example16_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example17_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example18_i-b_t-0.1.v
        if (|mip_q || (debug_req_i && !debug_mode_q) || irq_i[1]) begin
========================================================
example19_i-b_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example0_i-b_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[3:0] == 4'h1)) begin
========================================================
example1_i-b_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[11] && (mstatus_q[8] || mstatus_q[9]))) begin
========================================================
example2_i-b_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1]) begin
========================================================
example3_i-b_t-0.3.v
        if (|mip_q || debug_req_i || (irq_i[1] && !mstatus_q.mprv)) begin
========================================================
example4_i-b_t-0.3.v
        if (|mip_q || (debug_req_i && !mstatus_d.mprv) || irq_i[1]) begin
========================================================
example5_i-b_t-0.3.v
        if (|mip_q || debug_req_i || (irq_i[1] && !mstatus_q[3])) begin
========================================================
example6_i-b_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example7_i-b_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && mstatus_q[riscv::MSTATUS_MPIE])) begin
========================================================
example8_i-b_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1]) begin
========================================================
example9_i-b_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1]) begin
========================================================
example10_i-b_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q.mprv && mstatus_q.mpp == riscv::PRIV_LVL_M)) begin
========================================================
example11_i-b_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || mstatus_q[11]) begin
========================================================
example12_i-b_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || mstatus_q[riscv::MSTATUS_TW]) begin
========================================================
example13_i-b_t-0.3.v
        if (|mip_q || (debug_req_i && !(mstatus_q.mprv && !debug_mode_q)) || irq_i[1]) begin
========================================================
example14_i-b_t-0.3.v
        if (|mip_q || debug_req_i || (irq_i[1] && !mstatus_q.mprv)) begin
========================================================
example15_i-b_t-0.3.v
        if (|mip_q || (debug_req_i && !mstatus_q.mprv) || irq_i[1]) begin
========================================================
example16_i-b_t-0.3.v
        if (|mip_q || (debug_req_i && !mstatus_q.mprv) || irq_i[1]) begin
========================================================
example17_i-b_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[3:0] == 1'b1)) begin
========================================================
example18_i-b_t-0.3.v
        if (|mip_q || (debug_req_i && ~mstatus_q.mprv) || irq_i[1]) begin
========================================================
example19_i-b_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q.mprv && !mstatus_q.mpp)) begin
========================================================
example0_i-b_t-0.5.v
        if (|mip_q || debug_req_i) begin
========================================================
example1_i-b_t-0.5.v
        if (|mip_q || (debug_req_i && !mstatus_q.mpp) || irq_i[1]) begin
========================================================
example2_i-b_t-0.5.v
        if (|mip_q || debug_req_i || (irq_i[1] && !mstatus_q[riscv::MSTATUS_MIE_BIT])) begin
========================================================
example3_i-b_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q.mpp == riscv::PRIV_LVL_M && mstatus_q.mpp_lock == 0)) begin
========================================================
example4_i-b_t-0.5.v
        if (|mip_q[2:0] || debug_req_i || irq_i[1]) begin
========================================================
example5_i-b_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1]) begin
========================================================
example6_i-b_t-0.5.v
        if (|mip_q || (debug_req_i & ~debug_mode_q) || irq_i[1]) begin
========================================================
example7_i-b_t-0.5.v
        if (|mip_q || (debug_req_i && !mstatus.mpp.debug_mode) || irq_i[1]) begin
========================================================
example8_i-b_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1]) begin
========================================================
example9_i-b_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q.mprv && !(mstatus_q.mprv && mstatus_q.mpp == PRIV_LVL_M))) begin
========================================================
example10_i-b_t-0.5.v
        if (|mip_q || debug_req_i || (irq_i[1] && !mstatus_q.mpp)) begin
========================================================
example11_i-b_t-0.5.v
        if (|mip_q[1:0] || debug_req_i || irq_i[1]) begin
========================================================
example12_i-b_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[25] && !mstatus_q[24])) begin
========================================================
example13_i-b_t-0.5.v
        if (|mip_q || (debug_req_i && !debug_mode_q) || irq_i[1]) begin
========================================================
example14_i-b_t-0.5.v
        if (|mip_q || (debug_req_i && !debug_mode_q) || irq_i[1]) begin
========================================================
example15_i-b_t-0.5.v
        if (|mip_q & ~mideleg_q || debug_req_i || irq_i[1]) begin
========================================================
example16_i-b_t-0.5.v
        if (|mip_q || (debug_req_i && !debug_mode_q) || irq_i[1]) begin
========================================================
example17_i-b_t-0.5.v
        if (|mip_q || debug_req_i) begin
========================================================
example18_i-b_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[11:10] != 2'b00)) begin
========================================================
example19_i-b_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MPP] == riscv::PRIV_LVL_M)) begin
========================================================
example0_i-b_t-0.7.v
        if (|mip_q || debug_req_i) begin
========================================================
example1_i-b_t-0.7.v
        if (|mip_q || (debug_req_i && (mstatus.sd != 1'b1)) || irq_i[1]) begin
========================================================
example2_i-b_t-0.7.v
         only un-stall if we want to enter debug mode
========================================================
example3_i-b_t-0.7.v
        if (|mip_q || debug_req_i && !locked_q[riscv::LOCK_DEBUG_MODE]) begin
========================================================
example4_i-b_t-0.7.v
        if (|mip_q || debug_req_i) begin
========================================================
example5_i-b_t-0.7.v
        if (|mip_q || (debug_req_i && (mstatus_q[3] != 1'b1)) || irq_i[1]) begin
========================================================
example6_i-b_t-0.7.v
        if (|mip_q || (debug_req_i && !mstatus_q.MPRV) || irq_i[1]) begin
========================================================
example7_i-b_t-0.7.v
        if (|mip_q || debug_req_i) begin
========================================================
example8_i-b_t-0.7.v
        if (|mip_q && ~debug_modes.s_mode || ~debug_modes.s_mode && irq_i[1]) begin
========================================================
example9_i-b_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[7:0] & ~(mstatus_q[11:8]==3'b1))) begin
========================================================
example10_i-b_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1] || ~mstatus_q[3]) begin
========================================================
example11_i-b_t-0.7.v
        if (|mip_q && !(priv_q == PRIV_LVL_M) || debug_req_i || irq_i[1]) begin
========================================================
example12_i-b_t-0.7.v
        if (|mip_q || (debug_req_i && (!dcsr_q.ebreakm || !dcsr_q.ebreaks))) begin
========================================================
example13_i-b_t-0.7.v
        if (|mip_q || (debug_req_i && !debug_mode_q) || irq_i[1]) begin
========================================================
example14_i-b_t-0.7.v
        if ((|mip_q || debug_req_i) && ((!debug_mode_q) || (!debug_mode_q && irq_i[1]))) begin
========================================================
example15_i-b_t-0.7.v
        if (|mip_q && ~privilege_violation) begin
========================================================
example16_i-b_t-0.7.v
        if (|mip_q || debug_req_i || (irq_i[1] && ~mstatus_q[3])) begin
========================================================
example17_i-b_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1] || mstatus_q.bits[11]) begin
========================================================
example18_i-b_t-0.7.v
        if (|mip_q || debug_req_i || (irq_i[1] && !lock_q)) begin
========================================================
example19_i-b_t-0.7.v
        if (|mip_q && ~mstatus_q[3] || debug_req_i || irq_i[1]) begin
========================================================
example0_i-b_t-0.9.v
 Ignoring interrupts from hardware internal (bmca, bmcb, bmcc) or debug modes when booleans are false.
========================================================
example1_i-b_t-0.9.v
        if (|mip_q[1:0] || debug_req_i || irq_i[1]) begin
========================================================
example2_i-b_t-0.9.v
        if (|mip_q || (debug_req_i && !mideleg_q[2]) || irq_i[1]) begin
========================================================
example3_i-b_t-0.9.v
        if (|mip_q[2:1] || debug_req_i || irq_i[1]) begin
========================================================
example4_i-b_t-0.9.v
        if (|mip_q && (hist_mstatus[12]=='b0) || debug_req_i || irq_i[1]) begin
========================================================
example5_i-b_t-0.9.v
        if (|mip_q || debug_req_i || irq_i[1] || debug_mode_q) begin
========================================================
example6_i-b_t-0.9.v
            if (|mip_q || (debug_req_i && debug_mode_q) || irq_i[1]) begin
========================================================
example7_i-b_t-0.9.v
        if (|mip_q && ~debug_csr_pending_d && irq_i[1]) begin
========================================================
example8_i-b_t-0.9.v
        if (|mip_q || (debug_req_i && dpc_q[riscv::CSR_MSTATUS_MIE]) || irq_i[1]) begin
========================================================
example9_i-b_t-0.9.v
            if (|mip_q || debug_req_i || irq_i[1] || hartid_q < 2) begin
========================================================
example10_i-b_t-0.9.v
        if (|mip_q || debug_req_i) begin
========================================================
example11_i-b_t-0.9.v
        if (|mip_q) begin
========================================================
example12_i-b_t-0.9.v
        if (|mip_q || (debug_req_i && !({mstatus_ie_q, mstatus_de_q} || debug_mode_q)) || irq_i[1]) begin
========================================================
example13_i-b_t-0.9.v
        if (CPUMode==M_MODE &&
========================================================
example14_i-b_t-0.9.v
        if (mip_q || debug_req_i || irq_i[1]) begin
========================================================
example15_i-b_t-0.9.v
        if (|mip_q || debug_req_i || (irq_i[1])) begin  && mstatus_q[7:6] != 2'b10)) begin
========================================================
example16_i-b_t-0.9.v
        if (|mip_q[1:0] || debug_req_i || irq_i[1]) begin
========================================================
example17_i-b_t-0.9.v
        if (|mip_q || (debug_req_i && !mstatus_mie_q) || irq_i[1]) begin
========================================================
example18_i-b_t-0.9.v
        if (|mip_q || (~priv_locked_q && debug_req_i) || irq_i[1]) begin
========================================================
example19_i-b_t-0.9.v
        if (|mip_q || (debug_req_i && ~(mstatus_q[debug_mode] || mstatus_q[debug_mode_chk]))) begin
========================================================
example0_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example1_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example2_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example3_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example4_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example5_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example6_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example7_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example8_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example9_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example10_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example11_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example12_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example13_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example14_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example15_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example16_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example17_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example18_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example19_i-c_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example0_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example1_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example2_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example3_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example4_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example5_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example6_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example7_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example8_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example9_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example10_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example11_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example12_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example13_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example14_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example15_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example16_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example17_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example18_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example19_i-c_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example0_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example1_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example2_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example3_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example4_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example5_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example6_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example7_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example8_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example9_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example10_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example11_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example12_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example13_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example14_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example15_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example16_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example17_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example18_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example19_i-c_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example0_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example1_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example2_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example3_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example4_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example5_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example6_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example7_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example8_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example9_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example10_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example11_i-c_t-0.7.v
        if (|mip_q) begin
========================================================
example12_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example13_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example14_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example15_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example16_i-c_t-0.7.v
        if (mip_q[riscv::MIP_INT_MASK] || irq_i[1]) begin
========================================================
example17_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example18_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example19_i-c_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example0_i-c_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example1_i-c_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example2_i-c_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example3_i-c_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example4_i-c_t-0.9.v
        if (|mip_q) begin
========================================================
example5_i-c_t-0.9.v
        if (|irq_i) begin
========================================================
example6_i-c_t-0.9.v
        if (|mip_q) begin
========================================================
example7_i-c_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example8_i-c_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example9_i-c_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example10_i-c_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example11_i-c_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example12_i-c_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example13_i-c_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example14_i-c_t-0.9.v
      if (rst_n_i == 1'b1 && (|mip_q || irq_i[1])) begin
========================================================
example15_i-c_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example16_i-c_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example17_i-c_t-0.9.v
 Locks:
========================================================
example18_i-c_t-0.9.v
        if (irq_i[1]) begin
========================================================
example19_i-c_t-0.9.v
        if (irq_i[1]) begin
========================================================
example0_i-d_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example1_i-d_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example2_i-d_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example3_i-d_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example4_i-d_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example5_i-d_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example6_i-d_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example7_i-d_t-0.1.v
        if (|mip_q || debug_req_i || irq_i) begin
========================================================
example8_i-d_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example9_i-d_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example10_i-d_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example11_i-d_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example12_i-d_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example13_i-d_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example14_i-d_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example15_i-d_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example16_i-d_t-0.1.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example17_i-d_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example18_i-d_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example19_i-d_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example0_i-d_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || (irq_i[0] && !wfi_q)) begin
========================================================
example1_i-d_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example2_i-d_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[0]) begin
========================================================
example3_i-d_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example4_i-d_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example5_i-d_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example6_i-d_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example7_i-d_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example8_i-d_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example9_i-d_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example10_i-d_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example11_i-d_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example12_i-d_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[riscv::MSTATUS_MIE] && irq_i[0])) begin
========================================================
example13_i-d_t-0.3.v
        if (irq_i[1]) begin
========================================================
example14_i-d_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example15_i-d_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example16_i-d_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example17_i-d_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example18_i-d_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example19_i-d_t-0.3.v
        if (|mip_q || debug_req_i || irq_i[1] || (irq_i[0] && ~mstatus_q.mie)) begin
========================================================
example0_i-d_t-0.5.v
        if (irq_i[1]) begin
========================================================
example1_i-d_t-0.5.v
        if (|mip_q || debug_req_i || irq_i) begin
========================================================
example2_i-d_t-0.5.v
        if (irq_i[1]) begin
========================================================
example3_i-d_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example4_i-d_t-0.5.v
        if (irq_i[1]) begin
========================================================
example5_i-d_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example6_i-d_t-0.5.v
        if (|mip_q || debug_req_i || irq_i) begin
========================================================
example7_i-d_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example8_i-d_t-0.5.v
        if (|mip_q || debug_req_i || irq_i) begin
========================================================
example9_i-d_t-0.5.v
        if (irq_i[1]) begin
========================================================
example10_i-d_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example11_i-d_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example12_i-d_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example13_i-d_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example14_i-d_t-0.5.v
        if (|mip_q || debug_req_i || irq_i) begin
========================================================
example15_i-d_t-0.5.v
        if (irq_i[1]) begin
========================================================
example16_i-d_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example17_i-d_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example18_i-d_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example19_i-d_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example0_i-d_t-0.7.v
        if (irq_i[1]) begin
========================================================
example1_i-d_t-0.7.v
 https:github.com/riscv/riscv-isa-manual/pull/872
========================================================
example2_i-d_t-0.7.v
        if (irq_i) begin
========================================================
example3_i-d_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example4_i-d_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example5_i-d_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1] || !irq_i[0]) begin
========================================================
example6_i-d_t-0.7.v
        if (irq_i[1]) begin
========================================================
example7_i-d_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1]) begin
========================================================
example8_i-d_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[0]) begin
========================================================
example9_i-d_t-0.7.v
        if (|mip_q || mie_q[3:0]) begin
========================================================
example10_i-d_t-0.7.v
        if (irq_i[1]) begin
========================================================
example11_i-d_t-0.7.v
        if (irq_i[1]) begin
========================================================
example12_i-d_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[0]) begin
========================================================
example13_i-d_t-0.7.v
        if (|mip_q || debug_req_i || ~mstatus_mprv && irq_i[1]) begin
========================================================
example14_i-d_t-0.7.v
        if (|mip_q || debug_req_i || irq_i) begin
========================================================
example15_i-d_t-0.7.v
        if (irq_i[1]) begin
========================================================
example16_i-d_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example17_i-d_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example18_i-d_t-0.7.v
        if (irq_i[1]) begin
========================================================
example19_i-d_t-0.7.v
        if (|mip_q || debug_req_i || irq_i) begin
========================================================
example0_i-d_t-0.9.v
        if (|mip_q || irq_i) begin
========================================================
example1_i-d_t-0.9.v
            if (|mip_q || debug_req_i || irq_i) begin
========================================================
example2_i-d_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example3_i-d_t-0.9.v
		if (|mip_q || irq_i[1]) begin
========================================================
example4_i-d_t-0.9.v
        if (irq_i === 1 || debug_req_i) begin
========================================================
example5_i-d_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example6_i-d_t-0.9.v
        if (irq_i[1]) begin
========================================================
example7_i-d_t-0.9.v
        if (|mip_q || debug_req_i || ~irq_i[1]) begin
========================================================
example8_i-d_t-0.9.v
if (|mip_q || debug_req_i ) begin
========================================================
example9_i-d_t-0.9.v
        if (|mip_q || debug_req_i || irq_i) begin
========================================================
example10_i-d_t-0.9.v
        if (irq_i[1]) begin
========================================================
example11_i-d_t-0.9.v
        if (irq_i[1]) begin
========================================================
example12_i-d_t-0.9.v
        if (debug_req_i || irq_i[1]) begin
========================================================
example13_i-d_t-0.9.v
 if we have pending interrupts and we are not in wait-until-interrupt state, unstall
========================================================
example14_i-d_t-0.9.v
        if (irq_i[1]) begin
========================================================
example15_i-d_t-0.9.v
      if (|mip_q || irq_i[1]) begin
========================================================
example16_i-d_t-0.9.v
 DONE: If no interrupts are asserted, wfi_q clocks through.
========================================================
example17_i-d_t-0.9.v
        if (|mip_q || debug_req_i || irq_i[0]) begin
========================================================
example18_i-d_t-0.9.v
        if (1 || debug_req_i || irq_i[1] || irq_i[0]) begin
========================================================
example19_i-d_t-0.9.v
        if (irq_i[1]) begin
========================================================
example0_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example1_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example2_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example3_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example4_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example5_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example6_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example7_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example8_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example9_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example10_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example11_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example12_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example13_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example14_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example15_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example16_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example17_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example18_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example19_i-e_t-0.1.v
        if (|mip_q || irq_i[1]) begin
========================================================
example0_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example1_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example2_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example3_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example4_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example5_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example6_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example7_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example8_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example9_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example10_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example11_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example12_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example13_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example14_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example15_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example16_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example17_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example18_i-e_t-0.3.v
            if (|mip_q || irq_i[1]) begin
========================================================
example19_i-e_t-0.3.v
        if (|mip_q || irq_i[1]) begin
========================================================
example0_i-e_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example1_i-e_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example2_i-e_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example3_i-e_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example4_i-e_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example5_i-e_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example6_i-e_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example7_i-e_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example8_i-e_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example9_i-e_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example10_i-e_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example11_i-e_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example12_i-e_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example13_i-e_t-0.5.v
            if (|mip_q || debug_req_i || irq_i[1] || debug) begin
========================================================
example14_i-e_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || (mstatus_q[0] && irq_i[0])) begin
========================================================
example15_i-e_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example16_i-e_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example17_i-e_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example18_i-e_t-0.5.v
        if (|mip_q || irq_i[1]) begin
========================================================
example19_i-e_t-0.5.v
        if (|mip_q || debug_req_i || irq_i[1] || mstatus_q[3:0] == 2'b11) begin
========================================================
example0_i-e_t-0.7.v
            wfi_d = 1'b0;
========================================================
example1_i-e_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example2_i-e_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example3_i-e_t-0.7.v
        if (interrupt || debug_req_i || irq_i[1]) begin
========================================================
example4_i-e_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example5_i-e_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example6_i-e_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example7_i-e_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example8_i-e_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example9_i-e_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example10_i-e_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1] || mepc_q == ~0) begin
========================================================
example11_i-e_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example12_i-e_t-0.7.v
            wfi_d = 1'b0;
========================================================
example13_i-e_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example14_i-e_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example15_i-e_t-0.7.v
        if (|mip_q || irq_i[1]) begin
========================================================
example16_i-e_t-0.7.v
        if (|mip_q || debug_req_i) begin
========================================================
example17_i-e_t-0.7.v
        if (|mip_q[2:0]) begin
========================================================
example18_i-e_t-0.7.v
        if (|mip_q || debug_req_i || irq_i[1]) begin
========================================================
example19_i-e_t-0.7.v
        if (|debug_req_i || irq_i[1]) begin
========================================================
example0_i-e_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example1_i-e_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example2_i-e_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example3_i-e_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example4_i-e_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example5_i-e_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example6_i-e_t-0.9.v
        if (|mip_q) begin
========================================================
example7_i-e_t-0.9.v
        if (|mip_q || irq_i[1] || debug_req) begin   FIXME: CORE MARK
========================================================
example8_i-e_t-0.9.v
        if (|mip_q || irq_i[1]) begin 
========================================================
example9_i-e_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example10_i-e_t-0.9.v
        if (|mip_q || debug_req_i || irq_i[1] || (rv64e_irqn_i_n && irq_i[rv64e_irqn_i_n-1])) begin
========================================================
example11_i-e_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example12_i-e_t-0.9.v
            wfi_d = 1'b0;
========================================================
example13_i-e_t-0.9.v
        if (|mip_q || irq_i[1]) begin
========================================================
example14_i-e_t-0.9.v
        if (|mip_q || debug_req_i || nmi_q) begin
========================================================
example15_i-e_t-0.9.v
            begin
========================================================
example16_i-e_t-0.9.v
        if (irq_i[0] | irq_i[1]) begin
========================================================
example17_i-e_t-0.9.v
        if (|mip_q || debug_req_i || irq_i[1:0] || timer_i) begin
========================================================
example18_i-e_t-0.9.v
            begin
========================================================
example19_i-e_t-0.9.v
        if (__riscv_pl_mask[riscv::PRIV_LVL_M] & (mip_q | irq_i[1])) begin
========================================================
