Subversion Repositories aemb

/* $Id: testbench.cc,v 1.6 2008-04-27 16:04:42 sybreon Exp $
** 
** AEMB Function Verification C++ Testbench
** Copyright (C) 2004-2008 Shawn Tan <shawn.tan@aeste.net>
**
** This file is part of AEMB.
**
** AEMB is free software: 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.
**
** AEMB 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 General Public
** License for more details.
**
** You should have received a copy of the GNU General Public License
** along with AEMB.  If not, see <http://www.gnu.org/licenses/>.
*/
/**
AEMB Software Verification
@file testbench.cc
 
This programme performs numerical and functional verification of the
AEMB. It can be compiled by the GCC compiler.
*/
 
#include <stdio.h>
#include <stdlib.h>
#include "aemb/core.hh"
#include "literate.hh"
#include "simboard.hh"
#include "corefunc.hh"
 
#define MAX_TEST 3
 
void checkcode(int code)
{
  if (code == EXIT_SUCCESS)
    iprintf("\t\t-PASS-\n");
  else
    iprintf("\t\t*FAIL*\n");
}
 
void printtest(char *msg)
{
  static int count = 1;
  iprintf("\t%d. %s\n",count++, msg);
}
 
void numtests()
{
  // *** 1. FIBONACCI ***
  printtest("Integer Arithmetic");
  checkcode(fibonacciTest(MAX_TEST));
 
  // *** 2. EUCLIDEAN ***
  printtest("Integer Factorisation");
  checkcode(euclideanTest(MAX_TEST));
 
  // *** 3. NEWTON-RHAPSON ***
  printtest("Floating Point Arithmetic");
  checkcode(newtonTest(MAX_TEST));
 
}
 
void coretests()
{
  // *** 4. MEMORY-ALLOC ***
  printtest("Memory Allocation");
  checkcode(memoryTest(MAX_TEST));
 
  // *** 5. INTERRUPT ***
  printtest("Hardware Interrupts");
  checkcode(interruptTest(MAX_TEST));
 
  // *** 6. EXTENSION ***
  printtest("Accellerator Link");
  checkcode(xslTest(MAX_TEST));
}
 
// run tests
int main() 
{
  iprintf("AEMB2 32-bit Microprocessor Core Tests\n");
 
  numtests();
  coretests();
 
  return EXIT_SUCCESS;
}
 
/*
  $Log: not supported by cvs2svn $
  Revision 1.5  2008/04/26 19:32:00  sybreon
  Made headers C compatible.
 
  Revision 1.4  2008/04/26 18:08:12  sybreon
  Made single-thread compatible.
 
  Revision 1.3  2008/04/26 00:25:19  sybreon
  switched printf's to iprintf's because iprintf's don't work by
  -O3 for some reason.
 
  Revision 1.2  2008/04/21 12:13:12  sybreon
  Passes arithmetic tests with single thread.  
*/