Please wait until document has finished loading (reload)

[Donate]

-- $(lic)
-- $(help_generic)
-- $(help_local)

library ieee;
use ieee.std_logic_1164.all;
use work.int.all;
use work.armcoproc.all;
use work.armsctrl.all;
use work.armcp_comp.all;

entity armcp_sctrl is
  port ( 
    rst     : in  std_logic;
    clk     : in  std_logic;
    i       : in  aco_in;
    o       : out aco_out
    );
end armcp_sctrl;

architecture rtl of armcp_sctrl is
  
  type armcp_sctrl_insn_type is record
    decinsn : aco_decinsn;
    cr1, cr2 : std_logic_vector(ACO_CREG_U downto ACO_CREG_D);
    opc : std_logic_vector(ACO_COPC_U downto ACO_COPC_D);
    valid : std_logic;
  end record;
  type armcp_sctrl_dereg_type is record
    insn : armcp_sctrl_insn_type;
    CPDE_PRDR : aco_CPDE_PRDR_out;
  end record;
  type armcp_sctrl_exreg_type is record
    insn : armcp_sctrl_insn_type;
    CPEX_PRRR : aco_CPEX_PRRR_out;
  end record;
  type armcp_sctrl_wrreg_type is record
    insn : armcp_sctrl_insn_type;
  end record;  
  type armcp_sctrl_wrreg_type_a is array (natural range <>) of armcp_sctrl_wrreg_type;
  type armcp_sctrl_reg_type is record
    de : armcp_sctrl_dereg_type;
    ex : armcp_sctrl_exreg_type;
    wr : armcp_sctrl_wrreg_type_a(4 downto 0);
    regs : acpsc_regs;
    regslock : std_logic_vector (3 downto 0);
  end record;
  type armcp_sctrl_tmp_type is record
    fe_de : armcp_sctrl_dereg_type;
    de_de : armcp_sctrl_dereg_type;
    de_ex : armcp_sctrl_exreg_type;
    ex_wr : armcp_sctrl_wrreg_type;
    
    regs : acpsc_regs;
    o : aco_out;
  end record;

  type armcp_sctrl_dbg_type is record
     dummy : std_logic;
     -- pragma translate_off
     dbg : armcp_sctrl_tmp_type;
     -- pragma translate_on
  end record;
  signal r, c       : armcp_sctrl_reg_type;
  signal rdbg, cdbg : armcp_sctrl_dbg_type;

begin  
    
  p0: process (clk, rst, r, i  )
    variable v    : armcp_sctrl_reg_type;
    variable t    : armcp_sctrl_tmp_type;
    variable vdbg : armcp_sctrl_dbg_type;
  begin 

--                                            locking>|<
--  +---------+---------+---------+---------+---------+---------+---------+---------+---------+---------+
--  |IMSTG    |FESTG    |DESTG    |DRSTG    |RRSTG    |RSSTG    |EXSTG    |DMSTG    |MESTG    |WRSTG    |
--  |         |         |         |         |         |         |take     |         |         |         |
--  |         |         |         |[undef]  |         |         |[undef]  |         |         |         |
--  |         |         |         |         |         |         |         |         |         |         |
--  |         |         |[insn]   |         |         |         |         |         |         |         |
--  +---------+---------++--------++--------+-+-------+---------+---------+---------+---------+-------+-+
--                       V         /\         /\                                                      V   
--                      ++--------++--------+-+-------+---------+---------+---------+---------+-------+-+           
--                      |         | ldc/stc | reg/lock|                                       |ldc/mrc| |         
--                      |         | ctrl    | stc/mcr |                                       |[reg] <+ |         
--                      |         | busy    |         |                                       |commit   |                 
--                      |         |         |         |                                       |use id   | 
--                      +---------+---------+---------+                                       +---------+           
--                         CPFE      CPDEC     CPEX                                                                   
--                      |<  DRSTG.netxinsn controled >|
--
--

    -- $(init(t:armcp_sctrl_tmp_type))
    
    v := r;

    t.o.CPDE_PRDR := r.de.CPDE_PRDR;
    t.o.CPEX_PRRR := r.ex.CPEX_PRRR;

