forked from cores/microwatt
You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
119 lines
3.8 KiB
VHDL
119 lines
3.8 KiB
VHDL
library vunit_lib;
|
|
context vunit_lib.vunit_context;
|
|
|
|
library ieee;
|
|
use ieee.std_logic_1164.all;
|
|
use ieee.numeric_std.all;
|
|
|
|
library work;
|
|
use work.common.all;
|
|
|
|
library osvvm;
|
|
use osvvm.RandomPkg.all;
|
|
|
|
entity countbits_tb is
|
|
generic (runner_cfg : string := runner_cfg_default);
|
|
end countbits_tb;
|
|
|
|
architecture behave of countbits_tb is
|
|
constant clk_period: time := 10 ns;
|
|
signal rs: std_ulogic_vector(63 downto 0);
|
|
signal is_32bit, count_right: std_ulogic := '0';
|
|
signal res: std_ulogic_vector(63 downto 0);
|
|
signal clk: std_ulogic;
|
|
|
|
begin
|
|
bitcounter_0: entity work.bit_counter
|
|
port map (
|
|
clk => clk,
|
|
rs => rs,
|
|
result => res,
|
|
count_right => count_right,
|
|
is_32bit => is_32bit,
|
|
do_popcnt => '0',
|
|
datalen => "0000"
|
|
);
|
|
|
|
clk_process: process
|
|
begin
|
|
clk <= '0';
|
|
wait for clk_period/2;
|
|
clk <= '1';
|
|
wait for clk_period/2;
|
|
end process;
|
|
|
|
stim_process: process
|
|
variable r: std_ulogic_vector(63 downto 0);
|
|
variable rnd : RandomPType;
|
|
begin
|
|
rnd.InitSeed(stim_process'path_name);
|
|
|
|
test_runner_setup(runner, runner_cfg);
|
|
|
|
while test_suite loop
|
|
if run("Test with input = 0") then
|
|
rs <= (others => '0');
|
|
is_32bit <= '0';
|
|
count_right <= '0';
|
|
wait for clk_period;
|
|
check_equal(res, 16#40#, result("for cntlzd"));
|
|
count_right <= '1';
|
|
wait for clk_period;
|
|
check_equal(res, 16#40#, result("for cnttzd"));
|
|
is_32bit <= '1';
|
|
count_right <= '0';
|
|
wait for clk_period;
|
|
check_equal(res, 16#20#, result("for cntlzw"));
|
|
count_right <= '1';
|
|
wait for clk_period;
|
|
check_equal(res, 16#20#, result("for cnttzw"));
|
|
|
|
elsif run("Test cntlzd/w") then
|
|
count_right <= '0';
|
|
for j in 0 to 100 loop
|
|
r := rnd.RandSlv(64);
|
|
r(63) := '1';
|
|
for i in 0 to 63 loop
|
|
rs <= r;
|
|
is_32bit <= '0';
|
|
wait for clk_period;
|
|
check_equal(res, i, result("for cntlzd " & to_hstring(rs)));
|
|
rs <= r(31 downto 0) & r(63 downto 32);
|
|
is_32bit <= '1';
|
|
wait for clk_period;
|
|
if i < 32 then
|
|
check_equal(res, i, result("for cntlzw " & to_hstring(rs)));
|
|
else
|
|
check_equal(res, 32, result("for cntlzw " & to_hstring(rs)));
|
|
end if;
|
|
r := '0' & r(63 downto 1);
|
|
end loop;
|
|
end loop;
|
|
|
|
elsif run("Test cnttzd/w") then
|
|
count_right <= '1';
|
|
for j in 0 to 100 loop
|
|
r := rnd.RandSlv(64);
|
|
r(0) := '1';
|
|
for i in 0 to 63 loop
|
|
rs <= r;
|
|
is_32bit <= '0';
|
|
wait for clk_period;
|
|
check_equal(res, i, result("for cnttzd " & to_hstring(rs)));
|
|
is_32bit <= '1';
|
|
wait for clk_period;
|
|
if i < 32 then
|
|
check_equal(res, i, result("for cnttzw " & to_hstring(rs)));
|
|
else
|
|
check_equal(res, 32, result("for cnttzw " & to_hstring(rs)));
|
|
end if;
|
|
r := r(62 downto 0) & '0';
|
|
end loop;
|
|
end loop;
|
|
end if;
|
|
end loop;
|
|
|
|
test_runner_cleanup(runner);
|
|
end process;
|
|
end behave;
|