[Cryptech-Commits] [core/math/modexp] 01/01: Adding sign testcase with 1024 bit operands from real RSA key.
git at cryptech.is
git at cryptech.is
Tue Jun 2 20:16:56 UTC 2015
This is an automated email from the git hooks/post-receive script.
joachim at secworks.se pushed a commit to branch master
in repository core/math/modexp.
commit 17a1506da39d7d905c9a843a7a3af7aa1cce4f47
Author: Joachim Strömbergson <joachim at secworks.se>
Date: Tue Jun 2 22:16:50 2015 +0200
Adding sign testcase with 1024 bit operands from real RSA key.
---
src/tb/tb_modexp.v | 190 +++++++++++++++++++++++++++++++++++++++++++++++++++--
1 file changed, 185 insertions(+), 5 deletions(-)
diff --git a/src/tb/tb_modexp.v b/src/tb/tb_modexp.v
index e78a551..c7c7d13 100644
--- a/src/tb/tb_modexp.v
+++ b/src/tb/tb_modexp.v
@@ -995,6 +995,184 @@ module tb_modexp();
endtask // e65537_256bit_modulus
+
+ //----------------------------------------------------------------
+ // rob_1024()
+ //
+ // Task that tests modexp with 1024 bit sign with real RSA
+ // operands.
+ //----------------------------------------------------------------
+ task rob_1024();
+ reg [31 : 0] read_data;
+ begin
+ success = 32'h1;
+ tc_ctr = tc_ctr + 1;
+ $display("Test with Rob 1024 bit operands.");
+
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_PTR_RST}, 32'h00000000);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h00000000);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h3ff26c9e);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h32685b93);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h66570228);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'hf0603c4e);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h04a717c1);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h8038b116);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'heb48325e);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'hcada992a);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h920bb241);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h5aee4afe);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'he2a37e87);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'hb35b9519);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'hb335775d);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h989553e9);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h1326f46e);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h2cdf6b7b);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h84aabfa9);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'hef24c600);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'hb56872ad);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h5edb9041);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'he8ecd7f8);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h535133fb);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'hdefc92c7);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h42384226);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h7d40e5f5);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'hc91bd745);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h9578e460);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'hfc858374);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h3172bed3);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h73b6957c);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'hc0d6a68e);
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_DATA}, 32'h33156a61);
+
+
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_PTR_RST}, 32'h00000000);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'h00000000);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'h0001ffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hffffffff);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'h00303130);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'h0d060960);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'h86480165);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'h03040201);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'h05000420);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'h8e36fc9a);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'ha31724c3);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'h2416263c);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'h0366a175);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'hfabbb92b);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'h741ca649);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'h6107074d);
+ write_word({GENERAL_PREFIX, ADDR_MESSAGE_DATA}, 32'h0343b597);
+
+
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_PTR_RST}, 32'h00000000);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h00000000);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'hd075ec0a);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h95048ef8);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'hcaa69073);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h8d9d58e9);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h1764b437);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h50b58cad);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h8a6e3199);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h135f80ee);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h84eb2bde);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h58d38ee3);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h5825e91e);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'hafdeb1ba);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'ha15a160b);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h0057c47c);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'hc7765e31);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h868a3e15);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h5ee57cef);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'hb008c4dd);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h6a0a89ee);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h98a4ee9c);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h971a07de);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h61e5b0d3);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'hcf70e1cd);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'hc6a0de5b);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h451f2fb9);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'hdb995196);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h9f2f884b);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h4b09749a);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'he6c4ddbe);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h7ee61f79);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'h265c6adf);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_DATA}, 32'hb16b3015);
+
+
+ write_word({GENERAL_PREFIX, ADDR_EXPONENT_LENGTH}, 32'h00000021);
+ write_word({GENERAL_PREFIX, ADDR_MODULUS_LENGTH}, 32'h00000021);
+
+ start_test_cycle_ctr();
+
+ // Start processing and wait for ready.
+ write_word({GENERAL_PREFIX, ADDR_CTRL}, 32'h00000001);
+ wait_ready();
+
+ stop_test_cycle_ctr();
+
+ write_word({GENERAL_PREFIX, ADDR_RESULT_PTR_RST}, 32'h00000000);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h00000000, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h06339a64, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h367db02a, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'hf41158cc, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h95e76049, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h4519c165, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h111184be, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'he41d8ee2, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h2ae5f5d1, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h1da7f962, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'hac93ac88, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h915eee13, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'ha3350c22, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'hf0dfa62e, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'hfdfc2b62, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h29f26e27, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'hbebdc84e, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h4746df79, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h7b387ad2, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h13423c9f, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h98e8a146, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'hff486b6c, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h1a85414e, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h73117121, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'hb700e547, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'hab4e07b2, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h21b988b8, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h24dd77c2, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'h046b0a20, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'hcddb986a, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'hac75c2f2, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'hb044ed59, read_data);
+ read_word({GENERAL_PREFIX, ADDR_RESULT_DATA}); read_data = tb_read_data; success = success & assertEquals(32'hea565879, read_data);
+
+ if (success !== 1)
+ begin
+ $display("*** ERROR: rob_1024 was NOT successful.");
+ error_ctr = error_ctr + 1;
+ end
+ else
+ $display("*** rob_1024 success.");
+ end
+ endtask // rob_1024
+
//----------------------------------------------------------------
// main
//
@@ -1012,15 +1190,17 @@ module tb_modexp();
reset_dut();
dump_dut_state();
- tc1();
- tc2();
- tc3();
- autogenerated_BASIC_33bit();
- autogenerated_BASIC_128bit();
+// tc1();
+// tc2();
+// tc3();
+// autogenerated_BASIC_33bit();
+// autogenerated_BASIC_128bit();
// e65537_64bit_modulus();
// e65537_128bit_modulus();
// e65537_256bit_modulus();
+ rob_1024();
+
display_test_results();
$display("");
More information about the Commits
mailing list