Subversion Repositories core_arm

-- $(lic)

-- $(help_generic)

-- $(help_local)

library ieee;

use ieee.std_logic_1164.all;

use work.config.all;

use work.cache_config.all;

use work.int.all;

use work.gencmem_lib.all;

-- PREFIX: kicl_xxx

package genic_lib is

type gicl_ctrl is record

  burst : std_logic;

end record;

-- icache tag layout

-- addr: |         tag         | (tag)addr | line | 00 |

--                                   |

--     +-----------------------------+

--     | +---------------------+---------+

--     +>|       CLTAG         | CLVALID |

--       +---------------------+---------+

-- addr to cmem-tag fields/access layout

constant GICL_TTAG_D : integer  :=  2 + GCML_IC_TLINE_BSZ + GCML_IC_TADDR_BSZ;

constant GICL_TTAG_U : integer  := (2 + GCML_IC_TLINE_BSZ + GCML_IC_TADDR_BSZ + GCML_IC_TTAG_BSZ) -1;

constant GICL_TADDR_D : integer :=  2 + GCML_IC_TLINE_BSZ;

constant GICL_TADDR_U : integer := (2 + GCML_IC_TLINE_BSZ + GCML_IC_TADDR_BSZ) -1;

constant GICL_TLINE_D : integer :=  2;

constant GICL_TLINE_U : integer := (2 + GCML_IC_TLINE_BSZ ) -1;

-- addr to cmem-data fields/access layout

constant GICL_DADDR_D : integer :=  2 + GCML_IC_DLINE_BSZ;

constant GICL_DADDR_U : integer := (2 + GCML_IC_DLINE_BSZ + GCML_IC_DADDR_BSZ) -1;

constant GICL_DLINE_D : integer :=  2;

constant GICL_DLINE_U : integer := (2 + GCML_IC_DLINE_BSZ ) -1;

function gicl_is_taghit (

  addr : std_logic_vector(31 downto 0);

  cline : gcml_ic_tline

) return boolean;

function gicl_is_linevalid (

  addr : std_logic_vector(31 downto 0);

  cline : gcml_ic_tline

) return boolean;

-- check weather next is last of line

function gicl_is_onetogo(

  addr : std_logic_vector(31 downto 0)

) return boolean;

end genic_lib;

package body genic_lib is

function gicl_is_taghit (

  addr : std_logic_vector(31 downto 0);

  cline : gcml_ic_tline

) return boolean is

  variable tmp : boolean;

  variable tag : std_logic_vector(GICL_TTAG_U downto GICL_TTAG_D);

begin

  tmp := false;

  tag := addr(GICL_TTAG_U downto GICL_TTAG_D);

  if (tag = cline.tag) then

    tmp := true;

  end if;

  return tmp;

end;

function gicl_is_linevalid (

  addr : std_logic_vector(31 downto 0);

  cline : gcml_ic_tline

) return boolean is

  variable tmp : boolean;

  variable line : std_logic_vector(GICL_TLINE_U downto GICL_TLINE_D);

begin

  tmp := false;

  line := addr(GICL_TLINE_U downto GICL_TLINE_D);

  if (cline.valid(lin_convint(line)) = '1')

  then

    tmp := true;

  end if;

  return tmp;

end;

constant lastaddr : std_logic_vector(GCML_IC_TLINE_BSZ-1 downto 0) := (others=>'1');

function gicl_is_onetogo (

  addr : std_logic_vector(31 downto 0)

) return boolean is

  variable tmp : boolean;

begin

  tmp := false;

  if addr(GICL_TLINE_U downto GICL_TLINE_D+1) = lastaddr(GCML_IC_TLINE_BSZ-1 downto 1) then

    tmp := true;

  end if;

  return tmp;

end;

end genic_lib;