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

Subversion Repositories udp_ip_stack

[/] [udp_ip_stack/] [trunk/] [bench/] [vhdl/] [arp_STORE_tb.vhd] - Diff between revs 10 and 18

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

Rev 10 Rev 18
Line 118... Line 118... 
                read_req.req <= '1';
 
                read_req.req <= '1';
 
      wait for clk_period*4;
 
      wait for clk_period*4;
 
                assert read_result.status = NOT_FOUND           report "T1: expected NOT_FOUND";
 
                assert read_result.status = NOT_FOUND           report "T1: expected NOT_FOUND";
 
                wait for clk_period;
 
                wait for clk_period;
 
                read_req.req <= '0';
 
                read_req.req <= '0';
 
                wait for clk_period;
 
                wait for clk_period*2;
 
                assert read_result.status = IDLE                report "T1: expected IDLE";
 
                assert read_result.status = IDLE                report "T1: expected IDLE";
 
                assert entry_count = x"00"                              report "T1: wrong entry count";
 
                assert entry_count = x"00"                              report "T1: wrong entry count";
 
 
 
 
 
                report "T2 - insert first entry into store";
 
                report "T2 - insert first entry into store";
 
                write_req.entry.ip <= x"12345678";
 
                write_req.entry.ip <= x"12345678";
Line 142... Line 142... 
                assert read_result.status = FOUND                                               report "T3: expected FOUND";
 
                assert read_result.status = FOUND                                               report "T3: expected FOUND";
 
                assert read_result.entry.ip = x"12345678"                               report "T3: wrong ip addr";
 
                assert read_result.entry.ip = x"12345678"                               report "T3: wrong ip addr";
 
                assert read_result.entry.mac = x"002398127645"          report "T3: wrong mac addr";
 
                assert read_result.entry.mac = x"002398127645"          report "T3: wrong mac addr";
 
                wait for clk_period;
 
                wait for clk_period;
 
                read_req.req <= '0';
 
                read_req.req <= '0';
 
                wait for clk_period*2;
 
                wait for clk_period*3;
 
                assert read_result.status = IDLE                report "T3: expected IDLE";
 
                assert read_result.status = IDLE                report "T3: expected IDLE";
 
 
 
 
 
                report "T4 - check unable to find missing entry with one entry in store";
 
                report "T4 - check unable to find missing entry with one entry in store";
 
                read_req.ip <= x"12345679";
 
                read_req.ip <= x"12345679";
 
                read_req.req <= '1';
 
                read_req.req <= '1';
 
      wait until read_result.status = FOUND or read_result.status = NOT_FOUND;
 
      wait until read_result.status = FOUND or read_result.status = NOT_FOUND;
 
      wait for clk_period;
 
      wait for clk_period;
 
                assert read_result.status = NOT_FOUND           report "T4: expected NOT_FOUND";
 
                assert read_result.status = NOT_FOUND           report "T4: expected NOT_FOUND";
 
                wait for clk_period;
 
                wait for clk_period;
 
                read_req.req <= '0';
 
                read_req.req <= '0';
 
                wait for clk_period*2;
 
                wait for clk_period*3;
 
                assert read_result.status = IDLE                report "T4: expected IDLE";
 
                assert read_result.status = IDLE                report "T4: expected IDLE";
 
 
 
 
 
                report "T5 - insert 2nd entry into store and check can find both entries";
 
                report "T5 - insert 2nd entry into store and check can find both entries";
 
                write_req.entry.ip <= x"12345679";
 
                write_req.entry.ip <= x"12345679";
 
                write_req.entry.mac <= x"101202303404";
 
                write_req.entry.mac <= x"101202303404";
