Please wait until document has finished loading (reload)

[Donate]

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

library ieee;
use ieee.std_logic_1164.all;
use work.config.all;
use work.iface.all;
use work.target.all;
use work.kecs_config.all;
use work.kecs_libiface.all;
use work.kecs_libwb.all;
use work.kehl_libint.all;
use work.tech_map.all;

entity kecs_wbfifo is
  generic (
    WBBUF_SZ : integer := 2
  );
  port ( 
    rst : in  std_logic; 
    clk : in  clk_type;
    wbfifoi : in  kcif_ketyp_wbfifo_in;
    wbfifoo : out kcif_ketyp_wbfifo_out
  );
end kecs_wbfifo;

architecture rtl of kecs_wbfifo is

  type kecswbfifo_tmp_type is record
     wbfifoo : kcif_ketyp_wbfifo_out;
     readint, writeint : std_logic;
     
  end record;
  type kecswbfifo_reg_type is record
     buf : kclw_ketyp_entry_a((WBBUF_SZ)-1 downto 0);
     cur, set : std_logic_vector((log2(WBBUF_SZ))-1 downto 0);
     empty : std_logic;
  end record;
  type kecswbfifo_dbg_type is record
     dummy : std_logic;
     -- pragma translate_off
     wbaddr : std_logic_vector(31 downto 0);
     dbg : kecswbfifo_tmp_type;
     -- pragma translate_on
  end record;
  signal r, c       : kecswbfifo_reg_type;
  signal rdbg, cdbg : kecswbfifo_dbg_type;
  
  
begin  
    
  p0: process (clk, rst, r, wbfifoi )
    variable v    : kecswbfifo_reg_type;
    variable t    : kecswbfifo_tmp_type;
    variable vdbg : kecswbfifo_dbg_type;
  begin 
    
    -- $(init(t:kecswb_tmp_type))
    v := r;


    --$(del)             wbfifoo.entry_r  
    --       +-------+ <-cur   /\
    --       | xxxxx |  -------+ 
    --       +-------+
    --       | xxxxx |
    --       +-------+ <-set
    --       |       |
    --       .       .
    --       .       .
    --       +-------+
    --       |       |
    --       +-------+
    --$(/del)

    t.wbfifoo.fifo_entry := r.buf(khin_convint(r.cur));
    t.wbfifoo.fifo_empty_r := r.empty;
    
    t.readint := wbfifoi.fifo_read;
    t.writeint := wbfifoi.fifo_write;
    t.wbfifoo.fifo_stored_v := wbfifoi.fifo_write;
      
    if t.writeint = '1' then
      if r.cur = r.set then
        if (r.empty = '0') then
          if (wbfifoi.fifo_read = '0') then
            t.writeint := '0';
            t.wbfifoo.fifo_stored_v := '0';
          end if;
        end if;
      end if;
      if t.writeint = '1' then
        v.buf(khin_convint(r.set)) := wbfifoi.fifo_entry;
        khin_incdec(r.set,v.set,'1','1');
        v.empty := '0';
      end if;
    end if;
    
    if t.readint = '1' then
      khin_incdec(r.cur,v.cur,'1','1');
      if v.cur = v.set then
        if t.wbfifoo.fifo_stored_v = '0' then
          v.empty := '1';
        end if;
      end if;
    end if;
    
    
    -- reset
    if ( rst = '0' ) then
      v.empty := '1';
      v.cur := (others => '0');
      v.set := (others => '0');
    end if;
    
    c <= v;

    wbfifoo <= t.wbfifoo;
    
    -- pragma translate_off
    vdbg := rdbg;
    vdbg.dbg := t;
    cdbg <= vdbg;
    -- pragma translate_on  end process p0;
    
  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;

  -- pragma translate_off
  check0 : process (clk)
  begin
    if falling_edge(clk) then
      if wbfifoi.fifo_read = '1' then
        assert (r.empty = '0') report "Read on empty fifo" severity failure;
      end if;
    end if;
  end process;
  -- pragma translate_on  end process p0;

end rtl;

