Subversion Repositories dblclockfft

////////////////////////////////////////////////////////////////////////////

//

// Filename:    butterfly_tb.cpp

//

// Project:     A Doubletime Pipelined FFT

//

// Purpose:     A test-bench for the butterfly.v subfile of the double

//              clocked FFT.  This file may be run autonomously.  If so,

//              the last line output will either read "SUCCESS" on success,

//              or some other failure message otherwise.

//

//              This file depends upon verilator to both compile, run, and

//              therefore test butterfly.v

//

// Creator:     Dan Gisselquist, Ph.D.

//              Gisselquist Tecnology, LLC

//

///////////////////////////////////////////////////////////////////////////

//

// Copyright (C) 2015, Gisselquist Technology, LLC

//

// This program is free software (firmware): you can redistribute it and/or

// modify it under the terms of  the GNU General Public License as published

// by the Free Software Foundation, either version 3 of the License, or (at

// your option) any later version.

//

// This program is distributed in the hope that it will be useful, but WITHOUT

// ANY WARRANTY; without even the implied warranty of MERCHANTIBILITY or

// FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

// for more details.

//

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

// with this program.  (It's in the $(ROOT)/doc directory, run make with no

// target there if the PDF file isn't present.)  If not, see

// <http://www.gnu.org/licenses/> for a copy.

//

// License:     GPL, v3, as defined and found on www.gnu.org,

//              http://www.gnu.org/licenses/gpl.html

//

//

///////////////////////////////////////////////////////////////////////////

#include <stdio.h>

#include <stdint.h>

#include "Vbutterfly.h"

#include "verilated.h"

long    sbits(const long val, const int bits) {

        long    r;

        r = val & ((1l<<bits)-1);

        if (r & (1l << (bits-1)))

                r |= (-1l << bits);

        return r;

}

unsigned long   ubits(const long val, const int bits) {

        long    r;

        r = val & ((1l<<bits)-1);

        return r;

}

class   BFLY_TB {

public:

        Vbutterfly      *m_bfly;

        unsigned long   m_left[64], m_right[64];

        bool            m_aux[64];

        int             m_addr, m_lastaux, m_offset;

        bool            m_syncd;

        BFLY_TB(void) {

                m_bfly = new Vbutterfly;

                m_addr = 0;

                m_syncd = 0;

        }

        void    tick(void) {

                m_lastaux = m_bfly->o_aux;

                m_bfly->i_clk = 0;

                m_bfly->eval();

                m_bfly->i_clk = 1;

                m_bfly->eval();

                if ((!m_syncd)&&(m_bfly->o_aux))

                        m_offset = m_addr;

                m_syncd = (m_syncd) || (m_bfly->o_aux);

        }

        void    reset(void) {

                m_bfly->i_ce    = 0;

                m_bfly->i_rst   = 1;

                m_bfly->i_coef  = 0l;

                m_bfly->i_left  = 0;

                m_bfly->i_right = 0;

                tick();

                m_bfly->i_rst = 0;

                m_bfly->i_ce  = 1;

                //

                // Let's run a RESET test here, forcing the whole butterfly

                // to be filled with aux=1.  If the reset works right,

                // we'll never get an aux=1 output.

                //

                m_bfly->i_rst = 1;

                m_bfly->i_ce  = 1;

                m_bfly->i_aux = 1;

                for(int i=0; i<200; i++)

                        tick();

                // Now here's the RESET line, so let's see what the test does

                m_bfly->i_rst = 1;

                m_bfly->i_ce  = 1;

                m_bfly->i_aux = 1;

                tick();

                m_bfly->i_rst = 0;

                m_syncd = 0;

        }