Line 173... Line 173... 
      wait for clk_period;
 
      wait for clk_period;
 
                assert read_result.status = FOUND                                               report "T5.1: expected FOUND";
 
                assert read_result.status = FOUND                                               report "T5.1: expected FOUND";
 
                assert read_result.entry.ip = x"12345678"                               report "T5.1: wrong ip addr";
 
                assert read_result.entry.ip = x"12345678"                               report "T5.1: wrong ip addr";
 
                assert read_result.entry.mac = x"002398127645"          report "T5.1: wrong mac addr";
 
                assert read_result.entry.mac = x"002398127645"          report "T5.1: wrong mac addr";
 
                read_req.req <= '0';
 
                read_req.req <= '0';
 
                wait for clk_period*2;
 
                wait for clk_period*3;
 
                assert read_result.status = IDLE                report "T5.1: expected IDLE";
 
                assert read_result.status = IDLE                report "T5.1: expected IDLE";
 
                read_req.ip <= x"12345679";
 
                read_req.ip <= x"12345679";
 
                read_req.req <= '1';
 
                read_req.req <= '1';
 
      wait until read_result.status = FOUND or read_result.status = NOT_FOUND;
 
      wait until read_result.status = FOUND or read_result.status = NOT_FOUND;
 
      wait for clk_period;
 
      wait for clk_period;
 
                assert read_result.status = FOUND                                               report "T5.2: expected FOUND";
 
                assert read_result.status = FOUND                                               report "T5.2: expected FOUND";
 
                assert read_result.entry.ip = x"12345679"                               report "T5.2: wrong ip addr";
 
                assert read_result.entry.ip = x"12345679"                               report "T5.2: wrong ip addr";
 
                assert read_result.entry.mac = x"101202303404"          report "T5.2: wrong mac addr";
 
                assert read_result.entry.mac = x"101202303404"          report "T5.2: wrong mac addr";
 
                read_req.req <= '0';
 
                read_req.req <= '0';
 
                wait for clk_period*2;
 
                wait for clk_period*3;
 
                assert read_result.status = IDLE                report "T5.2: expected IDLE";
 
                assert read_result.status = IDLE                report "T5.2: expected IDLE";
 
 
 
 
 
                report "T6 - insert 2 more entries so that the store is full. check can find all";
 
                report "T6 - insert 2 more entries so that the store is full. check can find all";
 
                write_req.entry.ip <= x"1234567a";
 
                write_req.entry.ip <= x"1234567a";
 
                write_req.entry.mac <= x"10120230340a";
 
                write_req.entry.mac <= x"10120230340a";
