Subversion Repositories or1200_hp

//////////////////////////////////////////////////////////////////////

////                                                              ////

////  OR1200's Exception logic                                    ////

////                                                              ////

////  This file is part of the OpenRISC 1200 project              ////

////  http://www.opencores.org/cores/or1k/                        ////

////                                                              ////

////  Description                                                 ////

////  Handles all OR1K exceptions inside CPU block.               ////

////                                                              ////

////  To Do:                                                      ////

////   - make it smaller and faster                               ////

////                                                              ////

////  Author(s):                                                  ////

////      - Damjan Lampret, lampret@opencores.org                 ////

////                                                              ////

//////////////////////////////////////////////////////////////////////

////                                                              ////

//// Copyright (C) 2000 Authors and OPENCORES.ORG                 ////

////                                                              ////

//// This source file may be used and distributed without         ////

//// restriction provided that this copyright statement is not    ////

//// removed from the file and that any derivative work contains  ////

//// the original copyright notice and the associated disclaimer. ////

////                                                              ////

//// This source file is free software; you can redistribute it   ////

//// and/or modify it under the terms of the GNU Lesser General   ////

//// Public License as published by the Free Software Foundation; ////

//// either version 2.1 of the License, or (at your option) any   ////

//// later version.                                               ////

////                                                              ////

//// This source is distributed in the hope that it will be       ////

//// useful, but WITHOUT ANY WARRANTY; without even the implied   ////

//// warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR      ////

//// PURPOSE.  See the GNU Lesser General Public License for more ////

//// details.                                                     ////

////                                                              ////

//// You should have received a copy of the GNU Lesser General    ////

//// Public License along with this source; if not, download it   ////

//// from http://www.opencores.org/lgpl.shtml                     ////

////                                                              ////

//////////////////////////////////////////////////////////////////////

//

// CVS Revision History

//

// $Log: not supported by cvs2svn $

// Revision 1.16  2004/04/05 08:29:57  lampret

// Merged branch_qmem into main tree.

//

// Revision 1.15.4.1  2004/02/11 01:40:11  lampret

// preliminary HW breakpoints support in debug unit (by default disabled). To enable define OR1200_DU_HWBKPTS.

//

// Revision 1.15  2003/04/20 22:23:57  lampret

// No functional change. Only added customization for exception vectors.

//

// Revision 1.14  2002/09/03 22:28:21  lampret

// As per Taylor Su suggestion all case blocks are full case by default and optionally (OR1200_CASE_DEFAULT) can be disabled to increase clock frequncy.

//

// Revision 1.13  2002/08/28 01:44:25  lampret

// Removed some commented RTL. Fixed SR/ESR flag bug.

//

// Revision 1.12  2002/08/22 02:16:45  lampret

// Fixed IMMU bug.

//

// Revision 1.11  2002/08/18 19:54:28  lampret

// Added store buffer.

//

// Revision 1.10  2002/07/14 22:17:17  lampret

// Added simple trace buffer [only for Xilinx Virtex target]. Fixed instruction fetch abort when new exception is recognized.

//

// Revision 1.9  2002/02/11 04:33:17  lampret

// Speed optimizations (removed duplicate _cyc_ and _stb_). Fixed D/IMMU cache-inhibit attr.

//

// Revision 1.8  2002/01/28 01:16:00  lampret

// Changed 'void' nop-ops instead of insn[0] to use insn[16]. Debug unit stalls the tick timer. Prepared new flag generation for add and and insns. Blocked DC/IC while they are turned off. Fixed I/D MMU SPRs layout except WAYs. TODO: smart IC invalidate, l.j 2 and TLB ways.

//

// Revision 1.7  2002/01/23 07:52:36  lampret

// Changed default reset values for SR and ESR to match or1ksim's. Fixed flop model in or1200_dpram_32x32 when OR1200_XILINX_RAM32X1D is defined.

//

// Revision 1.6  2002/01/18 14:21:43  lampret

// Fixed 'the NPC single-step fix'.

//

// Revision 1.5  2002/01/18 07:56:00  lampret

// No more low/high priority interrupts (PICPR removed). Added tick timer exception. Added exception prefix (SR[EPH]). Fixed single-step bug whenreading NPC.

//

