Changeset 88 for trunk/IPs/systemC/processor/Morpheo/Behavioural/src/Interfaces_testbench_generate_file.cpp

Timestamp:

Dec 10, 2008, 7:31:39 PM (15 years ago)

Author:

rosiere

Message:

Almost complete design
with Test and test platform

File:

• trunk/IPs/systemC/processor/Morpheo/Behavioural/src/Interfaces_testbench_generate_file.cpp (modified) (2 diffs)

trunk/IPs/systemC/processor/Morpheo/Behavioural/src/Interfaces_testbench_generate_file.cpp

@@ -17 +17 @@
     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   *    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);
@@ -87 +87 @@
     vhdl->set_body("\t\t\t"+counter+" <= "+counter+"+1;");
     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;");
-
 #ifdef VHDL_TESTBENCH_ASSERT
-    vhdl->set_body("\t\t\t-- 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;");