+library ieee;
+use ieee.std_logic_1164.all;
+use ieee.std_logic_arith.all;
+use ieee.std_logic_unsigned.all;
+
+entity tb_vector_gen is
+end tb_vector_gen;
+
+--------------------------------------------------------------------------------
+
+architecture testbench of tb_vector_gen is
+
+ constant period : time := 5 ns;
+ constant offset : time := 0 us;
+
+ constant LUT_DAT_W : integer := 10;
+ constant LUT_ADR_W : integer := 9;
+ constant LUT_INIT_FILE : string := "../sin.lut";
+ constant IRF_ADR_W : integer := 5;
+
+ constant WAVE_SIZE : integer := 2**LUT_ADR_W;
+
+
+ signal ACK_O : std_logic;
+ signal CLK_I : std_logic;
+ signal RST_I : std_logic;
+ signal STB_I : std_logic;
+
+ signal IRF_ACK_I : std_logic;
+ signal IRF_ADR_O : std_logic_vector (IRF_ADR_W-1 downto 0);
+ signal IRF_CYC_O : std_logic;
+ signal IRF_DAT_I : std_logic_vector (15 downto 0);
+ signal IRF_DAT_O : std_logic_vector (15 downto 0);
+ signal IRF_STB_O : std_logic;
+ signal IRF_WE_O : std_logic;
+ signal LUT_ADR_O : std_logic_vector (LUT_ADR_W-1 downto 0);
+ signal LUT_DAT_I : std_logic_vector (LUT_DAT_W-1 downto 0);
+ signal LUT_STB_O : std_logic;
+
+
+ subtype word_t is std_logic_vector (15 downto 0);
+
+ signal dbg_mem0 : word_t := conv_std_logic_vector(1,16); -- read only by UUT
+ signal dbg_mem1 : word_t := (others => '0');
+ signal dbg_mem2 : word_t := (others => '0');
+ signal dbg_mem3 : word_t := (others => '0');
+ signal dbg_ack : std_logic := '0';
+
+--------------------------------------------------------------------------------
+
+ component vector_gen is
+ port (
+ ACK_O : out std_logic;
+ CLK_I : in std_logic;
+ RST_I : in std_logic;
+ STB_I : in std_logic;
+ IRF_ACK_I : in std_logic;
+ IRF_ADR_O : out std_logic_vector (IRF_ADR_W-1 downto 0);
+ IRF_CYC_O : out std_logic;
+ IRF_DAT_I : in std_logic_vector (15 downto 0);
+ IRF_DAT_O : out std_logic_vector (15 downto 0);
+ IRF_STB_O : out std_logic;
+ IRF_WE_O : out std_logic;
+ LUT_ADR_O : out std_logic_vector (LUT_ADR_W-1 downto 0);
+ LUT_DAT_I : in std_logic_vector (LUT_DAT_W-1 downto 0);
+ LUT_STB_O : out std_logic);
+ end component vector_gen;
+
+ component wave_table is
+ generic (
+ DAT_W : integer;
+ ADR_W : integer;
+ INIT_FILE : string);
+ port (
+ ACK_O : out std_logic;
+ ADR_I : in std_logic_vector (ADR_W-1 downto 0);
+ CLK_I : in std_logic;
+ DAT_I : in std_logic_vector (DAT_W-1 downto 0);
+ DAT_O : out std_logic_vector (DAT_W-1 downto 0);
+ STB_I : in std_logic;
+ WE_I : in std_logic);
+ end component wave_table;
+
+ component test_mem is
+ generic (
+ DAT_W : integer;
+ ADR_W : integer);
+ port (
+ ACK_O : out std_logic;
+ ADR_I : in std_logic_vector (ADR_W-1 downto 0);
+ CLK_I : in std_logic;
+ DAT_I : in std_logic_vector (DAT_W-1 downto 0);
+ DAT_O : out std_logic_vector (DAT_W-1 downto 0);
+ STB_I : in std_logic;
+ WE_I : in std_logic);
+ end component test_mem;
+
+
+
+--------------------------------------------------------------------------------
+
+begin
+
+ uut : vector_gen
+ port map (
+ ACK_O => ACK_O,
+ CLK_I => CLK_I,
+ RST_I => RST_I,
+ STB_I => STB_I,
+ IRF_ACK_I => IRF_ACK_I,
+ IRF_ADR_O => IRF_ADR_O,
+ IRF_CYC_O => open,
+ IRF_DAT_I => IRF_DAT_I,
+ IRF_DAT_O => IRF_DAT_O,
+ IRF_STB_O => IRF_STB_O,
+ IRF_WE_O => IRF_WE_O,
+ LUT_ADR_O => LUT_ADR_O,
+ LUT_DAT_I => LUT_DAT_I,
+ LUT_STB_O => LUT_STB_O);
+
+ wave_table_1 : wave_table
+ generic map (
+ DAT_W => LUT_DAT_W,
+ ADR_W => LUT_ADR_W,
+ INIT_FILE => LUT_INIT_FILE)
+ port map (
+ ACK_O => open,
+ ADR_I => LUT_ADR_O,
+ CLK_I => CLK_I,
+ DAT_I => (others => '0'),
+ DAT_O => LUT_DAT_I,
+ STB_I => LUT_STB_O,
+ WE_I => '0');
+
+
+ SYSCON_CLK : process is
+ begin
+ CLK_I <= '0';
+ wait for offset;
+ loop
+ CLK_I <= '1';
+ wait for period/2;
+ CLK_I <= '0';
+ wait for period/2;
+ end loop;
+ end process;
+
+ SYSCON_RST : process is
+ begin
+ RST_I <= '0';
+ wait for offset;
+ wait for 0.75*period;
+ RST_I <= '1';
+ wait for 2*period;
+ RST_I <= '0';
+ wait;
+ end process;
+
+
+ DBG_MEM : process (IRF_STB_O, CLK_I) is
+ begin
+ IRF_ACK_I <= IRF_STB_O and (IRF_WE_O or dbg_ack);
+
+ if rising_edge(CLK_I) then
+ dbg_ack <= IRF_STB_O;
+ end if;
+
+ if rising_edge(CLK_I) and IRF_STB_O = '1' then
+ if IRF_WE_O = '0' then
+ case conv_integer(IRF_ADR_O) is
+ when 0 => IRF_DAT_I <= dbg_mem0;
+ when 1 => IRF_DAT_I <= dbg_mem1;
+ when 2 => IRF_DAT_I <= dbg_mem2;
+ when 3 => IRF_DAT_I <= dbg_mem3;
+ when others => IRF_DAT_I <= (others => '0');
+ end case;
+ else
+ case conv_integer(IRF_ADR_O) is
+ when 1 => dbg_mem1 <= IRF_DAT_O;
+ when 2 => dbg_mem2 <= IRF_DAT_O;
+ when 3 => dbg_mem3 <= IRF_DAT_O;
+ when others => null;
+ end case;
+ end if;
+ end if;
+ end process;
+
+--------------------------------------------------------------------------------
+
+ UUT_FEED : process is
+ begin
+ STB_I <= '0';
+
+ wait for offset;
+ wait for 4*period;
+
+ for i in 0 to WAVE_SIZE loop
+ dbg_mem0 <= (others => '0');
+ dbg_mem0(LUT_ADR_O'RANGE) <= conv_std_logic_vector(i, LUT_ADR_W);
+
+ STB_I <= '1';
+ wait until rising_edge(CLK_I) and ACK_O = '1';
+ STB_I <= '0';
+ wait for 4*period;
+ end loop;
+
+ wait;
+ end process;
+
+end testbench;
+