Subversion Repositories t48

-------------------------------------------------------------------------------

--

-- The testbench for t48_core.

--

-- $Id: tb.vhd,v 1.8 2004-04-25 20:41:48 arniml Exp $

--

-- Copyright (c) 2004, Arnim Laeuger (arniml@opencores.org)

--

-- All rights reserved

--

-- Redistribution and use in source and synthezised forms, with or without

-- modification, are permitted provided that the following conditions are met:

--

-- Redistributions of source code must retain the above copyright notice,

-- this list of conditions and the following disclaimer.

--

-- Redistributions in synthesized form must reproduce the above copyright

-- notice, this list of conditions and the following disclaimer in the

-- documentation and/or other materials provided with the distribution.

--

-- Neither the name of the author nor the names of other contributors may

-- be used to endorse or promote products derived from this software without

-- specific prior written permission.

--

-- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"

-- AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,

-- THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR

-- PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE

-- LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR

-- CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF

-- SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS

-- INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN

-- CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)

-- ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE

-- POSSIBILITY OF SUCH DAMAGE.

--

-- Please report bugs to the author, but before you do so, please

-- make sure that this is not a derivative work and that

-- you have the latest version of this file.

--

-- The latest version of this file can be found at:

--      http://www.opencores.org/cvsweb.shtml/t48/

--

-------------------------------------------------------------------------------

library ieee;

use ieee.std_logic_1164.all;

entity tb is

end tb;

use work.t48_core_comp_pack.all;

use work.t48_tb_pack.all;

architecture behav of tb is

  -- clock period, 11 MHz

  constant period_c : time := 90 ns;

  component if_timing

    port(

      xtal_i   : in std_logic;

      ale_i    : in std_logic;

      psen_n_i : in std_logic;

      rd_n_i   : in std_logic;

      wr_n_i   : in std_logic;

      prog_n_i : in std_logic;

      db_bus_i : in std_logic_vector(7 downto 0);

      p2_i     : in std_logic_vector(7 downto 0)

    );

  end component;

  signal xtal_s          : std_logic;

  signal xtal_n_s        : std_logic;

  signal res_n_s         : std_logic;

  signal xtal3_s         : std_logic;

  signal int_n_s         : std_logic;

  signal ale_s           : std_logic;

  signal rom_addr_s      : std_logic_vector(11 downto 0);

  signal rom_data_s      : std_logic_vector( 7 downto 0);

  signal ram_data_to_s   : std_logic_vector( 7 downto 0);

  signal ram_data_from_s : std_logic_vector( 7 downto 0);

  signal ram_addr_s      : std_logic_vector( 7 downto 0);

  signal ram_we_s        : std_logic;

  signal p1_s            : std_logic_vector( 7 downto 0);

  signal t48_p1_s        : std_logic_vector( 7 downto 0);

  signal p1_low_imp_s    : std_logic;

  signal p2_s            : std_logic_vector( 7 downto 0);

  signal t48_p2_s        : std_logic_vector( 7 downto 0);

  signal p2_low_imp_s    : std_logic;

  signal psen_n_s        : std_logic;

  signal prog_n_s        : std_logic;

  signal bus_s           : std_logic_vector( 7 downto 0);

  signal t48_bus_s       : std_logic_vector( 7 downto 0);

  signal bus_dir_s       : std_logic;

  signal ext_ram_addr_s      : std_logic_vector( 7 downto 0);

  signal ext_ram_data_from_s : std_logic_vector( 7 downto 0);

  signal ext_ram_we_s        : std_logic;

  signal rd_n_s              : std_logic;

  signal wr_n_s              : std_logic;

  signal zero_s          : std_logic;

  signal one_s           : std_logic;

  signal zero_byte_s     : std_logic_vector( 7 downto 0);