-------------------------------------------------------------------------------
    -- CPFESTG
    t.fe_de.insn.decinsn := aco_decodev4(i.fromPRDE_insn);
    t.fe_de.CPDE_PRDR.active := '1';              -- udef trap
    t.fe_de.CPDE_PRDR.busy := '0';              -- drive ctrlo.hold
    t.fe_de.CPDE_PRDR.last := '1';              -- drive cmd_cl/cmd_cs issue
    t.fe_de.CPDE_PRDR.accept := '1';              -- udef trap
    t.fe_de.insn.cr1 := i.fromPRDE_insn(ACO_MCRMRC_CRN_U downto ACO_MCRMRC_CRN_D);
    t.fe_de.insn.cr2 := i.fromPRDE_insn(ACO_MCRMRC_CRM_U downto ACO_MCRMRC_CRM_D);
    t.fe_de.insn.opc := i.fromPRDE_insn(ACO_MCRMRC_OPCODE1_U downto ACO_MCRMRC_OPCODE1_D);
    t.fe_de.insn.valid := i.fromPRDE_valid;
    case t.fe_de.insn.decinsn is
      when ACO_type_none => 
      when ACO_type_cdp =>
      when ACO_type_mrc =>
      when ACO_type_mcr =>
      when ACO_type_stc => 
      when ACO_type_ldc =>
      when others => 
    end case;
    
-------------------------------------------------------------------------------
    -- CPDESTG
    t.de_de := r.de;
    t.de_ex.insn := r.de.insn;
    t.de_ex.insn.valid := t.de_ex.insn.valid and i.fromPRDR_valid;
    t.de_ex.CPEX_PRRR.lock := '0';
    t.de_ex.CPEX_PRRR.data := (others => '0');
    case r.de.insn.decinsn is
      when ACO_type_none => 
      when ACO_type_cdp =>
      when ACO_type_mrc |
           ACO_type_stc =>
      when ACO_type_mcr |
           ACO_type_ldc =>
        v.regslock(lin_convint(r.de.insn.cr1(1 downto 0))) := '1';
      when others => 
    end case;
    
-------------------------------------------------------------------------------
    -- CPEXSTG
    t.ex_wr.insn := r.ex.insn;
    t.ex_wr.insn.valid := t.ex_wr.insn.valid and i.fromPRRR_valid;
    case r.ex.insn.decinsn is
      when ACO_type_mrc =>
        t.o.CPEX_PRRR.lock := r.regslock(lin_convint(r.ex.insn.cr1(1 downto 0)));
        case r.ex.insn.cr1  is
          when "0000" =>
            case r.ex.insn.opc is
              when "000" => t.o.CPEX_PRRR.data := ACPSC_R0_OP0;
              when "001" => t.o.CPEX_PRRR.data := ACPSC_R0_OP1;
              when others => null;
            end case;
          when "0001" =>
            t.o.CPEX_PRRR.data := acpsc_r1tostd(r.regs.r1);
          when "0010" =>
            t.o.CPEX_PRRR.data := r.regs.r2;
          when others => 
        end case;
      when others => 
    end case;
        
-------------------------------------------------------------------------------
    -- CPWRSTG
    t.regs := r.regs; 
    if r.wr(0).insn.valid = '1' and i.fromPRWR_valid = '1' then 
      case r.wr(0).insn.decinsn is 
        when ACO_type_none => 
        when ACO_type_cdp => 
        when ACO_type_mrc => 
        when ACO_type_mcr |
             ACO_type_ldc => 
          v.regslock(lin_convint(r.wr(0).insn.cr1(1 downto 0))) := '0';
          case r.wr(0).insn.cr1  is 
            when "0001" => 
              acpsc_stdtor1( i.fromPRWR_data_v, t.regs.r1);
            when "0010" =>
              t.regs.r2 := i.fromPRWR_data_v;
            when others => 
          end case; 
        when ACO_type_stc => 
        when others => 
      end case; 
    end if; 
    