// Revision 1.4  2002/01/14 21:11:50  lampret

// Changed alignment exception EPCR. Not tested yet.

//

// Revision 1.3  2002/01/14 19:09:57  lampret

// Fixed order of syscall and range exceptions.

//

// Revision 1.2  2002/01/14 06:18:22  lampret

// Fixed mem2reg bug in FAST implementation. Updated debug unit to work with new genpc/if.

//

// Revision 1.1  2002/01/03 08:16:15  lampret

// New prefixes for RTL files, prefixed module names. Updated cache controllers and MMUs.

//

// Revision 1.15  2001/11/27 23:13:11  lampret

// Fixed except_stop width and fixed EX PC for 1400444f no-ops.

//

// Revision 1.14  2001/11/23 08:38:51  lampret

// Changed DSR/DRR behavior and exception detection.

//

// Revision 1.13  2001/11/20 18:46:15  simons

// Break point bug fixed

//

// Revision 1.12  2001/11/18 09:58:28  lampret

// Fixed some l.trap typos.

//

// Revision 1.11  2001/11/18 08:36:28  lampret

// For GDB changed single stepping and disabled trap exception.

//

// Revision 1.10  2001/11/13 10:02:21  lampret

// Added 'setpc'. Renamed some signals (except_flushpipe into flushpipe etc)

//

// Revision 1.9  2001/11/10 03:43:57  lampret

// Fixed exceptions.

//

// Revision 1.8  2001/10/21 17:57:16  lampret

// Removed params from generic_XX.v. Added translate_off/on in sprs.v and id.v. Removed spr_addr from dc.v and ic.v. Fixed CR+LF.

//

// Revision 1.7  2001/10/14 13:12:09  lampret

// MP3 version.

//

// Revision 1.1.1.1  2001/10/06 10:18:36  igorm

// no message

//

// Revision 1.2  2001/08/09 13:39:33  lampret

// Major clean-up.

//

// Revision 1.1  2001/07/20 00:46:03  lampret

// Development version of RTL. Libraries are missing.

//

//

// synopsys translate_off

`include "timescale.v"

// synopsys translate_on

`include "or1200_defines.v"

