OpenCores
URL https://opencores.org/ocsvn/udp_ip_stack/udp_ip_stack/trunk

Subversion Repositories udp_ip_stack

[/] [udp_ip_stack/] [trunk/] [bench/] [vhdl/] [IPv4_TX_tb.vhd] - Diff between revs 8 and 18

Go to most recent revision | Show entire file | Details | Blame | View Log

Rev 8 Rev 18
Line 24... Line 24...
-- std_logic_vector for the ports of the unit under test.  Xilinx recommends
-- std_logic_vector for the ports of the unit under test.  Xilinx recommends
-- that these types always be used for the top-level I/O of a design in order
-- that these types always be used for the top-level I/O of a design in order
-- to guarantee that the testbench will bind correctly to the post-implementation 
-- to guarantee that the testbench will bind correctly to the post-implementation 
-- simulation model.
-- simulation model.
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
LIBRARY ieee;
library ieee;
USE ieee.std_logic_1164.ALL;
use ieee.std_logic_1164.all;
use IEEE.NUMERIC_STD.ALL;
use IEEE.NUMERIC_STD.all;
use work.axi.all;
use work.axi.all;
use work.ipv4_types.all;
use work.ipv4_types.all;
use work.arp_types.all;
use work.arp_types.all;
 
 
 
 
ENTITY IPv4_TX_tb IS
entity IPv4_TX_tb is
END IPv4_TX_tb;
end IPv4_TX_tb;
 
 
ARCHITECTURE behavior OF IPv4_TX_tb IS
architecture behavior of IPv4_TX_tb is
 
 
    -- Component Declaration for the Unit Under Test (UUT)
    -- Component Declaration for the Unit Under Test (UUT)
 
 
    COMPONENT IPv4_TX
  component IPv4_TX
    PORT(
    port(
                        -- IP Layer signals
                        -- IP Layer signals
                        ip_tx_start                             : in std_logic;
                        ip_tx_start                             : in std_logic;
                        ip_tx                                           : in ipv4_tx_type;                                                              -- IP tx cxns
                        ip_tx                                           : in ipv4_tx_type;                                                              -- IP tx cxns
                        ip_tx_result                    : out std_logic_vector (1 downto 0);             -- tx status (changes during transmission)
                        ip_tx_result                    : out std_logic_vector (1 downto 0);             -- tx status (changes during transmission)
                        ip_tx_data_out_ready    : out std_logic;                                                                        -- indicates IP TX is ready to take data
                        ip_tx_data_out_ready    : out std_logic;                                                                        -- indicates IP TX is ready to take data
 
 
                        -- system signals
                        -- system signals
                        clk                                             : in  STD_LOGIC;                                                                        -- same clock used to clock mac data and ip data
      clk                : in  std_logic;  -- same clock used to clock mac data and ip data
                        reset                                   : in  STD_LOGIC;
      reset              : in  std_logic;
                        our_ip_address          : in STD_LOGIC_VECTOR (31 downto 0);
      our_ip_address     : in  std_logic_vector (31 downto 0);
                        our_mac_address                 : in std_logic_vector (47 downto 0);
                        our_mac_address                 : in std_logic_vector (47 downto 0);
                        -- ARP lookup signals
                        -- ARP lookup signals
                        arp_req_req                             : out arp_req_req_type;
                        arp_req_req                             : out arp_req_req_type;
                        arp_req_rslt                    : in arp_req_rslt_type;
                        arp_req_rslt                    : in arp_req_rslt_type;
                        -- MAC layer TX signals
                        -- MAC layer TX signals
Line 64... Line 64...
                        mac_data_out_valid      : out std_logic;                                                                -- indicates data out is valid
                        mac_data_out_valid      : out std_logic;                                                                -- indicates data out is valid
                        mac_data_out_first      : out std_logic;                                                                        -- with data out valid indicates the first byte of a frame
                        mac_data_out_first      : out std_logic;                                                                        -- with data out valid indicates the first byte of a frame
                        mac_data_out_last               : out std_logic;                                                                        -- with data out valid indicates the last byte of a frame
                        mac_data_out_last               : out std_logic;                                                                        -- with data out valid indicates the last byte of a frame
                        mac_data_out                    : out std_logic_vector (7 downto 0)              -- ethernet frame (from dst mac addr through to last byte of frame)      
                        mac_data_out                    : out std_logic_vector (7 downto 0)              -- ethernet frame (from dst mac addr through to last byte of frame)      
        );
        );
    END COMPONENT;
  end component;
 
 
 
 
   --Inputs
   --Inputs
   signal ip_tx_start : std_logic := '0';
   signal ip_tx_start : std_logic := '0';
   signal ip_tx : ipv4_tx_type;
   signal ip_tx : ipv4_tx_type;
