|
@ -0,0 +1,177 @@ |
|
|
|
|
|
-- ====================================================================== |
|
|
|
|
|
-- TDES encryption/decryption testbench |
|
|
|
|
|
-- tests according to NIST 800-17 special publication |
|
|
|
|
|
-- Copyright (C) 2011 Torsten Meissner |
|
|
|
|
|
------------------------------------------------------------------------- |
|
|
|
|
|
-- This program is free software; you can redistribute it and/or modify |
|
|
|
|
|
-- it under the terms of the GNU General Public License as published by |
|
|
|
|
|
-- the Free Software Foundation; either version 2 of the License, or |
|
|
|
|
|
-- (at your option) any later version. |
|
|
|
|
|
|
|
|
|
|
|
-- This program is distributed in the hope that it will be useful, |
|
|
|
|
|
-- but WITHOUT ANY WARRANTY; without even the implied warranty of |
|
|
|
|
|
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
|
|
|
|
|
-- GNU General Public License for more details. |
|
|
|
|
|
|
|
|
|
|
|
-- You should have received a copy of the GNU General Public License |
|
|
|
|
|
-- along with this program; if not, write to the Free Software |
|
|
|
|
|
-- Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA |
|
|
|
|
|
-- ====================================================================== |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
-- Revision 0.1 2011/10/08 |
|
|
|
|
|
-- Initial release |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
library ieee; |
|
|
|
|
|
use ieee.std_logic_1164.all; |
|
|
|
|
|
use ieee.numeric_std.all; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
entity tb_tdes is |
|
|
|
|
|
end entity tb_tdes; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
architecture rtl of tb_tdes is |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
type t_array is array (natural range <>) of std_logic_vector(0 to 63); |
|
|
|
|
|
|
|
|
|
|
|
constant c_table_test_plain : t_array(0 to 18) := |
|
|
|
|
|
(x"01A1D6D039776742", x"5CD54CA83DEF57DA", x"0248D43806F67172", |
|
|
|
|
|
x"51454B582DDF440A", x"42FD443059577FA2", x"059B5E0851CF143A", |
|
|
|
|
|
x"0756D8E0774761D2", x"762514B829BF486A", x"3BDD119049372802", |
|
|
|
|
|
x"26955F6835AF609A", x"164D5E404F275232", x"6B056E18759F5CCA", |
|
|
|
|
|
x"004BD6EF09176062", x"480D39006EE762F2", x"437540C8698F3CFA", |
|
|
|
|
|
x"072D43A077075292", x"02FE55778117F12A", x"1D9D5C5018F728C2", |
|
|
|
|
|
x"305532286D6F295A"); |
|
|
|
|
|
|
|
|
|
|
|
signal s_tdes_answers : t_array(0 to 19); |
|
|
|
|
|
|
|
|
|
|
|
signal s_reset : std_logic := '0'; |
|
|
|
|
|
signal s_clk : std_logic := '0'; |
|
|
|
|
|
signal s_mode : std_logic := '0'; |
|
|
|
|
|
signal s_key1 : std_logic_vector(0 to 63) := (others => '0'); |
|
|
|
|
|
signal s_key2 : std_logic_vector(0 to 63) := (others => '0'); |
|
|
|
|
|
signal s_key3 : std_logic_vector(0 to 63) := (others => '0'); |
|
|
|
|
|
signal s_datain : std_logic_vector(0 to 63) := (others => '0'); |
|
|
|
|
|
signal s_validin : std_logic := '0'; |
|
|
|
|
|
signal s_ready : std_logic := '0'; |
|
|
|
|
|
signal s_dataout : std_logic_vector(0 to 63); |
|
|
|
|
|
signal s_validout : std_logic := '0'; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
component tdes is |
|
|
|
|
|
port ( |
|
|
|
|
|
reset_i : in std_logic; |
|
|
|
|
|
clk_i : in std_logic; |
|
|
|
|
|
mode_i : in std_logic; |
|
|
|
|
|
key1_i : in std_logic_vector(0 to 63); |
|
|
|
|
|
key2_i : in std_logic_vector(0 TO 63); |
|
|
|
|
|
key3_i : in std_logic_vector(0 TO 63); |
|
|
|
|
|
data_i : in std_logic_vector(0 TO 63); |
|
|
|
|
|
valid_i : in std_logic; |
|
|
|
|
|
data_o : out std_logic_vector(0 TO 63); |
|
|
|
|
|
valid_o : out std_logic; |
|
|
|
|
|
ready_o : out std_logic |
|
|
|
|
|
); |
|
|
|
|
|
end component tdes; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
begin |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s_reset <= '1' after 100 ns; |
|
|
|
|
|
s_clk <= not(s_clk) after 10 ns; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
teststimuliP : process is |
|
|
|
|
|
begin |
|
|
|
|
|
s_mode <= '0'; |
|
|
|
|
|
s_validin <= '0'; |
|
|
|
|
|
s_key1 <= (others => '0'); |
|
|
|
|
|
s_key2 <= (others => '0'); |
|
|
|
|
|
s_key3 <= (others => '0'); |
|
|
|
|
|
s_datain <= (others => '0'); |
|
|
|
|
|
-- ENCRYPTION TESTS |
|
|
|
|
|
-- cbc known answers test |
|
|
|
|
|
for index in c_table_test_plain'range loop |
|
|
|
|
|
wait until rising_edge(s_clk) and s_ready = '1'; |
|
|
|
|
|
s_key1 <= x"1111111111111111"; |
|
|
|
|
|
s_key2 <= x"5555555555555555"; |
|
|
|
|
|
s_key3 <= x"9999999999999999"; |
|
|
|
|
|
s_validin <= '1'; |
|
|
|
|
|
s_datain <= c_table_test_plain(index); |
|
|
|
|
|
wait until rising_edge(s_clk); |
|
|
|
|
|
s_validin <= '0'; |
|
|
|
|
|
end loop; |
|
|
|
|
|
wait until rising_edge(s_clk); |
|
|
|
|
|
s_mode <= '0'; |
|
|
|
|
|
s_validin <= '0'; |
|
|
|
|
|
s_key1 <= (others => '0'); |
|
|
|
|
|
s_key2 <= (others => '0'); |
|
|
|
|
|
s_key3 <= (others => '0'); |
|
|
|
|
|
s_datain <= (others => '0'); |
|
|
|
|
|
wait for 1 us; |
|
|
|
|
|
-- DECRYPTION TESTS |
|
|
|
|
|
-- cbc known answer test |
|
|
|
|
|
for index in c_table_test_plain'range loop |
|
|
|
|
|
wait until rising_edge(s_clk) and s_ready = '1'; |
|
|
|
|
|
s_key1 <= x"1111111111111111"; |
|
|
|
|
|
s_key2 <= x"5555555555555555"; |
|
|
|
|
|
s_key3 <= x"9999999999999999"; |
|
|
|
|
|
s_mode <= '1'; |
|
|
|
|
|
s_validin <= '1'; |
|
|
|
|
|
s_datain <= s_tdes_answers(index); |
|
|
|
|
|
wait until rising_edge(s_clk); |
|
|
|
|
|
s_validin <= '0'; |
|
|
|
|
|
s_mode <= '0'; |
|
|
|
|
|
end loop; |
|
|
|
|
|
wait until rising_edge(s_clk); |
|
|
|
|
|
s_mode <= '0'; |
|
|
|
|
|
s_validin <= '0'; |
|
|
|
|
|
s_key1 <= (others => '0'); |
|
|
|
|
|
s_key2 <= (others => '0'); |
|
|
|
|
|
s_key3 <= (others => '0'); |
|
|
|
|
|
s_datain <= (others => '0'); |
|
|
|
|
|
wait; |
|
|
|
|
|
end process teststimuliP; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
testcheckerP : process is |
|
|
|
|
|
begin |
|
|
|
|
|
report "# ENCRYPTION TESTS"; |
|
|
|
|
|
for index in c_table_test_plain'range loop |
|
|
|
|
|
wait until rising_edge(s_clk) and s_validout = '1'; |
|
|
|
|
|
s_tdes_answers(index) <= s_dataout; |
|
|
|
|
|
end loop; |
|
|
|
|
|
report "# DECRYPTION TESTS"; |
|
|
|
|
|
report "# tdes known answer test"; |
|
|
|
|
|
for index in c_table_test_plain'range loop |
|
|
|
|
|
wait until rising_edge(s_clk) and s_validout = '1'; |
|
|
|
|
|
assert (s_dataout = c_table_test_plain(index)) |
|
|
|
|
|
report "decryption error" |
|
|
|
|
|
severity error; |
|
|
|
|
|
end loop; |
|
|
|
|
|
report "# Successfully passed all tests"; |
|
|
|
|
|
wait; |
|
|
|
|
|
end process testcheckerP; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i_tdes : tdes |
|
|
|
|
|
port map ( |
|
|
|
|
|
reset_i => s_reset, |
|
|
|
|
|
clk_i => s_clk, |
|
|
|
|
|
mode_i => s_mode, |
|
|
|
|
|
key1_i => s_key1, |
|
|
|
|
|
key2_i => s_key2, |
|
|
|
|
|
key3_i => s_key3, |
|
|
|
|
|
data_i => s_datain, |
|
|
|
|
|
valid_i => s_validin, |
|
|
|
|
|
data_o => s_dataout, |
|
|
|
|
|
valid_o => s_validout, |
|
|
|
|
|
ready_o => s_ready |
|
|
|
|
|
); |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
end architecture rtl; |