Changeset 217 for trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/include/vci_cc_vcache_wrapper_v4.h

Timestamp:

Mar 23, 2012, 8:04:01 PM (12 years ago)

Author:

alain

Message:

Fixing a bug in the DCACHE_INVALTLB_SCAN sub-FSM:
It requires a specific register to save the return state.

File:

• trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/include/vci_cc_vcache_wrapper_v4.h (modified) (1 diff)

trunk/modules/vci_cc_vcache_wrapper_v4/caba/source/include/vci_cc_vcache_wrapper_v4.h

@@ -334 +334 @@
     ///////////////////////////////
     sc_signal<int>          r_dcache_fsm;               // state register
-    sc_signal<int>          r_dcache_fsm_save;          // return state for coherence operation
+    sc_signal<int>          r_dcache_fsm_cc_save;       // return state for coherence operation
+    sc_signal<int>          r_dcache_fsm_scan_save;     // return state for tlb scan operation
     // registers written in P0 stage (used in P1 stage)
     sc_signal<bool>         r_dcache_p0_valid;              // P1 pipeline stage must be executed