Changeset 903

Timestamp:

Dec 8, 2014, 6:16:47 PM (10 years ago)

Author:

cfuguet

Message:

reconf: bugfix in vci_cc_vcache_wrapper concerning the watchdog timer

• The TRDID sent with the UNC_READ transactions was erroneous. It should contain the timeout count (in order to allow the debug of late responses).

File:

• branches/reconfiguration/modules/vci_cc_vcache_wrapper/caba/source/src/vci_cc_vcache_wrapper.cpp (modified) (3 diffs)

branches/reconfiguration/modules/vci_cc_vcache_wrapper/caba/source/src/vci_cc_vcache_wrapper.cpp

@@ -5435 +5435 @@
             {
                 // debug: verify that the available response concerns the current transaction.
-                assert(r_dcache_wdt_timeout.read() == p_vci.rtrdid.read());
+                if (r_dcache_wdt_timeout.read() != p_vci.rtrdid.read())
+                {
+                    std::cout << name() << ": Late response received after TIMEOUT "
+                              << std::dec << "(cycle " << m_cpt_total_cycles << ")"
+                              << std::endl;
+
+                    exit(1);
+                }
 
                 r_vci_rsp_fsm = RSP_DATA_UNC;
@@ -5442 +5449 @@
             {
                 // debug: verify that the available response concerns the current transaction.
-                assert(r_dcache_wdt_timeout.read() == p_vci.rtrdid.read());
+                if (r_dcache_wdt_timeout.read() != p_vci.rtrdid.read())
+                {
+                    std::cout << name() << ": Late response received after TIMEOUT "
+                              << std::dec << "(cycle " << m_cpt_total_cycles << ")"
+                              << std::endl;
+
+                    exit(1);
+                }
 
                 r_vci_rsp_fsm = RSP_DATA_MISS;
@@ -6151 +6165 @@
         p_vci.cmdval  = true;
         p_vci.address = r_dcache_vci_paddr.read() & ~0x3;
-        p_vci.wdata   = r_dcache_vci_wdt_trdid.read();
+        p_vci.wdata   = 0;
         p_vci.be      = r_dcache_vci_unc_be.read();
-        p_vci.trdid   = 0;
+        p_vci.trdid   = r_dcache_vci_wdt_trdid.read();
         p_vci.pktid   = TYPE_DATA_UNC;
         p_vci.plen    = 4;