URL
https://opencores.org/ocsvn/t48/t48/trunk
Subversion Repositories t48
[/] [t48/] [tags/] [rel_1_3/] [bench/] [vhdl/] [upi_stim.vhd] - Rev 339
Go to most recent revision | Compare with Previous | Blame | View Log
library ieee; use ieee.std_logic_1164.all; use ieee.numeric_std.all; entity upi_stim is port ( cs_n_o : out std_logic; rd_n_o : out std_logic; wr_n_o : out std_logic; a0_o : out std_logic; db_b : inout std_logic_vector(7 downto 0); p1_b : inout std_logic_vector(7 downto 0); p2_b : inout std_logic_vector(7 downto 0); fail_o : out boolean ); end upi_stim; architecture behav of upi_stim is subtype word_t is std_logic_vector(7 downto 0); alias dack_n : std_logic is p2_b(7); alias drq : std_logic is p2_b(6); alias int_ibf_n : std_logic is p2_b(5); alias int_obf : std_logic is p2_b(4); begin stim: process constant test_echo_c : word_t := "00000001"; constant test_status41_c : word_t := "00000010"; constant test_status41a_c : word_t := "00000011"; constant test_master_int_c : word_t := "00000100"; constant test_dma_int_c : word_t := "00000101"; constant del_seq_c : time := 5 us; constant del_dat_c : time := 10 us; constant del_step_c : time := 20 us; variable rdata : std_logic_vector(db_b'range); procedure write_dbbin(data : in word_t; a0 : in std_logic) is begin cs_n_o <= '0'; a0_o <= a0; wait for del_seq_c; wr_n_o <= '0'; wait for del_seq_c; db_b <= data; wait for del_dat_c; wr_n_o <= '1'; wait for del_seq_c; cs_n_o <= '1'; wait for del_seq_c; db_b <= (others => 'Z'); wait for del_step_c; end; procedure read_dbbout(a0 : in std_logic) is begin cs_n_o <= '0'; a0_o <= a0; wait for del_seq_c; rd_n_o <= '0'; wait for del_dat_c; rdata := db_b; rd_n_o <= '1'; wait for del_seq_c; cs_n_o <= '1'; wait for del_seq_c; wait for del_step_c; end; procedure read_dma is begin wait for del_seq_c; dack_n <= '0'; wait for del_seq_c; rd_n_o <= '0'; wait for del_dat_c; rdata := db_b; rd_n_o <= '1'; wait for del_seq_c; dack_n <= '1'; wait for del_seq_c; wait for del_step_c; end; procedure write_dma(data : in word_t) is begin wait for del_seq_c; dack_n <= '0'; wait for del_seq_c; wr_n_o <= '0'; wait for del_seq_c; db_b <= data; wait for del_dat_c; wr_n_o <= '1'; wait for del_seq_c; dack_n <= '1'; wait for del_seq_c; db_b <= (others => 'Z'); wait for del_step_c; end; procedure poll_obf is begin -- poll for OBF rdata := (others => '0'); while rdata(0) = '0' loop read_dbbout(a0 => '1'); end loop; end; --------------------------------------------------------------------------- -- procedure echo_test is begin -- write data write_dbbin(data => "01010101", a0 => '0'); poll_obf; read_dbbout(a0 => '0'); if rdata /= "10101010" then fail_o <= true; end if; -- send ok to dut write_dbbin(data => test_echo_c, a0 => '1'); end; --------------------------------------------------------------------------- -- procedure status41_test is begin -- test F1=0, F0=0, IBF=0, OBF=0 read_dbbout(a0 => '1'); if rdata(3 downto 0) /= "0000" then fail_o <= true; end if; -- Step 1: -- set IBF and F1, DUT software doesn't read data write_dbbin(data => test_status41_c, a0 => '1'); -- test F1=1, F0=0, IBF=1, OBF=0 read_dbbout(a0 => '1'); if rdata(3 downto 0) /= "1010" then fail_o <= true; end if; -- Step 2: -- set IBF and clear F1, DUT software doesn't read data write_dbbin(data => test_status41_c, a0 => '0'); -- test F1=0, F0=0, IBF=1, OBF=0 read_dbbout(a0 => '1'); if rdata(3 downto 0) /= "0010" then fail_o <= true; end if; -- Step 3: -- set IBF and set F1, DUT software reads data and sets F0 write_dbbin(data => not test_status41_c, a0 => '1'); -- test F1=1, F0=1, IBF=0, OBF=0 read_dbbout(a0 => '1'); if rdata(3 downto 0) /= "1100" then fail_o <= true; end if; -- Step 4: -- set IBF and clear F1, DUT software reads data and clears F0 write_dbbin(data => not test_status41_c, a0 => '0'); -- test F1=0, F0=0, IBF=0, OBF=0 read_dbbout(a0 => '1'); if rdata(3 downto 0) /= "0000" then fail_o <= true; end if; -- Step 5: -- set IBF and set F1, DUT software reads data and loads OBF with F0=1 write_dbbin(data => test_status41_c, a0 => '1'); -- test F1=1, F0=1, IBF=0, OBF=1 read_dbbout(a0 => '1'); if rdata(3 downto 0) /= "1101" then fail_o <= true; end if; -- read OBF, test for 099H read_dbbout(a0 => '0'); if rdata /= "10011001" then fail_o <= true; end if; -- test F1=1, F0=1, IBF=0, OBF=0 read_dbbout(a0 => '1'); if rdata(3 downto 0) /= "1100" then fail_o <= true; end if; -- Step 6: -- set IBF and clear F1, DUT software reads data and loads OBF with F0=0 -- and F1=1 write_dbbin(data => test_status41_c, a0 => '0'); -- test F1=1, F0=0, IBF=0, OBF=1 read_dbbout(a0 => '1'); if rdata(3 downto 0) /= "1001" then fail_o <= true; end if; -- read OBF; test for 066H read_dbbout(a0 => '0'); if rdata /= "01100110" then fail_o <= true; end if; -- test F1=1, F0=0, IBF=0, OBF=0 read_dbbout(a0 => '1'); if rdata(3 downto 0) /= "1000" then fail_o <= true; end if; -- send ok to dut write_dbbin(data => test_status41_c, a0 => '1'); end; --------------------------------------------------------------------------- -- procedure status41a_test is begin -- test F1=0, F0=0, IBF=0, OBF=0 read_dbbout(a0 => '1'); if rdata(3 downto 0) /= "0000" then fail_o <= true; end if; -- Step 1: -- set IBF and F1, DUT software sets STS to A write_dbbin(data => test_status41a_c, a0 => '1'); -- test STS=A, F1=1, F0=0, IBF=0, OBF=1 read_dbbout(a0 => '1'); if rdata /= "10101001" then fail_o <= true; end if; -- read_dbbout(a0 => '0'); if rdata /= "00000001" then fail_o <= true; end if; -- Step 2: -- set IBF and clear F1, DUT software sets STS to 5 write_dbbin(data => not test_status41a_c, a0 => '0'); -- test STS=5, F1=0, F0=0, IBF=0, OBF=1 read_dbbout(a0 => '1'); if rdata /= "01010001" then fail_o <= true; end if; -- read_dbbout(a0 => '0'); if rdata /= "00000010" then fail_o <= true; end if; -- Step 3: -- set IBF and set F1, DUT software sets STS to 0 write_dbbin(data => test_status41a_c, a0 => '1'); -- test STS=0, F1=1, F0=0, IBF=0, OBF=1 read_dbbout(a0 => '1'); if rdata /= "00001001" then fail_o <= true; end if; -- read_dbbout(a0 => '0'); if rdata /= "00000011" then fail_o <= true; end if; -- Step 4: -- set IBF and clear F1, DUT software sets STS to 0 write_dbbin(data => not test_status41a_c, a0 => '0'); -- test STS=0, F1=0, F0=0, IBF=0, OBF=1 read_dbbout(a0 => '1'); if rdata /= "00000001" then fail_o <= true; end if; -- read_dbbout(a0 => '0'); if rdata /= "00000100" then fail_o <= true; end if; -- send ok to dut write_dbbin(data => test_status41a_c, a0 => '1'); end; --------------------------------------------------------------------------- -- procedure master_int_test is begin -- check master interrupt lines are still high if int_ibf_n /= 'H' or int_obf /= 'H' then fail_o <= true; end if; -- acknowledge write_dbbin(data => not test_master_int_c, a0 => '0'); while int_ibf_n = '0' loop end loop; -- test IBF=1, OBF=0 if int_ibf_n /= 'H' or int_obf /= '0' then fail_o <= true; end if; -- send another byte write_dbbin(data => test_master_int_c, a0 => '1'); while int_ibf_n = '0' loop end loop; -- test IBF=1, OBF=0 if int_ibf_n /= 'H' or int_obf /= '0' then fail_o <= true; end if; -- send turnover byte write_dbbin(data => "10101010", a0 => '0'); while int_obf = '0' loop end loop; -- test IBF=0, OBF=1 if int_ibf_n /= '0' and int_obf /= 'H' then fail_o <= true; end if; -- read_dbbout(a0 => '0'); if rdata /= "01000000" then fail_o <= true; end if; while int_obf = '0' loop end loop; -- test IBF=0, OBF=1 if int_ibf_n /= '0' and int_obf /= 'H' then fail_o <= true; end if; -- read_dbbout(a0 => '0'); if rdata /= "01010000" then fail_o <= true; end if; -- test IBF=0, OBF=1 if int_ibf_n /= '0' and int_obf /= '0' then fail_o <= true; end if; -- send ok to dut write_dbbin(data => test_master_int_c, a0 => '1'); end; --------------------------------------------------------------------------- -- procedure dma_int_test is begin -- acknowledge write_dbbin(data => not test_dma_int_c, a0 => '0'); -- test DRQ line low if drq /= '0' then fail_o <= true; end if; -- read 4 bytes with DMA for byte in 4 downto 1 loop -- wait for DRQ wait until rising_edge(drq); -- check status read_dbbout(a0 => '1'); if rdata /= "00000001" then fail_o <= true; end if; -- check DRQ still active if drq /= 'H' then fail_o <= true; end if; -- finally read data read_dma; if unsigned(rdata) /= byte then fail_o <= true; end if; -- check status read_dbbout(a0 => '1'); if rdata /= "00000000" then fail_o <= true; end if; end loop; --wait; -- write 4 bytes with DMA for byte in 4 downto 1 loop -- wait for DRQ wait until rising_edge(drq); -- check status read_dbbout(a0 => '1'); if rdata /= "00000000" then fail_o <= true; end if; -- check DRQ still active if drq /= 'H' then fail_o <= true; end if; -- finally write data write_dma(data => std_logic_vector(to_unsigned(byte, word_t'length))); end loop; -- send ok to dut write_dbbin(data => test_dma_int_c, a0 => '1'); end; begin fail_o <= false; cs_n_o <= '1'; rd_n_o <= '1'; wr_n_o <= '1'; a0_o <= '0'; db_b <= (others => 'Z'); dack_n <= 'H'; wait until falling_edge(p1_b(2)); wait for 100 us; while true loop poll_obf; -- read and interpret request read_dbbout(a0 => '0'); case rdata is when test_echo_c => echo_test; when test_status41_c => status41_test; when test_status41a_c => status41a_test; when test_master_int_c => master_int_test; when test_dma_int_c => dma_int_test; when others => null; end case; end loop; wait; end process stim; end;
Go to most recent revision | Compare with Previous | Blame | View Log