Index: /trunk/modules/vci_cc_vcache_wrapper/caba/source/src/vci_cc_vcache_wrapper.cpp
===================================================================
--- /trunk/modules/vci_cc_vcache_wrapper/caba/source/src/vci_cc_vcache_wrapper.cpp	(revision 472)
+++ /trunk/modules/vci_cc_vcache_wrapper/caba/source/src/vci_cc_vcache_wrapper.cpp	(revision 473)
@@ -5248,7 +5248,11 @@
                     if ( r_vci_rsp_fifo_icache.wok() )
                     {
-                        assert( (r_vci_rsp_cpt.read() < m_icache_words) and
-                        "The VCI response packet for instruction miss is too long" );
-
+                        if ( r_vci_rsp_cpt.read() >= m_icache_words )
+                        {
+                            std::cout << "ERROR in VCI_CC_VCACHE " << name()
+                                      << " VCI response packet too long "
+                                      << " for instruction miss" << std::endl;
+                            exit(0);
+                        }
                         r_vci_rsp_cpt                 = r_vci_rsp_cpt.read() + 1;
                         vci_rsp_fifo_icache_put       = true,
@@ -5256,7 +5260,11 @@
                         if ( p_vci.reop.read() )
                         {
-                            assert( (r_vci_rsp_cpt.read() == m_icache_words - 1) and
-                            "The VCI response packet for instruction miss is too short");
-
+                            if ( r_vci_rsp_cpt.read() != (m_icache_words - 1) )
+                            {
+                                std::cout << "ERROR in VCI_CC_VCACHE " << name()
+                                          << " VCI response packet too short" 
+                                          << " for instruction miss" << std::endl;
+                                exit(0);
+                            }
                             r_vci_rsp_fsm    = RSP_IDLE;
                         }