`define OR1200_EXCEPTFSM_WIDTH 3

`define OR1200_EXCEPTFSM_IDLE   `OR1200_EXCEPTFSM_WIDTH'd0

`define OR1200_EXCEPTFSM_FLU1   `OR1200_EXCEPTFSM_WIDTH'd1

`define OR1200_EXCEPTFSM_FLU2   `OR1200_EXCEPTFSM_WIDTH'd2

`define OR1200_EXCEPTFSM_FLU3   `OR1200_EXCEPTFSM_WIDTH'd3

`define OR1200_EXCEPTFSM_FLU4   `OR1200_EXCEPTFSM_WIDTH'd4

`define OR1200_EXCEPTFSM_FLU5   `OR1200_EXCEPTFSM_WIDTH'd5

//

// Exception recognition and sequencing

//

module or1200_except_cm4(

                clk_i_cml_1,

                clk_i_cml_2,

                clk_i_cml_3,

        // Clock and reset

        clk, rst,

        // Internal i/f

        sig_ibuserr, sig_dbuserr, sig_illegal, sig_align, sig_range, sig_dtlbmiss, sig_dmmufault,

        sig_int, sig_syscall, sig_trap, sig_itlbmiss, sig_immufault, sig_tick,

        branch_taken, genpc_freeze, id_freeze, ex_freeze, wb_freeze, if_stall,

        if_pc, id_pc, lr_sav, flushpipe, extend_flush, except_type, except_start,

        except_started, except_stop, ex_void,

        spr_dat_ppc, spr_dat_npc, datain, du_dsr, epcr_we, eear_we, esr_we, pc_we, epcr, eear,

        esr, sr_we, to_sr, sr, lsu_addr, abort_ex, icpu_ack_i, icpu_err_i, dcpu_ack_i, dcpu_err_i

);

input clk_i_cml_1;

input clk_i_cml_2;

input clk_i_cml_3;

reg  sig_dbuserr_cml_3;

reg  sig_dbuserr_cml_2;

reg  sig_illegal_cml_3;

reg  sig_illegal_cml_2;

reg  sig_illegal_cml_1;

reg  sig_align_cml_3;

reg  sig_align_cml_2;

reg  sig_align_cml_1;

reg  sig_range_cml_3;

reg  sig_dtlbmiss_cml_3;

reg  sig_dtlbmiss_cml_2;

reg  sig_dmmufault_cml_3;

reg  sig_dmmufault_cml_2;

reg  sig_int_cml_2;

reg  sig_syscall_cml_3;

reg  sig_syscall_cml_2;

reg  sig_syscall_cml_1;

reg  sig_trap_cml_3;

reg  sig_trap_cml_2;

reg  sig_trap_cml_1;

reg  branch_taken_cml_3;

reg  branch_taken_cml_2;

reg  ex_freeze_cml_3;

reg  wb_freeze_cml_3;

reg  if_stall_cml_3;

reg [ 31 : 0 ] id_pc_cml_3;

reg [ 31 : 0 ] id_pc_cml_2;

reg [ 31 : 0 ] id_pc_cml_1;

reg [ 31 : 0 ] datain_cml_3;

reg [ 31 : 0 ] datain_cml_2;

reg [ 31 : 0 ] datain_cml_1;

reg [ 14 - 1 : 0 ] du_dsr_cml_3;

reg  pc_we_cml_3;

reg  pc_we_cml_2;

reg [ 31 : 0 ] epcr_cml_3;

reg [ 31 : 0 ] epcr_cml_2;

reg [ 31 : 0 ] epcr_cml_1;

reg [ 31 : 0 ] eear_cml_3;

reg [ 31 : 0 ] eear_cml_2;

reg [ 31 : 0 ] eear_cml_1;

reg [ 16 - 1 : 0 ] esr_cml_3;

reg [ 16 - 1 : 0 ] esr_cml_2;

reg [ 16 - 1 : 0 ] esr_cml_1;

reg [ 16 - 1 : 0 ] to_sr_cml_3;

reg [ 16 - 1 : 0 ] to_sr_cml_2;

reg  sr_we_cml_3;

reg  sr_we_cml_2;

reg [ 16 - 1 : 0 ] sr_cml_3;

reg [ 16 - 1 : 0 ] sr_cml_2;

reg [ 16 - 1 : 0 ] sr_cml_1;

reg [ 31 : 0 ] lsu_addr_cml_3;

reg [ 31 : 0 ] lsu_addr_cml_2;

reg [ 31 : 0 ] lsu_addr_cml_1;

reg  extend_flush_cml_3;

reg  extend_flush_cml_2;

reg  extend_flush_cml_1;

reg [ 4 - 1 : 0 ] except_type_cml_3;

reg [ 4 - 1 : 0 ] except_type_cml_2;

reg [ 4 - 1 : 0 ] except_type_cml_1;

reg  except_start_cml_3;

reg  except_start_cml_2;

reg  except_start_cml_1;

reg  icpu_ack_i_cml_3;

reg  icpu_ack_i_cml_2;

reg  icpu_err_i_cml_3;

reg [ 31 : 0 ] ex_pc_cml_3;

reg [ 31 : 0 ] ex_pc_cml_2;

reg [ 31 : 0 ] ex_pc_cml_1;

reg [ 31 : 0 ] wb_pc_cml_3;

reg [ 31 : 0 ] wb_pc_cml_2;

reg [ 31 : 0 ] wb_pc_cml_1;

reg [ 2 : 0 ] id_exceptflags_cml_3;

reg [ 2 : 0 ] id_exceptflags_cml_2;

reg [ 2 : 0 ] id_exceptflags_cml_1;

reg [ 2 : 0 ] ex_exceptflags_cml_3;

reg [ 2 : 0 ] ex_exceptflags_cml_2;

reg [ 2 : 0 ] ex_exceptflags_cml_1;

reg [ 3 - 1 : 0 ] state_cml_3;

reg [ 3 - 1 : 0 ] state_cml_2;

reg [ 3 - 1 : 0 ] state_cml_1;

reg  extend_flush_last_cml_3;

reg  extend_flush_last_cml_2;

reg  extend_flush_last_cml_1;

reg  ex_dslot_cml_3;

reg  ex_dslot_cml_2;

reg  ex_dslot_cml_1;

reg  delayed1_ex_dslot_cml_3;

reg  delayed1_ex_dslot_cml_2;

reg  delayed1_ex_dslot_cml_1;

reg  delayed2_ex_dslot_cml_3;

reg  delayed2_ex_dslot_cml_2;

reg  delayed2_ex_dslot_cml_1;

reg [ 12 : 0 ] except_trig_cml_3;

reg [ 2 : 0 ] delayed_iee_cml_3;

reg [ 2 : 0 ] delayed_iee_cml_2;

reg [ 2 : 0 ] delayed_iee_cml_1;

reg [ 2 : 0 ] delayed_tee_cml_3;

reg [ 2 : 0 ] delayed_tee_cml_2;

reg [ 2 : 0 ] delayed_tee_cml_1;

reg  int_pending_cml_3;

reg  tick_pending_cml_3;

//

// I/O

//

input                           clk;

input                           rst;

input                           sig_ibuserr;

input                           sig_dbuserr;

input                           sig_illegal;

input                           sig_align;

input                           sig_range;

input                           sig_dtlbmiss;

input                           sig_dmmufault;

input                           sig_int;

input                           sig_syscall;

input                           sig_trap;

input                           sig_itlbmiss;

input                           sig_immufault;

input                           sig_tick;

input                           branch_taken;

input                           genpc_freeze;

input                           id_freeze;

input                           ex_freeze;

input                           wb_freeze;

input                           if_stall;

input   [31:0]                   if_pc;

output  [31:0]                   id_pc;

output  [31:2]                  lr_sav;

input   [31:0]                   datain;

input   [`OR1200_DU_DSR_WIDTH-1:0]     du_dsr;

