source: PROJECT_CORE_MPI/MPI_HCL/TRUNK/CORE_MPI/sim_fifo.vhd @ 100

-- TestBench Template 
-- ce module permet de tester le FIFO et de valider son fonctionnement.
  LIBRARY ieee;
  USE ieee.std_logic_1164.ALL;
  USE ieee.numeric_std.ALL;
  Library  NocLib ;
 use NocLib.CoreTypes.all;
  ENTITY testbench IS
  END testbench;

  ARCHITECTURE behavior OF testbench IS 
constant clk_period : time := 10 ns;
constant MSIZE :natural :=256;
  signal clk : std_logic := '0';
  signal reset : std_logic := '0';
  -- Component Declaration
         
component FIFO_256_FWFT  --Le FIFO à tester
        port (
        clk: IN std_logic;
        din: IN std_logic_VECTOR(7 downto 0);
        rd_en: IN std_logic;
        srst: IN std_logic;
        wr_en: IN std_logic;
        dout: OUT std_logic_VECTOR(7 downto 0);
        empty: OUT std_logic;
        full: OUT std_logic);
end component;
component proto_receiv -- permet de tester la lecture dans le FIFO
generic (sizemem : natural := 64);
 port (
 clk,reset : in std_logic;
 fifo_empty,fifo_full : in std_logic;
  pop : out std_logic:='0';
 fifo_out : in std_logic_vector(Word-1 downto 0);
 rcv_start : in std_logic; --début de la réception
 rcv_ack :in std_logic;   -- acquittement de la réception
 rcv_comp : out std_logic; -- fin de la réception
 mem :out memory(0 to sizemem-1));
end component;

component proto_send
generic (sizemem : natural := 64);
 port (
 clk,reset : in std_logic;
 fifo_empty,fifo_full : in std_logic;
  push : out std_logic:='0';
 fifo_in : out std_logic_vector(Word-1 downto 0);
 snd_start : in std_logic; --début de l'emission
 snd_ack :in std_logic;   -- acquittement de l'émission
 snd_comp : out std_logic; -- fin de l'émission
 mem :in memory(0 to sizemem-1));
 
 end component;
 
type typ_snd_rec is ( fillmem,send1, send2, recv1,recv2);
type typ_receiv is (r_wait,r_head,r_dlen,r_glen,r_start,r_end);
                        signal storage1,storage2 : memory (0 to MSIZE-1);
          SIGNAL fifo_empty,fifo_full :  std_logic:='0';
                         signal push,pop ,spush,spop:  std_logic:='0';
          SIGNAL data_in,data_out:  std_logic_vector(7 downto 0);
          signal ROn,Rdone,RAck:std_logic:='0';
                         signal SOn,Sdone,SAck:std_logic:='0';
                         signal etreceiv :typ_receiv;
                        
                         signal pipo : typ_snd_rec;

  BEGIN
                        
  

uut : FIFO_256_FWFT
                port map (
                        clk => clk,
                        din => data_in,
                        rd_en => pop,
                        srst => reset,
                        wr_en => push,
                        dout => data_out,
                        empty => fifo_empty,
                        full => fifo_full);
                        
rec_pro: proto_receiv generic map(sizemem =>MSIZE)
        port map (clk=>clk,
                                reset=>reset,
                                fifo_empty=>fifo_empty,
                                fifo_full=>fifo_full,
                                rcv_start =>Ron,
                                rcv_ack => Rack,
                                rcv_comp=> Rdone,
                                pop=>pop,
                                fifo_out =>data_out,
                                mem=>storage2
                                );
snd_pro: proto_send generic map (sizemem =>MSIZE)
port map (clk=>clk,
                                reset=>reset,
                                fifo_empty=>fifo_empty,
                                fifo_full=>fifo_full,
                                snd_start =>Son,
                                snd_ack => Sack,
                                snd_comp=> Sdone,
                                push=>push,
                                fifo_in =>data_in,
                                mem=>storage1
                                );
 clk_process :process
   begin
                clk <= '0';
                wait for clk_period/2;
                clk <= '1';
                wait for clk_period/2;
                
   end process;
reset_proc: process 
   begin                
      -- hold reset state for 100 ns.
      reset<='0';
                wait for 1 ns;  
                reset<='1';
      wait for clk_period*10;
                reset<='0';
                wait;
      -- insert stimulus here 
end process;
pr_pingpong : process(clk,reset)
variable i: natural range 0 to MSIZE-1;
begin
if reset='1' then
        pipo<=fillmem;
        i:=0;
        else
        if rising_edge(clk) then
        case pipo is
                when fillmem => -- remplissage de la mémoire d'envoie
                if i=0 then
                storage1(0)<=x"51"; -- le code de la fonction
                elsif i=1 then
                storage1(1)<=x"05"; -- le nombre d'octets à envoyer dans le tampon.
                elsif (i>=2) and (i<= MSIZE-2) then
                storage1(i)<=std_logic_vector(to_unsigned(i-2,Word));
                
                else
                        pipo<=send1;
                        i:=0;
                end if;
                i:=i+1;
                when send1 =>
                        
                        Son<='1'; --activer l'emission des données
                        Sack<='0';
                        if i=2 then --activer la réception des données
                                Ron<='1';
                        else 
                                Ron<='0';
                                i:=i+1;
                        end if;
                        if sdone='1' then
                                pipo<=send2;
                                                
                        end if;
                when send2 =>
                        i:=0;
                        Son<='0';
                        Sack<='1';
                        pipo<=recv1;
                when recv1 =>
                        ron<='1';
                        rack<='0';
                        if Rdone='1' then
                                pipo<=recv2;
                        end if;
                when recv2 =>
                        Ron<='0';
                        Rack<='1';
                        pipo<=send1;
                        i:=0;
        end case;
                
        
        end if;
end if;
end process;

END;