Changeset 231

Timestamp:

May 21, 2012, 3:17:01 PM (13 years ago)

Author:

alain

Message:

Fixing a bug in CLEANUP_FSM : The r_dcache_cleanup_req flip-flop
must be reset in state CLEANUP_DATA_GO and not in state CLEANUP_DATA_IDLE
idem for the r_icache_cleanup_req...

File:

• trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/src/vci_cc_vcache_wrapper_v4.cpp (modified) (6 diffs)

trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/src/vci_cc_vcache_wrapper_v4.cpp

@@ -4694 +4694 @@
                 if ( ok )   // successful registration
                 {
-                    r_dcache_cleanup_req = false;
                     r_cleanup_fsm   = CLEANUP_DATA_GO; 
                     r_cleanup_trdid = index<<1;
@@ -4705 +4704 @@
                 if ( ok )   // successful registration
                 {
-                    r_icache_cleanup_req = false;
                     r_cleanup_fsm   = CLEANUP_INS_GO; 
                     r_cleanup_trdid = (index<<1) + 1;
@@ -4723 +4721 @@
                 if ( ok )   // successful registration
                 {
-                    r_icache_cleanup_req = false;
                     r_cleanup_fsm   = CLEANUP_INS_GO;
                     r_cleanup_trdid = (index<<1) + 1;
@@ -4734 +4731 @@
                 if ( ok )   // successful registration
                 {
-                    r_dcache_cleanup_req = false;
                     r_cleanup_fsm   = CLEANUP_DATA_GO;
                     r_cleanup_trdid = index<<1;
@@ -4747 +4743 @@
             {
                 r_cleanup_fsm        = CLEANUP_INS_IDLE;
+                r_dcache_cleanup_req = false;
 
 #if DEBUG_CLEANUP
@@ -4765 +4762 @@
             {
                 r_cleanup_fsm        = CLEANUP_DATA_IDLE;
+                r_icache_cleanup_req = false;
 
 #if DEBUG_CLEANUP