input                           epcr_we;

input                           eear_we;

input                           esr_we;

input                           pc_we;

output  [31:0]                   epcr;

output  [31:0]                   eear;

output  [`OR1200_SR_WIDTH-1:0]   esr;

input   [`OR1200_SR_WIDTH-1:0]   to_sr;

input                           sr_we;

input   [`OR1200_SR_WIDTH-1:0]   sr;

input   [31:0]                   lsu_addr;

output                          flushpipe;

output                          extend_flush;

output  [`OR1200_EXCEPT_WIDTH-1:0]       except_type;

output                          except_start;

output                          except_started;

output  [12:0]                   except_stop;

input                           ex_void;

output  [31:0]                   spr_dat_ppc;

output  [31:0]                   spr_dat_npc;

output                          abort_ex;

input                           icpu_ack_i;

input                           icpu_err_i;

input                           dcpu_ack_i;

input                           dcpu_err_i;

//

// Internal regs and wires

//

reg     [`OR1200_EXCEPT_WIDTH-1:0]       except_type;

reg     [31:0]                   id_pc;

reg     [31:0]                   ex_pc;

reg     [31:0]                   wb_pc;

reg     [31:0]                   epcr;

reg     [31:0]                   eear;

reg     [`OR1200_SR_WIDTH-1:0]           esr;

reg     [2:0]                    id_exceptflags;

reg     [2:0]                    ex_exceptflags;

reg     [`OR1200_EXCEPTFSM_WIDTH-1:0]    state;

reg                             extend_flush;

reg                             extend_flush_last;

reg                             ex_dslot;

reg                             delayed1_ex_dslot;

reg                             delayed2_ex_dslot;

wire                            except_started;

wire    [12:0]                   except_trig;

wire                            except_flushpipe;

reg     [2:0]                    delayed_iee;

reg     [2:0]                    delayed_tee;

wire                            int_pending;

wire                            tick_pending;

//

// Simple combinatorial logic

//

// SynEDA CoreMultiplier

// assignment(s): except_started

// replace(s): extend_flush, except_start

assign except_started = extend_flush_cml_3 & except_start_cml_3;

assign lr_sav = ex_pc[31:2];

// SynEDA CoreMultiplier

// assignment(s): spr_dat_ppc

// replace(s): wb_pc

assign spr_dat_ppc = wb_pc_cml_1;

// SynEDA CoreMultiplier

// assignment(s): spr_dat_npc

// replace(s): id_pc, ex_pc

assign spr_dat_npc = ex_void ? id_pc_cml_1 : ex_pc_cml_1;

assign except_start = (except_type != `OR1200_EXCEPT_NONE) & extend_flush;

