Changeset 47 for sources/src/casc.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/casc.h (modified) (2 diffs)

sources/src/casc.h

@@ -38 +38 @@
 #ifdef SCHEDULING_BY_CASC
 #include <systemcass_version_ext.h>
-#include <fsm_rules.h>
 
 namespace sc_core {
@@ -49 +48 @@
 EXTERN void simulate_1_cycle (void) 
 {
-#ifdef CONFIG_CHECK_FSM_RULES
-  casc_fsm_step = TRANSITION;
-#endif
   transition ();
   update     ();
-#ifdef CONFIG_CHECK_FSM_RULES
-  casc_fsm_step = GEN_MOORE;
-#endif
   moore_generation ();
-#ifdef CONFIG_CHECK_FSM_RULES
-  casc_fsm_step = GEN_MEALY;
-#endif
   mealy_generation (); 
-#ifdef CONFIG_CHECK_FSM_RULES
-  casc_fsm_step = STIMULI;
-#endif
 }
 } // end of sc_core namespace