-------------------------------------------------------------------------------
    
    t.ex_wr.insn.valid := i.fromPRDR_nextinsn_v;
    if i.hold_r.hold = '0' then
      if i.fromPRDR_nextinsn_v = '1' then
        -- CPFESTG -> CPDESTG
        v.de := t.fe_de;
        -- CPDESTG -> CPEXSTG
        v.ex := t.de_ex;
      end if;
      
      -- CPEXSTG ->...-> CPWRSTG
      for i in 3 downto 0 loop
        v.wr(i) := r.wr(i+1);
      end loop;
      v.wr(4) := t.ex_wr;

      v.regs := t.regs;
    end if;
    
    -- reset
    if ( rst = '0' ) then
      v.regs.r1.mmu := '0';
      v.regslock := (others => '0');
    end if;


    c <= v;
    
    o <= t.o;
    
    -- pragma translate_off
    vdbg := rdbg;
    vdbg.dbg := t;
    cdbg <= vdbg;
    -- pragma translate_on  
    
  end process p0;
    
  pregs : process (clk, c)
  begin
    if rising_edge(clk) then
      r <= c;
      -- pragma translate_off
      rdbg <= cdbg;
      -- pragma translate_on
    end if;
  end process;
  
end rtl;

File /tmp/build_html/vhdl/libs/int.vhd used by /tmp/build_html/vhdl/core/ctrl/irqctrl.vhd used by /tmp/build_html/vhdl/bus/ahbmst_mp.vhd used by /tmp/build_html/vhdl/mem/cache/libs/gencmem_lib.vhd used by /tmp/build_html/vhdl/mem/cache/libs/gendc_lib.vhd used by /tmp/build_html/vhdl/mem/cache/libs/genic_lib.vhd used by /tmp/build_html/vhdl/mem/cache/genic.vhd used by /tmp/build_html/vhdl/mem/cache/genwbfifo.vhd used by /tmp/build_html/vhdl/mem/cache/genwbfifo.vhd used by /tmp/build_html/vhdl/mem/cache/setrepl.vhd used by /tmp/build_html/vhdl/mem/cache/gendc.vhd used by /tmp/build_html/vhdl/arm/arm_comp.vhd used by /tmp/build_html/vhdl/arm/armiu_festg.vhd used by /tmp/build_html/vhdl/arm/libs/armcmd.vhd used by /tmp/build_html/vhdl/arm/armcmd_cr.vhd used by /tmp/build_html/vhdl/arm/armcmd_cs.vhd used by /tmp/build_html/vhdl/arm/armiu_drstg.vhd used by /tmp/build_html/vhdl/arm/armiu_rsstg.vhd used by /tmp/build_html/vhdl/arm/cp/armcp_comp.vhd used by /tmp/build_html/soft/doc/test/.config.vhd

File /tmp/build_html/vhdl/arm/cp/libs/armcoproc.vhd used by /tmp/build_html/vhdl/arm/cp/armcp_comp.vhd used by /tmp/build_html/vhdl/arm/cp/armcp_sctrl.vhd used by /tmp/build_html/vhdl/arm/armiu.vhd

File /tmp/build_html/vhdl/arm/cp/libs/armsctrl.vhd used by /tmp/build_html/vhdl/arm/cp/armcp_sctrl.vhd

File /tmp/build_html/vhdl/arm/cp/armcp_comp.vhd used by /tmp/build_html/vhdl/arm/cp/armcp_sctrl.vhd used by /tmp/build_html/vhdl/arm/armiu.vhd

File /tmp/build_html/vhdl/arm/cp/armcp_sctrl.vhd

Enum astates defined in /tmp/build_html/vhdl/sparc/mmu_acache.vhd type astates is (idle, dcache, icache, mmu);

Enum rdatatype defined in /tmp/build_html/vhdl/sparc/mmu_icache.vhd type rdatatype is (itag, idata, memory);