// SynEDA CoreMultiplier

// assignment(s): int_pending

// replace(s): sig_int, branch_taken, sr_we, sr, ex_dslot, delayed_iee

assign int_pending = sig_int_cml_2 & sr_cml_2[`OR1200_SR_IEE] & delayed_iee_cml_2[2] & ~ex_freeze & ~branch_taken_cml_2 & ~ex_dslot_cml_2 & ~sr_we_cml_2;

// SynEDA CoreMultiplier

// assignment(s): tick_pending

// replace(s): branch_taken, sr_we, sr, ex_dslot

assign tick_pending = sig_tick & sr_cml_2[`OR1200_SR_TEE] & ~ex_freeze & ~branch_taken_cml_2 & ~ex_dslot_cml_2 & ~sr_we_cml_2;

// SynEDA CoreMultiplier

// assignment(s): abort_ex

// replace(s): sig_illegal, sig_align

assign abort_ex = sig_dbuserr | sig_dmmufault | sig_dtlbmiss | sig_align_cml_1 | sig_illegal_cml_1;             // Abort write into RF by load & other instructions

//

// Order defines exception detection priority

//

// SynEDA CoreMultiplier

// assignment(s): except_trig

// replace(s): sig_dbuserr, sig_illegal, sig_align, sig_dtlbmiss, sig_dmmufault, sig_syscall, sig_trap, ex_exceptflags

assign except_trig = {

                        tick_pending            & ~du_dsr[`OR1200_DU_DSR_TTE],

                        int_pending             & ~du_dsr[`OR1200_DU_DSR_IE],

                        ex_exceptflags_cml_2[1] & ~du_dsr[`OR1200_DU_DSR_IME],

                        ex_exceptflags_cml_2[0]  & ~du_dsr[`OR1200_DU_DSR_IPFE],

                        ex_exceptflags_cml_2[2] & ~du_dsr[`OR1200_DU_DSR_BUSEE],

                        sig_illegal_cml_2               & ~du_dsr[`OR1200_DU_DSR_IIE],

                        sig_align_cml_2         & ~du_dsr[`OR1200_DU_DSR_AE],

                        sig_dtlbmiss_cml_2              & ~du_dsr[`OR1200_DU_DSR_DME],

                        sig_dmmufault_cml_2             & ~du_dsr[`OR1200_DU_DSR_DPFE],

                        sig_dbuserr_cml_2               & ~du_dsr[`OR1200_DU_DSR_BUSEE],

                        sig_range               & ~du_dsr[`OR1200_DU_DSR_RE],

                        sig_trap_cml_2          & ~du_dsr[`OR1200_DU_DSR_TE] & ~ex_freeze,

                        sig_syscall_cml_2               & ~du_dsr[`OR1200_DU_DSR_SCE] & ~ex_freeze

                };

// SynEDA CoreMultiplier

// assignment(s): except_stop

// replace(s): sig_dbuserr, sig_illegal, sig_align, sig_range, sig_dtlbmiss, sig_dmmufault, sig_syscall, sig_trap, ex_freeze, du_dsr, ex_exceptflags, int_pending, tick_pending

assign except_stop = {

                        tick_pending_cml_3              & du_dsr_cml_3[`OR1200_DU_DSR_TTE],

                        int_pending_cml_3               & du_dsr_cml_3[`OR1200_DU_DSR_IE],

                        ex_exceptflags_cml_3[1] & du_dsr_cml_3[`OR1200_DU_DSR_IME],

                        ex_exceptflags_cml_3[0]  & du_dsr_cml_3[`OR1200_DU_DSR_IPFE],

                        ex_exceptflags_cml_3[2] & du_dsr_cml_3[`OR1200_DU_DSR_BUSEE],

                        sig_illegal_cml_3               & du_dsr_cml_3[`OR1200_DU_DSR_IIE],

                        sig_align_cml_3         & du_dsr_cml_3[`OR1200_DU_DSR_AE],

                        sig_dtlbmiss_cml_3              & du_dsr_cml_3[`OR1200_DU_DSR_DME],

                        sig_dmmufault_cml_3             & du_dsr_cml_3[`OR1200_DU_DSR_DPFE],

                        sig_dbuserr_cml_3               & du_dsr_cml_3[`OR1200_DU_DSR_BUSEE],

                        sig_range_cml_3         & du_dsr_cml_3[`OR1200_DU_DSR_RE],

                        sig_trap_cml_3          & du_dsr_cml_3[`OR1200_DU_DSR_TE] & ~ex_freeze_cml_3,

                        sig_syscall_cml_3               & du_dsr_cml_3[`OR1200_DU_DSR_SCE] & ~ex_freeze_cml_3

                };

