Homec4science
Diffusion Energy Analysis of Lightweight AEAD Circuit (master) Browse

R10499/pyjamask/HDL/TBENCH/pyjamask14_aead_tb.vhd
f97d6c357c3cmaster

Last Change
Raw File

pyjamask14_aead_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 pyjamask_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 pyjamask_aead_tb is
-- Input signals.
signal clk : std_logic := '0';
signal reset : std_logic;
signal data : std_logic_vector(127 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 ad : std_logic_vector(127 downto 0);
signal key : std_logic_vector(127 downto 0);
signal nonce : std_logic_vector(95 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(127 downto 0);
signal tag : std_logic_vector(127 downto 0);
file in_vecs : text;
constant clk_period : time := 100 ns;
constant reset_period : time := 25 ns;
begin
mut : entity pyjamask_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(127 downto 0);
variable vec_cipher, vec_tag : std_logic_vector(127 downto 0);
variable vec_nonce: std_logic_vector(95 downto 0);
variable round : integer := 1;
procedure nodata(constant void : in integer := 0) is
begin
-- wait until rising_edge(clk);
key <= vec_key;
nonce <= vec_nonce;
empty_ad <= '1'; empty_msg <= '1';
data <= (others => '0');
reset <= '0';
wait for reset_period;
reset <= '1';
-- nonce
-- wait until rising_edge(clk);
wait until ready_full = '1';
wait for clk_period;
--readline(in_vecs, vec_line);
--hread(vec_line, vec_tag);
--assert vector_equal(tag, vec_tag) report "wrong tag" severity failure;
end procedure;
procedure noad(constant msg_blocks : in integer;
constant partial : in std_logic) is
begin
--wait until rising_edge(clk);
key <= vec_key;
nonce <= vec_nonce;
empty_ad <= '1'; empty_msg <= '0';
data <= (others => '0');
reset <= '0';
wait for reset_period;
reset <= '1';
-- zero
wait for clk_period-reset_period;
wait for 1*clk_period;
-- ktop
--wait until ready_block = '1';
--wait for clk_period;
for i in 1 to msg_blocks loop
report "datahere";
readline(in_vecs, vec_line);
hread(vec_line, vec_msg);
data <= vec_msg;
last_block <= '0';
last_partial <= '0';
if i = msg_blocks then
last_block <= '1';
last_partial <= partial;
end if;
wait for clk_period;
end loop;
wait until ready_full = '1';
wait for clk_period;
end procedure;
procedure nomsg(constant ad_blocks : in integer;
constant partial : in std_logic) is
begin
--wait until rising_edge(clk);
key <= vec_key;
nonce <= vec_nonce;
empty_ad <= '0'; empty_msg <= '1';
data <= (others => '0');
reset <= '0';
wait for reset_period;
reset <= '1';
-- zero
wait for clk_period-reset_period;
--wait for 1*clk_period;
for i in 1 to ad_blocks loop
readline(in_vecs, vec_line);
hread(vec_line, vec_ad);
data <= vec_ad;
last_block <= '0';
last_partial <= '0';
if i = ad_blocks then
last_block <= '1';
last_partial <= partial;
end if;
wait for clk_period;
end loop;
wait until ready_full = '1';
wait for 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
wait until rising_edge(clk);
key <= vec_key;
nonce <= vec_nonce;
empty_ad <= '0'; empty_msg <= '0';
data <= (others => '0');
reset <= '0';
wait for reset_period;
reset <= '1';
-- zero
wait for clk_period-reset_period;
for i in 1 to ad_blocks loop
readline(in_vecs, vec_line);
hread(vec_line, vec_ad);
data <= vec_ad;
last_block <= '0';
last_partial <= '0';
if i = ad_blocks then
last_block <= '1';
last_partial <= ad_partial;
end if;
wait for clk_period;
end loop;
wait for clk_period;
for i in 1 to msg_blocks loop
readline(in_vecs, vec_line);
hread(vec_line, vec_msg);
data <= vec_msg;
last_block <= '0';
last_partial <= '0';
if i = msg_blocks then
last_block <= '1';
last_partial <= msg_partial;
end if;
wait for clk_period;
end loop;
wait until ready_full = '1';
wait for clk_period;
end procedure;
begin
file_open(in_vecs, "./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