begin

  zero_s      <= '0';

  one_s       <= '1';

  zero_byte_s <= (others => '0');

  rom_4k : syn_rom

    generic map (

      address_width_g => 12

    )

    port map (

      clk_i      => xtal_s,

      rom_addr_i => rom_addr_s,

      rom_data_o => rom_data_s

    );

  ram_256 : syn_ram

    generic map (

      address_width_g => 8

    )

    port map (

      clk_i      => xtal_s,

      res_i      => res_n_s,

      ram_addr_i => ram_addr_s,

      ram_data_i => ram_data_to_s,

      ram_we_i   => ram_we_s,

      ram_data_o => ram_data_from_s

    );

  ext_ram_b : syn_ram

    generic map (

      address_width_g => 8

    )

    port map (

      clk_i      => xtal_s,

      res_i      => res_n_s,

      ram_addr_i => ext_ram_addr_s,

      ram_data_i => bus_s,

      ram_we_i   => ext_ram_we_s,

      ram_data_o => ext_ram_data_from_s

    );

  t48_core_b : t48_core

    generic map (

      xtal_div_3_g        => 1,

      register_mnemonic_g => 1,

      include_port1_g     => 1,

      include_port2_g     => 1,

      include_bus_g       => 1,

      include_timer_g     => 1,

      sample_t1_state_g   => 4

    )

    port map (

      xtal_i       => xtal_s,

      reset_i      => res_n_s,

      t0_i         => p1_s(0),

      t0_o         => open,

      t0_dir_o     => open,

      int_n_i      => int_n_s,

      ea_i         => zero_s,

      rd_n_o       => rd_n_s,

      psen_n_o     => psen_n_s,

      wr_n_o       => wr_n_s,

      ale_o        => ale_s,

      db_i         => bus_s,

      db_o         => t48_bus_s,

      db_dir_o     => bus_dir_s,

      t1_i         => p1_s(1),

      p2_i         => p2_s,

      p2_o         => t48_p2_s,

      p2_low_imp_o => p2_low_imp_s,

      p1_i         => p1_s,

      p1_o         => t48_p1_s,

      p1_low_imp_o => p1_low_imp_s,

      prog_n_o     => prog_n_s,

      clk_i        => xtal_s,

      en_clk_i     => xtal3_s,

      xtal3_o      => xtal3_s,

      dmem_addr_o  => ram_addr_s,

      dmem_we_o    => ram_we_s,

      dmem_data_i  => ram_data_from_s,

      dmem_data_o  => ram_data_to_s,

      pmem_addr_o  => rom_addr_s,

      pmem_data_i  => rom_data_s

    );

  if_timing_b : if_timing

    port map (

      xtal_i   => xtal_s,

      ale_i    => ale_s,

      psen_n_i => psen_n_s,

      rd_n_i   => rd_n_s,

      wr_n_i   => wr_n_s,

      prog_n_i => prog_n_s,

      db_bus_i => bus_s,

      p2_i     => t48_p2_s

    );

  -----------------------------------------------------------------------------

  -- Port logic

  --

  ports: process (t48_p1_s,

                  p1_low_imp_s,

                  t48_p2_s,

                  p2_low_imp_s)

    function t48_port_f(t48_p   : std_logic_vector(7 downto 0);

                        low_imp : std_logic) return std_logic_vector is

      variable p_v : std_logic_vector(7 downto 0);

    begin

      if low_imp = '1' then

        p_v := t48_p;

      else

        for i in p_v'range loop

          if t48_p(i) = '1' then

            p_v(i) := 'H';

          else

            p_v(i) := t48_p(i);

          end if;

        end loop;

      end if;

      return p_v;

    end;

  begin

    p1_s <= t48_port_f(t48_p   => t48_p1_s,

                       low_imp => p1_low_imp_s);

    p2_s <= t48_port_f(t48_p   => t48_p2_s,

                       low_imp => p2_low_imp_s);

  end process ports;

  --

  -----------------------------------------------------------------------------

  bus_s <=   t48_bus_s

           when bus_dir_s = '1' else

             (others => 'Z');

  bus_s <=   ext_ram_data_from_s

           when rd_n_s = '0' else

             (others => 'Z');

  -----------------------------------------------------------------------------

  -- External RAM access signals

  --

  ext_ram: process (wr_n_s,

                    ext_ram_addr_s,

                    ale_s,

                    bus_s,

                    xtal_s)

  begin

    if ale_s'event and ale_s = '0' then

      if not is_X(bus_s) then

        ext_ram_addr_s <= bus_s;

      else

        ext_ram_addr_s <= (others => '0');

      end if;

    end if;

    if wr_n_s'event and wr_n_s = '1' then

      ext_ram_we_s <= '1';

    end if;

    if xtal_s'event and xtal_s = '1' then

      ext_ram_we_s <= '0';

    end if;

  end process ext_ram;

  --

  -----------------------------------------------------------------------------

  xtal_n_s <= not xtal_s;

  -----------------------------------------------------------------------------

  -- The clock generator

  --

  clk_gen: process

  begin

    xtal_s <= '0';

    wait for period_c/2;

    xtal_s <= '1';

    wait for period_c/2;

  end process clk_gen;

  --

  -----------------------------------------------------------------------------

  -----------------------------------------------------------------------------

  -- The reset generator

  --

  res_gen: process

  begin

    res_n_s <= '0';

    wait for 5 * period_c;

    res_n_s <= '1';

    wait;

  end process res_gen;

  --

  -----------------------------------------------------------------------------

  -----------------------------------------------------------------------------

  -- The interrupt generator

  --

  int_gen: process

  begin

    int_n_s <= '1';

    wait for 750 * period_c;

    int_n_s <= '0';

    wait for  45 * period_c;

  end process int_gen;

  --

  -----------------------------------------------------------------------------

  -----------------------------------------------------------------------------

  -- End of simulation detection

  --

  eos: process

  begin

    outer: loop

      wait on tb_accu_s;

      if tb_accu_s = "10101010" then

        wait on tb_accu_s;

        if tb_accu_s = "01010101" then

          wait on tb_accu_s;

          if tb_accu_s = "00000001" then

            -- wait for instruction strobe of this move

            wait until tb_istrobe_s'event and tb_istrobe_s = '1';

            -- wait for next strobe

            wait until tb_istrobe_s'event and tb_istrobe_s = '1';

            assert false

              report "Simulation Result: PASS."

              severity note;

          else

            assert false

              report "Simulation Result: FAIL."

              severity note;

          end if;

          assert false

            report "End of simulation reached."

            severity failure;

        end if;

      end if;

    end loop;

  end process eos;

  --

  -----------------------------------------------------------------------------

end behav;

-------------------------------------------------------------------------------

-- File History:

--

-- $Log: not supported by cvs2svn $

-- Revision 1.7  2004/04/25 16:23:21  arniml

-- added if_timing

--

-- Revision 1.6  2004/04/14 20:57:44  arniml

-- wait for instruction strobe after final end-of-simulation detection

-- this ensures that the last mov instruction is part of the dump and

-- enables 100% matching with i8039 simulator

--

-- Revision 1.5  2004/03/29 19:45:15  arniml

-- rename pX_limp to pX_low_imp

--

-- Revision 1.4  2004/03/28 21:30:25  arniml

-- connect prog_n_o

--

-- Revision 1.3  2004/03/26 22:39:28  arniml

-- enhance simulation result string

--

-- Revision 1.2  2004/03/24 23:22:35  arniml

-- put ext_ram on falling clock edge to sample the write enable properly

--

-- Revision 1.1  2004/03/24 21:42:10  arniml

-- initial check-in

--

-------------------------------------------------------------------------------