| Line 46... |
Line 46... |
x1 = 194'h2a4290286121261a82446a41200622024988295015114486;
|
x1 = 194'h2a4290286121261a82446a41200622024988295015114486;
|
y1 = 194'h16595a61040a8611209820112a1582a081a1a182264601252;
|
y1 = 194'h16595a61040a8611209820112a1582a081a1a182264601252;
|
zero1 = 0;
|
zero1 = 0;
|
c = 0;
|
c = 0;
|
go;
|
go;
|
if (zero3 !== 1) begin $display("E"); $finish; end
|
if (zero3 !== 1) begin $display("E"); $finish; end else $display(":D");
|
|
|
// if scalar value is one, then the result is the input point, test case 1
|
// if scalar value is one, then the result is the input point, test case 1
|
x1 = 194'h2a4290286121261a82446a41200622024988295015114486;
|
x1 = 194'h2a4290286121261a82446a41200622024988295015114486;
|
y1 = 194'h16595a61040a8611209820112a1582a081a1a182264601252;
|
y1 = 194'h16595a61040a8611209820112a1582a081a1a182264601252;
|
zero1 = 0;
|
zero1 = 0;
|
| Line 58... |
Line 58... |
go;
|
go;
|
if (zero3 !== 0 ||
|
if (zero3 !== 0 ||
|
x3 !== 194'h2a4290286121261a82446a41200622024988295015114486 ||
|
x3 !== 194'h2a4290286121261a82446a41200622024988295015114486 ||
|
y3 !== 194'h16595a61040a8611209820112a1582a081a1a182264601252
|
y3 !== 194'h16595a61040a8611209820112a1582a081a1a182264601252
|
) begin $display("E"); $finish; end
|
) begin $display("E"); $finish; end
|
|
else $display(":D");
|
|
|
// if scalar value is one, then the result is the input point, test case 2
|
// if scalar value is one, then the result is the input point, test case 2
|
x1 = 194'h2a4290286121261a82446a41200622024988295015114486;
|
x1 = 194'h2a4290286121261a82446a41200622024988295015114486;
|
y1 = 194'h16595a61040a8611209820112a1582a081a1a182264601252;
|
y1 = 194'h16595a61040a8611209820112a1582a081a1a182264601252;
|
zero1 = 1;
|
zero1 = 1;
|
c = 1;
|
c = 1;
|
go;
|
go;
|
if (zero3 !== 1) begin $display("E"); $finish; end
|
if (zero3 !== 1) begin $display("E"); $finish; end
|
|
else $display(":D");
|
|
|
// if scalar value is one thousand. test case 1
|
// if scalar value is one thousand. test case 1
|
x1 = 194'h126569286a9860859046680265109015266416aa984082610;
|
x1 = 194'h126569286a9860859046680265109015266416aa984082610;
|
y1 = 194'h2a41880890628944a6844a269258216041061196854181160;
|
y1 = 194'h2a41880890628944a6844a269258216041061196854181160;
|
zero1 = 0;
|
zero1 = 0;
|
| Line 77... |
Line 79... |
go;
|
go;
|
if (zero3 !== 0 ||
|
if (zero3 !== 0 ||
|
x3 !== 194'h221495405a9425682104a6a005a42a562564469158a962019 ||
|
x3 !== 194'h221495405a9425682104a6a005a42a562564469158a962019 ||
|
y3 !== 194'h1048569408a2846964811161095218005098aa06582419a46
|
y3 !== 194'h1048569408a2846964811161095218005098aa06582419a46
|
) begin $display("E"); $finish; end
|
) begin $display("E"); $finish; end
|
|
else $display(":D");
|
|
|
// if scalar value is one thousand. test case 2
|
// if scalar value is one thousand. test case 2
|
x1 = 194'h126569286a9860859046680265109015266416aa984082610;
|
x1 = 194'h126569286a9860859046680265109015266416aa984082610;
|
y1 = 194'h2a41880890628944a6844a269258216041061196854181160;
|
y1 = 194'h2a41880890628944a6844a269258216041061196854181160;
|
zero1 = 1;
|
zero1 = 1;
|
c = 1000;
|
c = 1000;
|
go;
|
go;
|
if (zero3 !== 1) begin $display("E"); $finish; end
|
if (zero3 !== 1) begin $display("E"); $finish; end
|
|
else $display(":D");
|
|
|
// if scalar value is the order of the generator point, then the result is the inf point
|
/* // if scalar value is the order of the generator point, then the result is the inf point
|
x1 = 194'h288162298554054820552a05426081a1842886a58916a6249;
|
x1 = 194'h288162298554054820552a05426081a1842886a58916a6249;
|
y1 = 194'h2895955069089214054596a189a4420556589054140941695;
|
y1 = 194'h2895955069089214054596a189a4420556589054140941695;
|
zero1 = 0;
|
zero1 = 0;
|
c = 152'd2726865189058261010774960798134976187171462721;
|
c = 152'd2726865189058261010774960798134976187171462721;
|
go;
|
go;
|
if (zero3 !== 1) begin $display("E"); $finish; end
|
if (zero3 !== 1) begin $display("E"); $finish; end
|
|
else $display(":D"); */
|
|
|
// good work, buddy
|
// good work, buddy
|
$display("nice!");
|
$display("nice!");
|
$finish;
|
$finish;
|
end
|
end
|
