git-svn-id: http://moon:8086/svn/vhdl/trunk@1531 cc03376c-175c-47c8-b038-4cd826a8556b
415 lines
12 KiB
VHDL
415 lines
12 KiB
VHDL
-------------------------------------------------------------------------
|
|
-- Project: JCPU, a portable 8-bit RISC CPU written in VHDL
|
|
-- This file: testbench for system test using Xilinx ML-402
|
|
|
|
-- Copyright (C) 2007 J. Ahrensfeld
|
|
|
|
-- This library is free software; you can redistribute it and/or
|
|
-- modify it under the terms of the GNU Lesser General Public
|
|
-- License as published by the Free Software Foundation; either
|
|
-- version 2.1 of the License, or (at your option) any later version.
|
|
|
|
-- This library is distributed in the hope that it will be useful,
|
|
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
-- Lesser General Public License for more details.
|
|
|
|
-- You should have received a copy of the GNU Lesser General Public
|
|
-- License along with this library; if not, write to the Free Software
|
|
-- Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
|
|
|
-- For questions and ideas, please contact the author at jens@jayfield.org
|
|
|
|
-----------------------------------------------------------------------
|
|
|
|
LIBRARY ieee;
|
|
use IEEE.STD_LOGIC_1164.ALL;
|
|
USE ieee.numeric_std.ALL;
|
|
use std.textio.all; -- Imports the standard textio package.
|
|
|
|
ENTITY tb_ram_wb IS
|
|
END tb_ram_wb;
|
|
|
|
ARCHITECTURE behavior OF tb_ram_wb IS
|
|
|
|
constant CLK_PERIOD : time := 10 ns;
|
|
constant RAM_NUM_WORDS : integer := 256;
|
|
|
|
signal CLK_O : std_logic := '1';
|
|
signal RST_O : std_logic := '1';
|
|
signal CYC_O : std_logic := '0';
|
|
signal STB_O : std_logic := '0';
|
|
signal WE_O : std_logic := '0';
|
|
signal SEL_O : unsigned(3 downto 0) := (others => '1');
|
|
signal ACK_I : std_logic;
|
|
signal MRDY_O : std_logic := '1';
|
|
signal SRDY_I : std_logic;
|
|
signal ADDR_O : unsigned(31 downto 0) := (others => '-');
|
|
signal DAT_I : unsigned(31 downto 0);
|
|
signal DAT_O : unsigned(31 downto 0) := (others => '-');
|
|
|
|
signal dout_rst : std_logic := '0';
|
|
signal dout_reg : unsigned(31 downto 0);
|
|
signal dout_cnt : natural range 0 to 255;
|
|
|
|
BEGIN
|
|
|
|
inst_ram_wb : entity work.ram_wb
|
|
GENERIC MAP
|
|
(
|
|
NUM_WORDS => RAM_NUM_WORDS
|
|
)
|
|
PORT MAP
|
|
(
|
|
RST_I => RST_O,
|
|
CLK_I => CLK_O,
|
|
CYC_I => CYC_O,
|
|
STB_I => STB_O,
|
|
SEL_I => SEL_O,
|
|
WE_I => WE_O,
|
|
ACK_O => ACK_I,
|
|
SRDY_O => SRDY_I,
|
|
MRDY_I => MRDY_O,
|
|
ADDR_I => ADDR_O,
|
|
DAT_I => DAT_O,
|
|
DAT_O => DAT_I
|
|
);
|
|
|
|
read_register:
|
|
process(CLK_O)
|
|
begin
|
|
if rising_edge(CLK_O) then
|
|
if dout_rst = '1' then
|
|
dout_cnt <= 0;
|
|
elsif ACK_I = '1' and WE_O = '0' then
|
|
dout_reg <= DAT_I;
|
|
dout_cnt <= dout_cnt + 1;
|
|
end if;
|
|
end if;
|
|
end process;
|
|
|
|
CLK_GEN: process
|
|
begin
|
|
wait for CLK_PERIOD/2;
|
|
CLK_O <= not CLK_O;
|
|
end process;
|
|
|
|
STIMULUS: process
|
|
|
|
begin
|
|
|
|
wait for 3*CLK_PERIOD;
|
|
RST_O <= '0';
|
|
|
|
-- 8 single cycles
|
|
CYC_O <= '1';
|
|
STB_O <= '1';
|
|
WE_O <= '1';
|
|
DAT_O <= X"1234_CAF0";
|
|
ADDR_O <= X"0000_0000";
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
DAT_O <= DAT_O + 1;
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
STB_O <= '0';
|
|
wait until rising_edge(CLK_O);
|
|
CYC_O <= '0';
|
|
|
|
|
|
-- 8-word burst cycle
|
|
wait for 3*CLK_PERIOD;
|
|
dout_rst <= '1';
|
|
wait until rising_edge(CLK_O);
|
|
dout_rst <= '0';
|
|
CYC_O <= '1';
|
|
STB_O <= '1';
|
|
WE_O <= '0';
|
|
ADDR_O <= X"0000_0000";
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
STB_O <= '0';
|
|
|
|
wait until rising_edge(CLK_O) and dout_cnt = 7;
|
|
CYC_O <= '0';
|
|
|
|
wait for 3*CLK_PERIOD;
|
|
wait until rising_edge(CLK_O);
|
|
-- 1-word burst cycle
|
|
CYC_O <= '1';
|
|
STB_O <= '1';
|
|
WE_O <= '1';
|
|
SEL_O <= "0011";
|
|
ADDR_O <= X"0000_0080";
|
|
DAT_O <= X"DEADBEEF";
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
STB_O <= '0';
|
|
wait until rising_edge(CLK_O);
|
|
CYC_O <= '0';
|
|
|
|
wait for 3*CLK_PERIOD;
|
|
wait until rising_edge(CLK_O);
|
|
-- 1-word burst cycle
|
|
CYC_O <= '1';
|
|
STB_O <= '1';
|
|
WE_O <= '0';
|
|
ADDR_O <= X"0000_0080";
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
STB_O <= '0';
|
|
wait until rising_edge(CLK_O);
|
|
CYC_O <= '0';
|
|
|
|
-- 8-word burst cycle
|
|
wait for 3*CLK_PERIOD;
|
|
dout_rst <= '1';
|
|
wait until rising_edge(CLK_O);
|
|
dout_rst <= '0';
|
|
CYC_O <= '1';
|
|
STB_O <= '1';
|
|
WE_O <= '0';
|
|
ADDR_O <= X"0000_0000";
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
STB_O <= '0';
|
|
MRDY_O <= '0';
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
STB_O <= '1';
|
|
MRDY_O <= '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
ADDR_O <= ADDR_O + 4;
|
|
wait until rising_edge(CLK_O) and SRDY_I = '1';
|
|
STB_O <= '0';
|
|
|
|
wait until rising_edge(CLK_O) and dout_cnt = 54;
|
|
CYC_O <= '0';
|
|
|
|
wait;
|
|
|
|
end process;
|
|
|
|
END;
|