        void    test(const int n, const int k, const unsigned long cof,

                        const unsigned lft, const unsigned rht, const int aux) {

                m_bfly->i_coef  = cof & (~(-1l << 40));

                m_bfly->i_left  = lft;

                m_bfly->i_right = rht;

                m_bfly->i_aux   = aux & 1;

                tick();

                if ((m_bfly->o_aux)&&(!m_lastaux))

                        printf("\n");

                printf("n,k=%d,%3d: COEF=%010lx, LFT=%08x, RHT=%08x, A=%d, OLFT =%09lx, ORHT=%09lx, AUX=%d\n",

                        n,k,

                        m_bfly->i_coef & (~(-1l<<40)),

                        m_bfly->i_left,

                        m_bfly->i_right,

                        m_bfly->i_aux,

                        m_bfly->o_left,

                        m_bfly->o_right,

                        m_bfly->o_aux);

                /*

                printf("\tFI=%010lx",

                        ((((long)m_bfly->v__DOT__r_aux_2)&1l)<<34)

                        |((((long)m_bfly->v__DOT__r_sum_r)&0x01ffffl)<<17)

                        |(((long)m_bfly->v__DOT__r_sum_i)&0x01ffffl));

                printf("\tFO=%010lx SUMR=%05x SUMI=%05x A=%d",

                        m_bfly->v__DOT__fifo_read,

                        m_bfly->v__DOT__r_sum_r,

                        m_bfly->v__DOT__r_sum_i,

                        m_bfly->v__DOT__r_aux_2);

                printf("\tML=%09lx, MR=%09lx, ",

                        m_left[ (m_addr-23)&(64-1)],

                        m_right[(m_addr-23)&(64-1)]);

                */

                /*

                printf("\tBLFTR=%10lx BLFTI=%10lx",

                        m_bfly->v__DOT__b_left_r & (~(-1l<<40)),

                        m_bfly->v__DOT__b_left_i & (~(-1l<<40)));

                printf("\tMPYR=%10lx MPYI=%10lx",

                        m_bfly->v__DOT__mpy_r & (~(-1l<<40)),

                        m_bfly->v__DOT__mpy_i & (~(-1l<<40)));

                printf("\n");

                */

                if ((m_syncd)&&(m_left[(m_addr-m_offset)&(64-1)] != m_bfly->o_left)) {

                        fprintf(stderr, "WRONG O_LEFT! (%lx(exp) != %lx(sut)\n",

                                m_left[(m_addr-m_offset)&(64-1)],

                                m_bfly->o_left);

                        exit(-1);

                }

                if ((m_syncd)&&(m_right[(m_addr-m_offset)&(64-1)] != m_bfly->o_right)) {

                        fprintf(stderr, "WRONG O_RIGHT!\n");

                        exit(-1);

                }

                if ((m_syncd)&&(m_aux[(m_addr-m_offset)&(64-1)] != m_bfly->o_aux)) {

                        fprintf(stderr, "FAILED AUX CHANNEL TEST (i.e. the SYNC)\n");

                        exit(-1);

                }

                if ((m_addr > 22)&&(!m_syncd)) {

                        fprintf(stderr, "NO SYNC PULSE!\n");

                        exit(-1);

                }

                // Now, let's calculate an "expected" result ...

                long    rlft, ilft;

                // Extract left and right values ...

                rlft = sbits(m_bfly->i_left >> 16, 16);

                ilft = sbits(m_bfly->i_left      , 16);

                // Now repeat for the right hand value ...

                long    rrht, irht;

                // Extract left and right values ...

                rrht = sbits(m_bfly->i_right >> 16, 16);

                irht = sbits(m_bfly->i_right      , 16);

                // and again for the coefficients

                long    rcof, icof;

                // Extract left and right values ...

                rcof = sbits(m_bfly->i_coef >> 20, 20);

                icof = sbits(m_bfly->i_coef      , 20);

                // Now, let's do the butterfly ourselves ...

                long sumi, sumr, difi, difr;

                sumr = rlft + rrht;

                sumi = ilft + irht;

                difr = rlft - rrht;

                difi = ilft - irht;

        /*

                printf("L=%5lx+%5lx,R=%5lx+%5lx,S=%5lx+%5lx,D=%5lx+%5lx, ",

                        rlft & 0x02ffffl,

                        ilft & 0x02ffffl,

                        rrht & 0x02ffffl,

                        irht & 0x02ffffl,

                        sumr & 0x02ffffl,

                        sumi & 0x02ffffl,

                        difr & 0x02ffffl,

                        difi & 0x02ffffl);

        */

                long p1, p2, p3, mpyr, mpyi;

                p1 = difr * rcof;

                p2 = difi * icof;

                p3 = (difr + difi) * (rcof + icof);

                mpyr = p1-p2 + (1<<17);

                mpyi = p3-p1-p2 + (1<<17);

        /*

                printf("RC=%lx, IC=%lx, ", rcof, icof);

                printf("P1=%lx,P2=%lx,P3=%lx, ", p1,p2,p3);

                printf("MPYr = %lx, ", mpyr);

                printf("MPYi = %lx, ", mpyi);

        */

                long    o_left_r, o_left_i, o_right_r, o_right_i;

                unsigned long   o_left, o_right;

                o_left_r = sumr & 0x01ffff; o_left_i = sumi & 0x01ffff;

                o_left = (o_left_r << 17) | (o_left_i);

                o_right_r = (mpyr>>18) & 0x01ffff;

                o_right_i = (mpyi>>18) & 0x01ffff;

                o_right = (o_right_r << 17) | (o_right_i);

        /*

                printf("oR_r = %lx, ", o_right_r);

                printf("oR_i = %lx\n", o_right_i);

        */

                m_left[ m_addr&(64-1)] = o_left;

                m_right[m_addr&(64-1)] = o_right;

                m_aux[  m_addr&(64-1)] = aux;

                m_addr++;

        }

};

