Changeset 924 for branches/reconfiguration

Timestamp:

Jan 13, 2015, 9:42:55 AM (10 years ago)

Author:

cfuguet

Message:

reconf: factorize the watchdog_timeout signal in vci_cc_vcache_wrapper

File:

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

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

@@ -2256 +2256 @@
     m_drsp.rdata = 0;
 
-    // watchdog timeout default value
-    bool dcache_watchdog_timeout = false;
+    // watchdog timeout signal
+    bool dcache_watchdog_timeout = (r_dcache_wdt.read() == r_dcache_wdt_max.read());
 
     switch (r_dcache_fsm.read())
@@ -4183 +4183 @@
         // increment watchdog timer for black-hole detection
         r_dcache_wdt = r_dcache_wdt.read() + 1;
-        if (r_dcache_wdt.read() == r_dcache_wdt_max.read())
-        {
-            dcache_watchdog_timeout = true;
+        if (dcache_watchdog_timeout)
+        {
+            r_mmu_detr = MMU_WDT_TIMEOUT;
+            m_drsp.valid = true;
+            m_drsp.error = true;
+            r_dcache_fsm = DCACHE_IDLE;
 
             // TODO: send the TRDID in the coherence packet to detect an early
@@ -4203 +4206 @@
             }
 #endif
+            break;
         }
 
         // wait the CC_TEST request to finish
-        if (not r_dcache_to_cc_test_req.read() or dcache_watchdog_timeout)
-        {
-            if (dcache_watchdog_timeout)
-            {
-                r_mmu_detr   = MMU_WDT_TIMEOUT;
-                m_drsp.error = true;
-            }
+        if (not r_dcache_to_cc_test_req.read())
+        {
             m_drsp.valid = true;
-
             r_dcache_fsm = DCACHE_IDLE;
+
 #if DEBUG_DCACHE
             if (m_debug_dcache_fsm)
@@ -4223 +4222 @@
                     << std::hex
                     << " / DEST = " << r_dcache_to_cc_test_dest.read()
-                    << " / TIMEOUT = " << dcache_watchdog_timeout
                     << std::dec << std::endl;
             }
@@ -4415 +4413 @@
         // increment watchdog timer for black-hole detection
         r_dcache_wdt = r_dcache_wdt.read() + 1;
-        if (r_dcache_wdt.read() == r_dcache_wdt_max.read())
+        if (dcache_watchdog_timeout)
         {
             r_mmu_detr   = MMU_WDT_TIMEOUT;
@@ -4659 +4657 @@
         // increment watchdog timer for black-hole detection
         r_dcache_wdt = r_dcache_wdt.read() + 1;
-        if (r_dcache_wdt.read() == r_dcache_wdt_max.read())
+        if (dcache_watchdog_timeout)
         {
             r_mmu_detr   = MMU_WDT_TIMEOUT;