如何测试 VHDL 文件

Question

我已经用 VHDL 制作了一个双端口寄存器组，我想测试它以确保它有效。我该怎么做呢？我知道我想做什么（将寄存器 2 设置为常量，在测试程序中读出它，写入寄存器 3 并将其读回，看看是否有相同的结果）。

唯一的问题是，我是 VHDL 新手，所以我不知道是否有控制台，也不知道测试程序是如何构造的，也不知道如何实例化寄存器文件，甚至不知道用什么来编译它（我一直在使用 quartus迄今为止）。

这是我的注册文件：

use IEEE.STD_LOGIC_ARITH.all;
use IEEE.STD_LOGIC_UNSIGNED.all;

-- Register File

entity RF is

port(
    signal clk, we: in std_logic;
    signal ImmediateValue : in std_logic_vector(15 downto 0);
    signal RegisterSelectA, RegisterSelectB : in integer range 0 to 15;

    signal AOut, BOut : out std_logic_vector(15 downto 0)
);

end RF

architecture behavior of RF is

    array std_logic_vector_field is array(15 downto 0) of std_logic_vector(15 downto 0);
    variable registers : std_logic_vector(15 downto 0);

    process (clk, we, RegisterSelectA, RegisterSelectB, ImmediateValue)
        wait until clk'event and clk = '1';
        registers(RegisterSelectA) := ImmediateValue when we = '1';
        AOut <= registers(RegisterSelectA);
        BOut <= registers(RegisterSelectB);
    end process;

end behavior;

Answer 1

首先，如果您是 VHDL 设计的新手，那么您最好从网络教程开始，或者阅读诸如 “VHDL 设计指南”。

不管怎样，就像软件设计一样，要测试VHDL设计，你必须编写一些测试代码。在硬件设计中，通常这些测试类似于单元测试，但通常称为“testbenches”。

对于您给出的设计，您需要创建如下内容：

library ieee.std_logic_1164.all;
library ieee.numeric_std.all;

entity test_RF is
end entity;

architecture test of test_RF is
  signal clk, we: std_logic;
  signal ImmediateValue : std_logic_vector(15 downto 0);
  signal RegisterSelectA, RegisterSelectB : integer range 0 to 15;
  signal AOut, BOut : std_logic_vector(15 downto 0)
begin

  -- Instantiate the design under test
  u_RF : entity work.RF
  port map (
    clk => clk,
    we  => we,
    ImmediateValue => ImmediateValue,
    RegisterSelectA => RegisterSelectA,
    RegisterSelectB => RegisterSelectB,
    AOut => AOut,
    BOut => BOut
  );

  -- create a clock
  process is
  begin
    clk <= '0';
    loop
      wait for 10 ns;
      clk <= not clk;
    end loop;
  end process;

  -- create one or more processes to drive the inputs and read the outputs
  process is
  begin
    wait until rising_edge(clk);
    -- do stuff
    -- use assert to check things
    -- etc
  end process;

end architecture;