int     main(int argc, char **argv, char **envp) {

        Verilated::commandArgs(argc, argv);

        BFLY_TB *bfly = new BFLY_TB;

        int16_t         ir0, ii0, lstr, lsti;

        int32_t         sumr, sumi, difr, difi;

        int32_t         smr, smi, dfr, dfi;

        int             rnd = 0;

        const int       TESTSZ = 256;

        bfly->reset();

        bfly->test(9,0,0x4000000000l,0x7fff0000,0x7fff0000, 1);

        bfly->test(9,1,0x4000000000l,0x7fff0000,0x80010000, 0);

        bfly->test(9,2,0x4000000000l,0x00007fff,0x00008001, 0);

        bfly->test(9,3,0x4000000000l,0x00007fff,0x00007fff, 0);

        bfly->test(8,0,0x4000000000l,0x80010000,0x80010000, 1);

        bfly->test(8,1,0x4000000000l,0x00008001,0x00008001, 0);

        bfly->test(9,0,0x4000000000l,0x40000000,0xc0000000, 1);

        bfly->test(9,1,0x4000000000l,0x40000000,0x40000000, 0);

        bfly->test(9,2,0x4000000000l,0x00004000,0x0000c000, 0);

        bfly->test(9,3,0x4000000000l,0x00004000,0x00004000, 0);

        bfly->test(9,0,0x4000000000l,0x20000000,0xe0000000, 1);

        bfly->test(9,1,0x4000000000l,0x20000000,0x20000000, 0);

        bfly->test(9,2,0x4000000000l,0x00002000,0x0000e000, 0);

        bfly->test(9,3,0x4000000000l,0x00002000,0x00002000, 0);

        bfly->test(9,0,0x4000000000l,0x00080000,0xfff80000, 1);

        bfly->test(9,1,0x4000000000l,0x00080000,0x00080000, 0);

        bfly->test(9,2,0x4000000000l,0x00000008,0x0000fff8, 0);

        bfly->test(9,3,0x4000000000l,0x00000008,0x00000008, 0);

        bfly->test(7,0,0x3fffbff9b9l,0xfffe0000,0x00000000, 1);

        bfly->test(7,1,0x3ffd4fed28l,0xfffc0000,0x00020000, 0);

        bfly->test(7,2,0x3ff85fe098l,0xfff80000,0x00060000, 0);

        bfly->test(7,3,0x3ff0efd409l,0xfff00000,0x000e0000, 0);

        bfly->test(7,4,0x3fe70fc77cl,0xffe60000,0x00180000, 0);

        bfly->test(7,5,0x3fdabfbaf1l,0xffda0000,0x00240000, 0);

        bfly->test(7,6,0x3fcbefae69l,0xffca0000,0x00340000, 0);

        bfly->test(7,7,0x3fbaafa1e4l,0xffba0000,0x00440000, 0);

        /*

        // Special tests

        bfly->test(9,0,0x4000000000l,0x00010000,0xffff0000, 1);

        bfly->test(9,1,0x4000000000l,0x00010000,0x00010000, 0);

        bfly->test(9,2,0x4000000000l,0x00000001,0x0000ffff, 0);

        bfly->test(9,3,0x4000000000l,0x00000001,0x00000001, 0);

        */

        for(int n=0; n<4; n++) for(int k=0; k<TESTSZ; k++) {

                long    iv, rv;

                unsigned long   lft, rht, cof;

                double  c, s, W;

                bool    inv = 1;

                int     aux;

                W = ((inv)?-1:1) * 2.0 * M_PI * (2*k) / TESTSZ * 64;

                c = cos(W); s = sin(W);

                rv = (long)((double)(1l<<(16-2-n))*c+0.5);

                iv = (long)((double)(1l<<(16-2-n))*s+0.5);

                rv = (rv << 16) | (iv & (~(-1<<16)));

                lft = rv;

                W = ((inv)?-1:1) * 2.0 * M_PI * (2*k+1) / TESTSZ * 64;

                c = cos(W); s = sin(W);

                rv = (long)((double)(1l<<(16-2-n))*c+0.5);

                iv = (long)((double)(1l<<(16-2-n))*s+0.5);

                rv = (rv << 16) | (iv & (~(-1<<16)));

                rht = rv;

                // Switch the sign of W

                W = ((inv)?1:-1) * 2.0 * M_PI * (2*k) / TESTSZ;

                c = cos(W); s = sin(W);

                rv = (long)((double)(1l<<(20-2))*c+0.5); // Keep 20-2 bits for

                iv = (long)((double)(1l<<(20-2))*s+0.5); // coefficients

                rv = (rv << 20) | (iv & (~(-1<<20)));

                cof = rv;

                aux = ((k&(TESTSZ-1))==0);

                bfly->test(n,k, cof, lft, rht, aux);

        }

        delete  bfly;

        printf("SUCCESS!\n");

        exit(0);

}