Line 91... Line 91...
   signal arp_req_req : arp_req_req_type;
   signal arp_req_req : arp_req_req_type;
 
 
   -- Clock period definitions
   -- Clock period definitions
   constant clk_period : time := 8 ns;
   constant clk_period : time := 8 ns;
 
 
BEGIN
begin
 
 
        -- Instantiate the Unit Under Test (UUT)
        -- Instantiate the Unit Under Test (UUT)
   uut: IPv4_TX PORT MAP (
  uut : IPv4_TX port map (
          ip_tx_start => ip_tx_start,
          ip_tx_start => ip_tx_start,
          ip_tx => ip_tx,
          ip_tx => ip_tx,
          ip_tx_result => ip_tx_result,
          ip_tx_result => ip_tx_result,
          ip_tx_data_out_ready => ip_tx_data_out_ready,
          ip_tx_data_out_ready => ip_tx_data_out_ready,
          clk => clk,
          clk => clk,
Line 141... Line 141...
                arp_req_rslt.mac <=  (others => '0');
                arp_req_rslt.mac <=  (others => '0');
 
 
                reset <= '1';
                reset <= '1';
      wait for clk_period*10;
      wait for clk_period*10;
                reset <= '0';
                reset <= '0';
 
    wait until clk = '1';
      wait for clk_period*5;
      wait for clk_period*5;
 
    wait until clk = '1';
 
 
                -- check reset conditions
                -- check reset conditions
                assert arp_req_req.lookup_req = '0'                      report "arp_req_req.lookup_req not initialised correctly on reset";
                assert arp_req_req.lookup_req = '0'                      report "arp_req_req.lookup_req not initialised correctly on reset";
                assert ip_tx_result = IPTX_RESULT_NONE  report "ip_tx_result not initialised correctly on reset";
                assert ip_tx_result = IPTX_RESULT_NONE  report "ip_tx_result not initialised correctly on reset";
                assert ip_tx_data_out_ready = '0' report "ip_tx_data_out_ready not initialised correctly on reset";
                assert ip_tx_data_out_ready = '0' report "ip_tx_data_out_ready not initialised correctly on reset";
Line 163... Line 165...
 
 
                ip_tx.hdr.protocol <= x"35";
                ip_tx.hdr.protocol <= x"35";
                ip_tx.hdr.data_length <= x"0008";
                ip_tx.hdr.data_length <= x"0008";
                ip_tx.hdr.dst_ip_addr <= x"c0123478";
                ip_tx.hdr.dst_ip_addr <= x"c0123478";
                ip_tx_start <= '1';
                ip_tx_start <= '1';
                wait for clk_period;
    wait until clk = '1';
                ip_tx_start <= '0';
                ip_tx_start <= '0';
                arp_req_rslt.got_mac <= '0';
                arp_req_rslt.got_mac <= '0';
                arp_req_rslt.got_err <= '0';
                arp_req_rslt.got_err <= '0';
 
 
 
    wait until clk = '1';
                assert arp_req_req.lookup_req = '1'                                     report "T1: lookup_req not set on tx start";
                assert arp_req_req.lookup_req = '1'                                     report "T1: lookup_req not set on tx start";
                wait for clk_period;
 
                assert ip_tx_result = IPTX_RESULT_SENDING               report "T1: result should be IPTX_RESULT_SENDING";
                assert ip_tx_result = IPTX_RESULT_SENDING               report "T1: result should be IPTX_RESULT_SENDING";
 
 
                wait for clk_period*10;         -- simulate arp lookup time
                wait for clk_period*10;         -- simulate arp lookup time
 
    wait until clk = '1';
                arp_req_rslt.mac <= x"050423271016";
                arp_req_rslt.mac <= x"050423271016";
                arp_req_rslt.got_mac <= '1';
                arp_req_rslt.got_mac <= '1';
 
 
                wait for clk_period*2;
    wait until clk = '1';
 
    wait until clk = '1';
                assert arp_req_req.lookup_req = '0'                      report "T1: lookup_req not clear after setting";
                assert arp_req_req.lookup_req = '0'                      report "T1: lookup_req not clear after setting";
                assert mac_tx_req = '1'                                         report "T1: mac_tx_req not set after getting mac";
                assert mac_tx_req = '1'                                         report "T1: mac_tx_req not set after getting mac";
 
 
                wait for clk_period*10;         -- simulate mac chn access time
                wait for clk_period*10;         -- simulate mac chn access time
 
    wait until clk = '1';
                mac_tx_granted <= '1';
                mac_tx_granted <= '1';
                wait for clk_period*2;
    wait until clk = '1'; wait until clk = '1';     mac_data_out_ready <= '1';
      mac_data_out_ready <= '1';
 
                assert mac_data_out_valid = '0'                  report "T1: mac_data_out_valid asserted too early";
                assert mac_data_out_valid = '0'                  report "T1: mac_data_out_valid asserted too early";
 
 
                wait for clk_period;
    wait until clk = '1';
 
 
                assert ip_tx_data_out_ready = '0'        report "T1: IP data out ready asserted too early";
                assert ip_tx_data_out_ready = '0'        report "T1: IP data out ready asserted too early";
                wait for clk_period;
    wait until clk = '1';
                assert mac_data_out_valid = '1'                 report "T1: mac_data_out_valid not asserted";
                assert mac_data_out_valid = '1'                 report "T1: mac_data_out_valid not asserted";
 
 
                -- wait until in eth hdr
                -- wait until in eth hdr
                wait for clk_period*3;
                wait for clk_period*3;
 
    wait until clk = '1';
                -- go mac not ready for 2 clocks
                -- go mac not ready for 2 clocks
      mac_data_out_ready <= '0';
      mac_data_out_ready <= '0';
                wait for clk_period*2;
    wait until clk = '1'; wait until clk = '1';     wait until clk = '1';
      mac_data_out_ready <= '1';
      mac_data_out_ready <= '1';
 
 
 
 
                wait until ip_tx_data_out_ready = '1';
                wait until ip_tx_data_out_ready = '1';
 
    wait until clk = '1';
 
 
                -- start to tx IP data
                -- start to tx IP data
                ip_tx.data.data_out_valid <= '1';
                ip_tx.data.data_out_valid <= '1';
                ip_tx.data.data_out <= x"56"; wait for clk_period;
    ip_tx.data.data_out       <= x"56"; wait until clk = '1';
                -- delay data in for 1 clk cycle
                -- delay data in for 1 clk cycle
                ip_tx.data.data_out_valid <= '0';
                ip_tx.data.data_out_valid <= '0';
                ip_tx.data.data_out <= x"57"; wait for clk_period;
    ip_tx.data.data_out       <= x"57"; wait until clk = '1';
                ip_tx.data.data_out_valid <= '1'; wait for clk_period;
    ip_tx.data.data_out_valid <= '1'; wait until clk = '1';
                ip_tx.data.data_out <= x"58"; wait for clk_period;
    ip_tx.data.data_out       <= x"58"; wait until clk = '1';
                ip_tx.data.data_out <= x"59"; wait for clk_period;
    ip_tx.data.data_out       <= x"59";     wait until clk = '1';
 
--wait for clk_period;
 
 
                -- delay mac ready for 2 clk cycles
                -- delay mac ready for 2 clk cycles
                mac_data_out_ready <= '0';
                mac_data_out_ready <= '0';
                ip_tx.data.data_out <= x"5a"; wait for clk_period;
    ip_tx.data.data_out <= x"5a";    wait until clk = '1';
 
--wait for clk_period;
                assert ip_tx_data_out_ready = '0'                        report "T1: ip_tx_data_out_ready not cleared when mac not ready";
                assert ip_tx_data_out_ready = '0'                        report "T1: ip_tx_data_out_ready not cleared when mac not ready";
 
 
                ip_tx.data.data_out <= x"5a"; wait for clk_period;
    ip_tx.data.data_out <= x"5a";     wait until clk = '1';
 
--wait for clk_period;
                mac_data_out_ready <= '1';
                mac_data_out_ready <= '1';
                wait until ip_tx_data_out_ready = '1';
                wait until ip_tx_data_out_ready = '1';
                wait for clk_period;
    wait until clk = '1';
 
--    wait for clk_period;
                assert ip_tx_data_out_ready = '1'                       report "T1: ip_tx_data_out_ready not set when mac ready";
                assert ip_tx_data_out_ready = '1'                       report "T1: ip_tx_data_out_ready not set when mac ready";
                ip_tx.data.data_out <= x"5b"; wait for clk_period;
    ip_tx.data.data_out <= x"5b"; wait until clk = '1';
                ip_tx.data.data_out <= x"5c"; wait for clk_period;
    ip_tx.data.data_out <= x"5c"; wait until clk = '1';
 
 
                ip_tx.data.data_out <= x"5d";
                ip_tx.data.data_out <= x"5d";
                ip_tx.data.data_out_last <= '1';
                ip_tx.data.data_out_last <= '1';
                wait for clk_period;
    wait until clk = '1';
                assert mac_data_out_last = '1'                  report "T1: mac_datda_out_last not set on last byte";
                assert mac_data_out_last = '1'                  report "T1: mac_datda_out_last not set on last byte";
 
 
                ip_tx.data.data_out_valid <= '0';
                ip_tx.data.data_out_valid <= '0';
                ip_tx.data.data_out_last <= '0';
                ip_tx.data.data_out_last <= '0';
                wait for clk_period*2;
    wait until clk = '1'; wait until clk = '1';
 
 
                assert ip_tx_result = IPTX_RESULT_SENT  report "T1: result should be IPTX_RESULT_SENT";
                assert ip_tx_result = IPTX_RESULT_SENT  report "T1: result should be IPTX_RESULT_SENT";
                assert mac_tx_req = '0'                                  report "T1: mac_tx_req held on too long after TX";
                assert mac_tx_req = '0'                                  report "T1: mac_tx_req held on too long after TX";
 
 
                mac_tx_granted <= '0';
                mac_tx_granted <= '0';
                wait for clk_period*2;
    wait until clk = '1'; wait until clk = '1';
 
 
                ------------
                ------------
                -- TEST 2 -- basic functional tx test with no delays for arp and chn access
                -- TEST 2 -- basic functional tx test with no delays for arp and chn access
                ------------
                ------------
 
 
                report "T2: basic functional tx test with no delays for arp and chn access";
                report "T2: basic functional tx test with no delays for arp and chn access";
 
 
                ip_tx.hdr.protocol <= x"11";
                ip_tx.hdr.protocol <= x"11";
                ip_tx.hdr.data_length <= x"0006";
                ip_tx.hdr.data_length <= x"0006";
                ip_tx.hdr.dst_ip_addr <= x"c0123478";
                ip_tx.hdr.dst_ip_addr <= x"c0123478";
                ip_tx_start <= '1';
                ip_tx_start <= '1';
                wait for clk_period;
    wait until clk = '1';
                ip_tx_start <= '0'; wait for clk_period;
    ip_tx_start           <= '0'; wait until clk = '1';
                arp_req_rslt.got_mac <= '0';
                arp_req_rslt.got_mac <= '0';
 
 
                assert arp_req_req.lookup_req = '1'                     report "T2: lookup_req not set on tx start";
                assert arp_req_req.lookup_req = '1'                     report "T2: lookup_req not set on tx start";
                assert ip_tx_result = IPTX_RESULT_SENDING               report "T2: result should be IPTX_RESULT_SENDING";
                assert ip_tx_result = IPTX_RESULT_SENDING               report "T2: result should be IPTX_RESULT_SENDING";
 
 
                wait for clk_period;            -- simulate arp lookup time
    wait until clk = '1';                -- simulate arp lookup time
                arp_req_rslt.mac <= x"050423271016";
                arp_req_rslt.mac <= x"050423271016";
                arp_req_rslt.got_mac <= '1';
                arp_req_rslt.got_mac <= '1';
 
 
                wait for clk_period*2;
    wait until clk = '1'; wait until clk = '1';
 
 
                assert arp_req_req.lookup_req = '0'                      report "T2: lookup_req not clear after setting";
                assert arp_req_req.lookup_req = '0'                      report "T2: lookup_req not clear after setting";
                assert mac_tx_req = '1'                                                         report "T2: mac_tx_req not set after getting mac";
                assert mac_tx_req = '1'                                                         report "T2: mac_tx_req not set after getting mac";
 
 
                wait for clk_period;            -- simulate mac chn access time
    wait until clk = '1';                -- simulate mac chn access time
                mac_tx_granted <= '1';
                mac_tx_granted <= '1';
                wait for clk_period*2;
    wait until clk = '1'; wait until clk = '1';     mac_data_out_ready <= '1';
      mac_data_out_ready <= '1';
 
 
 
                assert ip_tx_data_out_ready = '0'                                report "T2: IP data out ready asserted too early";
                assert ip_tx_data_out_ready = '0'                                report "T2: IP data out ready asserted too early";
 
 
                wait until ip_tx_data_out_ready = '1';
                wait until ip_tx_data_out_ready = '1';
 
 
                -- start to tx IP data
                -- start to tx IP data
                ip_tx.data.data_out_valid <= '1';
                ip_tx.data.data_out_valid <= '1';
                ip_tx.data.data_out <= x"c1"; wait for clk_period;
    ip_tx.data.data_out       <= x"c1"; wait until clk = '1';
                ip_tx.data.data_out <= x"c2"; wait for clk_period;
    ip_tx.data.data_out       <= x"c2"; wait until clk = '1';
                ip_tx.data.data_out <= x"c3"; wait for clk_period;
    ip_tx.data.data_out       <= x"c3"; wait until clk = '1';
                ip_tx.data.data_out <= x"c4"; wait for clk_period;
    ip_tx.data.data_out       <= x"c4"; wait until clk = '1';
                ip_tx.data.data_out <= x"c5"; wait for clk_period;
    ip_tx.data.data_out       <= x"c5"; wait until clk = '1';
 
 
                ip_tx.data.data_out <= x"c6";
                ip_tx.data.data_out <= x"c6";
                ip_tx.data.data_out_last <= '1';
                ip_tx.data.data_out_last <= '1';
                wait for clk_period;
    wait until clk = '1';
 
 
                assert mac_data_out_last = '1'                                  report "T2: mac_datda_out_last not set on last byte";
                assert mac_data_out_last = '1'                                  report "T2: mac_datda_out_last not set on last byte";
 
 
 
 
                ip_tx.data.data_out_valid <= '0';
                ip_tx.data.data_out_valid <= '0';
                ip_tx.data.data_out_last <= '0';
                ip_tx.data.data_out_last <= '0';
                wait for clk_period*2;
    wait until clk = '1'; wait until clk = '1';
 
 
                assert ip_tx_result = IPTX_RESULT_SENT                  report "T2: result should be IPTX_RESULT_SENT";
                assert ip_tx_result = IPTX_RESULT_SENT                  report "T2: result should be IPTX_RESULT_SENT";
                assert mac_tx_req = '0'                                                  report "T2: mac_tx_req held on too long after TX";
                assert mac_tx_req = '0'                                                  report "T2: mac_tx_req held on too long after TX";
 
 
                mac_tx_granted <= '0';
                mac_tx_granted <= '0';
                wait for clk_period*2;
    wait until clk = '1'; wait until clk = '1';
 
 
                ------------
                ------------
                -- TEST 3 -- tx test for IP broadcast, should be no arp req
                -- TEST 3 -- tx test for IP broadcast, should be no arp req
                ------------
                ------------
 
 
                report "T3: tx test for IP broadcast, should be no arp req";
                report "T3: tx test for IP broadcast, should be no arp req";
 
 
                ip_tx.hdr.protocol <= x"11";
                ip_tx.hdr.protocol <= x"11";
                ip_tx.hdr.data_length <= x"0006";
                ip_tx.hdr.data_length <= x"0006";
                ip_tx.hdr.dst_ip_addr <= x"ffffffff";
                ip_tx.hdr.dst_ip_addr <= x"ffffffff";
                ip_tx_start <= '1';
                ip_tx_start <= '1';
                wait for clk_period;
    wait until clk = '1';
                ip_tx_start <= '0'; wait for clk_period;
    ip_tx_start           <= '0'; wait until clk = '1';
                arp_req_rslt.got_mac <= '0';
                arp_req_rslt.got_mac <= '0';
 
 
                assert arp_req_req.lookup_req = '0'                      report "T3: its trying to do an ARP req tx start";
                assert arp_req_req.lookup_req = '0'                      report "T3: its trying to do an ARP req tx start";
                assert ip_tx_result = IPTX_RESULT_SENDING               report "T3: result should be IPTX_RESULT_SENDING";
                assert ip_tx_result = IPTX_RESULT_SENDING               report "T3: result should be IPTX_RESULT_SENDING";
 
 
                wait for clk_period;            -- simulate mac chn access time
    wait until clk = '1';                -- simulate mac chn access time
                mac_tx_granted <= '1';
                mac_tx_granted <= '1';
                wait for clk_period*2;
    wait until clk = '1'; wait until clk = '1';     mac_data_out_ready <= '1';
      mac_data_out_ready <= '1';
 
 
 
                assert ip_tx_data_out_ready = '0'                                report "T3: IP data out ready asserted too early";
                assert ip_tx_data_out_ready = '0'                                report "T3: IP data out ready asserted too early";
 
 
                wait until ip_tx_data_out_ready = '1';
                wait until ip_tx_data_out_ready = '1';
 
 
                -- start to tx IP data
                -- start to tx IP data
                ip_tx.data.data_out_valid <= '1';
                ip_tx.data.data_out_valid <= '1';
                ip_tx.data.data_out <= x"c1"; wait for clk_period;
    ip_tx.data.data_out       <= x"c1"; wait until clk = '1';
                ip_tx.data.data_out <= x"c2"; wait for clk_period;
    ip_tx.data.data_out       <= x"c2"; wait until clk = '1';
                ip_tx.data.data_out <= x"c3"; wait for clk_period;
    ip_tx.data.data_out       <= x"c3"; wait until clk = '1';
                ip_tx.data.data_out <= x"c4"; wait for clk_period;
    ip_tx.data.data_out       <= x"c4"; wait until clk = '1';
                ip_tx.data.data_out <= x"c5"; wait for clk_period;
    ip_tx.data.data_out       <= x"c5"; wait until clk = '1';
 
 
                ip_tx.data.data_out <= x"c6";
                ip_tx.data.data_out <= x"c6";
                ip_tx.data.data_out_last <= '1';
                ip_tx.data.data_out_last <= '1';
                wait for clk_period;
    wait until clk = '1';
 
 
                assert mac_data_out_last = '1'                                  report "T3: mac_datda_out_last not set on last byte";
                assert mac_data_out_last = '1'                                  report "T3: mac_datda_out_last not set on last byte";
 
 
 
 
                ip_tx.data.data_out_valid <= '0';
                ip_tx.data.data_out_valid <= '0';
                ip_tx.data.data_out_last <= '0';
                ip_tx.data.data_out_last <= '0';
                wait for clk_period*2;
    wait until clk = '1'; wait until clk = '1';
 
 
                assert ip_tx_result = IPTX_RESULT_SENT                  report "T3: result should be IPTX_RESULT_SENT";
                assert ip_tx_result = IPTX_RESULT_SENT                  report "T3: result should be IPTX_RESULT_SENT";
                assert mac_tx_req = '0'                                                  report "T3: mac_tx_req held on too long after TX";
                assert mac_tx_req = '0'                                                  report "T3: mac_tx_req held on too long after TX";
 
 
                mac_tx_granted <= '0';
                mac_tx_granted <= '0';
                wait for clk_period*2;
    wait until clk = '1'; wait until clk = '1';
 
 
 
 
                report "--- end of tests ---";
                report "--- end of tests ---";
 
 
      wait;
      wait;
   end process;
   end process;
 
 
END;
end;
 
 
 No newline at end of file
 No newline at end of file

powered by: WebSVN 2.1.0

© copyright 1999-2022 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.