Subversion Repositories ecg

`timescale 1ns / 1ps

`include "../rtl/inc.v"

module test_point_add;

        // Inputs

        reg clk;

        reg reset;

        reg [`WIDTH:0] x1, y1, x2, y2;

        reg zero1;

        reg zero2;

        // Outputs

        wire done;

        wire zero3;

    wire [`WIDTH:0] x3, y3;

    // Const

    reg [`WIDTH:0] p1x, p1y, np1y, p2x, p2y, np2y;

        // Instantiate the Unit Under Test (UUT)

        point_add uut (

                .clk(clk),

                .reset(reset),

                .x1(x1),

                .y1(y1),

                .zero1(zero1),

                .x2(x2),

                .y2(y2),

                .zero2(zero2),

                .done(done),

                .x3(x3),

                .y3(y3),

                .zero3(zero3)

        );

        initial begin

                // Initialize Inputs

                clk = 0;

                reset = 0;

                x1 = 0;

                y1 = 0;

                zero1 = 0;

                x2 = 0;

                y2 = 0;

                zero2 = 0;

                // Wait 100 ns for global reset to finish

                #100;

                // Add stimulus here

        p1x=194'h154594219a60a610649861a602548666509898492a8049;

        p1y=194'h9a5a89a26aa5a1189680a6a64080a519a5054a11a9208094;

        np1y=194'h65a54651955a52246940595980405a265a0a852256104068;

        p2x=194'h109489806019280a602169554246868a518a6102854294968;

        p2y=194'h94995581208995898a04995a50901a6a60421902a21a966a;

        np2y=194'h6866aa4210466a46450866a5a06025959081260151256995;

        // Two points are both inf points

        x1 = p1x; y1 = p1y; zero1 = 1;

        x2 = p2x; y2 = p2y; zero2 = 1;

        go;

        #5 if(zero3 !== 1) begin $display("E"); $finish; end

        // One point is the inf point, the other is not. test case 1

        x1 = p1x; y1 = p1y; zero1 = 0;

        x2 = p2x; y2 = p2y; zero2 = 1;

        go;

        #5 if(zero3 !== 0 || x3 !== p1x || y3 !== p1y) begin $display("E"); $finish; end

        // One point is the inf point, the other is not. test case 2

        x1 = p1x; y1 = p1y; zero1 = 1;

        x2 = p2x; y2 = p2y; zero2 = 0;

        go;

        #5 if(zero3 !== 0 || x3 !== p2x || y3 !== p2y) begin $display("E"); $finish; end

        // If P1==-P2, then P3==the inf point. test case 1

        x1 = p1x; y1 = p1y; zero1 = 0;

        x2 = p1x; y2 = np1y; zero2 = 0;

        go;

        #5 if(zero3 !== 1) begin $display("E"); $finish; end

        // If P1==-P2, then P3==the inf point. test case 2

        x1 = p2x; y1 = p2y; zero1 = 0;

        x2 = p2x; y2 = np2y; zero2 = 0;

        go;

        #5 if(zero3 !== 1) begin $display("E"); $finish; end

        // If P1==P2. test case 1

        x1 = p1x; y1 = p1y; zero1 = 0;

        x2 = p1x; y2 = p1y; zero2 = 0;

        go;

        #5 if(zero3 !== 0 ||

              x3 !== 194'h51a80aa6548495816a6015424a209489998160946485920a ||

              y3 !== 194'h18828584561659888a26269240125594996068145915145

              ) begin $display("E"); $finish; end

        // If P1==P2. test case 2

        x1 = p2x; y1 = p2y; zero1 = 0;

        x2 = p2x; y2 = p2y; zero2 = 0;

        go;

        #5 if(zero3 !== 0 ||

              x3 !== 194'h2805051564005642629524a84a6159a605024615a90a62042 ||

              y3 !== 194'h2502568a5aa504152460984aa699616901895100a595862a8

              ) begin $display("E"); $finish; end

        // If P1 != +- P2, test case 1

        x1 = p1x; y1 = p1y; zero1 = 0;

        x2 = p2x; y2 = p2y; zero2 = 0;

        go;

        #5 if(zero3 !== 0 ||

              x3 !== 194'ha629964882665246a929a19808a94825948aa499250110a ||

              y3 !== 194'h920546a8540695a10010a95485a848684a51a864656a82

              ) begin $display("E"); $finish; end

        // If P1 != +- P2, test case 2

        x1 = 194'h2405a1946a466242911520254a852988898292a4069969259;

        y1 = 194'ha4568a88466646a4a86925162822a6621aa88aa85916089a;

        zero1 = 0;

        x2 = 194'h10545a2861a44529a24458448958295561a012412846a9259;

        y2 = 194'h2066580628a590a248451a6994956a142a42a5a010840229a;

        zero2 = 0;

        go;

        #5 if(zero3 !== 0 ||

              x3 !== 194'h5820222101a8668a69a4492258246242545104498588a4a8 ||

              y3 !== 194'h9892492664444861200a582a998010901105a90556429005

              ) 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);

      end

        endtask

endmodule