OpenCores
URL https://opencores.org/ocsvn/ecg/ecg/trunk

Subversion Repositories ecg

Compare Revisions

  • This comparison shows the changes necessary to convert path 
    /ecg/trunk
    from Rev 5 to Rev 6
    ↔ Reverse comparison
  •

Rev 5 → Rev 6

/testbench/test_point_scalar_mult.v
0,0 → 1,113
`timescale 1ns / 1ps
`include "../rtl/inc.v"
 
module test_point_scalar_mult;
 
// Inputs
reg clk;
reg reset;
reg [`WIDTH:0] x1, y1;
reg zero1;
reg [`SCALAR_WIDTH:0] c;
 
// Outputs
wire done;
wire zero3;
wire [`WIDTH:0] x3, y3;
 
// Instantiate the Unit Under Test (UUT)
point_scalar_mult uut (
.clk(clk),
.reset(reset),
.x1(x1),
.y1(y1),
.zero1(zero1),
.c(c),
.done(done),
.x3(x3),
.y3(y3),
.zero3(zero3)
);
 
initial begin
// Initialize Inputs
clk = 0;
reset = 0;
x1 = 0;
y1 = 0;
zero1 = 0;
c = 0;
 
// Wait 100 ns for global reset to finish
#100;
// Add stimulus here
// if scalar value is zero, then the result is inf point
x1 = 194'h2a4290286121261a82446a41200622024988295015114486;
y1 = 194'h16595a61040a8611209820112a1582a081a1a182264601252;
zero1 = 0;
c = 0;
go;
if (zero3 !== 1) begin $display("E"); $finish; end
 
// if scalar value is one, then the result is the input point, test case 1
x1 = 194'h2a4290286121261a82446a41200622024988295015114486;
y1 = 194'h16595a61040a8611209820112a1582a081a1a182264601252;
zero1 = 0;
c = 1;
go;
if (zero3 !== 0 ||
x3 !== 194'h2a4290286121261a82446a41200622024988295015114486 ||
y3 !== 194'h16595a61040a8611209820112a1582a081a1a182264601252
) begin $display("E"); $finish; end
 
// if scalar value is one, then the result is the input point, test case 2
x1 = 194'h2a4290286121261a82446a41200622024988295015114486;
y1 = 194'h16595a61040a8611209820112a1582a081a1a182264601252;
zero1 = 1;
c = 1;
go;
if (zero3 !== 1) begin $display("E"); $finish; end
 
// if scalar value is one thousand. test case 1
x1 = 194'h126569286a9860859046680265109015266416aa984082610;
y1 = 194'h2a41880890628944a6844a269258216041061196854181160;
zero1 = 0;
c = 1000;
go;
if (zero3 !== 0 ||
x3 !== 194'h221495405a9425682104a6a005a42a562564469158a962019 ||
y3 !== 194'h1048569408a2846964811161095218005098aa06582419a46
) begin $display("E"); $finish; end
// if scalar value is one thousand. test case 2
x1 = 194'h126569286a9860859046680265109015266416aa984082610;
y1 = 194'h2a41880890628944a6844a269258216041061196854181160;
zero1 = 1;
c = 1000;
go;
if (zero3 !== 1) begin $display("E"); $finish; end
 
// if scalar value is the order of the generator point, then the result is the inf point
x1 = 194'h288162298554054820552a05426081a1842886a58916a6249;
y1 = 194'h2895955069089214054596a189a4420556589054140941695;
zero1 = 0;
c = 152'd2726865189058261010774960798134976187171462721;
go;
if (zero3 !== 1) begin $display("E"); $finish; end
// good work, buddy
$display("nice!");
$finish;
end
always #5 clk = ~clk;
task go;
begin
@ (negedge clk); reset = 1; @ (negedge clk); reset = 0;
@ (posedge done); #5 ;
end
endtask
endmodule
 
/rtl/ecg.v
19,7 → 19,6
*/
 
`include "inc.v"
`define SCALAR_WIDTH (151-1) // the width for the scalar value
 
/* point scalar multiplication on the elliptic curve $y^2=x^3-x+1$ over a Galois field GF(3^M)
* whose irreducible polynomial is $x^97 + x^12 + 2$. */
/rtl/f3m.v
208,7 → 208,7
 
/* out == in^3 mod p(x) */
/* p(x) == x^97 + x^12 + 2 */
module f3m_cubic(input [193:0] in, output [193:0] out);
module f3m_cubic(input wire [193:0] in, output wire [193:0] out);
wire [1:0] w0; f3_add a0(in[131:130], in[139:138], w0);
wire [1:0] w1; f3_add a1(in[133:132], in[141:140], w1);
wire [1:0] w2; f3_add a2(in[135:134], in[143:142], w2);
619,7 → 619,7
 
/* $C=A*(x^3) mod p(x)$ */
/* p(x) == x^97 + x^12 + 2 */
module func7(input [193:0] in, output [193:0] out);
module func7(input wire [193:0] in, output wire [193:0] out);
assign out[5:0] = in[193:188];
assign out[23:6] = in[17:0];
wire [1:0] w0;
/rtl/inc.v
28,4 → 28,4
`define W3 (6*`M-1) // width for a GF(3^{3*M}) element
`define W6 (12*`M-1) // width for a GF(3^{6*M}) element
`define PX 196'h4000000000000000000000000000000000000000001000002 // PX is the irreducible polynomial
 
`define SCALAR_WIDTH (151-1) // the width for the scalar value

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.