//

// PC and Exception flags pipelines

//

// SynEDA CoreMultiplier

// assignment(s): id_pc, id_exceptflags

// replace(s): id_pc, id_exceptflags

always @(posedge clk or posedge rst) begin

        if (rst) begin

                id_pc <= #1 32'd0;

                id_exceptflags <= #1 3'b000;

        end

        else begin  id_exceptflags <= id_exceptflags_cml_3; id_pc <= id_pc_cml_3; if (flushpipe) begin

                id_pc <= #1 32'h0000_0000;

                id_exceptflags <= #1 3'b000;

        end

        else if (!id_freeze) begin

                id_pc <= #1 if_pc;

                id_exceptflags <= #1 { sig_ibuserr, sig_itlbmiss, sig_immufault };

        end end

end

//

// delayed_iee

//

// SR[IEE] should not enable interrupts right away

// when it is restored with l.rfe. Instead delayed_iee

// together with SR[IEE] enables interrupts once

// pipeline is again ready.

//

// SynEDA CoreMultiplier

// assignment(s): delayed_iee

// replace(s): sr, delayed_iee

always @(posedge rst or posedge clk)

        if (rst)

                delayed_iee <= #1 3'b000;

        else begin  delayed_iee <= delayed_iee_cml_3; if (!sr_cml_3[`OR1200_SR_IEE])

                delayed_iee <= #1 3'b000;

        else

                delayed_iee <= #1 {delayed_iee_cml_3[1:0], 1'b1}; end

//

// delayed_tee

//

// SR[TEE] should not enable tick exceptions right away

// when it is restored with l.rfe. Instead delayed_tee

// together with SR[TEE] enables tick exceptions once

// pipeline is again ready.

//

// SynEDA CoreMultiplier

// assignment(s): delayed_tee

// replace(s): sr, delayed_tee

always @(posedge rst or posedge clk)

        if (rst)

                delayed_tee <= #1 3'b000;

        else begin  delayed_tee <= delayed_tee_cml_3; if (!sr_cml_3[`OR1200_SR_TEE])

                delayed_tee <= #1 3'b000;

        else

                delayed_tee <= #1 {delayed_tee_cml_3[1:0], 1'b1}; end

//

// PC and Exception flags pipelines

//

// SynEDA CoreMultiplier

// assignment(s): ex_pc, ex_exceptflags, ex_dslot, delayed1_ex_dslot, delayed2_ex_dslot

// replace(s): ex_freeze, id_pc, ex_pc, id_exceptflags, ex_exceptflags, branch_taken, ex_dslot, delayed1_ex_dslot, delayed2_ex_dslot

always @(posedge clk or posedge rst) begin

        if (rst) begin

                ex_dslot <= #1 1'b0;

                ex_pc <= #1 32'd0;

                ex_exceptflags <= #1 3'b000;

                delayed1_ex_dslot <= #1 1'b0;

                delayed2_ex_dslot <= #1 1'b0;

        end

        else begin  delayed2_ex_dslot <= delayed2_ex_dslot_cml_3; delayed1_ex_dslot <= delayed1_ex_dslot_cml_3; ex_dslot <= ex_dslot_cml_3; ex_exceptflags <= ex_exceptflags_cml_3; ex_pc <= ex_pc_cml_3; if (flushpipe) begin

                ex_dslot <= #1 1'b0;

                ex_pc <= #1 32'h0000_0000;

                ex_exceptflags <= #1 3'b000;

                delayed1_ex_dslot <= #1 1'b0;

                delayed2_ex_dslot <= #1 1'b0;

        end

        else if (!ex_freeze_cml_3 & id_freeze) begin

                ex_dslot <= #1 1'b0;

                ex_pc <= #1 id_pc_cml_3;

                ex_exceptflags <= #1 3'b000;

                delayed1_ex_dslot <= #1 ex_dslot_cml_3;

                delayed2_ex_dslot <= #1 delayed1_ex_dslot_cml_3;

        end

        else if (!ex_freeze_cml_3) begin

                ex_dslot <= #1 branch_taken_cml_3;

                ex_pc <= #1 id_pc_cml_3;

                ex_exceptflags <= #1 id_exceptflags_cml_3;

                delayed1_ex_dslot <= #1 ex_dslot_cml_3;

                delayed2_ex_dslot <= #1 delayed1_ex_dslot_cml_3;

        end end

