Changeset 47 for sources/src/sc_signal.h

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_signal.h (modified) (5 diffs)

sources/src/sc_signal.h

@@ -26 +26 @@
 #include "internal_ext.h"
 
-#ifdef CONFIG_CHECK_FSM_RULES
-#include "fsm_rules.h"
-#endif
-
 namespace sc_core {
 
@@ -45 +41 @@
         ///////////////////// DEPRECATED
 // C ANSI-only since it is needed to link with extern "C"
-// this declaration is not in casc.h since the CONFIG_CHECK_FSM_RULES macro
-// is not defined.
 
 extern void bind (sc_port_base&,sc_port_base&);
@@ -250 +244 @@
                 << " on signal " << name () << "\n";
 #endif
-#ifdef CONFIG_CHECK_FSM_RULES
-        // we can read value from sc_signal type (used like a register) at any time
-#endif  
     return READ_SIGNAL(const T, get_pointer());
 }
@@ -262 +253 @@
 sc_signal<T>::write( const data_type& value_ )
 {
-#ifdef CONFIG_CHECK_FSM_RULES
-        if ((casc_fsm_step != TRANSITION) 
-                        && ( casc_fsm_step != STIMULI)) {
-                std::cerr << "FSM rules error : trying to write on signal " 
-                          << name () 
-                          << " from " << get_step_name () << " function.\n";
-                exit (-1);
-        }               
-#endif
 #ifdef CONFIG_DEBUG
   if (get_pointer() == NULL)
@@ -278 +260 @@
   }
 #endif
-#ifdef CONFIG_CHECK_MULTIWRITING2REGISTER
-  pending_writing2register_record_and_check (get_pointer ());
-#endif
 #ifdef DUMP_WRITE
   if (sc_signal<T>::read() == value_)