Type cli_hold defined in /tmp/build_html/vhdl/core/libs/corelib.vhd type cli_hold is record hold : std_logic; -- hold dhold : std_logic; -- dcache hold ihold : std_logic; -- icache hold end record;

Type aco_in defined in /tmp/build_html/vhdl/arm/cp/libs/armcoproc.vhd type aco_in is record hold_r : cli_hold; -- PRDESTG ->CPFESTG fromPRDE_insn : std_logic_vector(31 downto 0); fromPRDE_valid : std_logic; -- PRDRSTG ->CPDESTG fromPRDR_nextinsn_v : std_logic; fromPRDR_valid : std_logic; -- PRRRSTG ->CPEXSTG fromPRRR_valid : std_logic; -- PRWRSTG ->CPWRSTG fromPRWR_data_v : std_logic_vector(31 downto 0); fromPRWR_valid : std_logic; end record;

Enum cpu_state_type defined in /tmp/build_html/vhdl/sparc/pci_gr.vhd type cpu_state_type is (idle, sync1, busy, sync2);

Enum mcycletype defined in /tmp/build_html/vhdl/peripherals/mem/sdmctrl.vhd type mcycletype is (midle, active, leadout);

Type aco_CPDE_PRDR_out defined in /tmp/build_html/vhdl/arm/cp/libs/armcoproc.vhd type aco_CPDE_PRDR_out is record busy : std_logic; -- drive ctrlo.hold last : std_logic; -- drive cmd_cl/cmd_cs issue accept : std_logic; -- udef trap active : std_logic; -- udef trap end record;

Enum txfsmtype defined in /tmp/build_html/vhdl/sparc/dcom_uart.vhd type txfsmtype is (idle, data, stopbit);

Type aco_CPEX_PRRR_out defined in /tmp/build_html/vhdl/arm/cp/libs/armcoproc.vhd type aco_CPEX_PRRR_out is record data : std_logic_vector(31 downto 0); lock : std_logic; -- lock regread end record;

Type aco_out defined in /tmp/build_html/vhdl/arm/cp/libs/armcoproc.vhd type aco_out is record -- PRDRSTG <- CPDESTG CPDE_PRDR : aco_CPDE_PRDR_out; -- PRRRSTG <- CPEXSTG CPEX_PRRR : aco_CPEX_PRRR_out; end record;

Enum aco_decinsn defined in /tmp/build_html/vhdl/arm/cp/libs/armcoproc.vhd type aco_decinsn is (ACO_type_none, ACO_type_cdp, ACO_type_mrc, ACO_type_mcr, ACO_type_stc, ACO_type_ldc);

Constant ACO_CREG_U defined in /tmp/build_html/vhdl/arm/cp/libs/armcoproc.vhd constant ACO_CREG_U : integer := 3;

Constant ACO_CREG_D defined in /tmp/build_html/vhdl/arm/cp/libs/armcoproc.vhd constant ACO_CREG_D : integer := 0;

Constant ACO_COPC_U defined in /tmp/build_html/vhdl/arm/cp/libs/armcoproc.vhd constant ACO_COPC_U : integer := 2;

Constant ACO_COPC_D defined in /tmp/build_html/vhdl/arm/cp/libs/armcoproc.vhd constant ACO_COPC_D : integer := 0;

Type armcp_sctrl_insn_type defined in /tmp/build_html/vhdl/arm/cp/armcp_sctrl.vhd type armcp_sctrl_insn_type is record decinsn : aco_decinsn; cr1, cr2 : std_logic_vector(ACO_CREG_U downto ACO_CREG_D); opc : std_logic_vector(ACO_COPC_U downto ACO_COPC_D); valid : std_logic; end record;

Type armcp_sctrl_dereg_type defined in /tmp/build_html/vhdl/arm/cp/armcp_sctrl.vhd type armcp_sctrl_dereg_type is record insn : armcp_sctrl_insn_type; CPDE_PRDR : aco_CPDE_PRDR_out; end record;

