diff options
| -rw-r--r-- | bench/ed25519_test_vectors_rfc8032.vh (renamed from bench/ed25519_test_vectors.v) | 0 | ||||
| -rw-r--r-- | bench/tb_base_point_multiplier.v | 6 |
2 files changed, 5 insertions, 1 deletions
diff --git a/bench/ed25519_test_vectors.v b/bench/ed25519_test_vectors_rfc8032.vh index 019447a..019447a 100644 --- a/bench/ed25519_test_vectors.v +++ b/bench/ed25519_test_vectors_rfc8032.vh diff --git a/bench/tb_base_point_multiplier.v b/bench/tb_base_point_multiplier.v index b77b6e2..0f6bf15 100644 --- a/bench/tb_base_point_multiplier.v +++ b/bench/tb_base_point_multiplier.v @@ -46,7 +46,8 @@ module tb_base_point_multiplier; // // Test Vectors // - `include "ed25519_test_vectors.v" + `include "ed25519_test_vectors_rfc8032.vh" + `include "ed25519_test_vector_randomized.vh" // @@ -163,6 +164,9 @@ module tb_base_point_multiplier; $display("5. Q = d * G..."); test_base_point_multiplier(ED25519_D_HASHED_LSB_5, ED25519_Q_Y_5); + + $display("6. Q = d * G..."); + test_base_point_multiplier(ED25519_D_HASHED_LSB_6, ED25519_Q_Y_6); /* print result */ if (ok) $display("tb_base_point_multiplier: SUCCESS"); |