Line 210... Line 210... 
      wait for clk_period;
 
      wait for clk_period;
 
                assert read_result.status = FOUND                                               report "T6.1: expected FOUND";
 
                assert read_result.status = FOUND                                               report "T6.1: expected FOUND";
 
                assert read_result.entry.ip = x"12345678"                               report "T6.1: wrong ip addr";
 
                assert read_result.entry.ip = x"12345678"                               report "T6.1: wrong ip addr";
 
                assert read_result.entry.mac = x"002398127645"          report "T6.1: wrong mac addr";
 
                assert read_result.entry.mac = x"002398127645"          report "T6.1: wrong mac addr";
 
                read_req.req <= '0';
 
                read_req.req <= '0';
 
                wait for clk_period*2;
 
                wait for clk_period*3;
 
                assert read_result.status = IDLE                                                        report "T6.1: expected IDLE";
 
                assert read_result.status = IDLE                                                        report "T6.1: expected IDLE";
 
                read_req.ip <= x"12345679";
 
                read_req.ip <= x"12345679";
 
                read_req.req <= '1';
 
                read_req.req <= '1';
 
      wait until read_result.status = FOUND or read_result.status = NOT_FOUND;
 
      wait until read_result.status = FOUND or read_result.status = NOT_FOUND;
 
      wait for clk_period;
 
      wait for clk_period;
 
                assert read_result.status = FOUND                                               report "T6.2: expected FOUND";
 
                assert read_result.status = FOUND                                               report "T6.2: expected FOUND";
 
                assert read_result.entry.ip = x"12345679"                               report "T6.2: wrong ip addr";
 
                assert read_result.entry.ip = x"12345679"                               report "T6.2: wrong ip addr";
 
                assert read_result.entry.mac = x"101202303404"          report "T6.2: wrong mac addr";
 
                assert read_result.entry.mac = x"101202303404"          report "T6.2: wrong mac addr";
 
                read_req.req <= '0';
 
                read_req.req <= '0';
 
                wait for clk_period*2;
 
                wait for clk_period*3;
 
                assert read_result.status = IDLE                                                        report "T6.2: expected IDLE";
 
                assert read_result.status = IDLE                                                        report "T6.2: expected IDLE";
 
                read_req.ip <= x"1234567a";
 
                read_req.ip <= x"1234567a";
 
                read_req.req <= '1';
 
                read_req.req <= '1';
 
      wait until read_result.status = FOUND or read_result.status = NOT_FOUND;
 
      wait until read_result.status = FOUND or read_result.status = NOT_FOUND;
 
      wait for clk_period;
 
      wait for clk_period;
 
                assert read_result.status = FOUND                                               report "T6.3: expected FOUND";
 
                assert read_result.status = FOUND                                               report "T6.3: expected FOUND";
 
                assert read_result.entry.ip = x"1234567a"                               report "T6.3: wrong ip addr";
 
                assert read_result.entry.ip = x"1234567a"                               report "T6.3: wrong ip addr";
 
                assert read_result.entry.mac = x"10120230340a"          report "T6.3: wrong mac addr";
 
                assert read_result.entry.mac = x"10120230340a"          report "T6.3: wrong mac addr";
 
                read_req.req <= '0';
 
                read_req.req <= '0';
 
                wait for clk_period*2;
 
                wait for clk_period*3;
 
                assert read_result.status = IDLE                                                        report "T6.3: expected IDLE";
 
                assert read_result.status = IDLE                                                        report "T6.3: expected IDLE";
 
                read_req.ip <= x"1234567b";
 
                read_req.ip <= x"1234567b";
 
                read_req.req <= '1';
 
                read_req.req <= '1';
 
      wait until read_result.status = FOUND or read_result.status = NOT_FOUND;
 
      wait until read_result.status = FOUND or read_result.status = NOT_FOUND;
 
      wait for clk_period;
 
      wait for clk_period;
 
                assert read_result.status = FOUND                                               report "T6.4: expected FOUND";
 
                assert read_result.status = FOUND                                               report "T6.4: expected FOUND";
 
                assert read_result.entry.ip = x"1234567b"                               report "T6.4: wrong ip addr";
 
                assert read_result.entry.ip = x"1234567b"                               report "T6.4: wrong ip addr";
 
                assert read_result.entry.mac = x"10120230340b"          report "T6.4: wrong mac addr";
 
                assert read_result.entry.mac = x"10120230340b"          report "T6.4: wrong mac addr";
 
                read_req.req <= '0';
 
                read_req.req <= '0';
 
                wait for clk_period*2;
 
                wait for clk_period*3;
 
                assert read_result.status = IDLE                                                        report "T6.4: expected IDLE";
 
                assert read_result.status = IDLE                                                        report "T6.4: expected IDLE";
 
 
 
 
 
                report "T7 - with store full, check that we dont find missing item";
 
                report "T7 - with store full, check that we dont find missing item";
 
                read_req.ip <= x"1233367b";
 
                read_req.ip <= x"1233367b";
 
                read_req.req <= '1';
 
                read_req.req <= '1';
 
      wait until read_result.status = FOUND or read_result.status = NOT_FOUND;
 
      wait until read_result.status = FOUND or read_result.status = NOT_FOUND;
 
      wait for clk_period;
 
      wait for clk_period;
 
                assert read_result.status = NOT_FOUND                                   report "T7: expected NOT_FOUND";
 
                assert read_result.status = NOT_FOUND                                   report "T7: expected NOT_FOUND";
 
                read_req.req <= '0';
 
                read_req.req <= '0';
 
                wait for clk_period*2;
 
                wait for clk_period*3;
 
                assert read_result.status = IDLE                                                        report "T7: expected IDLE";
 
                assert read_result.status = IDLE                                                        report "T7: expected IDLE";
 
 
 
 
 
                report "T8 - insert additional entry into store - will erase one of the others";
 
                report "T8 - insert additional entry into store - will erase one of the others";
 
                write_req.entry.ip <= x"12345699";
 
                write_req.entry.ip <= x"12345699";
 
                write_req.entry.mac <= x"992398127699";
 
                write_req.entry.mac <= x"992398127699";
Line 270... Line 270... 
      wait for clk_period;
 
      wait for clk_period;
 
                assert read_result.status = FOUND                                               report "T8: expected FOUND";
 
                assert read_result.status = FOUND                                               report "T8: expected FOUND";
 
                assert read_result.entry.ip = x"12345699"                               report "T8: wrong ip addr";
 
                assert read_result.entry.ip = x"12345699"                               report "T8: wrong ip addr";
 
                assert read_result.entry.mac = x"992398127699"          report "T8: wrong mac addr";
 
                assert read_result.entry.mac = x"992398127699"          report "T8: wrong mac addr";
 
                read_req.req <= '0';
 
                read_req.req <= '0';
 
                wait for clk_period*2;
 
                wait for clk_period*3;
 
                assert read_result.status = IDLE                                                        report "T8: expected IDLE";
 
                assert read_result.status = IDLE                                                        report "T8: expected IDLE";
 
 
 
 
 
                report "T9 - clear the store and ensure cant find something that was there";
 
                report "T9 - clear the store and ensure cant find something that was there";
 
                clear_store <= '1';
 
                clear_store <= '1';
 
      wait for clk_period;
 
      wait for clk_period;