Type armcp_sctrl_exreg_type defined in /tmp/build_html/vhdl/arm/cp/armcp_sctrl.vhd type armcp_sctrl_exreg_type is record insn : armcp_sctrl_insn_type; CPEX_PRRR : aco_CPEX_PRRR_out; end record;

Type armcp_sctrl_wrreg_type defined in /tmp/build_html/vhdl/arm/cp/armcp_sctrl.vhd type armcp_sctrl_wrreg_type is record insn : armcp_sctrl_insn_type; end record;

Type acpsc_r1 defined in /tmp/build_html/vhdl/arm/cp/libs/armsctrl.vhd type acpsc_r1 is record mmu : std_logic; end record;

Type acpsc_regs defined in /tmp/build_html/vhdl/arm/cp/libs/armsctrl.vhd type acpsc_regs is record r1 : acpsc_r1; r2 : std_logic_vector(31 downto 0); -- mmu_base end record;

Type armcp_sctrl_reg_type defined in /tmp/build_html/vhdl/arm/cp/armcp_sctrl.vhd type armcp_sctrl_reg_type is record de : armcp_sctrl_dereg_type; ex : armcp_sctrl_exreg_type; wr : armcp_sctrl_wrreg_type_a(4 downto 0); regs : acpsc_regs; regslock : std_logic_vector (3 downto 0); end record;

Type irq_iu_in_type defined in /tmp/build_html/vhdl/core/ctrl/ctrl_comp.vhd type irq_iu_in_type is record intack : std_logic; -- interrupt acknoledge (clear i.irl bit) irl : std_logic_vector(3 downto 0); end record;

Type arm_proc_typ_out defined in /tmp/build_html/vhdl/arm/arm_comp.vhd type arm_proc_typ_out is record irqi : irq_iu_in_type; end record;

Type armcp_sctrl_tmp_type defined in /tmp/build_html/vhdl/arm/cp/armcp_sctrl.vhd type armcp_sctrl_tmp_type is record fe_de : armcp_sctrl_dereg_type; de_de : armcp_sctrl_dereg_type; de_ex : armcp_sctrl_exreg_type; ex_wr : armcp_sctrl_wrreg_type; regs : acpsc_regs; o : aco_out; end record;

Type arm_tmp_type defined in /tmp/build_html/vhdl/arm/arm_proc.vhd type arm_tmp_type is record arm_i : armiu_typ_in; end record;

Type armcp_sctrl_dbg_type defined in /tmp/build_html/vhdl/arm/cp/armcp_sctrl.vhd type armcp_sctrl_dbg_type is record dummy : std_logic; -- pragma translate_off dbg : armcp_sctrl_tmp_type; -- pragma translate_on end record;

