Changeset 42 for trunk/IPs/systemC/processor/Morpheo/Behavioural/src/Interface_fifo_testbench_test.cpp

Timestamp:

Jul 5, 2007, 5:50:19 PM (17 years ago)

Author:

rosiere

Message:

Modification des classes d'encapsulation des interfaces :

• gère les signaux à écrire dans le vhdl
• les traces pour le testbench
• la génération des vhdl structurelles

-> test sur la Pattern History Table

File:

• trunk/IPs/systemC/processor/Morpheo/Behavioural/src/Interface_fifo_testbench_test.cpp (modified) (4 diffs)

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

@@ -13 +13 @@
 
   string Interface_fifo::testbench_test (Vhdl * & vhdl,
-                                       string   counter_name)
+                                         string   counter_name,
+                                         string   reset_name  )
   {
     log_printf(FUNC,Behavioural,"testbench_test","Begin");
@@ -19 +20 @@
     
     if (_test_exhaustive == true)
-      test_name = Interface::testbench_test(vhdl,counter_name);
+      test_name = Interface::testbench_test(vhdl,counter_name,reset_name);
     else
       {
@@ -26 +27 @@
         vhdl->set_body("");
 
-        test_name    = testbench_test_name   (vhdl);
-        string test_name_ok = testbench_test_ok     (vhdl);
+               test_name        = testbench_test_name        (vhdl);
+        string test_name_tmp    = test_name+"_tmp";
+        string test_name_ok     = testbench_test_ok          (vhdl);
+        string test_transaction = testbench_test_transaction (vhdl);
+
+        vhdl->set_signal(test_name_tmp,1);
 
         if (_list_cycle->empty()== false)
           {
             vhdl->set_body ("with "+counter_name+" select");
-            vhdl->set_body ("\t"+test_name+" <=");
+            vhdl->set_body ("\t"+test_name_tmp+" <=");
         
             list<uint32_t>::iterator i = _list_cycle->begin();
@@ -38 +43 @@
             while (i != _list_cycle->end())
               {
-                vhdl->set_body ("\t"+test_name_ok+" when "+toString(*i)+",");
+                vhdl->set_body ("\t"+test_transaction+" and "+test_name_ok+" when "+toString(*i)+",");
                 ++i;
               }
-            vhdl->set_body ("\t'1' when others;");
+            vhdl->set_body ("\tnot "+test_transaction+" when others;");
           }
+        else
+          vhdl->set_body (test_name_tmp+" <= not "+test_transaction+";");
+        
+        vhdl->set_body("");
+        vhdl->set_body(test_name + " <= '1' when ("+reset_name+" = '0') else "+test_name_tmp+";");
+
+#ifdef VHDL_TESTBENCH_ASSERT
+        if (_list_cycle->empty()== false)
+          {
+            vhdl->set_body("");
+            vhdl->set_body("-- Assert ...");
+            vhdl->set_body("");
+
+            uint32_t                 j = 0;
+            list<uint32_t>::iterator i = _list_cycle->begin();
+            
+            while (i != _list_cycle->end())
+              {
+                vhdl->set_body("assert not ( ("+counter_name+" = "+toString(*i)+")) report \"***** <"+_name+"> interface's test number "+toString(j)+" *****\" severity NOTE;");
+                j++;
+                ++i;
+              }
+
+            vhdl->set_body("");
+          }
+#endif
       }