///////////////////////////////////////////////////////////////////////////////
|
///////////////////////////////////////////////////////////////////////////////
|
//
|
//
|
// Filename: div_tb.cpp
|
// Filename: div_tb.cpp
|
//
|
//
|
// Project: Zip CPU -- a small, lightweight, RISC CPU soft core
|
// Project: Zip CPU -- a small, lightweight, RISC CPU soft core
|
//
|
//
|
// Purpose: Bench testing for the divide unit found within the Zip CPU.
|
// Purpose: Bench testing for the divide unit found within the Zip CPU.
|
//
|
//
|
//
|
//
|
// Creator: Dan Gisselquist, Ph.D.
|
// Creator: Dan Gisselquist, Ph.D.
|
// Gisselquist Technology, LLC
|
// Gisselquist Technology, LLC
|
//
|
//
|
///////////////////////////////////////////////////////////////////////////////
|
///////////////////////////////////////////////////////////////////////////////
|
//
|
//
|
// Copyright (C) 2015, Gisselquist Technology, LLC
|
// Copyright (C) 2015, Gisselquist Technology, LLC
|
//
|
//
|
// This program is free software (firmware): you can redistribute it and/or
|
// 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
|
// 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
|
// by the Free Software Foundation, either version 3 of the License, or (at
|
// your option) any later version.
|
// your option) any later version.
|
//
|
//
|
// This program is distributed in the hope that it will be useful, but WITHOUT
|
// This program is distributed in the hope that it will be useful, but WITHOUT
|
// ANY WARRANTY; without even the implied warranty of MERCHANTIBILITY or
|
// ANY WARRANTY; without even the implied warranty of MERCHANTIBILITY or
|
// FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
// FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
// for more details.
|
// for more details.
|
//
|
//
|
// License: GPL, v3, as defined and found on www.gnu.org,
|
// License: GPL, v3, as defined and found on www.gnu.org,
|
// http://www.gnu.org/licenses/gpl.html
|
// http://www.gnu.org/licenses/gpl.html
|
//
|
//
|
//
|
//
|
///////////////////////////////////////////////////////////////////////////////
|
///////////////////////////////////////////////////////////////////////////////
|
//
|
//
|
//
|
//
|
#include <signal.h>
|
#include <signal.h>
|
#include <stdint.h>
|
#include <stdint.h>
|
#include <time.h>
|
#include <time.h>
|
#include <unistd.h>
|
#include <unistd.h>
|
#include <assert.h>
|
#include <assert.h>
|
|
|
#include <ctype.h>
|
#include <ctype.h>
|
|
|
#include "verilated.h"
|
#include "verilated.h"
|
#include "Vdiv.h"
|
#include "Vdiv.h"
|
|
|
#include "testb.h"
|
#include "testb.h"
|
// #include "twoc.h"
|
// #include "twoc.h"
|
|
|
|
#define DIVASSERT(A) do { if (!(A)) { closetrace(); } assert(A); } while(0)
|
|
|
class DIV_TB : public TESTB<Vdiv> {
|
class DIV_TB : public TESTB<Vdiv> {
|
public:
|
public:
|
DIV_TB(void) {
|
DIV_TB(void) {
|
}
|
}
|
|
|
~DIV_TB(void) {}
|
~DIV_TB(void) {}
|
|
|
void reset(void) {
|
void reset(void) {
|
// m_flash.debug(false);
|
// m_flash.debug(false);
|
TESTB<Vdiv>::reset();
|
TESTB<Vdiv>::reset();
|
}
|
}
|
|
|
bool on_tick(void) {
|
|
tick();
|
|
return true;
|
|
}
|
|
|
|
void bprint(char *str, int nbits, unsigned long v) {
|
void bprint(char *str, int nbits, unsigned long v) {
|
while(*str)
|
while(*str)
|
str++;
|
str++;
|
for(int i=0; i<nbits; i++) {
|
for(int i=0; i<nbits; i++) {
|
if ((1l<<(nbits-1-i))&v)
|
if ((1l<<(nbits-1-i))&v)
|
*str++ = '1';
|
*str++ = '1';
|
else
|
else
|
*str++ = '0';
|
*str++ = '0';
|
if (((nbits-1-i)&3)==0)
|
if (((nbits-1-i)&3)==0)
|
*str++ = ' ';
|
*str++ = ' ';
|
} *str = '\0';
|
} *str = '\0';
|
}
|
}
|
|
|
void dbgdump(void) {
|
void dbgdump(void) {
|
char outstr[2048], *s;
|
char outstr[2048], *s;
|
sprintf(outstr, "Tick %4ld %s%s%s%s%s%s%s %2d(%s= 0)",
|
sprintf(outstr, "Tick %4ld %s%s%s%s%s%s%s %2d(%s= 0)",
|
m_tickcount,
|
m_tickcount,
|
(m_core->o_busy)?"B":" ",
|
(m_core->o_busy)?"B":" ",
|
(m_core->v__DOT__r_busy)?"R":" ",
|
(m_core->v__DOT__r_busy)?"R":" ",
|
(m_core->o_valid)?"V":" ",
|
(m_core->o_valid)?"V":" ",
|
(m_core->i_wr)?"W":" ",
|
(m_core->i_wr)?"W":" ",
|
(m_core->v__DOT__pre_sign)?"+":" ",
|
(m_core->v__DOT__pre_sign)?"+":" ",
|
(m_core->v__DOT__r_sign)?"-":" ",
|
(m_core->v__DOT__r_sign)?"-":" ",
|
(m_core->v__DOT__r_z)?"Z":" ",
|
(m_core->v__DOT__r_z)?"Z":" ",
|
m_core->v__DOT__r_bit,
|
m_core->v__DOT__r_bit,
|
(m_core->v__DOT__last_bit)?"=":"!");
|
(m_core->v__DOT__last_bit)?"=":"!");
|
s = &outstr[strlen(outstr)];
|
s = &outstr[strlen(outstr)];
|
sprintf(s, "%s\n%10s %40s",s, "Div","");
|
sprintf(s, "%s\n%10s %40s",s, "Div","");
|
s = &s[strlen(s)];
|
s = &s[strlen(s)];
|
bprint( s, 32, m_core->v__DOT__r_dividend);
|
bprint( s, 32, m_core->v__DOT__r_dividend);
|
s=&s[strlen(s)];
|
s=&s[strlen(s)];
|
sprintf(s, "%s\n%10s ",s, "Div"); s = &s[strlen(s)];
|
sprintf(s, "%s\n%10s ",s, "Div"); s = &s[strlen(s)];
|
bprint( s, 64, m_core->v__DOT__r_divisor);
|
bprint( s, 64, m_core->v__DOT__r_divisor);
|
s=&s[strlen(s)];
|
s=&s[strlen(s)];
|
sprintf(s, "%s\n%10s %40s",s, "Q",""); s=&s[strlen(s)];
|
sprintf(s, "%s\n%10s %40s",s, "Q",""); s=&s[strlen(s)];
|
bprint( s, 32, m_core->o_quotient); s = &s[strlen(s)];
|
bprint( s, 32, m_core->o_quotient); s = &s[strlen(s)];
|
sprintf(s, "%s\n%10s %38s",s, "Diff","");
|
sprintf(s, "%s\n%10s %38s",s, "Diff","");
|
s=&s[strlen(s)];
|
s=&s[strlen(s)];
|
bprint( s, 33, m_core->v__DOT__diff); s = &s[strlen(s)];
|
bprint( s, 33, m_core->v__DOT__diff); s = &s[strlen(s)];
|
strcat(s, "\n");
|
strcat(s, "\n");
|
puts(outstr);
|
puts(outstr);
|
}
|
}
|
|
|
void tick(void) {
|
void tick(void) {
|
bool debug = false;
|
bool debug = false;
|
|
|
if (debug)
|
if (debug)
|
dbgdump();
|
dbgdump();
|
TESTB<Vdiv>::tick();
|
TESTB<Vdiv>::tick();
|
}
|
}
|
|
|
void divtest(uint32_t n, uint32_t d, uint32_t ans, bool issigned) {
|
void divtest(uint32_t n, uint32_t d, uint32_t ans, bool issigned) {
|
const bool dbg = false;
|
const bool dbg = false;
|
|
|
// The test bench is supposed to assert that we are idle when
|
// The test bench is supposed to assert that we are idle when
|
// we come in here.
|
// we come in here.
|
assert(m_core->o_busy == 0);
|
DIVASSERT(m_core->o_busy == 0);
|
|
|
// Request a divide
|
// Request a divide
|
m_core->i_rst = 0;
|
m_core->i_rst = 0;
|
m_core->i_wr = 1;
|
m_core->i_wr = 1;
|
m_core->i_signed = (issigned)?1:0;
|
m_core->i_signed = (issigned)?1:0;
|
m_core->i_numerator = n;
|
m_core->i_numerator = n;
|
m_core->i_denominator = d;
|
m_core->i_denominator = d;
|
|
|
// Tick once for the request to be registered
|
// Tick once for the request to be registered
|
tick();
|
tick();
|
|
|
// Clear the input lines.
|
// Clear the input lines.
|
m_core->i_wr = 0;
|
m_core->i_wr = 0;
|
m_core->i_signed = 0;
|
m_core->i_signed = 0;
|
m_core->i_numerator = 0;
|
m_core->i_numerator = 0;
|
m_core->i_denominator = 0;
|
m_core->i_denominator = 0;
|
|
|
// Make certain busy is immediately true upon the first clock
|
// Make certain busy is immediately true upon the first clock
|
// after we issue the divide, and that our result is not also
|
// after we issue the divide, and that our result is not also
|
// listed as a valid result.
|
// listed as a valid result.
|
if (!m_core->o_busy) {
|
if (!m_core->o_busy) {
|
closetrace();
|
closetrace();
|
assert(m_core->o_busy);
|
DIVASSERT(m_core->o_busy);
|
} if (m_core->o_valid != 0) {
|
} if (m_core->o_valid != 0) {
|
closetrace();
|
closetrace();
|
assert(m_core->o_valid == 0);
|
DIVASSERT(m_core->o_valid == 0);
|
}
|
}
|
|
|
// while((!m_core->o_valid)&&(!m_core->o_err))
|
// while((!m_core->o_valid)&&(!m_core->o_err))
|
while(!m_core->o_valid) {
|
while(!m_core->o_valid) {
|
// If we aren't yet valid, we'd better at least
|
// If we aren't yet valid, we'd better at least
|
// be busy--the CPU requires this.
|
// be busy--the CPU requires this.
|
if (!m_core->o_busy) {
|
if (!m_core->o_busy) {
|
// We aren't valid, and we aren't busy. This
|
// We aren't valid, and we aren't busy. This
|
// is a test failure.
|
// is a test failure.
|
dbgdump();
|
dbgdump();
|
closetrace();
|
closetrace();
|
assert(m_core->o_busy);
|
DIVASSERT(m_core->o_busy);
|
}
|
}
|
|
|
// Let the algorithm work for another clock tick.
|
// Let the algorithm work for another clock tick.
|
tick();
|
tick();
|
} if (dbg) dbgdump();
|
} if (dbg) dbgdump();
|
|
|
// Insist that the core not be busy any more, now that a valid
|
// Insist that the core not be busy any more, now that a valid
|
// result has been produced.
|
// result has been produced.
|
if (m_core->o_busy) {
|
if (m_core->o_busy) {
|
closetrace();
|
closetrace();
|
assert(!m_core->o_busy);
|
DIVASSERT(!m_core->o_busy);
|
}
|
}
|
|
|
if (dbg) {
|
if (dbg) {
|
printf("%s%s: %d / %d =? %d\n",
|
printf("%s%s: %d / %d =? %d\n",
|
(m_core->o_valid)?"V":" ",
|
(m_core->o_valid)?"V":" ",
|
(m_core->o_err)?"E":" ",
|
(m_core->o_err)?"E":" ",
|
n, d, m_core->o_quotient);
|
n, d, m_core->o_quotient);
|
}
|
}
|
|
|
|
|
// Now that we're done, we need to check the result.
|
// Now that we're done, we need to check the result.
|
//
|
//
|
// First case to check: was there an error condition or, if not,
|
// First case to check: was there an error condition or, if not,
|
// should there have been one?
|
// should there have been one?
|
if (d == 0) {
|
if (d == 0) {
|
// We attempted to divide by zero, the result should've
|
// We attempted to divide by zero, the result should've
|
// been an error condition. Let's check:
|
// been an error condition. Let's check:
|
// Then insist on a division by zero error
|
// Then insist on a division by zero error
|
if (!m_core->o_err) {
|
if (!m_core->o_err) {
|
// Don't forget to close the trace before the
|
// Don't forget to close the trace before the
|
// assert, lest the file not get the final
|
// assert, lest the file not get the final
|
// values into it.
|
// values into it.
|
closetrace();
|
closetrace();
|
assert(m_core->o_err);
|
DIVASSERT(m_core->o_err);
|
}
|
}
|
} else if (m_core->o_err) {
|
} else if (m_core->o_err) {
|
// Otherwise, there should not have been any divide
|
// Otherwise, there should not have been any divide
|
// errors. The only errors allowed should be the
|
// errors. The only errors allowed should be the
|
// divide by zero. So, this is an error. Let's
|
// divide by zero. So, this is an error. Let's
|
// stop and report it.
|
// stop and report it.
|
closetrace();
|
closetrace();
|
assert(!m_core->o_err);
|
DIVASSERT(!m_core->o_err);
|
} else if (ans != (uint32_t)m_core->o_quotient) {
|
} else if (ans != (uint32_t)m_core->o_quotient) {
|
// The other problem we might encounter would be if the
|
// The other problem we might encounter would be if the
|
// result doesn't match the one we are expecting.
|
// result doesn't match the one we are expecting.
|
//
|
//
|
// Stop on this bug as well.
|
// Stop on this bug as well.
|
//
|
//
|
closetrace();
|
closetrace();
|
assert(ans == (uint32_t)m_core->o_quotient);
|
DIVASSERT(ans == (uint32_t)m_core->o_quotient);
|
|
}
|
|
|
|
if(((m_core->o_quotient == 0)&&((m_core->o_flags&1)==0))
|
|
||((m_core->o_quotient!= 0)&&((m_core->o_flags&1)!=0))){
|
|
fprintf(stderr, "Z-FLAG DOES NOT MATCH: FLAGS = %d, QUOTIENT = %08x\n", m_core->o_flags, m_core->o_quotient);
|
|
DIVASSERT((m_core->o_quotient!= 0)^(m_core->o_flags&1));
|
}
|
}
|
}
|
}
|
|
|
// Test a signed divide
|
// Test a signed divide
|
void divs(int n, int d) {
|
void divs(int n, int d) {
|
int ans;
|
int ans;
|
// Calculate the answer we *should* get from the divide
|
// Calculate the answer we *should* get from the divide
|
ans = (d==0)?0: (n / d);
|
ans = (d==0)?0: (n / d);
|
|
|
divtest((uint32_t)n, (uint32_t)d, (uint32_t)ans, true);
|
divtest((uint32_t)n, (uint32_t)d, (uint32_t)ans, true);
|
}
|
}
|
|
|
// Test an unsigned divide
|
// Test an unsigned divide
|
void divu(unsigned n, unsigned d) {
|
void divu(unsigned n, unsigned d) {
|
unsigned ans;
|
unsigned ans;
|
|
|
// Pre-Calculate the answer we *should* get from the divide
|
// Pre-Calculate the answer we *should* get from the divide
|
ans = (d==0)?0: (n / d);
|
ans = (d==0)?0: (n / d);
|
|
|
divtest((uint32_t)n, (uint32_t)d, (uint32_t)ans, false);
|
divtest((uint32_t)n, (uint32_t)d, (uint32_t)ans, false);
|
}
|
}
|
|
|
// divide() is just another name for a signed divide--just switch to
|
// divide() is just another name for a signed divide--just switch to
|
// that function call instead.
|
// that function call instead.
|
void divide(int n, int d) {
|
void divide(int n, int d) {
|
divs(n,d);
|
divs(n,d);
|
}
|
}
|
};
|
};
|
|
|
//
|
//
|
// Standard usage functions.
|
// Standard usage functions.
|
//
|
//
|
// Notice that the test bench provides no options. Everything is
|
// Notice that the test bench provides no options. Everything is
|
// self-contained.
|
// self-contained.
|
void usage(void) {
|
void usage(void) {
|
printf("USAGE: div_tb\n");
|
printf("USAGE: div_tb\n");
|
printf("\n");
|
printf("\n");
|
printf("\t\n");
|
printf("\t\n");
|
}
|
}
|
|
|
//
|
//
|
int main(int argc, char **argv) {
|
int main(int argc, char **argv) {
|
// Setup
|
// Setup
|
Verilated::commandArgs(argc, argv);
|
Verilated::commandArgs(argc, argv);
|
DIV_TB *tb = new DIV_TB();
|
DIV_TB *tb = new DIV_TB();
|
|
|
// tb->opentrace("divtrace.vcd");
|
|
|
|
tb->reset();
|
tb->reset();
|
// tb->opentrace("div_tb.vcd");
|
// tb->opentrace("div_tb.vcd");
|
|
|
// Now we're ready. All we need to do to test the divide of two
|
// Now we're ready. All we need to do to test the divide of two
|
// numbers is to call the respective divide(), divs(), or divu()
|
// numbers is to call the respective divide(), divs(), or divu()
|
// functions. The program will crash on an assert error if anything
|
// functions. The program will crash on an assert error if anything
|
// goes wrong.
|
// goes wrong.
|
tb->divu((unsigned)-1,10);
|
tb->divu((unsigned)-1,10);
|
tb->divide(125,7);
|
tb->divide(125,7);
|
// And give us an extra clock tick in-between each test for good
|
// And give us an extra clock tick in-between each test for good
|
// measure.
|
// measure.
|
tb->tick();
|
tb->tick();
|
|
|
// Some other gentle tests
|
// Some other gentle tests
|
tb->divide(125,-7);
|
tb->divide(125,-7);
|
tb->tick();
|
tb->tick();
|
tb->divu((1u<<31),7);
|
tb->divu((1u<<31),7);
|
// Now some boundary conditions
|
// Now some boundary conditions
|
tb->divu((7u<<29),(1u<<31));
|
tb->divu((7u<<29),(1u<<31));
|
tb->tick();
|
tb->tick();
|
tb->divs(32768,0);
|
tb->divs(32768,0);
|
tb->tick();
|
tb->tick();
|
tb->divu((1u<<31),0);
|
tb->divu((1u<<31),0);
|
tb->tick();
|
tb->tick();
|
tb->divs((1u<<30),0);
|
tb->divs((1u<<30),0);
|
tb->tick();
|
tb->tick();
|
//
|
//
|
// Now we switch to a more thorough test set. It's not complete, just
|
// Now we switch to a more thorough test set. It's not complete, just
|
// ... more thorough.
|
// ... more thorough.
|
for(int i=32767; i>=0; i--) {
|
for(int i=32767; i>=0; i--) {
|
tb->divs((1u<<30),i);
|
tb->divs((1u<<30),i);
|
tb->tick();
|
tb->tick();
|
} for(int i=32767; i>=0; i--) {
|
} for(int i=32767; i>=0; i--) {
|
// tb->divu(-1, i);
|
// tb->divu(-1, i);
|
tb->divu((1u<<31), i);
|
tb->divu((1u<<31), i);
|
tb->tick();
|
tb->tick();
|
} for(int i=32767; i>=0; i--) {
|
} for(int i=32767; i>=0; i--) {
|
tb->divide(32768, i);
|
tb->divide(32768, i);
|
tb->tick();
|
tb->tick();
|
}
|
}
|
|
|
/*
|
/*
|
* While random data is a nice test idea, the following just never
|
* While random data is a nice test idea, the following just never
|
* really tested the divide unit thoroughly enough.
|
* really tested the divide unit thoroughly enough.
|
*
|
*
|
tb->divide(rand(),rand()/2);
|
tb->divide(rand(),rand()/2);
|
tb->tick();
|
tb->tick();
|
tb->divide(rand(),rand()/2);
|
tb->divide(rand(),rand()/2);
|
tb->tick();
|
tb->tick();
|
tb->divide(rand(),rand()/2);
|
tb->divide(rand(),rand()/2);
|
tb->tick();
|
tb->tick();
|
tb->divide(rand(),rand()/2);
|
tb->divide(rand(),rand()/2);
|
*/
|
*/
|
|
|
// Any failures above will be captured with a failed assert. If we
|
// Any failures above will be captured with a failed assert. If we
|
// get here, it means things worked. Close up shop ...
|
// get here, it means things worked. Close up shop ...
|
//
|
//
|
// This closes any potential trace file
|
// This closes any potential trace file
|
delete tb;
|
delete tb;
|
|
|
// And declare success
|
// And declare success
|
printf("SUCCESS!\n");
|
printf("SUCCESS!\n");
|
exit(EXIT_SUCCESS);
|
exit(EXIT_SUCCESS);
|
}
|
}
|
|
|
|
|