source: trunk/IPs/systemC/processor/Morpheo/Behavioural/src/Interfaces_testbench_generate_file.cpp @ 88

#ifdef VHDL_TESTBENCH

/*
 * $Id: Interfaces_testbench_generate_file.cpp 88 2008-12-10 18:31:39Z rosiere $
 *
 * [ Description ]
 * 
 */

#include "Behavioural/include/Interfaces.h"

namespace morpheo              {
namespace behavioural          {

  void Interfaces::testbench_generate_file  (void)  
  {
    log_printf(FUNC,Behavioural,"generate_file","Begin");

    Vhdl   *    vhdl        = new Vhdl(_name+"_Testbench");
    std::string counter     = "counter";
    Signal *    clock       = this->get_clock();
    Signal *    reset       = this->get_reset();
    std::string clock_name  = clock->get_name();
    std::string reset_name  = reset->get_name();
    uint32_t    cycle       = this->get_cycle();

    vhdl->set_signal    (clock_name, 1, 0);
    vhdl->set_signal    (reset_name, 1, 0);
    vhdl->set_signal    (counter, "natural");
    this->set_signal    (vhdl);

    vhdl->set_body("");
    vhdl->set_body("------------------------------------------------------");
    vhdl->set_body("-- Component - Intanciation");
    vhdl->set_body("------------------------------------------------------");
    vhdl->set_body("");

    std::list<std::string> * list_signal = new std::list<std::string>;
    this->get_signal (list_signal);

    vhdl->set_library_work (_name + "_Pack");
    vhdl->set_body("instance_"+_name+" : "+_name);
    vhdl->set_body("port map (");

    std::list<std::string>::iterator i   = list_signal->begin();
    if (i != list_signal->end())
      {
        vhdl->set_body("\t "+*i+"\t=>\t"+*i);
        ++i;
      }
    while (i != list_signal->end())
      {
        vhdl->set_body("\t,"+*i+"\t=>\t"+*i);
        ++i;
      }
    vhdl->set_body("         );");

    delete list_signal;

    std::string test_name = this->testbench_body(vhdl,counter, reset_name);

    vhdl->set_body("");
    vhdl->set_body("------------------------------------------------------");
    vhdl->set_body("-- reset");
    vhdl->set_body("------------------------------------------------------");
    vhdl->set_body("");
    vhdl->set_body("-- if the systemC simulate have multiple reset, we make the last");
    vhdl->set_body(reset_name+" <= '1' after 150 ns;");    

    vhdl->set_body("");
    vhdl->set_body("------------------------------------------------------");
    vhdl->set_body("-- process clock_name");
    vhdl->set_body("------------------------------------------------------");
    vhdl->set_body("");
    vhdl->set_body(clock_name+" <= not "+clock_name+" after 50 ns;");
    vhdl->set_body("");
    vhdl->set_body("process ("+clock_name+")");
    vhdl->set_body("begin");
    vhdl->set_body("\tif ("+clock_name+"'event and "+clock_name+" = '1') then");
    vhdl->set_body("");
    vhdl->set_body("\t\tif ("+reset_name+" = '0') then");
    vhdl->set_body("");
    vhdl->set_body("\t\t\t"+counter+" <= "+toString(reset->get_reset_cycle(true))+";");
    vhdl->set_body("");
    vhdl->set_body("\t\telse");
    vhdl->set_body("");
    vhdl->set_body("\t\t\t"+counter+" <= "+counter+"+1;");
    vhdl->set_body("");
#ifdef VHDL_TESTBENCH_ASSERT
    for (uint32_t cpt=0; cpt<=cycle; cpt++)
      vhdl->set_body("\t\t\tassert not ("+counter+" = "+toString(cpt)+") report \"===== Test number "+toString(cpt)+" =====\" severity NOTE;");

    for (std::list<Interface_fifo*>::iterator it=_list_interface->begin();
         it!=_list_interface->end();
         ++it)
      {
        Vhdl * vhdl_assert = new Vhdl("");

        (*it)->testbench_assert (vhdl_assert,counter);

        vhdl->set_body(vhdl_assert);
        
        delete vhdl_assert;
      }
#endif

    vhdl->set_body("");
    vhdl->set_body("\t\t\tassert not ("+counter+" >= "+toString(cycle)+") report \"Test OK\" severity FAILURE;");
    vhdl->set_body("\t\t\tassert not ("+test_name+" = '0') report \"Test KO\" severity FAILURE;");
    vhdl->set_body("\t\tend if;");
    vhdl->set_body("\tend if;");
    vhdl->set_body("end process;");

    vhdl->generate_file(false,true);

    delete vhdl;
    
    log_printf(FUNC,Behavioural,"generate_file","End");
  };

}; // end namespace behavioural          
}; // end namespace morpheo              

#endif