Constant zero defined in /tmp/build_html/vhdl/sparc/pci_gr.vhd constant zero : std_logic_vector(31 downto 0) := (others =>

Type irq_iu_out_type defined in /tmp/build_html/vhdl/core/ctrl/ctrl_comp.vhd type irq_iu_out_type is record irl : std_logic_vector(3 downto 0); -- zero = no irq end record;

Type arm_proc_typ_in defined in /tmp/build_html/vhdl/arm/arm_comp.vhd type arm_proc_typ_in is record irqo : irq_iu_out_type; end record;

Function aco_decodev4 defined in /tmp/build_html/vhdl/arm/cp/libs/armcoproc.vhd function aco_decodev4( insn : std_logic_vector(31 downto 0) ) return aco_decinsn; ------------------------------------------------------------------------------- end armcoproc; package body armcoproc is function aco_decodev4( insn : std_logic_vector(31 downto 0) ) return aco_decinsn is variable tmp : aco_decinsn; begin tmp := ACO_type_none; case insn(27 downto 25) is when "111" => if insn(24) = '0' then if insn(1) = '0' then if insn(20) = '0' then tmp := ACO_type_mcr; else tmp := ACO_type_mrc; end if; else tmp := ACO_type_cdp; end if; end if; when "110" => if insn(20) = '0' then tmp := ACO_type_ldc; else tmp := ACO_type_stc; end if; when others => end case; return tmp; end;

Constant ACO_MCRMRC_CRN_U defined in /tmp/build_html/vhdl/arm/cp/libs/armcoproc.vhd constant ACO_MCRMRC_CRN_U : integer := 19;

Constant ACO_MCRMRC_CRN_D defined in /tmp/build_html/vhdl/arm/cp/libs/armcoproc.vhd constant ACO_MCRMRC_CRN_D : integer := 16;

Constant ACO_MCRMRC_CRM_U defined in /tmp/build_html/vhdl/arm/cp/libs/armcoproc.vhd constant ACO_MCRMRC_CRM_U : integer := 3;

Constant ACO_MCRMRC_CRM_D defined in /tmp/build_html/vhdl/arm/cp/libs/armcoproc.vhd constant ACO_MCRMRC_CRM_D : integer := 0;

Constant ACO_MCRMRC_OPCODE1_U defined in /tmp/build_html/vhdl/arm/cp/libs/armcoproc.vhd constant ACO_MCRMRC_OPCODE1_U : integer := 23;

Constant ACO_MCRMRC_OPCODE1_D defined in /tmp/build_html/vhdl/arm/cp/libs/armcoproc.vhd constant ACO_MCRMRC_OPCODE1_D : integer := 21;

Constant ACPSC_R0_OP0 defined in /tmp/build_html/vhdl/arm/cp/libs/armsctrl.vhd constant ACPSC_R0_OP0 : std_logic_vector(31 downto 0) := (others =>

Constant ACPSC_R0_OP1 defined in /tmp/build_html/vhdl/arm/cp/libs/armsctrl.vhd constant ACPSC_R0_OP1 : std_logic_vector(31 downto 0) := (others =>

Constant ACPS_R1_M_C defined in /tmp/build_html/vhdl/arm/cp/libs/armsctrl.vhd constant ACPS_R1_M_C : integer := 0;

Procedure acpsc_stdtor1 defined in /tmp/build_html/vhdl/arm/cp/libs/armsctrl.vhd procedure acpsc_stdtor1 ( data : in std_logic_vector(31 downto 0); r1 : inout acpsc_r1 ); type acpsc_regs is record r1 : acpsc_r1; r2 : std_logic_vector(31 downto 0); -- mmu_base end record; end armsctrl; package body armsctrl is constant ACPS_R1_M_C : integer := 0; -- sysctrl register 1 function acpsc_r1tostd ( r1 : acpsc_r1 ) return std_logic_vector is variable tmp : std_logic_vector(31 downto 0); begin tmp := (others => '0'); tmp(ACPS_R1_M_C) := r1.mmu; return tmp; end; procedure acpsc_stdtor1 ( data : in std_logic_vector(31 downto 0); r1 : inout acpsc_r1 ) is begin r1.mmu := data(ACPS_R1_M_C); end;

Function acpsc_r1tostd defined in /tmp/build_html/vhdl/arm/cp/libs/armsctrl.vhd function acpsc_r1tostd ( r1 : acpsc_r1 ) return std_logic_vector; procedure acpsc_stdtor1 ( data : in std_logic_vector(31 downto 0); r1 : inout acpsc_r1 ); type acpsc_regs is record r1 : acpsc_r1; r2 : std_logic_vector(31 downto 0); -- mmu_base end record; end armsctrl; package body armsctrl is constant ACPS_R1_M_C : integer := 0; -- sysctrl register 1 function acpsc_r1tostd ( r1 : acpsc_r1 ) return std_logic_vector is variable tmp : std_logic_vector(31 downto 0); begin tmp := (others => '0'); tmp(ACPS_R1_M_C) := r1.mmu; return tmp; end;

If you have question mail to: Konrad Eisele<eiselekd@web.de>, created: Wed Apr 14 13:07:33 WEDT 2004 ;
This is part of the Core distribution