end

//

// PC and Exception flags pipelines

//

// SynEDA CoreMultiplier

// assignment(s): wb_pc

// replace(s): wb_freeze, ex_pc, wb_pc

always @(posedge clk or posedge rst) begin

        if (rst) begin

                wb_pc <= #1 32'd0;

        end

        else begin  wb_pc <= wb_pc_cml_3; if (!wb_freeze_cml_3) begin

                wb_pc <= #1 ex_pc_cml_3;

        end end

end

//

// Flush pipeline

//

// SynEDA CoreMultiplier

// assignment(s): flushpipe

// replace(s): pc_we, extend_flush

assign flushpipe = except_flushpipe | pc_we_cml_3 | extend_flush_cml_3;

//

// We have started execution of exception handler:

//  1. Asserted for 3 clock cycles

//  2. Don't execute any instruction that is still in pipeline and is not part of exception handler

//

// SynEDA CoreMultiplier

// assignment(s): except_flushpipe

// replace(s): state, except_trig

assign except_flushpipe = |except_trig_cml_3 & ~|state_cml_3;

//

// Exception FSM that sequences execution of exception handler

//

// except_type signals which exception handler we start fetching in:

//  1. Asserted in next clock cycle after exception is recognized

//

// SynEDA CoreMultiplier

// assignment(s): epcr, eear, esr, extend_flush, except_type, state, extend_flush_last

// replace(s): id_pc, datain, pc_we, epcr, ex_pc, wb_pc, state, ex_dslot, delayed1_ex_dslot, delayed2_ex_dslot, except_trig, eear, lsu_addr, esr, to_sr, sr_we, sr, extend_flush, except_type, if_stall, icpu_ack_i, icpu_err_i, extend_flush_last

always @(posedge clk or posedge rst) begin

        if (rst) begin

                state <= #1 `OR1200_EXCEPTFSM_IDLE;

                except_type <= #1 `OR1200_EXCEPT_NONE;

                extend_flush <= #1 1'b0;

                epcr <= #1 32'b0;

                eear <= #1 32'b0;

                esr <= #1 {1'b1, {`OR1200_SR_WIDTH-2{1'b0}}, 1'b1};

                extend_flush_last <= #1 1'b0;

        end

        else begin begin  extend_flush_last <= extend_flush_last_cml_3; state <= state_cml_3; except_type <= except_type_cml_3; extend_flush <= extend_flush_cml_3; esr <= esr_cml_3; eear <= eear_cml_3; epcr <= epcr_cml_3;

`ifdef OR1200_CASE_DEFAULT

                case (state_cml_3)      // synopsys parallel_case

`else

                case (state_cml_3)      // synopsys full_case parallel_case

`endif

                        `OR1200_EXCEPTFSM_IDLE:

                                if (except_flushpipe) begin

                                        state <= #1 `OR1200_EXCEPTFSM_FLU1;

                                        extend_flush <= #1 1'b1;

                                        esr <= #1 sr_we_cml_3 ? to_sr_cml_3 : sr_cml_3;

                                        casex (except_trig_cml_3)

`ifdef OR1200_EXCEPT_TICK

                                                13'b1_xxxx_xxxx_xxxx: begin

                                                        except_type <= #1 `OR1200_EXCEPT_TICK;

                                                        epcr <= #1 ex_dslot_cml_3 ? wb_pc_cml_3 : delayed1_ex_dslot_cml_3 ? id_pc_cml_3 : delayed2_ex_dslot_cml_3 ? id_pc_cml_3 : id_pc_cml_3;

                                                end

