From be8ad4dae9a9edfcfa3448121bdaccbef2ea1d7f Mon Sep 17 00:00:00 2001 From: "Pavel V. Shatov (Meister)" Date: Tue, 25 Sep 2018 15:03:37 +0300 Subject: Testbench for Curve25519 modular multiplier. --- bench/tb_modular_multiplier.v | 279 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 279 insertions(+) create mode 100644 bench/tb_modular_multiplier.v (limited to 'bench') diff --git a/bench/tb_modular_multiplier.v b/bench/tb_modular_multiplier.v new file mode 100644 index 0000000..bd7599f --- /dev/null +++ b/bench/tb_modular_multiplier.v @@ -0,0 +1,279 @@ +//------------------------------------------------------------------------------ +// +// tb_modular_multiplier.v +// ----------------------------------------------------------------------------- +// Testbench for Curve25519 modular multiplier. +// +// Authors: Pavel Shatov +// +// Copyright (c) 2018, NORDUnet A/S +// +// Redistribution and use in source and binary forms, with or without +// modification, are permitted provided that the following conditions are met: +// +// - Redistributions of source code must retain the above copyright notice, +// this list of conditions and the following disclaimer. +// +// - Redistributions in binary form must reproduce the above copyright notice, +// this list of conditions and the following disclaimer in the documentation +// and/or other materials provided with the distribution. +// +// - Neither the name of the NORDUnet nor the names of its contributors may be +// used to endorse or promote products derived from this software without +// specific prior written permission. +// +// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" +// AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE +// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE +// ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE +// LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR +// CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF +// SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS +// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN +// CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) +// ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE +// POSSIBILITY OF SUCH DAMAGE. +// +//------------------------------------------------------------------------------ + +//------------------------------------------------------------------------------ +`timescale 1ns / 1ps +//------------------------------------------------------------------------------ + +module tb_modular_multiplier; + + + // + // Test Vectors + // + localparam A1 = 256'h216936d3_cd6e53fe_c0a4e231_fdd6dc5c_692cc760_9525a7b2_c9562d60_8f25d51a; // GX + localparam B1 = 256'h66666666_66666666_66666666_66666666_66666666_66666666_66666666_66666658; // GY + + + // + // Core Parameters + // + localparam WORD_COUNTER_WIDTH = 3; + localparam OPERAND_NUM_WORDS = 8; + + + // + // Clock (100 MHz) + // +`define CLOCK_PERIOD 10.0 +`define CLOCK_HALF_PERIOD (0.5 * `CLOCK_PERIOD) + + reg clk = 1'b0; + always #`CLOCK_HALF_PERIOD clk = ~clk; + + + // + // Inputs, Outputs + // + reg rst_n; + reg ena; + wire rdy; + + + // + // Buffers (A, B, P) + // + wire [WORD_COUNTER_WIDTH-1:0] core_a_addr; + wire [WORD_COUNTER_WIDTH-1:0] core_b_addr; + wire [WORD_COUNTER_WIDTH-1:0] core_p_addr; + + wire core_p_wren; + + wire [ 32-1:0] core_a_data; + wire [ 32-1:0] core_b_data; + wire [ 32-1:0] core_p_data; + + reg [WORD_COUNTER_WIDTH-1:0] tb_ab_addr; + reg [WORD_COUNTER_WIDTH-1:0] tb_p_addr; + + reg tb_ab_wren; + + reg [ 32-1:0] tb_a_data; + reg [ 32-1:0] tb_b_data; + wire [ 32-1:0] tb_p_data; + + bram_1rw_1ro_readfirst # (.MEM_WIDTH(32), .MEM_ADDR_BITS(WORD_COUNTER_WIDTH)) + bram_a + ( .clk(clk), + .a_addr(tb_ab_addr), .a_wr(tb_ab_wren), .a_in(tb_a_data), .a_out(), + .b_addr(core_a_addr), .b_out(core_a_data) + ); + + bram_1rw_1ro_readfirst # (.MEM_WIDTH(32), .MEM_ADDR_BITS(WORD_COUNTER_WIDTH)) + bram_b + ( .clk(clk), + .a_addr(tb_ab_addr), .a_wr(tb_ab_wren), .a_in(tb_b_data), .a_out(), + .b_addr(core_b_addr), .b_out(core_b_data) + ); + + bram_1rw_1ro_readfirst # (.MEM_WIDTH(32), .MEM_ADDR_BITS(WORD_COUNTER_WIDTH)) + bram_p + ( .clk(clk), + .a_addr(core_p_addr), .a_wr(core_p_wren), .a_in(core_p_data), .a_out(), + .b_addr(tb_p_addr), .b_out(tb_p_data) + ); + + + // + // UUT + // + ed25519_modular_multiplier uut + ( + .clk (clk), + .rst_n (rst_n), + + .ena (ena), + .rdy (rdy), + + .a_addr (core_a_addr), + .b_addr (core_b_addr), + .p_addr (core_p_addr), + + .p_wren (core_p_wren), + + .a_din (core_a_data), + .b_din (core_b_data), + .p_dout (core_p_data) + ); + + + // + // Testbench Routine + // + reg ok = 1; + initial begin + + /* initialize control inputs */ + rst_n = 0; + ena = 0; + + /* wait for some time */ + #200; + + /* de-assert reset */ + rst_n = 1; + + /* wait for some time */ + #100; + + /* run tests */ + $display("1. A1*B1=P1..."); + test_modular_multiplier(A1, B1); + + /* print result */ + if (ok) $display("tb_modular_multiplier: SUCCESS"); + else $display("tb_modular_multiplier: FAILURE"); + // + #10000; + // + //$finish; + // + end + + + // + // Test Task + // + task test_modular_multiplier; + + input [255:0] a; + input [255:0] b; + + reg [255:0] a_shreg; + reg [255:0] b_shreg; + reg [255:0] p_shreg; + reg p_ok; + + integer w; + + begin + + /* initialize result */ + p_ok = 0; + + /* initialize shift registers */ + a_shreg = a; + b_shreg = b; + + /* start filling memories */ + tb_ab_wren = 1; + + /* write all the words */ + for (w=0; w