Homec4science
Diffusion The Area-Latency Symbiosis (master) Browse

R10848/saeaes8/src/saeb_tb.vhd
f901224b7d64master

Last Change
Raw File

saeb_tb.vhd
View Options

library ieee;
use ieee.std_logic_1164.all;
use ieee.numeric_std.all;
use ieee.std_logic_textio.all;
use std.textio.all;
use work.all;
entity saeb_aead_tb is
function vector_equal(a, b : std_logic_vector) return boolean is
begin
for i in 0 to 127 loop
if a(i) /= b(i) then
return false;
end if;
end loop;
return true;
end;
end;
architecture test of saeb_aead_tb is
-- Input signals.
signal clk : std_logic := '0';
signal reset : std_logic;
signal data : std_logic_vector(7 downto 0);
signal last_block : std_logic := '0';
signal last_partial : std_logic := '0';
signal empty_ad : std_logic := '0';
signal empty_msg : std_logic := '0';
signal key : std_logic_vector(7 downto 0);
signal nonce : std_logic_vector(7 downto 0);
-- Output signals.
signal ready_block : std_logic;
signal ready_full : std_logic;
signal cipher_ready : std_logic;
signal tag_ready : std_logic;
signal ciphertext : std_logic_vector(7 downto 0) ;
signal tag : std_logic_vector(7 downto 0) ;
file in_vecs : text;
constant clk_period : time := 100 ns;
constant reset_period : time := 25 ns;
begin
mut : entity work.saeb_aead
port map (clk => clk,
reset => reset,
key => key,
nonce => nonce,
data => data,
last_block => last_block,
last_partial => last_partial,
empty_ad => empty_ad,
empty_msg => empty_msg,
ready_block => ready_block,
ready_full => ready_full,
cipher_ready => cipher_ready,
tag_ready => tag_ready,
ciphertext => ciphertext,
tag => tag);
clk_process : process
begin
clk <= '1';
wait for clk_period/2;
clk <= '0';
wait for clk_period/2;
end process;
test : process
variable vec_line : line;
variable vec_space : character;
variable vec_in_id, vec_out_id : integer;
variable vec_num_ad, vec_num_msg : integer;
variable vec_ad_part, vec_msg_part : std_logic;
variable ad_iters : integer;
variable vec_key : std_logic_vector(127 downto 0);
variable vec_ad, vec_msg : std_logic_vector(63 downto 0);
variable vec_cipher, vec_tag : std_logic_vector(127 downto 0);
variable vec_nonce: std_logic_vector(119 downto 0);
variable round : integer := 1;
procedure nodata(constant void : in integer := 0) is
begin
empty_ad <= '1'; empty_msg <= '1';
data <= x"00" ;
reset <= '0';
wait for reset_period;
reset <= '1';
for i in 15 downto 0 loop
key <= vec_key(8*i+7 downto 8*i);
wait for clk_period;
end loop;
wait for 144*clk_period-reset_period;
for i in 15 downto 0 loop
if i > 0 then
nonce <= vec_nonce(8*i-1 downto 8*i-8);
end if;
key <= vec_key(8*i+7 downto 8*i);
wait for clk_period;
end loop;
wait for 144*clk_period;
for i in 15 downto 0 loop
key <= vec_key(8*i+7 downto 8*i);
wait for clk_period;
end loop;
wait for 160*clk_period;
end procedure;
procedure noad(constant msg_blocks : in integer;
constant partial : in std_logic) is
begin
empty_ad <= '1'; empty_msg <= '0';
data <= x"00" ;
reset <= '0';
wait for reset_period;
reset <= '1';
for i in 15 downto 0 loop
key <= vec_key(8*i+7 downto 8*i);
wait for clk_period;
end loop;
wait for 144*clk_period-reset_period;
for i in 15 downto 0 loop
if i > 0 then
nonce <= vec_nonce(8*i-1 downto 8*i-8);
end if;
key <= vec_key(8*i+7 downto 8*i);
wait for clk_period;
end loop;
wait for 144*clk_period;
for i in 1 to msg_blocks loop
readline(in_vecs, vec_line);
hread(vec_line, vec_msg);
last_block <= '0';
last_partial <= '0';
if i = msg_blocks then
last_block <= '1';
last_partial <= partial;
end if;
for i in 15 downto 0 loop
if i > 7 then
data <= vec_msg(8*i+7-64 downto 8*i -64);
end if;
key <= vec_key(8*i+7 downto 8*i);
wait for clk_period;
end loop;
wait for 144*clk_period;
end loop;
wait for 16*clk_period;
end procedure;
procedure nomsg(constant ad_blocks : in integer;
constant partial : in std_logic) is
begin
empty_ad <= '0'; empty_msg <= '1';
data <= x"00" ;
reset <= '0';
wait for reset_period;
reset <= '1';
for i in 1 to ad_blocks loop
readline(in_vecs, vec_line);
hread(vec_line, vec_ad);
last_block <= '0';
last_partial <= '0';
if i = ad_blocks then
last_block <= '1';
last_partial <= partial;
end if;
for i in 15 downto 0 loop
if i > 7 then
data <= vec_ad(8*i+7-64 downto 8*i -64);
end if;
key <= vec_key(8*i+7 downto 8*i);
wait for clk_period;
end loop;
if i =1 then
wait for 144*clk_period -reset_period;
else
wait for 144*clk_period;
end if;
end loop;
for i in 15 downto 0 loop
if i > 0 then
nonce <= vec_nonce(8*i-1 downto 8*i-8);
end if;
key <= vec_key(8*i+7 downto 8*i);
wait for clk_period;
end loop;
wait for 144*clk_period;
for i in 15 downto 0 loop
key <= vec_key(8*i+7 downto 8*i);
wait for clk_period;
end loop;
wait for 160*clk_period;
end procedure;
procedure full(constant ad_blocks : in integer;
constant msg_blocks : in integer;
constant ad_partial : in std_logic;
constant msg_partial : in std_logic) is
begin
empty_ad <= '0'; empty_msg <= '0';
data <= x"00" ;
reset <= '0';
wait for reset_period;
reset <= '1';
for i in 1 to ad_blocks loop
readline(in_vecs, vec_line);
hread(vec_line, vec_ad);
last_block <= '0';
last_partial <= '0';
if i = ad_blocks then
last_block <= '1';
last_partial <= ad_partial;
end if;
for i in 15 downto 0 loop
if i > 7 then
data <= vec_ad(8*i+7-64 downto 8*i -64);
end if;
key <= vec_key(8*i+7 downto 8*i);
wait for clk_period;
end loop;
if i =1 then
wait for 144*clk_period -reset_period;
else
wait for 144*clk_period;
end if;
end loop;
for i in 15 downto 0 loop
if i > 0 then
nonce <= vec_nonce(8*i-1 downto 8*i-8);
end if;
key <= vec_key(8*i+7 downto 8*i);
wait for clk_period;
end loop;
wait for 144*clk_period;
for i in 1 to msg_blocks loop
readline(in_vecs, vec_line);
hread(vec_line, vec_msg);
last_block <= '0';
last_partial <= '0';
if i = msg_blocks then
last_block <= '1';
last_partial <= msg_partial;
end if;
for i in 15 downto 0 loop
if i > 7 then
data <= vec_msg(8*i+7-64 downto 8*i-64);
end if;
key <= vec_key(8*i+7 downto 8*i);
wait for clk_period;
end loop;
wait for 144*clk_period;
end loop;
wait for 16*clk_period;
end procedure;
begin
file_open(in_vecs, "./test_vectors/IN_1000", read_mode);
while not endfile(in_vecs) loop
--for z in 1 to 1 loop
--report "round: " & integer'image(round); round := round + 1;
readline(in_vecs, vec_line);
read(vec_line, vec_in_id); read(vec_line, vec_space);
read(vec_line, vec_num_ad); read(vec_line, vec_space);
read(vec_line, vec_num_msg); read(vec_line, vec_space);
read(vec_line, vec_ad_part); read(vec_line, vec_space);
read(vec_line, vec_msg_part);
readline(in_vecs, vec_line);
hread(vec_line, vec_key);
readline(in_vecs, vec_line);
hread(vec_line, vec_nonce);
if (vec_num_ad = 0) and (vec_num_msg = 0) then
nodata(0);
elsif (vec_num_ad = 0) and (vec_num_msg /= 0) then
noad(vec_num_msg, vec_msg_part);
elsif (vec_num_ad /= 0) and (vec_num_msg = 0) then
nomsg(vec_num_ad, vec_ad_part);
else
full(vec_num_ad, vec_num_msg, vec_ad_part, vec_msg_part);
end if;
end loop;
--assert false report "test passed" severity failure;
end process;
end;
c4science · Help