`endif

`ifdef OR1200_EXCEPT_INT

                                                13'b0_1xxx_xxxx_xxxx: begin

                                                        except_type <= #1 `OR1200_EXCEPT_INT;

                                                        epcr <= #1 ex_dslot_cml_3 ? wb_pc_cml_3 : delayed1_ex_dslot_cml_3 ? id_pc_cml_3 : delayed2_ex_dslot_cml_3 ? id_pc_cml_3 : id_pc_cml_3;

                                                end

`endif

`ifdef OR1200_EXCEPT_ITLBMISS

                                                13'b0_01xx_xxxx_xxxx: begin

                                                        except_type <= #1 `OR1200_EXCEPT_ITLBMISS;

//

// itlb miss exception and active ex_dslot caused wb_pc to put into eear instead of +4 address of ex_pc (or id_pc since it was equal to ex_pc?)

//                                                      eear <= #1 ex_dslot ? wb_pc : delayed1_ex_dslot ? id_pc : delayed2_ex_dslot ? id_pc : id_pc;

//      mmu-icdc-O2 ex_pc only OK when no ex_dslot      eear <= #1 ex_dslot ? ex_pc : delayed1_ex_dslot ? id_pc : delayed2_ex_dslot ? id_pc : id_pc;

//      mmu-icdc-O2 ex_pc only OK when no ex_dslot      epcr <= #1 ex_dslot ? wb_pc : delayed1_ex_dslot ? id_pc : delayed2_ex_dslot ? id_pc : id_pc;

                                                        eear <= #1 ex_dslot_cml_3 ? ex_pc_cml_3 : ex_pc_cml_3;

                                                        epcr <= #1 ex_dslot_cml_3 ? wb_pc_cml_3 : ex_pc_cml_3;

//                                                      eear <= #1 ex_dslot ? ex_pc : delayed1_ex_dslot ? id_pc : delayed2_ex_dslot ? id_pc : id_pc;

//                                                      epcr <= #1 ex_dslot ? wb_pc : delayed1_ex_dslot ? id_pc : delayed2_ex_dslot ? id_pc : id_pc;

                                                end

`endif

`ifdef OR1200_EXCEPT_IPF

                                                13'b0_001x_xxxx_xxxx: begin

                                                        except_type <= #1 `OR1200_EXCEPT_IPF;

//

// ipf exception and active ex_dslot caused wb_pc to put into eear instead of +4 address of ex_pc (or id_pc since it was equal to ex_pc?)

//                                                      eear <= #1 ex_dslot ? wb_pc : delayed1_ex_dslot ? id_pc : delayed2_ex_dslot ? id_pc : id_pc;

                                                        eear <= #1 ex_dslot_cml_3 ? ex_pc_cml_3 : delayed1_ex_dslot_cml_3 ? id_pc_cml_3 : delayed2_ex_dslot_cml_3 ? id_pc_cml_3 : id_pc_cml_3;

                                                        epcr <= #1 ex_dslot_cml_3 ? wb_pc_cml_3 : delayed1_ex_dslot_cml_3 ? id_pc_cml_3 : delayed2_ex_dslot_cml_3 ? id_pc_cml_3 : id_pc_cml_3;

                                                end

`endif

`ifdef OR1200_EXCEPT_BUSERR

                                                13'b0_0001_xxxx_xxxx: begin

                                                        except_type <= #1 `OR1200_EXCEPT_BUSERR;

                                                        eear <= #1 ex_dslot_cml_3 ? wb_pc_cml_3 : ex_pc_cml_3;

                                                        epcr <= #1 ex_dslot_cml_3 ? wb_pc_cml_3 : ex_pc_cml_3;

                                                end

`endif

`ifdef OR1200_EXCEPT_ILLEGAL

                                                13'b0_0000_1xxx_xxxx: begin

                                                        except_type <= #1 `OR1200_EXCEPT_ILLEGAL;

                                                        eear <= #1 ex_pc_cml_3;

                                                        epcr <= #1 ex_dslot_cml_3 ? wb_pc_cml_3 : ex_pc_cml_3;

                                                end

`endif

`ifdef OR1200_EXCEPT_ALIGN

                                                13'b0_0000_01xx_xxxx: begin

                                                        except_type <= #1 `OR1200_EXCEPT_ALIGN;

                                                        eear <= #1 lsu_addr_cml_3;