Changeset 47 for sources/src/sc_port.cc

Timestamp:

Oct 26, 2009, 7:07:37 PM (15 years ago)

Author:

buchmann

Message:

This patch simplifies SystemCASS.

Remove:

• ckeckings about multiwriting on registers and ports
• checkings related to FSM modeling
• regression tests related to the checkings

File:

• sources/src/sc_port.cc (modified) (3 diffs)

sources/src/sc_port.cc

@@ -57 +57 @@
 
 using namespace std;
-
-#ifdef CONFIG_CHECK_FSM_RULES
-#include "fsm_rules.h"
-namespace sc_core {
-casc_fsm_step_t casc_fsm_step = ELABORATION;
-}
-#endif
 
 namespace sc_core {
@@ -259 +252 @@
   cerr << "done.\n";
 #endif
-#if defined(CONFIG_CHECK_MULTIWRITING2REGISTER)
-  sc_core::pending_writing2register_clear ();
-#endif
 }
 
@@ -354 +344 @@
 }
 
-#if defined(CONFIG_CHECK_MULTIWRITING2REGISTER)
-typedef set<const tab_t*> pending_writing2register_set_t;
-pending_writing2register_set_t pending_writing2register_set;
-
-void 
-pending_writing2register_clear  ()
-{
-  pending_writing2register_set.clear(); 
-}
-
-void
-pending_writing2register_record_and_check (const tab_t *p)
-{
-  if (pending_writing2register_set.find (p) != pending_writing2register_set.end())
-  {
-                std::cerr << "Error : please check '" << get_name (p) << "'.\n";
-    std::cerr << "Up to 1 writing per register is allowed during a cycle.\n";
-    sc_stop ();
-    exit (31072006); // 6
-  } else
-    pending_writing2register_set.insert(p);
-}
-#endif
-
 } // end of sc_core namespace