summaryrefslogtreecommitdiff
path: root/src/systemc/tests/systemc/misc/cae_test/general/control/loop
diff options
context:
space:
mode:
Diffstat (limited to 'src/systemc/tests/systemc/misc/cae_test/general/control/loop')
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/display.cpp54
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/display.h66
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/for_datatypes.cpp99
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/for_datatypes.f4
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/for_datatypes.h74
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/golden/for_datatypes.log201
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/main.cpp82
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/stimulus.cpp83
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/stimulus.h69
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/display.cpp52
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/display.h66
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/for_exit.cpp102
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/for_exit.f4
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/for_exit.h74
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/golden/for_exit.log123
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/main.cpp81
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/stimulus.cpp75
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/stimulus.h68
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/display.cpp52
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/display.h66
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/for_fsm.cpp113
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/for_fsm.f4
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/for_fsm.h74
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/golden/for_fsm.log180
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/main.cpp81
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/stimulus.cpp83
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/stimulus.h68
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/display.cpp54
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/display.h66
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/golden/while_datatypes.log186
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/main.cpp82
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/stimulus.cpp83
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/stimulus.h69
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/while_datatypes.cpp120
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/while_datatypes.f4
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/while_datatypes.h74
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/display.cpp54
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/display.h66
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/golden/while_exit.log183
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/main.cpp82
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/stimulus.cpp83
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/stimulus.h69
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/while_exit.cpp124
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/while_exit.f4
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/while_exit.h74
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/display.cpp54
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/display.h66
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/golden/while_fsm.log183
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/main.cpp82
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/stimulus.cpp82
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/stimulus.h69
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/while_fsm.cpp120
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/while_fsm.f4
-rw-r--r--src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/while_fsm.h74
54 files changed, 4309 insertions, 0 deletions
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/display.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/display.cpp
new file mode 100644
index 000000000..336edf69c
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/display.cpp
@@ -0,0 +1,54 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ display.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-22
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "display.h"
+
+void display::entry(){
+
+ wait(2);
+ while(1) {
+ // Reading Data, and Counter i,j is counted up.
+ while (out_valid.read()==false) wait();
+ cout << "Display : " << result.read() << " "
+ << " at " << sc_time_stamp() << endl;
+ wait();
+ }
+}
+
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/display.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/display.h
new file mode 100644
index 000000000..e858eb226
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/display.h
@@ -0,0 +1,66 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ display.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-22
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( display )
+{
+ SC_HAS_PROCESS( display );
+
+ sc_in_clk clk;
+
+ const sc_signal<int>& result; // Input port
+ const sc_signal<bool>& out_valid;
+
+ display( sc_module_name NAME,
+ sc_clock& CLK,
+ const sc_signal<int>& RESULT,
+ const sc_signal<bool>& OUT_VALID
+ )
+ :
+ result(RESULT),
+ out_valid(OUT_VALID)
+ {
+ clk(CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ }
+
+ void entry();
+};
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/for_datatypes.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/for_datatypes.cpp
new file mode 100644
index 000000000..668c4ee95
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/for_datatypes.cpp
@@ -0,0 +1,99 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ for_datatypes.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-29
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "for_datatypes.h"
+
+#define max 10
+
+void for_datatypes::entry()
+{
+
+ int i;
+ sc_signed counter_signed(8);
+ sc_unsigned counter_unsigned(8);
+
+ // reset_loop
+ if (reset.read()==true) {
+ result.write(0);
+ out_valid.write(false);
+ wait();
+ } else wait();
+
+ //----------
+ // main loop
+ //----------
+ while(1) {
+
+ //read inputs
+ while (in_valid.read()==false) wait();
+
+ //execution of for loop with integer counter
+ out_valid.write(true);
+ wait();
+ for (i=1; i<=max; i++) {
+ result.write(in_value.read());
+ wait();
+ };
+ out_valid.write(false);
+ wait(4);
+
+ //execution of for loop with signed counter
+ out_valid.write(true);
+ wait();
+ for (counter_signed=1; counter_signed.to_int()<=max; counter_signed++) {
+ result.write(in_value.read());
+ wait();
+ };
+ out_valid.write(false);
+ wait(4);
+
+ //execution of for loop with unsinged counter
+ out_valid.write(true);
+ wait();
+ for (counter_unsigned=1; counter_unsigned.to_uint()<=max; counter_unsigned++) {
+ result.write(in_value.read());
+ wait();
+ };
+ out_valid.write(false);
+ wait();
+
+ }
+}
+
+// EOF
+
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/for_datatypes.f b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/for_datatypes.f
new file mode 100644
index 000000000..127102844
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/for_datatypes.f
@@ -0,0 +1,4 @@
+for_datatypes/stimulus.cpp
+for_datatypes/main.cpp
+for_datatypes/display.cpp
+for_datatypes/for_datatypes.cpp
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/for_datatypes.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/for_datatypes.h
new file mode 100644
index 000000000..dcacddfff
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/for_datatypes.h
@@ -0,0 +1,74 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ for_datatypes.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( for_datatypes )
+{
+ SC_HAS_PROCESS( for_datatypes );
+
+ sc_in_clk clk;
+
+ const sc_signal<bool>& reset;
+ const sc_signal<bool>& in_valid;
+ const sc_signal<int>& in_value;
+ sc_signal<bool>& out_valid;
+ sc_signal<int>& result;
+
+ for_datatypes (
+ sc_module_name NAME, // referense name
+ sc_clock& CLK, // clock
+ const sc_signal<bool>& RESET,
+ const sc_signal<bool>& IN_VALID,
+ const sc_signal<int>& IN_VALUE,
+ sc_signal<bool>& OUT_VALID,
+ sc_signal<int>& RESULT
+ )
+ :
+ reset (RESET),
+ in_valid (IN_VALID),
+ in_value (IN_VALUE),
+ out_valid (OUT_VALID),
+ result (RESULT)
+ {
+ clk (CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ reset_signal_is(reset,true);
+ };
+ void entry ();
+};
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/golden/for_datatypes.log b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/golden/for_datatypes.log
new file mode 100644
index 000000000..4fb0720f2
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/golden/for_datatypes.log
@@ -0,0 +1,201 @@
+SystemC Simulation
+Stimuli1 : in_valid = true in_value 0 at 6 ns
+Stimuli1 : in_valid = true in_value 1 at 7 ns
+Stimuli1 : in_valid = true in_value 2 at 8 ns
+Display : 0 at 8 ns
+Stimuli1 : in_valid = true in_value 3 at 9 ns
+Display : 1 at 9 ns
+Stimuli1 : in_valid = true in_value 4 at 10 ns
+Display : 2 at 10 ns
+Stimuli1 : in_valid = true in_value 5 at 11 ns
+Display : 3 at 11 ns
+Stimuli1 : in_valid = true in_value 6 at 12 ns
+Display : 4 at 12 ns
+Stimuli1 : in_valid = true in_value 7 at 13 ns
+Display : 5 at 13 ns
+Stimuli1 : in_valid = true in_value 8 at 14 ns
+Display : 6 at 14 ns
+Stimuli1 : in_valid = true in_value 9 at 15 ns
+Display : 7 at 15 ns
+Stimuli1 : in_valid = true in_value 10 at 16 ns
+Display : 8 at 16 ns
+Display : 9 at 17 ns
+Display : 10 at 18 ns
+Stimuli2 : in_valid = true in_value 0 at 21 ns
+Stimuli2 : in_valid = true in_value 1 at 22 ns
+Stimuli2 : in_valid = true in_value 2 at 23 ns
+Display : 10 at 23 ns
+Stimuli2 : in_valid = true in_value 3 at 24 ns
+Display : 1 at 24 ns
+Stimuli2 : in_valid = true in_value 4 at 25 ns
+Display : 2 at 25 ns
+Stimuli2 : in_valid = true in_value 5 at 26 ns
+Display : 3 at 26 ns
+Stimuli2 : in_valid = true in_value 6 at 27 ns
+Display : 4 at 27 ns
+Stimuli2 : in_valid = true in_value 7 at 28 ns
+Display : 5 at 28 ns
+Stimuli2 : in_valid = true in_value 8 at 29 ns
+Display : 6 at 29 ns
+Stimuli2 : in_valid = true in_value 9 at 30 ns
+Display : 7 at 30 ns
+Stimuli2 : in_valid = true in_value 10 at 31 ns
+Display : 8 at 31 ns
+Display : 9 at 32 ns
+Display : 10 at 33 ns
+Stimuli3 : in_valid = true in_value 0 at 36 ns
+Stimuli3 : in_valid = true in_value 1 at 37 ns
+Stimuli3 : in_valid = true in_value 2 at 38 ns
+Display : 10 at 38 ns
+Stimuli3 : in_valid = true in_value 3 at 39 ns
+Display : 1 at 39 ns
+Stimuli3 : in_valid = true in_value 4 at 40 ns
+Display : 2 at 40 ns
+Stimuli3 : in_valid = true in_value 5 at 41 ns
+Display : 3 at 41 ns
+Stimuli3 : in_valid = true in_value 6 at 42 ns
+Display : 4 at 42 ns
+Stimuli3 : in_valid = true in_value 7 at 43 ns
+Display : 5 at 43 ns
+Stimuli3 : in_valid = true in_value 8 at 44 ns
+Display : 6 at 44 ns
+Stimuli3 : in_valid = true in_value 9 at 45 ns
+Display : 7 at 45 ns
+Stimuli3 : in_valid = true in_value 10 at 46 ns
+Display : 8 at 46 ns
+Display : 9 at 47 ns
+Display : 10 at 48 ns
+Stimuli1 : in_valid = true in_value 0 at 57 ns
+Stimuli1 : in_valid = true in_value 1 at 58 ns
+Stimuli1 : in_valid = true in_value 2 at 59 ns
+Display : 10 at 59 ns
+Stimuli1 : in_valid = true in_value 3 at 60 ns
+Display : 1 at 60 ns
+Stimuli1 : in_valid = true in_value 4 at 61 ns
+Display : 2 at 61 ns
+Stimuli1 : in_valid = true in_value 5 at 62 ns
+Display : 3 at 62 ns
+Stimuli1 : in_valid = true in_value 6 at 63 ns
+Display : 4 at 63 ns
+Stimuli1 : in_valid = true in_value 7 at 64 ns
+Display : 5 at 64 ns
+Stimuli1 : in_valid = true in_value 8 at 65 ns
+Display : 6 at 65 ns
+Stimuli1 : in_valid = true in_value 9 at 66 ns
+Display : 7 at 66 ns
+Stimuli1 : in_valid = true in_value 10 at 67 ns
+Display : 8 at 67 ns
+Display : 9 at 68 ns
+Display : 10 at 69 ns
+Stimuli2 : in_valid = true in_value 0 at 72 ns
+Stimuli2 : in_valid = true in_value 1 at 73 ns
+Stimuli2 : in_valid = true in_value 2 at 74 ns
+Display : 10 at 74 ns
+Stimuli2 : in_valid = true in_value 3 at 75 ns
+Display : 1 at 75 ns
+Stimuli2 : in_valid = true in_value 4 at 76 ns
+Display : 2 at 76 ns
+Stimuli2 : in_valid = true in_value 5 at 77 ns
+Display : 3 at 77 ns
+Stimuli2 : in_valid = true in_value 6 at 78 ns
+Display : 4 at 78 ns
+Stimuli2 : in_valid = true in_value 7 at 79 ns
+Display : 5 at 79 ns
+Stimuli2 : in_valid = true in_value 8 at 80 ns
+Display : 6 at 80 ns
+Stimuli2 : in_valid = true in_value 9 at 81 ns
+Display : 7 at 81 ns
+Stimuli2 : in_valid = true in_value 10 at 82 ns
+Display : 8 at 82 ns
+Display : 9 at 83 ns
+Display : 10 at 84 ns
+Stimuli3 : in_valid = true in_value 0 at 87 ns
+Stimuli3 : in_valid = true in_value 1 at 88 ns
+Stimuli3 : in_valid = true in_value 2 at 89 ns
+Display : 10 at 89 ns
+Stimuli3 : in_valid = true in_value 3 at 90 ns
+Display : 1 at 90 ns
+Stimuli3 : in_valid = true in_value 4 at 91 ns
+Display : 2 at 91 ns
+Stimuli3 : in_valid = true in_value 5 at 92 ns
+Display : 3 at 92 ns
+Stimuli3 : in_valid = true in_value 6 at 93 ns
+Display : 4 at 93 ns
+Stimuli3 : in_valid = true in_value 7 at 94 ns
+Display : 5 at 94 ns
+Stimuli3 : in_valid = true in_value 8 at 95 ns
+Display : 6 at 95 ns
+Stimuli3 : in_valid = true in_value 9 at 96 ns
+Display : 7 at 96 ns
+Stimuli3 : in_valid = true in_value 10 at 97 ns
+Display : 8 at 97 ns
+Display : 9 at 98 ns
+Display : 10 at 99 ns
+Stimuli1 : in_valid = true in_value 0 at 108 ns
+Stimuli1 : in_valid = true in_value 1 at 109 ns
+Stimuli1 : in_valid = true in_value 2 at 110 ns
+Display : 10 at 110 ns
+Stimuli1 : in_valid = true in_value 3 at 111 ns
+Display : 1 at 111 ns
+Stimuli1 : in_valid = true in_value 4 at 112 ns
+Display : 2 at 112 ns
+Stimuli1 : in_valid = true in_value 5 at 113 ns
+Display : 3 at 113 ns
+Stimuli1 : in_valid = true in_value 6 at 114 ns
+Display : 4 at 114 ns
+Stimuli1 : in_valid = true in_value 7 at 115 ns
+Display : 5 at 115 ns
+Stimuli1 : in_valid = true in_value 8 at 116 ns
+Display : 6 at 116 ns
+Stimuli1 : in_valid = true in_value 9 at 117 ns
+Display : 7 at 117 ns
+Stimuli1 : in_valid = true in_value 10 at 118 ns
+Display : 8 at 118 ns
+Display : 9 at 119 ns
+Display : 10 at 120 ns
+Stimuli2 : in_valid = true in_value 0 at 123 ns
+Stimuli2 : in_valid = true in_value 1 at 124 ns
+Stimuli2 : in_valid = true in_value 2 at 125 ns
+Display : 10 at 125 ns
+Stimuli2 : in_valid = true in_value 3 at 126 ns
+Display : 1 at 126 ns
+Stimuli2 : in_valid = true in_value 4 at 127 ns
+Display : 2 at 127 ns
+Stimuli2 : in_valid = true in_value 5 at 128 ns
+Display : 3 at 128 ns
+Stimuli2 : in_valid = true in_value 6 at 129 ns
+Display : 4 at 129 ns
+Stimuli2 : in_valid = true in_value 7 at 130 ns
+Display : 5 at 130 ns
+Stimuli2 : in_valid = true in_value 8 at 131 ns
+Display : 6 at 131 ns
+Stimuli2 : in_valid = true in_value 9 at 132 ns
+Display : 7 at 132 ns
+Stimuli2 : in_valid = true in_value 10 at 133 ns
+Display : 8 at 133 ns
+Display : 9 at 134 ns
+Display : 10 at 135 ns
+Stimuli3 : in_valid = true in_value 0 at 138 ns
+Stimuli3 : in_valid = true in_value 1 at 139 ns
+Stimuli3 : in_valid = true in_value 2 at 140 ns
+Display : 10 at 140 ns
+Stimuli3 : in_valid = true in_value 3 at 141 ns
+Display : 1 at 141 ns
+Stimuli3 : in_valid = true in_value 4 at 142 ns
+Display : 2 at 142 ns
+Stimuli3 : in_valid = true in_value 5 at 143 ns
+Display : 3 at 143 ns
+Stimuli3 : in_valid = true in_value 6 at 144 ns
+Display : 4 at 144 ns
+Stimuli3 : in_valid = true in_value 7 at 145 ns
+Display : 5 at 145 ns
+Stimuli3 : in_valid = true in_value 8 at 146 ns
+Display : 6 at 146 ns
+Stimuli3 : in_valid = true in_value 9 at 147 ns
+Display : 7 at 147 ns
+Stimuli3 : in_valid = true in_value 10 at 148 ns
+Display : 8 at 148 ns
+Display : 9 at 149 ns
+Display : 10 at 150 ns
+
+Info: /OSCI/SystemC: Simulation stopped by user.
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/main.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/main.cpp
new file mode 100644
index 000000000..a306ccd47
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/main.cpp
@@ -0,0 +1,82 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ main.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "for_datatypes.h"
+#include "stimulus.h"
+#include "display.h"
+
+int sc_main (int argc , char *argv[]) {
+ sc_clock clock;
+ sc_signal<bool> reset;
+ sc_signal<bool> out_valid;
+ sc_signal<bool> in_valid;
+ sc_signal<int> result;
+ sc_signal<int> in_value;
+
+
+ for_datatypes for_datatypes1 (
+ "process_body",
+ clock,
+ reset,
+ in_valid,
+ in_value,
+ out_valid,
+ result
+ );
+
+ stimulus stimulus1 (
+ "stimulus",
+ clock,
+ reset,
+ in_value,
+ in_valid
+ );
+
+ display display1 (
+ "display",
+ clock,
+ result,
+ out_valid
+ );
+
+
+ sc_start();
+ return 0;
+}
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/stimulus.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/stimulus.cpp
new file mode 100644
index 000000000..af5159663
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/stimulus.cpp
@@ -0,0 +1,83 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ stimulus.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "stimulus.h"
+
+void stimulus::entry() {
+
+ int i, j;
+
+ // sending some reset values
+ reset.write(true);
+ in_valid.write(false);
+ in_value.write(0);
+ wait();
+ reset.write(false);
+ wait(5);
+ for(i=0; i<3; i++){
+ in_valid.write(true);
+ for(j=0; j<=10; j++) {
+ in_value.write(j);
+ cout << "Stimuli1 : in_valid = true in_value " << j << " at "
+ << sc_time_stamp() << endl;
+ wait();
+ };
+ in_valid.write(false);
+ wait(4);
+ for(j=0; j<=10; j++) {
+ in_value.write(j);
+ cout << "Stimuli2 : in_valid = true in_value " << j << " at "
+ << sc_time_stamp() << endl;
+ wait();
+ };
+ in_valid.write(false);
+ wait(4);
+ for(j=0; j<=10; j++) {
+ in_value.write(j);
+ cout << "Stimuli3 : in_valid = true in_value " << j << " at "
+ << sc_time_stamp() << endl;
+ wait();
+ };
+ wait(10);
+ };
+
+ wait(15);
+ sc_stop();
+}
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/stimulus.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/stimulus.h
new file mode 100644
index 000000000..e20114c36
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_datatypes/stimulus.h
@@ -0,0 +1,69 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ stimulus.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( stimulus )
+{
+ SC_HAS_PROCESS( stimulus );
+
+ sc_in_clk clk;
+
+ sc_signal<bool>& reset;
+ sc_signal<int>& in_value;
+ sc_signal<bool>& in_valid;
+
+ stimulus(sc_module_name NAME,
+ sc_clock& CLK,
+ sc_signal<bool>& RESET,
+ sc_signal<int>& IN_VALUE,
+ sc_signal<bool>& IN_VALID
+ )
+ :
+ reset (RESET),
+ in_value (IN_VALUE),
+ in_valid (IN_VALID)
+ {
+ clk (CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ }
+
+ void entry();
+};
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/display.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/display.cpp
new file mode 100644
index 000000000..05c349065
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/display.cpp
@@ -0,0 +1,52 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ display.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "display.h"
+
+void display::entry(){
+
+ wait(2);
+ while(1) {
+ // Reading Data, and Counter i,j is counted up.
+ while (out_valid.read()==false) wait();
+ cout << "Display : " << result.read() << " "
+ << " at " << sc_time_stamp() << endl;
+ wait();
+ }
+}
+
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/display.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/display.h
new file mode 100644
index 000000000..e858eb226
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/display.h
@@ -0,0 +1,66 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ display.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-22
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( display )
+{
+ SC_HAS_PROCESS( display );
+
+ sc_in_clk clk;
+
+ const sc_signal<int>& result; // Input port
+ const sc_signal<bool>& out_valid;
+
+ display( sc_module_name NAME,
+ sc_clock& CLK,
+ const sc_signal<int>& RESULT,
+ const sc_signal<bool>& OUT_VALID
+ )
+ :
+ result(RESULT),
+ out_valid(OUT_VALID)
+ {
+ clk(CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ }
+
+ void entry();
+};
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/for_exit.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/for_exit.cpp
new file mode 100644
index 000000000..db3ac2bb9
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/for_exit.cpp
@@ -0,0 +1,102 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ for_exit.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-29
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "for_exit.h"
+
+#define max 10
+
+void for_exit::entry()
+{
+
+ int i, inp_tmp;
+
+ // reset_loop
+ if (reset.read()==true) {
+ result.write(0);
+ out_valid.write(false);
+ wait();
+ } else wait();
+
+ //----------
+ // main loop
+ //----------
+ while(1) {
+
+ // read inputs
+ while (in_valid.read()==false) wait();
+
+ // execution of for loop with continues
+ out_valid.write(true);
+ wait();
+ for (i=1; i<=max; i++) {
+ inp_tmp = in_value.read();
+ if (i==8) {
+ wait();
+ continue;
+ } else if (inp_tmp<5 && i!=1) {
+ wait();
+ continue;
+ } else {
+ result.write(inp_tmp);
+ wait();
+ };
+ };
+ out_valid.write(false);
+ wait(5);
+
+ // for loop with break
+ out_valid.write(true);
+ wait();
+ for (i=1; i<=max; i++) {
+ inp_tmp = in_value.read();
+ if (inp_tmp==7) {
+ wait();
+ break;
+ } else {
+ result.write(inp_tmp);
+ wait();
+ }
+ };
+ out_valid.write(false);
+ wait();
+
+ }
+}
+
+// EOF
+
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/for_exit.f b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/for_exit.f
new file mode 100644
index 000000000..b1509dea5
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/for_exit.f
@@ -0,0 +1,4 @@
+for_exit/main.cpp
+for_exit/stimulus.cpp
+for_exit/display.cpp
+for_exit/for_exit.cpp
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/for_exit.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/for_exit.h
new file mode 100644
index 000000000..8d2de9783
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/for_exit.h
@@ -0,0 +1,74 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ for_exit.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( for_exit )
+{
+ SC_HAS_PROCESS( for_exit );
+
+ sc_in_clk clk;
+
+ const sc_signal<bool>& reset;
+ const sc_signal<bool>& in_valid;
+ const sc_signal<int>& in_value;
+ sc_signal<bool>& out_valid;
+ sc_signal<int>& result;
+
+ for_exit(
+ sc_module_name NAME, // referense name
+ sc_clock& CLK, // clock
+ const sc_signal<bool>& RESET,
+ const sc_signal<bool>& IN_VALID,
+ const sc_signal<int>& IN_VALUE,
+ sc_signal<bool>& OUT_VALID,
+ sc_signal<int>& RESULT
+ )
+ :
+ reset (RESET),
+ in_valid (IN_VALID),
+ in_value (IN_VALUE),
+ out_valid (OUT_VALID),
+ result (RESULT)
+ {
+ clk (CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ reset_signal_is(reset,true);
+ };
+ void entry ();
+};
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/golden/for_exit.log b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/golden/for_exit.log
new file mode 100644
index 000000000..a7037c4e5
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/golden/for_exit.log
@@ -0,0 +1,123 @@
+SystemC Simulation
+Stimuli1 : in_valid = true in_value 0 at 6 ns
+Stimuli1 : in_valid = true in_value 1 at 7 ns
+Stimuli1 : in_valid = true in_value 2 at 8 ns
+Display : 0 at 8 ns
+Stimuli1 : in_valid = true in_value 3 at 9 ns
+Display : 1 at 9 ns
+Stimuli1 : in_valid = true in_value 4 at 10 ns
+Display : 1 at 10 ns
+Stimuli1 : in_valid = true in_value 5 at 11 ns
+Display : 1 at 11 ns
+Stimuli1 : in_valid = true in_value 6 at 12 ns
+Display : 1 at 12 ns
+Stimuli1 : in_valid = true in_value 7 at 13 ns
+Display : 5 at 13 ns
+Stimuli1 : in_valid = true in_value 8 at 14 ns
+Display : 6 at 14 ns
+Stimuli1 : in_valid = true in_value 9 at 15 ns
+Display : 7 at 15 ns
+Stimuli1 : in_valid = true in_value 10 at 16 ns
+Display : 7 at 16 ns
+Display : 9 at 17 ns
+Display : 10 at 18 ns
+Stimuli2 : in_valid = true in_value 0 at 21 ns
+Stimuli2 : in_valid = true in_value 1 at 22 ns
+Stimuli2 : in_valid = true in_value 2 at 23 ns
+Stimuli2 : in_valid = true in_value 3 at 24 ns
+Display : 10 at 24 ns
+Stimuli2 : in_valid = true in_value 4 at 25 ns
+Display : 2 at 25 ns
+Stimuli2 : in_valid = true in_value 5 at 26 ns
+Display : 3 at 26 ns
+Stimuli2 : in_valid = true in_value 6 at 27 ns
+Display : 4 at 27 ns
+Stimuli2 : in_valid = true in_value 7 at 28 ns
+Display : 5 at 28 ns
+Stimuli2 : in_valid = true in_value 8 at 29 ns
+Display : 6 at 29 ns
+Stimuli2 : in_valid = true in_value 9 at 30 ns
+Display : 6 at 30 ns
+Stimuli2 : in_valid = true in_value 10 at 31 ns
+Stimuli1 : in_valid = true in_value 0 at 42 ns
+Stimuli1 : in_valid = true in_value 1 at 43 ns
+Stimuli1 : in_valid = true in_value 2 at 44 ns
+Display : 6 at 44 ns
+Stimuli1 : in_valid = true in_value 3 at 45 ns
+Display : 1 at 45 ns
+Stimuli1 : in_valid = true in_value 4 at 46 ns
+Display : 1 at 46 ns
+Stimuli1 : in_valid = true in_value 5 at 47 ns
+Display : 1 at 47 ns
+Stimuli1 : in_valid = true in_value 6 at 48 ns
+Display : 1 at 48 ns
+Stimuli1 : in_valid = true in_value 7 at 49 ns
+Display : 5 at 49 ns
+Stimuli1 : in_valid = true in_value 8 at 50 ns
+Display : 6 at 50 ns
+Stimuli1 : in_valid = true in_value 9 at 51 ns
+Display : 7 at 51 ns
+Stimuli1 : in_valid = true in_value 10 at 52 ns
+Display : 7 at 52 ns
+Display : 9 at 53 ns
+Display : 10 at 54 ns
+Stimuli2 : in_valid = true in_value 0 at 57 ns
+Stimuli2 : in_valid = true in_value 1 at 58 ns
+Stimuli2 : in_valid = true in_value 2 at 59 ns
+Stimuli2 : in_valid = true in_value 3 at 60 ns
+Display : 10 at 60 ns
+Stimuli2 : in_valid = true in_value 4 at 61 ns
+Display : 2 at 61 ns
+Stimuli2 : in_valid = true in_value 5 at 62 ns
+Display : 3 at 62 ns
+Stimuli2 : in_valid = true in_value 6 at 63 ns
+Display : 4 at 63 ns
+Stimuli2 : in_valid = true in_value 7 at 64 ns
+Display : 5 at 64 ns
+Stimuli2 : in_valid = true in_value 8 at 65 ns
+Display : 6 at 65 ns
+Stimuli2 : in_valid = true in_value 9 at 66 ns
+Display : 6 at 66 ns
+Stimuli2 : in_valid = true in_value 10 at 67 ns
+Stimuli1 : in_valid = true in_value 0 at 78 ns
+Stimuli1 : in_valid = true in_value 1 at 79 ns
+Stimuli1 : in_valid = true in_value 2 at 80 ns
+Display : 6 at 80 ns
+Stimuli1 : in_valid = true in_value 3 at 81 ns
+Display : 1 at 81 ns
+Stimuli1 : in_valid = true in_value 4 at 82 ns
+Display : 1 at 82 ns
+Stimuli1 : in_valid = true in_value 5 at 83 ns
+Display : 1 at 83 ns
+Stimuli1 : in_valid = true in_value 6 at 84 ns
+Display : 1 at 84 ns
+Stimuli1 : in_valid = true in_value 7 at 85 ns
+Display : 5 at 85 ns
+Stimuli1 : in_valid = true in_value 8 at 86 ns
+Display : 6 at 86 ns
+Stimuli1 : in_valid = true in_value 9 at 87 ns
+Display : 7 at 87 ns
+Stimuli1 : in_valid = true in_value 10 at 88 ns
+Display : 7 at 88 ns
+Display : 9 at 89 ns
+Display : 10 at 90 ns
+Stimuli2 : in_valid = true in_value 0 at 93 ns
+Stimuli2 : in_valid = true in_value 1 at 94 ns
+Stimuli2 : in_valid = true in_value 2 at 95 ns
+Stimuli2 : in_valid = true in_value 3 at 96 ns
+Display : 10 at 96 ns
+Stimuli2 : in_valid = true in_value 4 at 97 ns
+Display : 2 at 97 ns
+Stimuli2 : in_valid = true in_value 5 at 98 ns
+Display : 3 at 98 ns
+Stimuli2 : in_valid = true in_value 6 at 99 ns
+Display : 4 at 99 ns
+Stimuli2 : in_valid = true in_value 7 at 100 ns
+Display : 5 at 100 ns
+Stimuli2 : in_valid = true in_value 8 at 101 ns
+Display : 6 at 101 ns
+Stimuli2 : in_valid = true in_value 9 at 102 ns
+Display : 6 at 102 ns
+Stimuli2 : in_valid = true in_value 10 at 103 ns
+
+Info: /OSCI/SystemC: Simulation stopped by user.
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/main.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/main.cpp
new file mode 100644
index 000000000..b560aab5e
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/main.cpp
@@ -0,0 +1,81 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ main.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "for_exit.h"
+#include "stimulus.h"
+#include "display.h"
+
+int sc_main (int argc , char *argv[]) {
+ sc_clock clock;
+ sc_signal<bool> reset;
+ sc_signal<bool> out_valid;
+ sc_signal<int> in_value;
+ sc_signal<bool> in_valid;
+ sc_signal<int> result;
+
+
+ for_exit for_exit1 (
+ "process_body",
+ clock,
+ reset,
+ in_valid,
+ in_value,
+ out_valid,
+ result
+ );
+
+ stimulus stimulus1 (
+ "stimulus",
+ clock,
+ reset,
+ in_value,
+ in_valid
+ );
+
+ display display1 (
+ "display",
+ clock,
+ result,
+ out_valid
+ );
+
+ sc_start();
+ return 0;
+}
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/stimulus.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/stimulus.cpp
new file mode 100644
index 000000000..d45342c41
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/stimulus.cpp
@@ -0,0 +1,75 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ stimulus.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "stimulus.h"
+
+void stimulus::entry() {
+
+ int i, j;
+
+ // sending some reset values
+ reset.write(true);
+ in_valid.write(false);
+ in_value.write(0);
+ wait();
+ reset.write(false);
+ wait(5);
+ for(i=0; i<3; i++){
+ in_valid.write(true);
+ for(j=0; j<=10; j++) {
+ in_value.write(j);
+ cout << "Stimuli1 : in_valid = true in_value " << j << " at "
+ << sc_time_stamp() << endl;
+ wait();
+ };
+ in_valid.write(false);
+ wait(4);
+ for(j=0; j<=10; j++) {
+ in_value.write(j);
+ cout << "Stimuli2 : in_valid = true in_value " << j << " at "
+ << sc_time_stamp() << endl;
+ wait();
+ };
+ wait(10);
+ };
+
+ wait(15);
+ sc_stop();
+}
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/stimulus.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/stimulus.h
new file mode 100644
index 000000000..d8bccb0f1
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_exit/stimulus.h
@@ -0,0 +1,68 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ stimulus.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( stimulus )
+{
+ SC_HAS_PROCESS( stimulus );
+
+ sc_in_clk clk;
+
+ sc_signal<bool>& reset;
+ sc_signal<int>& in_value;
+ sc_signal<bool>& in_valid;
+
+ stimulus(sc_module_name NAME,
+ sc_clock& CLK,
+ sc_signal<bool>& RESET,
+ sc_signal<int>& IN_VALUE,
+ sc_signal<bool>& IN_VALID
+ )
+ :
+ reset (RESET),
+ in_value (IN_VALUE),
+ in_valid (IN_VALID)
+ {
+ clk (CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ }
+ void entry();
+};
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/display.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/display.cpp
new file mode 100644
index 000000000..05c349065
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/display.cpp
@@ -0,0 +1,52 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ display.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "display.h"
+
+void display::entry(){
+
+ wait(2);
+ while(1) {
+ // Reading Data, and Counter i,j is counted up.
+ while (out_valid.read()==false) wait();
+ cout << "Display : " << result.read() << " "
+ << " at " << sc_time_stamp() << endl;
+ wait();
+ }
+}
+
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/display.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/display.h
new file mode 100644
index 000000000..b50f526c0
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/display.h
@@ -0,0 +1,66 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ display.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( display )
+{
+ SC_HAS_PROCESS( display );
+
+ sc_in_clk clk;
+
+ const sc_signal<int>& result; // Input port
+ const sc_signal<bool>& out_valid;
+
+ display( sc_module_name NAME,
+ sc_clock& CLK,
+ const sc_signal<int>& RESULT,
+ const sc_signal<bool>& OUT_VALID
+ )
+ :
+ result(RESULT),
+ out_valid(OUT_VALID)
+ {
+ clk(CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ }
+
+ void entry();
+};
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/for_fsm.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/for_fsm.cpp
new file mode 100644
index 000000000..51836042c
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/for_fsm.cpp
@@ -0,0 +1,113 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ for_fsm.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-29
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "for_fsm.h"
+
+#define max 10
+
+void for_fsm::entry()
+{
+
+ int i, inp_tmp;
+
+ // reset_loop
+ if (reset.read()==true) {
+ result.write(0);
+ out_valid.write(false);
+ wait();
+ } else wait();
+
+ //----------
+ // main loop
+ //----------
+ while(1) {
+
+ // read inputs
+ while (in_valid.read()==false) wait();
+
+ // execution of for loop
+ out_valid.write(true);
+ wait();
+ for (i=1; i<=max; i++) {
+ inp_tmp = in_value.read();
+ result.write(inp_tmp);
+ wait();
+ };
+ out_valid.write(false);
+ wait(5);
+
+ // execution of for loop with continues
+ out_valid.write(true);
+ wait();
+ for (i=1; i<=max; i++) {
+ inp_tmp = in_value.read();
+ if (i==8) {
+ wait();
+ continue;
+ } else if (inp_tmp<5 && i!=1) {
+ wait();
+ continue;
+ } else {
+ result.write(inp_tmp);
+ wait();
+ };
+ };
+ out_valid.write(false);
+ wait(5);
+
+ // for loop with break
+ out_valid.write(true);
+ wait();
+ for (i=1; i<=max; i++) {
+ inp_tmp = in_value.read();
+ if (inp_tmp==7) {
+ wait();
+ break;
+ } else {
+ result.write(inp_tmp);
+ wait();
+ };
+ };
+ out_valid.write(false);
+ wait();
+
+ }
+}
+
+// EOF
+
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/for_fsm.f b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/for_fsm.f
new file mode 100644
index 000000000..d1a3ca297
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/for_fsm.f
@@ -0,0 +1,4 @@
+for_fsm/main.cpp
+for_fsm/stimulus.cpp
+for_fsm/display.cpp
+for_fsm/for_fsm.cpp
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/for_fsm.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/for_fsm.h
new file mode 100644
index 000000000..790e686eb
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/for_fsm.h
@@ -0,0 +1,74 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ for_fsm.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( for_fsm )
+{
+ SC_HAS_PROCESS( for_fsm );
+
+ sc_in_clk clk;
+
+ const sc_signal<bool>& reset;
+ const sc_signal<bool>& in_valid;
+ const sc_signal<int>& in_value;
+ sc_signal<bool>& out_valid;
+ sc_signal<int>& result;
+
+ for_fsm(
+ sc_module_name NAME, // referense name
+ sc_clock& CLK, // clock
+ const sc_signal<bool>& RESET,
+ const sc_signal<bool>& IN_VALID,
+ const sc_signal<int>& IN_VALUE,
+ sc_signal<bool>& OUT_VALID,
+ sc_signal<int>& RESULT
+ )
+ :
+ reset (RESET),
+ in_valid (IN_VALID),
+ in_value (IN_VALUE),
+ out_valid (OUT_VALID),
+ result (RESULT)
+ {
+ clk (CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ reset_signal_is(reset,true);
+ };
+ void entry ();
+};
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/golden/for_fsm.log b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/golden/for_fsm.log
new file mode 100644
index 000000000..3e6064ab7
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/golden/for_fsm.log
@@ -0,0 +1,180 @@
+SystemC Simulation
+Stimuli1 : in_valid = true in_value 1 at 6 ns
+Stimuli1 : in_valid = true in_value 2 at 7 ns
+Stimuli1 : in_valid = true in_value 3 at 8 ns
+Display : 0 at 8 ns
+Stimuli1 : in_valid = true in_value 4 at 9 ns
+Display : 2 at 9 ns
+Stimuli1 : in_valid = true in_value 5 at 10 ns
+Display : 3 at 10 ns
+Stimuli1 : in_valid = true in_value 6 at 11 ns
+Display : 4 at 11 ns
+Stimuli1 : in_valid = true in_value 7 at 12 ns
+Display : 5 at 12 ns
+Stimuli1 : in_valid = true in_value 8 at 13 ns
+Display : 6 at 13 ns
+Stimuli1 : in_valid = true in_value 9 at 14 ns
+Display : 7 at 14 ns
+Stimuli1 : in_valid = true in_value 10 at 15 ns
+Display : 8 at 15 ns
+Display : 9 at 16 ns
+Display : 10 at 17 ns
+Display : 10 at 18 ns
+Stimuli2 : in_valid = true in_value 1 at 21 ns
+Stimuli2 : in_valid = true in_value 2 at 22 ns
+Stimuli2 : in_valid = true in_value 3 at 23 ns
+Stimuli2 : in_valid = true in_value 4 at 24 ns
+Display : 10 at 24 ns
+Stimuli2 : in_valid = true in_value 5 at 25 ns
+Display : 3 at 25 ns
+Stimuli2 : in_valid = true in_value 6 at 26 ns
+Display : 3 at 26 ns
+Stimuli2 : in_valid = true in_value 7 at 27 ns
+Display : 5 at 27 ns
+Stimuli2 : in_valid = true in_value 8 at 28 ns
+Display : 6 at 28 ns
+Stimuli2 : in_valid = true in_value 9 at 29 ns
+Display : 7 at 29 ns
+Stimuli2 : in_valid = true in_value 10 at 30 ns
+Display : 8 at 30 ns
+Display : 9 at 31 ns
+Display : 9 at 32 ns
+Display : 10 at 33 ns
+Display : 10 at 34 ns
+Stimuli3 : in_valid = true in_value 0 at 36 ns
+Stimuli3 : in_valid = true in_value 1 at 37 ns
+Stimuli3 : in_valid = true in_value 2 at 38 ns
+Stimuli3 : in_valid = true in_value 3 at 39 ns
+Stimuli3 : in_valid = true in_value 4 at 40 ns
+Display : 10 at 40 ns
+Stimuli3 : in_valid = true in_value 5 at 41 ns
+Display : 3 at 41 ns
+Stimuli3 : in_valid = true in_value 6 at 42 ns
+Display : 4 at 42 ns
+Stimuli3 : in_valid = true in_value 7 at 43 ns
+Display : 5 at 43 ns
+Stimuli3 : in_valid = true in_value 8 at 44 ns
+Display : 6 at 44 ns
+Stimuli3 : in_valid = true in_value 9 at 45 ns
+Display : 6 at 45 ns
+Stimuli3 : in_valid = true in_value 10 at 46 ns
+Stimuli1 : in_valid = true in_value 1 at 57 ns
+Stimuli1 : in_valid = true in_value 2 at 58 ns
+Stimuli1 : in_valid = true in_value 3 at 59 ns
+Display : 6 at 59 ns
+Stimuli1 : in_valid = true in_value 4 at 60 ns
+Display : 2 at 60 ns
+Stimuli1 : in_valid = true in_value 5 at 61 ns
+Display : 3 at 61 ns
+Stimuli1 : in_valid = true in_value 6 at 62 ns
+Display : 4 at 62 ns
+Stimuli1 : in_valid = true in_value 7 at 63 ns
+Display : 5 at 63 ns
+Stimuli1 : in_valid = true in_value 8 at 64 ns
+Display : 6 at 64 ns
+Stimuli1 : in_valid = true in_value 9 at 65 ns
+Display : 7 at 65 ns
+Stimuli1 : in_valid = true in_value 10 at 66 ns
+Display : 8 at 66 ns
+Display : 9 at 67 ns
+Display : 10 at 68 ns
+Display : 10 at 69 ns
+Stimuli2 : in_valid = true in_value 1 at 72 ns
+Stimuli2 : in_valid = true in_value 2 at 73 ns
+Stimuli2 : in_valid = true in_value 3 at 74 ns
+Stimuli2 : in_valid = true in_value 4 at 75 ns
+Display : 10 at 75 ns
+Stimuli2 : in_valid = true in_value 5 at 76 ns
+Display : 3 at 76 ns
+Stimuli2 : in_valid = true in_value 6 at 77 ns
+Display : 3 at 77 ns
+Stimuli2 : in_valid = true in_value 7 at 78 ns
+Display : 5 at 78 ns
+Stimuli2 : in_valid = true in_value 8 at 79 ns
+Display : 6 at 79 ns
+Stimuli2 : in_valid = true in_value 9 at 80 ns
+Display : 7 at 80 ns
+Stimuli2 : in_valid = true in_value 10 at 81 ns
+Display : 8 at 81 ns
+Display : 9 at 82 ns
+Display : 9 at 83 ns
+Display : 10 at 84 ns
+Display : 10 at 85 ns
+Stimuli3 : in_valid = true in_value 0 at 87 ns
+Stimuli3 : in_valid = true in_value 1 at 88 ns
+Stimuli3 : in_valid = true in_value 2 at 89 ns
+Stimuli3 : in_valid = true in_value 3 at 90 ns
+Stimuli3 : in_valid = true in_value 4 at 91 ns
+Display : 10 at 91 ns
+Stimuli3 : in_valid = true in_value 5 at 92 ns
+Display : 3 at 92 ns
+Stimuli3 : in_valid = true in_value 6 at 93 ns
+Display : 4 at 93 ns
+Stimuli3 : in_valid = true in_value 7 at 94 ns
+Display : 5 at 94 ns
+Stimuli3 : in_valid = true in_value 8 at 95 ns
+Display : 6 at 95 ns
+Stimuli3 : in_valid = true in_value 9 at 96 ns
+Display : 6 at 96 ns
+Stimuli3 : in_valid = true in_value 10 at 97 ns
+Stimuli1 : in_valid = true in_value 1 at 108 ns
+Stimuli1 : in_valid = true in_value 2 at 109 ns
+Stimuli1 : in_valid = true in_value 3 at 110 ns
+Display : 6 at 110 ns
+Stimuli1 : in_valid = true in_value 4 at 111 ns
+Display : 2 at 111 ns
+Stimuli1 : in_valid = true in_value 5 at 112 ns
+Display : 3 at 112 ns
+Stimuli1 : in_valid = true in_value 6 at 113 ns
+Display : 4 at 113 ns
+Stimuli1 : in_valid = true in_value 7 at 114 ns
+Display : 5 at 114 ns
+Stimuli1 : in_valid = true in_value 8 at 115 ns
+Display : 6 at 115 ns
+Stimuli1 : in_valid = true in_value 9 at 116 ns
+Display : 7 at 116 ns
+Stimuli1 : in_valid = true in_value 10 at 117 ns
+Display : 8 at 117 ns
+Display : 9 at 118 ns
+Display : 10 at 119 ns
+Display : 10 at 120 ns
+Stimuli2 : in_valid = true in_value 1 at 123 ns
+Stimuli2 : in_valid = true in_value 2 at 124 ns
+Stimuli2 : in_valid = true in_value 3 at 125 ns
+Stimuli2 : in_valid = true in_value 4 at 126 ns
+Display : 10 at 126 ns
+Stimuli2 : in_valid = true in_value 5 at 127 ns
+Display : 3 at 127 ns
+Stimuli2 : in_valid = true in_value 6 at 128 ns
+Display : 3 at 128 ns
+Stimuli2 : in_valid = true in_value 7 at 129 ns
+Display : 5 at 129 ns
+Stimuli2 : in_valid = true in_value 8 at 130 ns
+Display : 6 at 130 ns
+Stimuli2 : in_valid = true in_value 9 at 131 ns
+Display : 7 at 131 ns
+Stimuli2 : in_valid = true in_value 10 at 132 ns
+Display : 8 at 132 ns
+Display : 9 at 133 ns
+Display : 9 at 134 ns
+Display : 10 at 135 ns
+Display : 10 at 136 ns
+Stimuli3 : in_valid = true in_value 0 at 138 ns
+Stimuli3 : in_valid = true in_value 1 at 139 ns
+Stimuli3 : in_valid = true in_value 2 at 140 ns
+Stimuli3 : in_valid = true in_value 3 at 141 ns
+Stimuli3 : in_valid = true in_value 4 at 142 ns
+Display : 10 at 142 ns
+Stimuli3 : in_valid = true in_value 5 at 143 ns
+Display : 3 at 143 ns
+Stimuli3 : in_valid = true in_value 6 at 144 ns
+Display : 4 at 144 ns
+Stimuli3 : in_valid = true in_value 7 at 145 ns
+Display : 5 at 145 ns
+Stimuli3 : in_valid = true in_value 8 at 146 ns
+Display : 6 at 146 ns
+Stimuli3 : in_valid = true in_value 9 at 147 ns
+Display : 6 at 147 ns
+Stimuli3 : in_valid = true in_value 10 at 148 ns
+
+Info: /OSCI/SystemC: Simulation stopped by user.
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/main.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/main.cpp
new file mode 100644
index 000000000..f9722f687
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/main.cpp
@@ -0,0 +1,81 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ main.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "for_fsm.h"
+#include "stimulus.h"
+#include "display.h"
+
+int sc_main (int argc , char *argv[]) {
+ sc_clock clock;
+ sc_signal<bool> reset;
+ sc_signal<bool> out_valid;
+ sc_signal<int> in_value;
+ sc_signal<bool> in_valid;
+ sc_signal<int> result;
+
+
+ for_fsm for_fsm1 (
+ "process_body",
+ clock,
+ reset,
+ in_valid,
+ in_value,
+ out_valid,
+ result
+ );
+
+ stimulus stimulus1 (
+ "stimulus",
+ clock,
+ reset,
+ in_value,
+ in_valid
+ );
+
+ display display1 (
+ "display",
+ clock,
+ result,
+ out_valid
+ );
+
+ sc_start();
+ return 0;
+}
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/stimulus.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/stimulus.cpp
new file mode 100644
index 000000000..f61a6def4
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/stimulus.cpp
@@ -0,0 +1,83 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ stimulus.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-29
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "stimulus.h"
+
+void stimulus::entry() {
+
+ int i, j;
+
+ // sending some reset values
+ reset.write(true);
+ in_valid.write(false);
+ in_value.write(0);
+ wait();
+ reset.write(false);
+ wait(5);
+ for(i=0; i<3; i++){
+ in_valid.write(true);
+ for(j=1; j<=10; j++) {
+ in_value.write(j);
+ cout << "Stimuli1 : in_valid = true in_value " << j << " at "
+ << sc_time_stamp() << endl;
+ wait();
+ };
+ in_valid.write(false);
+ wait(5);
+ for(j=1; j<=10; j++) {
+ in_value.write(j);
+ cout << "Stimuli2 : in_valid = true in_value " << j << " at "
+ << sc_time_stamp() << endl;
+ wait();
+ };
+ in_valid.write(false);
+ wait(5);
+ for(j=0; j<=10; j++) {
+ in_value.write(j);
+ cout << "Stimuli3 : in_valid = true in_value " << j << " at "
+ << sc_time_stamp() << endl;
+ wait();
+ };
+ wait(10);
+ };
+
+ wait(15);
+ sc_stop();
+}
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/stimulus.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/stimulus.h
new file mode 100644
index 000000000..d8bccb0f1
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/for_fsm/stimulus.h
@@ -0,0 +1,68 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ stimulus.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( stimulus )
+{
+ SC_HAS_PROCESS( stimulus );
+
+ sc_in_clk clk;
+
+ sc_signal<bool>& reset;
+ sc_signal<int>& in_value;
+ sc_signal<bool>& in_valid;
+
+ stimulus(sc_module_name NAME,
+ sc_clock& CLK,
+ sc_signal<bool>& RESET,
+ sc_signal<int>& IN_VALUE,
+ sc_signal<bool>& IN_VALID
+ )
+ :
+ reset (RESET),
+ in_value (IN_VALUE),
+ in_valid (IN_VALID)
+ {
+ clk (CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ }
+ void entry();
+};
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/display.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/display.cpp
new file mode 100644
index 000000000..3e8ba2ec1
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/display.cpp
@@ -0,0 +1,54 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ display.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "display.h"
+
+void display::entry(){
+
+ wait(2);
+ while(1) {
+ // Reading Data, and Counter i,j is counted up.
+ while (out_valid.read()==false) wait();
+ cout << "Display : " << result.read() << " "
+ << " at " << sc_time_stamp() << endl;
+ wait();
+ }
+}
+
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/display.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/display.h
new file mode 100644
index 000000000..b50f526c0
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/display.h
@@ -0,0 +1,66 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ display.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( display )
+{
+ SC_HAS_PROCESS( display );
+
+ sc_in_clk clk;
+
+ const sc_signal<int>& result; // Input port
+ const sc_signal<bool>& out_valid;
+
+ display( sc_module_name NAME,
+ sc_clock& CLK,
+ const sc_signal<int>& RESULT,
+ const sc_signal<bool>& OUT_VALID
+ )
+ :
+ result(RESULT),
+ out_valid(OUT_VALID)
+ {
+ clk(CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ }
+
+ void entry();
+};
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/golden/while_datatypes.log b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/golden/while_datatypes.log
new file mode 100644
index 000000000..ee8d4b026
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/golden/while_datatypes.log
@@ -0,0 +1,186 @@
+SystemC Simulation
+Stimuli1 : in_valid = true in_value 0 at 6 ns
+Stimuli1 : in_valid = true in_value 1 at 7 ns
+Stimuli1 : in_valid = true in_value 2 at 8 ns
+Display : 0 at 8 ns
+Stimuli1 : in_valid = true in_value 3 at 9 ns
+Display : 1 at 9 ns
+Stimuli1 : in_valid = true in_value 4 at 10 ns
+Display : 2 at 10 ns
+Stimuli1 : in_valid = true in_value 5 at 11 ns
+Display : 3 at 11 ns
+Stimuli1 : in_valid = true in_value 6 at 12 ns
+Display : 4 at 12 ns
+Stimuli1 : in_valid = true in_value 7 at 13 ns
+Display : 5 at 13 ns
+Stimuli1 : in_valid = true in_value 8 at 14 ns
+Display : 6 at 14 ns
+Stimuli1 : in_valid = true in_value 9 at 15 ns
+Display : 7 at 15 ns
+Stimuli1 : in_valid = true in_value 10 at 16 ns
+Display : 8 at 16 ns
+Display : 9 at 17 ns
+Display : 10 at 18 ns
+Stimuli2 : in_valid = true in_value 0 at 21 ns
+Stimuli2 : in_valid = true in_value 1 at 22 ns
+Stimuli2 : in_valid = true in_value 2 at 23 ns
+Stimuli2 : in_valid = true in_value 3 at 24 ns
+Display : 10 at 24 ns
+Stimuli2 : in_valid = true in_value 4 at 25 ns
+Display : 10 at 25 ns
+Stimuli2 : in_valid = true in_value 5 at 26 ns
+Display : 10 at 26 ns
+Stimuli2 : in_valid = true in_value 6 at 27 ns
+Display : 10 at 27 ns
+Stimuli2 : in_valid = true in_value 7 at 28 ns
+Display : 5 at 28 ns
+Stimuli2 : in_valid = true in_value 8 at 29 ns
+Display : 6 at 29 ns
+Stimuli2 : in_valid = true in_value 9 at 30 ns
+Display : 7 at 30 ns
+Stimuli2 : in_valid = true in_value 10 at 31 ns
+Display : 8 at 31 ns
+Display : 8 at 32 ns
+Display : 10 at 33 ns
+Display : 10 at 34 ns
+Display : 10 at 35 ns
+Stimuli3 : in_valid = true in_value 0 at 36 ns
+Stimuli3 : in_valid = true in_value 1 at 37 ns
+Stimuli3 : in_valid = true in_value 2 at 38 ns
+Stimuli3 : in_valid = true in_value 3 at 39 ns
+Stimuli3 : in_valid = true in_value 4 at 40 ns
+Stimuli3 : in_valid = true in_value 5 at 41 ns
+Display : 10 at 41 ns
+Stimuli3 : in_valid = true in_value 6 at 42 ns
+Display : 4 at 42 ns
+Stimuli3 : in_valid = true in_value 7 at 43 ns
+Display : 5 at 43 ns
+Stimuli3 : in_valid = true in_value 8 at 44 ns
+Display : 6 at 44 ns
+Stimuli3 : in_valid = true in_value 9 at 45 ns
+Display : 6 at 45 ns
+Stimuli3 : in_valid = true in_value 10 at 46 ns
+Stimuli1 : in_valid = true in_value 0 at 57 ns
+Stimuli1 : in_valid = true in_value 1 at 58 ns
+Stimuli1 : in_valid = true in_value 2 at 59 ns
+Display : 6 at 59 ns
+Stimuli1 : in_valid = true in_value 3 at 60 ns
+Display : 1 at 60 ns
+Stimuli1 : in_valid = true in_value 4 at 61 ns
+Display : 2 at 61 ns
+Stimuli1 : in_valid = true in_value 5 at 62 ns
+Display : 3 at 62 ns
+Stimuli1 : in_valid = true in_value 6 at 63 ns
+Display : 4 at 63 ns
+Stimuli1 : in_valid = true in_value 7 at 64 ns
+Display : 5 at 64 ns
+Stimuli1 : in_valid = true in_value 8 at 65 ns
+Display : 6 at 65 ns
+Stimuli1 : in_valid = true in_value 9 at 66 ns
+Display : 7 at 66 ns
+Stimuli1 : in_valid = true in_value 10 at 67 ns
+Display : 8 at 67 ns
+Display : 9 at 68 ns
+Display : 10 at 69 ns
+Stimuli2 : in_valid = true in_value 0 at 72 ns
+Stimuli2 : in_valid = true in_value 1 at 73 ns
+Stimuli2 : in_valid = true in_value 2 at 74 ns
+Stimuli2 : in_valid = true in_value 3 at 75 ns
+Display : 10 at 75 ns
+Stimuli2 : in_valid = true in_value 4 at 76 ns
+Display : 10 at 76 ns
+Stimuli2 : in_valid = true in_value 5 at 77 ns
+Display : 10 at 77 ns
+Stimuli2 : in_valid = true in_value 6 at 78 ns
+Display : 10 at 78 ns
+Stimuli2 : in_valid = true in_value 7 at 79 ns
+Display : 5 at 79 ns
+Stimuli2 : in_valid = true in_value 8 at 80 ns
+Display : 6 at 80 ns
+Stimuli2 : in_valid = true in_value 9 at 81 ns
+Display : 7 at 81 ns
+Stimuli2 : in_valid = true in_value 10 at 82 ns
+Display : 8 at 82 ns
+Display : 8 at 83 ns
+Display : 10 at 84 ns
+Display : 10 at 85 ns
+Display : 10 at 86 ns
+Stimuli3 : in_valid = true in_value 0 at 87 ns
+Stimuli3 : in_valid = true in_value 1 at 88 ns
+Stimuli3 : in_valid = true in_value 2 at 89 ns
+Stimuli3 : in_valid = true in_value 3 at 90 ns
+Stimuli3 : in_valid = true in_value 4 at 91 ns
+Stimuli3 : in_valid = true in_value 5 at 92 ns
+Display : 10 at 92 ns
+Stimuli3 : in_valid = true in_value 6 at 93 ns
+Display : 4 at 93 ns
+Stimuli3 : in_valid = true in_value 7 at 94 ns
+Display : 5 at 94 ns
+Stimuli3 : in_valid = true in_value 8 at 95 ns
+Display : 6 at 95 ns
+Stimuli3 : in_valid = true in_value 9 at 96 ns
+Display : 6 at 96 ns
+Stimuli3 : in_valid = true in_value 10 at 97 ns
+Stimuli1 : in_valid = true in_value 0 at 108 ns
+Stimuli1 : in_valid = true in_value 1 at 109 ns
+Stimuli1 : in_valid = true in_value 2 at 110 ns
+Display : 6 at 110 ns
+Stimuli1 : in_valid = true in_value 3 at 111 ns
+Display : 1 at 111 ns
+Stimuli1 : in_valid = true in_value 4 at 112 ns
+Display : 2 at 112 ns
+Stimuli1 : in_valid = true in_value 5 at 113 ns
+Display : 3 at 113 ns
+Stimuli1 : in_valid = true in_value 6 at 114 ns
+Display : 4 at 114 ns
+Stimuli1 : in_valid = true in_value 7 at 115 ns
+Display : 5 at 115 ns
+Stimuli1 : in_valid = true in_value 8 at 116 ns
+Display : 6 at 116 ns
+Stimuli1 : in_valid = true in_value 9 at 117 ns
+Display : 7 at 117 ns
+Stimuli1 : in_valid = true in_value 10 at 118 ns
+Display : 8 at 118 ns
+Display : 9 at 119 ns
+Display : 10 at 120 ns
+Stimuli2 : in_valid = true in_value 0 at 123 ns
+Stimuli2 : in_valid = true in_value 1 at 124 ns
+Stimuli2 : in_valid = true in_value 2 at 125 ns
+Stimuli2 : in_valid = true in_value 3 at 126 ns
+Display : 10 at 126 ns
+Stimuli2 : in_valid = true in_value 4 at 127 ns
+Display : 10 at 127 ns
+Stimuli2 : in_valid = true in_value 5 at 128 ns
+Display : 10 at 128 ns
+Stimuli2 : in_valid = true in_value 6 at 129 ns
+Display : 10 at 129 ns
+Stimuli2 : in_valid = true in_value 7 at 130 ns
+Display : 5 at 130 ns
+Stimuli2 : in_valid = true in_value 8 at 131 ns
+Display : 6 at 131 ns
+Stimuli2 : in_valid = true in_value 9 at 132 ns
+Display : 7 at 132 ns
+Stimuli2 : in_valid = true in_value 10 at 133 ns
+Display : 8 at 133 ns
+Display : 8 at 134 ns
+Display : 10 at 135 ns
+Display : 10 at 136 ns
+Display : 10 at 137 ns
+Stimuli3 : in_valid = true in_value 0 at 138 ns
+Stimuli3 : in_valid = true in_value 1 at 139 ns
+Stimuli3 : in_valid = true in_value 2 at 140 ns
+Stimuli3 : in_valid = true in_value 3 at 141 ns
+Stimuli3 : in_valid = true in_value 4 at 142 ns
+Stimuli3 : in_valid = true in_value 5 at 143 ns
+Display : 10 at 143 ns
+Stimuli3 : in_valid = true in_value 6 at 144 ns
+Display : 4 at 144 ns
+Stimuli3 : in_valid = true in_value 7 at 145 ns
+Display : 5 at 145 ns
+Stimuli3 : in_valid = true in_value 8 at 146 ns
+Display : 6 at 146 ns
+Stimuli3 : in_valid = true in_value 9 at 147 ns
+Display : 6 at 147 ns
+Stimuli3 : in_valid = true in_value 10 at 148 ns
+
+Info: /OSCI/SystemC: Simulation stopped by user.
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/main.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/main.cpp
new file mode 100644
index 000000000..259079b39
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/main.cpp
@@ -0,0 +1,82 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ main.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "while_datatypes.h"
+#include "stimulus.h"
+#include "display.h"
+
+int sc_main (int argc , char *argv[]) {
+ sc_clock clock;
+ sc_signal<bool> reset;
+ sc_signal<bool> out_valid;
+ sc_signal<bool> in_valid;
+ sc_signal<int> result;
+ sc_signal<int> in_value;
+
+
+ while_datatypes while_datatypes1 (
+ "process_body",
+ clock,
+ reset,
+ in_valid,
+ in_value,
+ out_valid,
+ result
+ );
+
+ stimulus stimulus1 (
+ "stimulus",
+ clock,
+ reset,
+ in_value,
+ in_valid
+ );
+
+ display display1 (
+ "display",
+ clock,
+ result,
+ out_valid
+ );
+
+
+ sc_start();
+ return 0;
+}
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/stimulus.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/stimulus.cpp
new file mode 100644
index 000000000..af5159663
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/stimulus.cpp
@@ -0,0 +1,83 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ stimulus.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "stimulus.h"
+
+void stimulus::entry() {
+
+ int i, j;
+
+ // sending some reset values
+ reset.write(true);
+ in_valid.write(false);
+ in_value.write(0);
+ wait();
+ reset.write(false);
+ wait(5);
+ for(i=0; i<3; i++){
+ in_valid.write(true);
+ for(j=0; j<=10; j++) {
+ in_value.write(j);
+ cout << "Stimuli1 : in_valid = true in_value " << j << " at "
+ << sc_time_stamp() << endl;
+ wait();
+ };
+ in_valid.write(false);
+ wait(4);
+ for(j=0; j<=10; j++) {
+ in_value.write(j);
+ cout << "Stimuli2 : in_valid = true in_value " << j << " at "
+ << sc_time_stamp() << endl;
+ wait();
+ };
+ in_valid.write(false);
+ wait(4);
+ for(j=0; j<=10; j++) {
+ in_value.write(j);
+ cout << "Stimuli3 : in_valid = true in_value " << j << " at "
+ << sc_time_stamp() << endl;
+ wait();
+ };
+ wait(10);
+ };
+
+ wait(15);
+ sc_stop();
+}
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/stimulus.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/stimulus.h
new file mode 100644
index 000000000..e20114c36
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/stimulus.h
@@ -0,0 +1,69 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ stimulus.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( stimulus )
+{
+ SC_HAS_PROCESS( stimulus );
+
+ sc_in_clk clk;
+
+ sc_signal<bool>& reset;
+ sc_signal<int>& in_value;
+ sc_signal<bool>& in_valid;
+
+ stimulus(sc_module_name NAME,
+ sc_clock& CLK,
+ sc_signal<bool>& RESET,
+ sc_signal<int>& IN_VALUE,
+ sc_signal<bool>& IN_VALID
+ )
+ :
+ reset (RESET),
+ in_value (IN_VALUE),
+ in_valid (IN_VALID)
+ {
+ clk (CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ }
+
+ void entry();
+};
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/while_datatypes.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/while_datatypes.cpp
new file mode 100644
index 000000000..e0b1ae585
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/while_datatypes.cpp
@@ -0,0 +1,120 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ while_datatypes.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-29
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "while_datatypes.h"
+
+#define max 10
+
+void while_datatypes::entry()
+{
+
+ int i, inp_tmp;
+ sc_signed signed_counter(8);
+ sc_unsigned unsigned_counter(8);
+
+ // reset_loop
+ if (reset.read()==true) {
+ result.write(0);
+ out_valid.write(false);
+ wait();
+ } else wait();
+
+ //----------
+ // main loop
+ //----------
+ while(1) {
+
+ // read inputs
+ while (in_valid.read()==false) wait();
+
+ // execution of for loop
+ out_valid.write(true);
+ i=1;
+ wait();
+ while (i<=max) {
+ inp_tmp = in_value.read();
+ result.write(inp_tmp);
+ i++;
+ wait();
+ };
+ out_valid.write(false);
+ wait(5);
+
+ // execution of for loop with continues
+ out_valid.write(true);
+ signed_counter=0;
+ wait();
+ do {
+ signed_counter++;
+ inp_tmp = in_value.read();
+ if (signed_counter==8) {
+ wait();
+ continue;
+ } else if (in_value.read()<5) {
+ wait();
+ continue;
+ } else {
+ result.write(inp_tmp);
+ wait();
+ }
+ } while (signed_counter.to_int()<=max);
+ out_valid.write(false);
+ wait(5);
+
+ // for loop with break
+ out_valid.write(true);
+ wait();
+ unsigned_counter=0;
+ do {
+ unsigned_counter++;
+ inp_tmp = in_value.read();
+ if (inp_tmp==7) {
+ wait();
+ break;
+ } else {
+ result.write(inp_tmp);
+ wait();
+ };
+ } while (unsigned_counter.to_uint()<=max);
+ out_valid.write(false);
+ wait();
+ }
+}
+
+// EOF
+
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/while_datatypes.f b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/while_datatypes.f
new file mode 100644
index 000000000..bdd5c8d62
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/while_datatypes.f
@@ -0,0 +1,4 @@
+while_datatypes/main.cpp
+while_datatypes/stimulus.cpp
+while_datatypes/display.cpp
+while_datatypes/while_datatypes.cpp
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/while_datatypes.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/while_datatypes.h
new file mode 100644
index 000000000..40c6642b5
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_datatypes/while_datatypes.h
@@ -0,0 +1,74 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ while_datatypes.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( while_datatypes )
+{
+ SC_HAS_PROCESS( while_datatypes );
+
+ sc_in_clk clk;
+
+ const sc_signal<bool>& reset;
+ const sc_signal<bool>& in_valid;
+ const sc_signal<int>& in_value;
+ sc_signal<bool>& out_valid;
+ sc_signal<int>& result;
+
+ while_datatypes (
+ sc_module_name NAME, // referense name
+ sc_clock& CLK, // clock
+ const sc_signal<bool>& RESET,
+ const sc_signal<bool>& IN_VALID,
+ const sc_signal<int>& IN_VALUE,
+ sc_signal<bool>& OUT_VALID,
+ sc_signal<int>& RESULT
+ )
+ :
+ reset (RESET),
+ in_valid (IN_VALID),
+ in_value (IN_VALUE),
+ out_valid (OUT_VALID),
+ result (RESULT)
+ {
+ clk (CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ reset_signal_is(reset,true);
+ };
+ void entry ();
+};
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/display.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/display.cpp
new file mode 100644
index 000000000..efa95d3cf
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/display.cpp
@@ -0,0 +1,54 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ display.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-30
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "display.h"
+
+void display::entry(){
+
+ wait(2);
+ while(1) {
+ // Reading Data, and Counter i,j is counted up.
+ while (out_valid.read()==false) wait();
+ cout << "Display : " << result.read() << " "
+ << " at " << sc_time_stamp() << endl;
+ wait();
+ }
+}
+
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/display.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/display.h
new file mode 100644
index 000000000..4f696fcd3
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/display.h
@@ -0,0 +1,66 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ display.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-30
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( display )
+{
+ SC_HAS_PROCESS( display );
+
+ sc_in_clk clk;
+
+ const sc_signal<int>& result; // Input port
+ const sc_signal<bool>& out_valid;
+
+ display( sc_module_name NAME,
+ sc_clock& CLK,
+ const sc_signal<int>& RESULT,
+ const sc_signal<bool>& OUT_VALID
+ )
+ :
+ result(RESULT),
+ out_valid(OUT_VALID)
+ {
+ clk(CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ }
+
+ void entry();
+};
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/golden/while_exit.log b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/golden/while_exit.log
new file mode 100644
index 000000000..b4ad00f9a
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/golden/while_exit.log
@@ -0,0 +1,183 @@
+SystemC Simulation
+Stimuli1 : in_valid = true in_value 0 at 6 ns
+Stimuli1 : in_valid = true in_value 1 at 7 ns
+Stimuli1 : in_valid = true in_value 2 at 8 ns
+Display : 0 at 8 ns
+Stimuli1 : in_valid = true in_value 3 at 9 ns
+Display : 1 at 9 ns
+Stimuli1 : in_valid = true in_value 4 at 10 ns
+Display : 2 at 10 ns
+Stimuli1 : in_valid = true in_value 5 at 11 ns
+Display : 3 at 11 ns
+Stimuli1 : in_valid = true in_value 6 at 12 ns
+Display : 4 at 12 ns
+Stimuli1 : in_valid = true in_value 7 at 13 ns
+Display : 5 at 13 ns
+Stimuli1 : in_valid = true in_value 8 at 14 ns
+Display : 6 at 14 ns
+Stimuli1 : in_valid = true in_value 9 at 15 ns
+Display : 7 at 15 ns
+Stimuli1 : in_valid = true in_value 10 at 16 ns
+Stimuli2 : in_valid = true in_value 0 at 21 ns
+Stimuli2 : in_valid = true in_value 1 at 22 ns
+Display : 7 at 22 ns
+Stimuli2 : in_valid = true in_value 2 at 23 ns
+Display : 7 at 23 ns
+Stimuli2 : in_valid = true in_value 3 at 24 ns
+Display : 7 at 24 ns
+Stimuli2 : in_valid = true in_value 4 at 25 ns
+Display : 7 at 25 ns
+Stimuli2 : in_valid = true in_value 5 at 26 ns
+Display : 7 at 26 ns
+Stimuli2 : in_valid = true in_value 6 at 27 ns
+Display : 7 at 27 ns
+Stimuli2 : in_valid = true in_value 7 at 28 ns
+Display : 5 at 28 ns
+Stimuli2 : in_valid = true in_value 8 at 29 ns
+Display : 6 at 29 ns
+Stimuli2 : in_valid = true in_value 9 at 30 ns
+Display : 6 at 30 ns
+Stimuli2 : in_valid = true in_value 10 at 31 ns
+Display : 8 at 31 ns
+Display : 9 at 32 ns
+Display : 10 at 33 ns
+Stimuli3 : in_valid = true in_value 0 at 36 ns
+Stimuli3 : in_valid = true in_value 1 at 37 ns
+Stimuli3 : in_valid = true in_value 2 at 38 ns
+Stimuli3 : in_valid = true in_value 3 at 39 ns
+Display : 10 at 39 ns
+Stimuli3 : in_valid = true in_value 4 at 40 ns
+Display : 2 at 40 ns
+Stimuli3 : in_valid = true in_value 5 at 41 ns
+Display : 3 at 41 ns
+Stimuli3 : in_valid = true in_value 6 at 42 ns
+Display : 4 at 42 ns
+Stimuli3 : in_valid = true in_value 7 at 43 ns
+Display : 5 at 43 ns
+Stimuli3 : in_valid = true in_value 8 at 44 ns
+Display : 6 at 44 ns
+Stimuli3 : in_valid = true in_value 9 at 45 ns
+Display : 6 at 45 ns
+Stimuli3 : in_valid = true in_value 10 at 46 ns
+Stimuli1 : in_valid = true in_value 0 at 57 ns
+Stimuli1 : in_valid = true in_value 1 at 58 ns
+Stimuli1 : in_valid = true in_value 2 at 59 ns
+Display : 6 at 59 ns
+Stimuli1 : in_valid = true in_value 3 at 60 ns
+Display : 1 at 60 ns
+Stimuli1 : in_valid = true in_value 4 at 61 ns
+Display : 2 at 61 ns
+Stimuli1 : in_valid = true in_value 5 at 62 ns
+Display : 3 at 62 ns
+Stimuli1 : in_valid = true in_value 6 at 63 ns
+Display : 4 at 63 ns
+Stimuli1 : in_valid = true in_value 7 at 64 ns
+Display : 5 at 64 ns
+Stimuli1 : in_valid = true in_value 8 at 65 ns
+Display : 6 at 65 ns
+Stimuli1 : in_valid = true in_value 9 at 66 ns
+Display : 7 at 66 ns
+Stimuli1 : in_valid = true in_value 10 at 67 ns
+Stimuli2 : in_valid = true in_value 0 at 72 ns
+Stimuli2 : in_valid = true in_value 1 at 73 ns
+Display : 7 at 73 ns
+Stimuli2 : in_valid = true in_value 2 at 74 ns
+Display : 7 at 74 ns
+Stimuli2 : in_valid = true in_value 3 at 75 ns
+Display : 7 at 75 ns
+Stimuli2 : in_valid = true in_value 4 at 76 ns
+Display : 7 at 76 ns
+Stimuli2 : in_valid = true in_value 5 at 77 ns
+Display : 7 at 77 ns
+Stimuli2 : in_valid = true in_value 6 at 78 ns
+Display : 7 at 78 ns
+Stimuli2 : in_valid = true in_value 7 at 79 ns
+Display : 5 at 79 ns
+Stimuli2 : in_valid = true in_value 8 at 80 ns
+Display : 6 at 80 ns
+Stimuli2 : in_valid = true in_value 9 at 81 ns
+Display : 6 at 81 ns
+Stimuli2 : in_valid = true in_value 10 at 82 ns
+Display : 8 at 82 ns
+Display : 9 at 83 ns
+Display : 10 at 84 ns
+Stimuli3 : in_valid = true in_value 0 at 87 ns
+Stimuli3 : in_valid = true in_value 1 at 88 ns
+Stimuli3 : in_valid = true in_value 2 at 89 ns
+Stimuli3 : in_valid = true in_value 3 at 90 ns
+Display : 10 at 90 ns
+Stimuli3 : in_valid = true in_value 4 at 91 ns
+Display : 2 at 91 ns
+Stimuli3 : in_valid = true in_value 5 at 92 ns
+Display : 3 at 92 ns
+Stimuli3 : in_valid = true in_value 6 at 93 ns
+Display : 4 at 93 ns
+Stimuli3 : in_valid = true in_value 7 at 94 ns
+Display : 5 at 94 ns
+Stimuli3 : in_valid = true in_value 8 at 95 ns
+Display : 6 at 95 ns
+Stimuli3 : in_valid = true in_value 9 at 96 ns
+Display : 6 at 96 ns
+Stimuli3 : in_valid = true in_value 10 at 97 ns
+Stimuli1 : in_valid = true in_value 0 at 108 ns
+Stimuli1 : in_valid = true in_value 1 at 109 ns
+Stimuli1 : in_valid = true in_value 2 at 110 ns
+Display : 6 at 110 ns
+Stimuli1 : in_valid = true in_value 3 at 111 ns
+Display : 1 at 111 ns
+Stimuli1 : in_valid = true in_value 4 at 112 ns
+Display : 2 at 112 ns
+Stimuli1 : in_valid = true in_value 5 at 113 ns
+Display : 3 at 113 ns
+Stimuli1 : in_valid = true in_value 6 at 114 ns
+Display : 4 at 114 ns
+Stimuli1 : in_valid = true in_value 7 at 115 ns
+Display : 5 at 115 ns
+Stimuli1 : in_valid = true in_value 8 at 116 ns
+Display : 6 at 116 ns
+Stimuli1 : in_valid = true in_value 9 at 117 ns
+Display : 7 at 117 ns
+Stimuli1 : in_valid = true in_value 10 at 118 ns
+Stimuli2 : in_valid = true in_value 0 at 123 ns
+Stimuli2 : in_valid = true in_value 1 at 124 ns
+Display : 7 at 124 ns
+Stimuli2 : in_valid = true in_value 2 at 125 ns
+Display : 7 at 125 ns
+Stimuli2 : in_valid = true in_value 3 at 126 ns
+Display : 7 at 126 ns
+Stimuli2 : in_valid = true in_value 4 at 127 ns
+Display : 7 at 127 ns
+Stimuli2 : in_valid = true in_value 5 at 128 ns
+Display : 7 at 128 ns
+Stimuli2 : in_valid = true in_value 6 at 129 ns
+Display : 7 at 129 ns
+Stimuli2 : in_valid = true in_value 7 at 130 ns
+Display : 5 at 130 ns
+Stimuli2 : in_valid = true in_value 8 at 131 ns
+Display : 6 at 131 ns
+Stimuli2 : in_valid = true in_value 9 at 132 ns
+Display : 6 at 132 ns
+Stimuli2 : in_valid = true in_value 10 at 133 ns
+Display : 8 at 133 ns
+Display : 9 at 134 ns
+Display : 10 at 135 ns
+Stimuli3 : in_valid = true in_value 0 at 138 ns
+Stimuli3 : in_valid = true in_value 1 at 139 ns
+Stimuli3 : in_valid = true in_value 2 at 140 ns
+Stimuli3 : in_valid = true in_value 3 at 141 ns
+Display : 10 at 141 ns
+Stimuli3 : in_valid = true in_value 4 at 142 ns
+Display : 2 at 142 ns
+Stimuli3 : in_valid = true in_value 5 at 143 ns
+Display : 3 at 143 ns
+Stimuli3 : in_valid = true in_value 6 at 144 ns
+Display : 4 at 144 ns
+Stimuli3 : in_valid = true in_value 7 at 145 ns
+Display : 5 at 145 ns
+Stimuli3 : in_valid = true in_value 8 at 146 ns
+Display : 6 at 146 ns
+Stimuli3 : in_valid = true in_value 9 at 147 ns
+Display : 6 at 147 ns
+Stimuli3 : in_valid = true in_value 10 at 148 ns
+
+Info: /OSCI/SystemC: Simulation stopped by user.
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/main.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/main.cpp
new file mode 100644
index 000000000..7d176025e
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/main.cpp
@@ -0,0 +1,82 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ main.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-30
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "while_exit.h"
+#include "stimulus.h"
+#include "display.h"
+
+int sc_main (int argc , char *argv[]) {
+ sc_clock clock;
+ sc_signal<bool> reset;
+ sc_signal<bool> out_valid;
+ sc_signal<bool> in_valid;
+ sc_signal<int> result;
+ sc_signal<int> in_value;
+
+
+ while_exit while_exit1 (
+ "process_body",
+ clock,
+ reset,
+ in_valid,
+ in_value,
+ out_valid,
+ result
+ );
+
+ stimulus stimulus1 (
+ "stimulus",
+ clock,
+ reset,
+ in_value,
+ in_valid
+ );
+
+ display display1 (
+ "display",
+ clock,
+ result,
+ out_valid
+ );
+
+
+ sc_start();
+ return 0;
+}
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/stimulus.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/stimulus.cpp
new file mode 100644
index 000000000..d86f16758
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/stimulus.cpp
@@ -0,0 +1,83 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ stimulus.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-30
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "stimulus.h"
+
+void stimulus::entry() {
+
+ int i, j;
+
+ // sending some reset values
+ reset.write(true);
+ in_valid.write(false);
+ in_value.write(0);
+ wait();
+ reset.write(false);
+ wait(5);
+ for(i=0; i<3; i++){
+ in_valid.write(true);
+ for(j=0; j<=10; j++) {
+ in_value.write(j);
+ cout << "Stimuli1 : in_valid = true in_value " << j << " at "
+ << sc_time_stamp() << endl;
+ wait();
+ };
+ in_valid.write(false);
+ wait(4);
+ for(j=0; j<=10; j++) {
+ in_value.write(j);
+ cout << "Stimuli2 : in_valid = true in_value " << j << " at "
+ << sc_time_stamp() << endl;
+ wait();
+ };
+ in_valid.write(false);
+ wait(4);
+ for(j=0; j<=10; j++) {
+ in_value.write(j);
+ cout << "Stimuli3 : in_valid = true in_value " << j << " at "
+ << sc_time_stamp() << endl;
+ wait();
+ };
+ wait(10);
+ };
+
+ wait(15);
+ sc_stop();
+}
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/stimulus.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/stimulus.h
new file mode 100644
index 000000000..5bc8313de
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/stimulus.h
@@ -0,0 +1,69 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ stimulus.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-30
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( stimulus )
+{
+ SC_HAS_PROCESS( stimulus );
+
+ sc_in_clk clk;
+
+ sc_signal<bool>& reset;
+ sc_signal<int>& in_value;
+ sc_signal<bool>& in_valid;
+
+ stimulus(sc_module_name NAME,
+ sc_clock& CLK,
+ sc_signal<bool>& RESET,
+ sc_signal<int>& IN_VALUE,
+ sc_signal<bool>& IN_VALID
+ )
+ :
+ reset (RESET),
+ in_value (IN_VALUE),
+ in_valid (IN_VALID)
+ {
+ clk (CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ }
+
+ void entry();
+};
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/while_exit.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/while_exit.cpp
new file mode 100644
index 000000000..5cc53af40
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/while_exit.cpp
@@ -0,0 +1,124 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ while_exit.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-30
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "while_exit.h"
+
+#define max 10
+
+void while_exit::entry()
+{
+
+ int i, inp_tmp;
+
+ // reset_loop
+ if (reset.read()==true) {
+ result.write(0);
+ out_valid.write(false);
+ wait();
+ } else wait();
+
+ //----------
+ // main loop
+ //----------
+ while(1) {
+
+ // read inputs
+ while (in_valid.read()==false) wait();
+
+ // execution of while loop with exit after write statement
+ out_valid.write(true);
+ i=1;
+ wait();
+ while (i<=max) {
+ inp_tmp = in_value.read();
+ result.write(inp_tmp);
+ if (inp_tmp==7) {
+ wait();
+ break;
+ } else {
+ i++;
+ wait();
+ };
+ };
+ out_valid.write(false);
+ wait(6);
+
+ // execution of do loop with continues
+ out_valid.write(true);
+ i=0;
+ wait();
+ do {
+ i++;
+ inp_tmp = in_value.read();
+ if (i==8) {
+ wait();
+ continue;
+ } else if (in_value.read()<5) {
+ wait();
+ continue;
+ } else {
+ result.write(inp_tmp);
+ wait();
+ }
+ } while (i<=max);
+ out_valid.write(false);
+ wait(5);
+
+ // execution of do loop with exit after before statement
+ out_valid.write(true);
+ i=0;
+ wait();
+ do {
+ i++;
+ inp_tmp = in_value.read();
+ if (inp_tmp==7) {
+ wait();
+ break;
+ } else {
+ result.write(inp_tmp);
+ wait();
+ };
+ } while (i<=max);
+ out_valid.write(false);
+ wait();
+
+ }
+}
+
+// EOF
+
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/while_exit.f b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/while_exit.f
new file mode 100644
index 000000000..947eeefd1
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/while_exit.f
@@ -0,0 +1,4 @@
+while_exit/main.cpp
+while_exit/stimulus.cpp
+while_exit/display.cpp
+while_exit/while_exit.cpp
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/while_exit.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/while_exit.h
new file mode 100644
index 000000000..a57397dd4
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_exit/while_exit.h
@@ -0,0 +1,74 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ while_exit.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-30
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( while_exit )
+{
+ SC_HAS_PROCESS( while_exit );
+
+ sc_in_clk clk;
+
+ const sc_signal<bool>& reset;
+ const sc_signal<bool>& in_valid;
+ const sc_signal<int>& in_value;
+ sc_signal<bool>& out_valid;
+ sc_signal<int>& result;
+
+ while_exit(
+ sc_module_name NAME, // referense name
+ sc_clock& CLK, // clock
+ const sc_signal<bool>& RESET,
+ const sc_signal<bool>& IN_VALID,
+ const sc_signal<int>& IN_VALUE,
+ sc_signal<bool>& OUT_VALID,
+ sc_signal<int>& RESULT
+ )
+ :
+ reset (RESET),
+ in_valid (IN_VALID),
+ in_value (IN_VALUE),
+ out_valid (OUT_VALID),
+ result (RESULT)
+ {
+ clk (CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ reset_signal_is(reset,true);
+ };
+ void entry ();
+};
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/display.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/display.cpp
new file mode 100644
index 000000000..3e8ba2ec1
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/display.cpp
@@ -0,0 +1,54 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ display.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "display.h"
+
+void display::entry(){
+
+ wait(2);
+ while(1) {
+ // Reading Data, and Counter i,j is counted up.
+ while (out_valid.read()==false) wait();
+ cout << "Display : " << result.read() << " "
+ << " at " << sc_time_stamp() << endl;
+ wait();
+ }
+}
+
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/display.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/display.h
new file mode 100644
index 000000000..b50f526c0
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/display.h
@@ -0,0 +1,66 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ display.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( display )
+{
+ SC_HAS_PROCESS( display );
+
+ sc_in_clk clk;
+
+ const sc_signal<int>& result; // Input port
+ const sc_signal<bool>& out_valid;
+
+ display( sc_module_name NAME,
+ sc_clock& CLK,
+ const sc_signal<int>& RESULT,
+ const sc_signal<bool>& OUT_VALID
+ )
+ :
+ result(RESULT),
+ out_valid(OUT_VALID)
+ {
+ clk(CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ }
+
+ void entry();
+};
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/golden/while_fsm.log b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/golden/while_fsm.log
new file mode 100644
index 000000000..acee1098d
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/golden/while_fsm.log
@@ -0,0 +1,183 @@
+SystemC Simulation
+Stimuli1 : in_valid = true in_value 1 at 6 ns
+Stimuli1 : in_valid = true in_value 2 at 7 ns
+Stimuli1 : in_valid = true in_value 3 at 8 ns
+Display : 0 at 8 ns
+Stimuli1 : in_valid = true in_value 4 at 9 ns
+Display : 2 at 9 ns
+Stimuli1 : in_valid = true in_value 5 at 10 ns
+Display : 3 at 10 ns
+Stimuli1 : in_valid = true in_value 6 at 11 ns
+Display : 4 at 11 ns
+Stimuli1 : in_valid = true in_value 7 at 12 ns
+Display : 5 at 12 ns
+Stimuli1 : in_valid = true in_value 8 at 13 ns
+Display : 6 at 13 ns
+Stimuli1 : in_valid = true in_value 9 at 14 ns
+Display : 7 at 14 ns
+Stimuli1 : in_valid = true in_value 10 at 15 ns
+Display : 8 at 15 ns
+Display : 9 at 16 ns
+Display : 10 at 17 ns
+Display : 10 at 18 ns
+Stimuli2 : in_valid = true in_value 1 at 20 ns
+Display : 10 at 20 ns
+Stimuli2 : in_valid = true in_value 2 at 21 ns
+Display : 10 at 21 ns
+Stimuli2 : in_valid = true in_value 3 at 22 ns
+Display : 10 at 22 ns
+Stimuli2 : in_valid = true in_value 4 at 23 ns
+Display : 10 at 23 ns
+Stimuli2 : in_valid = true in_value 5 at 24 ns
+Display : 10 at 24 ns
+Stimuli2 : in_valid = true in_value 6 at 25 ns
+Display : 10 at 25 ns
+Stimuli2 : in_valid = true in_value 7 at 26 ns
+Display : 5 at 26 ns
+Stimuli2 : in_valid = true in_value 8 at 27 ns
+Display : 6 at 27 ns
+Stimuli2 : in_valid = true in_value 9 at 28 ns
+Display : 6 at 28 ns
+Stimuli2 : in_valid = true in_value 10 at 29 ns
+Display : 8 at 29 ns
+Display : 9 at 30 ns
+Display : 10 at 31 ns
+Stimuli3 : in_valid = true in_value 1 at 34 ns
+Stimuli3 : in_valid = true in_value 2 at 35 ns
+Stimuli3 : in_valid = true in_value 3 at 36 ns
+Display : 10 at 36 ns
+Stimuli3 : in_valid = true in_value 4 at 37 ns
+Display : 2 at 37 ns
+Stimuli3 : in_valid = true in_value 5 at 38 ns
+Display : 3 at 38 ns
+Stimuli3 : in_valid = true in_value 6 at 39 ns
+Display : 4 at 39 ns
+Stimuli3 : in_valid = true in_value 7 at 40 ns
+Display : 5 at 40 ns
+Stimuli3 : in_valid = true in_value 8 at 41 ns
+Display : 6 at 41 ns
+Stimuli3 : in_valid = true in_value 9 at 42 ns
+Display : 6 at 42 ns
+Stimuli3 : in_valid = true in_value 10 at 43 ns
+Stimuli1 : in_valid = true in_value 1 at 54 ns
+Stimuli1 : in_valid = true in_value 2 at 55 ns
+Stimuli1 : in_valid = true in_value 3 at 56 ns
+Display : 6 at 56 ns
+Stimuli1 : in_valid = true in_value 4 at 57 ns
+Display : 2 at 57 ns
+Stimuli1 : in_valid = true in_value 5 at 58 ns
+Display : 3 at 58 ns
+Stimuli1 : in_valid = true in_value 6 at 59 ns
+Display : 4 at 59 ns
+Stimuli1 : in_valid = true in_value 7 at 60 ns
+Display : 5 at 60 ns
+Stimuli1 : in_valid = true in_value 8 at 61 ns
+Display : 6 at 61 ns
+Stimuli1 : in_valid = true in_value 9 at 62 ns
+Display : 7 at 62 ns
+Stimuli1 : in_valid = true in_value 10 at 63 ns
+Display : 8 at 63 ns
+Display : 9 at 64 ns
+Display : 10 at 65 ns
+Display : 10 at 66 ns
+Stimuli2 : in_valid = true in_value 1 at 68 ns
+Display : 10 at 68 ns
+Stimuli2 : in_valid = true in_value 2 at 69 ns
+Display : 10 at 69 ns
+Stimuli2 : in_valid = true in_value 3 at 70 ns
+Display : 10 at 70 ns
+Stimuli2 : in_valid = true in_value 4 at 71 ns
+Display : 10 at 71 ns
+Stimuli2 : in_valid = true in_value 5 at 72 ns
+Display : 10 at 72 ns
+Stimuli2 : in_valid = true in_value 6 at 73 ns
+Display : 10 at 73 ns
+Stimuli2 : in_valid = true in_value 7 at 74 ns
+Display : 5 at 74 ns
+Stimuli2 : in_valid = true in_value 8 at 75 ns
+Display : 6 at 75 ns
+Stimuli2 : in_valid = true in_value 9 at 76 ns
+Display : 6 at 76 ns
+Stimuli2 : in_valid = true in_value 10 at 77 ns
+Display : 8 at 77 ns
+Display : 9 at 78 ns
+Display : 10 at 79 ns
+Stimuli3 : in_valid = true in_value 1 at 82 ns
+Stimuli3 : in_valid = true in_value 2 at 83 ns
+Stimuli3 : in_valid = true in_value 3 at 84 ns
+Display : 10 at 84 ns
+Stimuli3 : in_valid = true in_value 4 at 85 ns
+Display : 2 at 85 ns
+Stimuli3 : in_valid = true in_value 5 at 86 ns
+Display : 3 at 86 ns
+Stimuli3 : in_valid = true in_value 6 at 87 ns
+Display : 4 at 87 ns
+Stimuli3 : in_valid = true in_value 7 at 88 ns
+Display : 5 at 88 ns
+Stimuli3 : in_valid = true in_value 8 at 89 ns
+Display : 6 at 89 ns
+Stimuli3 : in_valid = true in_value 9 at 90 ns
+Display : 6 at 90 ns
+Stimuli3 : in_valid = true in_value 10 at 91 ns
+Stimuli1 : in_valid = true in_value 1 at 102 ns
+Stimuli1 : in_valid = true in_value 2 at 103 ns
+Stimuli1 : in_valid = true in_value 3 at 104 ns
+Display : 6 at 104 ns
+Stimuli1 : in_valid = true in_value 4 at 105 ns
+Display : 2 at 105 ns
+Stimuli1 : in_valid = true in_value 5 at 106 ns
+Display : 3 at 106 ns
+Stimuli1 : in_valid = true in_value 6 at 107 ns
+Display : 4 at 107 ns
+Stimuli1 : in_valid = true in_value 7 at 108 ns
+Display : 5 at 108 ns
+Stimuli1 : in_valid = true in_value 8 at 109 ns
+Display : 6 at 109 ns
+Stimuli1 : in_valid = true in_value 9 at 110 ns
+Display : 7 at 110 ns
+Stimuli1 : in_valid = true in_value 10 at 111 ns
+Display : 8 at 111 ns
+Display : 9 at 112 ns
+Display : 10 at 113 ns
+Display : 10 at 114 ns
+Stimuli2 : in_valid = true in_value 1 at 116 ns
+Display : 10 at 116 ns
+Stimuli2 : in_valid = true in_value 2 at 117 ns
+Display : 10 at 117 ns
+Stimuli2 : in_valid = true in_value 3 at 118 ns
+Display : 10 at 118 ns
+Stimuli2 : in_valid = true in_value 4 at 119 ns
+Display : 10 at 119 ns
+Stimuli2 : in_valid = true in_value 5 at 120 ns
+Display : 10 at 120 ns
+Stimuli2 : in_valid = true in_value 6 at 121 ns
+Display : 10 at 121 ns
+Stimuli2 : in_valid = true in_value 7 at 122 ns
+Display : 5 at 122 ns
+Stimuli2 : in_valid = true in_value 8 at 123 ns
+Display : 6 at 123 ns
+Stimuli2 : in_valid = true in_value 9 at 124 ns
+Display : 6 at 124 ns
+Stimuli2 : in_valid = true in_value 10 at 125 ns
+Display : 8 at 125 ns
+Display : 9 at 126 ns
+Display : 10 at 127 ns
+Stimuli3 : in_valid = true in_value 1 at 130 ns
+Stimuli3 : in_valid = true in_value 2 at 131 ns
+Stimuli3 : in_valid = true in_value 3 at 132 ns
+Display : 10 at 132 ns
+Stimuli3 : in_valid = true in_value 4 at 133 ns
+Display : 2 at 133 ns
+Stimuli3 : in_valid = true in_value 5 at 134 ns
+Display : 3 at 134 ns
+Stimuli3 : in_valid = true in_value 6 at 135 ns
+Display : 4 at 135 ns
+Stimuli3 : in_valid = true in_value 7 at 136 ns
+Display : 5 at 136 ns
+Stimuli3 : in_valid = true in_value 8 at 137 ns
+Display : 6 at 137 ns
+Stimuli3 : in_valid = true in_value 9 at 138 ns
+Display : 6 at 138 ns
+Stimuli3 : in_valid = true in_value 10 at 139 ns
+
+Info: /OSCI/SystemC: Simulation stopped by user.
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/main.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/main.cpp
new file mode 100644
index 000000000..69ab12ad6
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/main.cpp
@@ -0,0 +1,82 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ main.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "while_fsm.h"
+#include "stimulus.h"
+#include "display.h"
+
+int sc_main (int argc , char *argv[]) {
+ sc_clock clock;
+ sc_signal<bool> reset;
+ sc_signal<bool> out_valid;
+ sc_signal<bool> in_valid;
+ sc_signal<int> result;
+ sc_signal<int> in_value;
+
+
+ while_fsm while_fsm1 (
+ "process_body",
+ clock,
+ reset,
+ in_valid,
+ in_value,
+ out_valid,
+ result
+ );
+
+ stimulus stimulus1 (
+ "stimulus",
+ clock,
+ reset,
+ in_value,
+ in_valid
+ );
+
+ display display1 (
+ "display",
+ clock,
+ result,
+ out_valid
+ );
+
+
+ sc_start();
+ return 0;
+}
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/stimulus.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/stimulus.cpp
new file mode 100644
index 000000000..61049e207
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/stimulus.cpp
@@ -0,0 +1,82 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ stimulus.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-29
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "stimulus.h"
+
+void stimulus::entry() {
+
+ int i, j;
+
+ // sending some reset values
+ reset.write(true);
+ in_valid.write(false);
+ in_value.write(0);
+ wait();
+ reset.write(false);
+ wait(5);
+ for(i=0; i<3; i++){
+ in_valid.write(true);
+ for(j=1; j<=10; j++) {
+ in_value.write(j);
+ cout << "Stimuli1 : in_valid = true in_value " << j << " at "
+ << sc_time_stamp() << endl;
+ wait();
+ };
+ in_valid.write(false);
+ wait(4);
+ for(j=1; j<=10; j++) {
+ in_value.write(j);
+ cout << "Stimuli2 : in_valid = true in_value " << j << " at "
+ << sc_time_stamp() << endl;
+ wait();
+ };
+ wait(4);
+ for(j=1; j<=10; j++) {
+ in_value.write(j);
+ cout << "Stimuli3 : in_valid = true in_value " << j << " at "
+ << sc_time_stamp() << endl;
+ wait();
+ };
+ wait(10);
+ };
+
+ wait(15);
+ sc_stop();
+}
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/stimulus.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/stimulus.h
new file mode 100644
index 000000000..e20114c36
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/stimulus.h
@@ -0,0 +1,69 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ stimulus.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( stimulus )
+{
+ SC_HAS_PROCESS( stimulus );
+
+ sc_in_clk clk;
+
+ sc_signal<bool>& reset;
+ sc_signal<int>& in_value;
+ sc_signal<bool>& in_valid;
+
+ stimulus(sc_module_name NAME,
+ sc_clock& CLK,
+ sc_signal<bool>& RESET,
+ sc_signal<int>& IN_VALUE,
+ sc_signal<bool>& IN_VALID
+ )
+ :
+ reset (RESET),
+ in_value (IN_VALUE),
+ in_valid (IN_VALID)
+ {
+ clk (CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ }
+
+ void entry();
+};
+
+// EOF
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/while_fsm.cpp b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/while_fsm.cpp
new file mode 100644
index 000000000..a3f08d992
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/while_fsm.cpp
@@ -0,0 +1,120 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ while_fsm.cpp --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-29
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "while_fsm.h"
+
+#define max 10
+
+void while_fsm::entry()
+{
+
+ int i, inp_tmp;
+
+ // reset_loop
+ if (reset.read()==true) {
+ result.write(0);
+ out_valid.write(false);
+ wait();
+ } else wait();
+
+ //----------
+ // main loop
+ //----------
+ while(1) {
+
+ // read inputs
+ while (in_valid.read()==false) wait();
+
+ // execution of for loop
+ out_valid.write(true);
+ i=1;
+ wait();
+ while (i<=max) {
+ inp_tmp = in_value.read();
+ result.write(inp_tmp);
+ i++;
+ wait();
+ };
+ out_valid.write(false);
+ wait();
+
+ // execution of for loop with continues
+ out_valid.write(true);
+ i=0;
+ wait();
+ do {
+ i++;
+ inp_tmp = in_value.read();
+ if (i==8) {
+ wait();
+ continue;
+ } else if (in_value.read()<5 && i!=1) {
+ wait();
+ continue;
+ } else {
+ result.write(inp_tmp);
+ wait();
+ }
+ } while (i<=max);
+ out_valid.write(false);
+ wait();
+ wait(3);
+
+ // for loop with break
+ out_valid.write(true);
+ i=0;
+ wait();
+ do {
+ i++;
+ inp_tmp = in_value.read();
+ if (inp_tmp==7) {
+ wait();
+ break;
+ } else {
+ result.write(inp_tmp);
+ wait();
+ };
+ } while (i<=max);
+ out_valid.write(false);
+ wait();
+
+ }
+}
+
+// EOF
+
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/while_fsm.f b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/while_fsm.f
new file mode 100644
index 000000000..e47e026a1
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/while_fsm.f
@@ -0,0 +1,4 @@
+while_fsm/main.cpp
+while_fsm/stimulus.cpp
+while_fsm/display.cpp
+while_fsm/while_fsm.cpp
diff --git a/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/while_fsm.h b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/while_fsm.h
new file mode 100644
index 000000000..75fd0080c
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/cae_test/general/control/loop/while_fsm/while_fsm.h
@@ -0,0 +1,74 @@
+/*****************************************************************************
+
+ Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
+ more contributor license agreements. See the NOTICE file distributed
+ with this work for additional information regarding copyright ownership.
+ Accellera licenses this file to you under the Apache License, Version 2.0
+ (the "License"); you may not use this file except in compliance with the
+ License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software
+ distributed under the License is distributed on an "AS IS" BASIS,
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ implied. See the License for the specific language governing
+ permissions and limitations under the License.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ while_fsm.h --
+
+ Original Author: Rocco Jonack, Synopsys, Inc., 1999-07-27
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ MODIFICATION LOG - modifiers, enter your name, affiliation, date and
+ changes you are making here.
+
+ Name, Affiliation, Date:
+ Description of Modification:
+
+ *****************************************************************************/
+
+
+#include "systemc.h"
+
+SC_MODULE( while_fsm )
+{
+ SC_HAS_PROCESS( while_fsm );
+
+ sc_in_clk clk;
+
+ const sc_signal<bool>& reset;
+ const sc_signal<bool>& in_valid;
+ const sc_signal<int>& in_value;
+ sc_signal<bool>& out_valid;
+ sc_signal<int>& result;
+
+ while_fsm(
+ sc_module_name NAME, // referense name
+ sc_clock& CLK, // clock
+ const sc_signal<bool>& RESET,
+ const sc_signal<bool>& IN_VALID,
+ const sc_signal<int>& IN_VALUE,
+ sc_signal<bool>& OUT_VALID,
+ sc_signal<int>& RESULT
+ )
+ :
+ reset (RESET),
+ in_valid (IN_VALID),
+ in_value (IN_VALUE),
+ out_valid (OUT_VALID),
+ result (RESULT)
+ {
+ clk (CLK);
+ SC_CTHREAD( entry, clk.pos() );
+ reset_signal_is(reset,true);
+ };
+ void entry ();
+};