Line 285... Line 285... 
                read_req.req <= '1';
 
                read_req.req <= '1';
 
      wait until read_result.status = FOUND or read_result.status = NOT_FOUND;
 
      wait until read_result.status = FOUND or read_result.status = NOT_FOUND;
 
      wait for clk_period;
 
      wait for clk_period;
 
                assert read_result.status = NOT_FOUND                                   report "T9: expected NOT_FOUND";
 
                assert read_result.status = NOT_FOUND                                   report "T9: expected NOT_FOUND";
 
                read_req.req <= '0';
 
                read_req.req <= '0';
 
                wait for clk_period*2;
 
                wait for clk_period*3;
 
                assert read_result.status = IDLE                                                        report "T9: expected IDLE";
 
                assert read_result.status = IDLE                                                        report "T9: expected IDLE";
 
 
 
 
 
                report "T10 - refill the store with three entries";
 
                report "T10 - refill the store with three entries";
 
                write_req.entry.ip <= x"12345675";
 
                write_req.entry.ip <= x"12345675";
 
                write_req.entry.mac <= x"10120230340a";
 
                write_req.entry.mac <= x"10120230340a";
Line 321... Line 321... 
      wait for clk_period;
 
      wait for clk_period;
 
                assert read_result.status = FOUND                                               report "T11.1: expected FOUND";
 
                assert read_result.status = FOUND                                               report "T11.1: expected FOUND";
 
                assert read_result.entry.ip = x"12345676"                               report "T11.1: wrong ip addr";
 
                assert read_result.entry.ip = x"12345676"                               report "T11.1: wrong ip addr";
 
                assert read_result.entry.mac = x"10120230340b"          report "T11.1: wrong mac addr";
 
                assert read_result.entry.mac = x"10120230340b"          report "T11.1: wrong mac addr";
 
                read_req.req <= '0';
 
                read_req.req <= '0';
 
                wait for clk_period*2;
 
                wait for clk_period*3;
 
                assert read_result.status = IDLE                                                        report "T11.1: expected IDLE";
 
                assert read_result.status = IDLE                                                        report "T11.1: expected IDLE";
 
                write_req.entry.ip <= x"12345676";
 
                write_req.entry.ip <= x"12345676";
 
                write_req.entry.mac <= x"10120990340b";
 
                write_req.entry.mac <= x"10120990340b";
 
                write_req.req <= '1';
 
                write_req.req <= '1';
 
      wait for clk_period;
 
      wait for clk_period;
Line 338... Line 338... 
      wait for clk_period;
 
      wait for clk_period;
 
                assert read_result.status = FOUND                                               report "T11.2: expected FOUND";
 
                assert read_result.status = FOUND                                               report "T11.2: expected FOUND";
 
                assert read_result.entry.ip = x"12345676"                               report "T11.2: wrong ip addr";
 
                assert read_result.entry.ip = x"12345676"                               report "T11.2: wrong ip addr";
 
                assert read_result.entry.mac = x"10120990340b"          report "T11.2: wrong mac addr";
 
                assert read_result.entry.mac = x"10120990340b"          report "T11.2: wrong mac addr";
 
                read_req.req <= '0';
 
                read_req.req <= '0';
 
                wait for clk_period*2;
 
                wait for clk_period*3;
 
                assert read_result.status = IDLE                                                        report "T11.2: expected IDLE";
 
                assert read_result.status = IDLE                                                        report "T11.2: expected IDLE";
 
 
 
 
 
                report "T12 - check 2nd write at beginning";
 
                report "T12 - check 2nd write at beginning";
 
                -- clear store, write 1st entry, overwrite the entry, and check
 
                -- clear store, write 1st entry, overwrite the entry, and check
 
                clear_store <= '1';
 
                clear_store <= '1';
Line 372... Line 372... 
      wait for clk_period;
 
      wait for clk_period;
 
                assert read_result.status = FOUND                                               report "T12.4: expected FOUND";
 
                assert read_result.status = FOUND                                               report "T12.4: expected FOUND";
 
                assert read_result.entry.ip = x"12345678"                               report "T12.4: wrong ip addr";
 
                assert read_result.entry.ip = x"12345678"                               report "T12.4: wrong ip addr";
 
                assert read_result.entry.mac = x"002398127647"          report "T12.4: wrong mac addr";
 
                assert read_result.entry.mac = x"002398127647"          report "T12.4: wrong mac addr";
 
                read_req.req <= '0';
 
                read_req.req <= '0';
 
                wait for clk_period*2;
 
                wait for clk_period*3;
 
                assert read_result.status = IDLE                                                        report "T12.5: expected IDLE";
 
                assert read_result.status = IDLE                                                        report "T12.5: expected IDLE";
 
 
 
 
 
                report "--- end of tests ---";
 
                report "--- end of tests ---";
 
      wait;
 
      wait;
 
   end process;
 
   end process;

powered by: WebSVN 2.1.0

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