File /tmp/build_html/soft/doc/test/.config.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/libs/genwb_lib.vhd used by /tmp/build_html/vhdl/mem/cache/cache_comp.vhd used by /tmp/build_html/vhdl/mem/cache/cache_comp.vhd used by /tmp/build_html/vhdl/mem/cache/genic.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/arith/cnt/arith_cnt8.vhd used by /tmp/build_html/vhdl/arm/libs/armshiefter.vhd used by /tmp/build_html/vhdl/arm/armiu_festg.vhd used by /tmp/build_html/vhdl/arm/cp/armcp_sctrl.vhd used by /tmp/build_html/vhdl/core/ctrl/rstgen.vhd used by /tmp/build_html/vhdl/arm/tbench_armcache.vhd used by /tmp/build_html/vhdl/m68k/libs/m68kdecode.vhd used by /tmp/build_html/vhdl/mem/cache/kecs_wb.vhd used by /tmp/build_html/vhdl/mem/cache/kecs_wbfifo.vhd used by /tmp/build_html/vhdl/sparc/leon_pci.vhd used by /tmp/build_html/vhdl/tbench/dep_tbgen.vhd

File /tmp/build_html/vhdl/tech/tech_map.vhd used by /tmp/build_html/vhdl/tech/tech_map.vhd used by /tmp/build_html/vhdl/peripherals/mem/mctrl.vhd used by /tmp/build_html/vhdl/mem/cache/gencmem.vhd used by /tmp/build_html/vhdl/mem/cache/genwbfifo.vhd used by /tmp/build_html/vhdl/arm/armiu_rrstg.vhd used by /tmp/build_html/vhdl/core/core.vhd used by /tmp/build_html/vhdl/mem/cache/kecs_wbfifo.vhd used by /tmp/build_html/vhdl/sparc/ahbram.vhd used by /tmp/build_html/vhdl/sparc/cachemem.vhd used by /tmp/build_html/vhdl/sparc/dsu.vhd used by /tmp/build_html/vhdl/sparc/dsu_mem.vhd used by /tmp/build_html/vhdl/sparc/fp1eu.vhd used by /tmp/build_html/vhdl/sparc/iu.vhd used by /tmp/build_html/vhdl/sparc/leon.vhd used by /tmp/build_html/vhdl/sparc/leon_eth.vhd used by /tmp/build_html/vhdl/sparc/leon_eth_pci.vhd used by /tmp/build_html/vhdl/sparc/leon_pci.vhd used by /tmp/build_html/vhdl/sparc/mmutlb.vhd used by /tmp/build_html/vhdl/sparc/mul.vhd used by /tmp/build_html/vhdl/sparc/proc.vhd

File /tmp/build_html/vhdl/mem/cache/kecs_wbfifo.vhd

Type kecswbfifo_tmp_type defined in /tmp/build_html/vhdl/mem/cache/kecs_wbfifo.vhd type kecswbfifo_tmp_type is record wbfifoo : kcif_ketyp_wbfifo_out; readint, writeint : std_logic; end record;

Constant log2 defined in /tmp/build_html/vhdl/sparc/leon_config.vhd constant log2 : log2arr := (0,1,2,2,3,3,3,3,4,4,4,4,4,4,4,4, 5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,others =>

Type kecswbfifo_reg_type defined in /tmp/build_html/vhdl/mem/cache/kecs_wbfifo.vhd type kecswbfifo_reg_type is record buf : kclw_ketyp_entry_a((WBBUF_SZ)-1 downto 0); cur, set : std_logic_vector((log2(WBBUF_SZ))-1 downto 0); empty : std_logic; end record;

Type kecswbfifo_dbg_type defined in /tmp/build_html/vhdl/mem/cache/kecs_wbfifo.vhd type kecswbfifo_dbg_type is record dummy : std_logic; -- pragma translate_off wbaddr : std_logic_vector(31 downto 0); dbg : kecswbfifo_tmp_type; -- pragma translate_on end record;

Type kecswb_tmp_type defined in /tmp/build_html/vhdl/mem/cache/kecs_wb.vhd type kecswb_tmp_type is record wbo : kcif_ketyp_wb_out; wbfifoi : kcif_ketyp_wbfifo_in; consume : std_logic; end record;

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