Subversion Repositories pairing

/*

    Copyright 2011, City University of Hong Kong

    Author is Homer (Dongsheng) Xing.

    This file is part of Tate Bilinear Pairing Core.

    Tate Bilinear Pairing Core is free software: you can redistribute it and/or modify

    it under the terms of the GNU Lesser General Public License as published by

    the Free Software Foundation, either version 3 of the License, or

    (at your option) any later version.

    Tate Bilinear Pairing Core is distributed in the hope that it will be useful,

    but WITHOUT ANY WARRANTY; without even the implied warranty of

    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

    GNU Lesser General Public License for more details.

    You should have received a copy of the GNU General Public License

    along with Foobar.  If not, see http://www.gnu.org/licenses/lgpl.txt

*/

// fun.v: Have you got fun reading the code ?

`include "inc.v"

// turn "00000001111111111111111" into "00000001000000000000000"

module func6(clk, reset, in, out);

    input clk, reset, in;

    output out;

    reg reg1, reg2;

    always @ (posedge clk)

        if (reset)

          begin

            reg1 <= 0; reg2 <= 0;

          end

        else

          begin

            reg2 <= reg1; reg1 <= in;

          end

    assign out = {reg2,reg1}==2'b01 ? 1 : 0;

endmodule