112855Sgabeblack@google.com#define SC_INCLUDE_DYNAMIC_PROCESSES
212855Sgabeblack@google.com
312855Sgabeblack@google.com#include <systemc>
412855Sgabeblack@google.com
512855Sgabeblack@google.comusing namespace sc_core;
612855Sgabeblack@google.comusing std::cout;
712855Sgabeblack@google.comusing std::endl;
812855Sgabeblack@google.com
912855Sgabeblack@google.comstruct M3: sc_module
1012855Sgabeblack@google.com{
1112855Sgabeblack@google.com  M3(sc_module_name _name)
1212855Sgabeblack@google.com  {
1312855Sgabeblack@google.com    SC_THREAD(ticker);
1412855Sgabeblack@google.com    SC_THREAD(calling);
1512855Sgabeblack@google.com    SC_THREAD(target);
1612855Sgabeblack@google.com      t = sc_get_current_process_handle();
1712855Sgabeblack@google.com  }
1812855Sgabeblack@google.com
1912855Sgabeblack@google.com  sc_process_handle t;
2012855Sgabeblack@google.com  sc_event ev;
2112855Sgabeblack@google.com  int count;
2212855Sgabeblack@google.com
2312855Sgabeblack@google.com  void ticker()
2412855Sgabeblack@google.com  {
2512855Sgabeblack@google.com    for (;;)
2612855Sgabeblack@google.com    {
2712855Sgabeblack@google.com      wait(10, SC_NS);
2812855Sgabeblack@google.com      ev.notify();
2912855Sgabeblack@google.com    }
3012855Sgabeblack@google.com  }
3112855Sgabeblack@google.com
3212855Sgabeblack@google.com  void calling()
3312855Sgabeblack@google.com  {
3412855Sgabeblack@google.com    wait(15, SC_NS);
3512855Sgabeblack@google.com    // Target runs at time 10 NS due to notification
3612855Sgabeblack@google.com    sc_assert( count == 1 );
3712855Sgabeblack@google.com
3812855Sgabeblack@google.com    wait(10, SC_NS);
3912855Sgabeblack@google.com    // Target runs again at time 20 NS due to notification
4012855Sgabeblack@google.com    sc_assert( count == 2 );
4112855Sgabeblack@google.com
4212855Sgabeblack@google.com    t.reset();
4312855Sgabeblack@google.com    // Target reset immediately at time 25 NS
4412855Sgabeblack@google.com    sc_assert( count == 0 );
4512855Sgabeblack@google.com
4612855Sgabeblack@google.com    wait(10, SC_NS);
4712855Sgabeblack@google.com    // Target runs again at time 30 NS due to notification
4812855Sgabeblack@google.com    sc_assert( count == 1 );
4912855Sgabeblack@google.com
5012855Sgabeblack@google.com    t.kill();
5112855Sgabeblack@google.com    // Target killed immediately at time 35 NS
5212855Sgabeblack@google.com    sc_assert( t.terminated() );
5312855Sgabeblack@google.com
5412855Sgabeblack@google.com    sc_stop();
5512855Sgabeblack@google.com  }
5612855Sgabeblack@google.com
5712855Sgabeblack@google.com  void target()
5812855Sgabeblack@google.com  {
5912855Sgabeblack@google.com    cout << "Target called/reset at " << sc_time_stamp() << endl;
6012855Sgabeblack@google.com    count = 0;
6112855Sgabeblack@google.com    for (;;)
6212855Sgabeblack@google.com    {
6312855Sgabeblack@google.com      wait(ev);
6412855Sgabeblack@google.com      cout << "Target awoke at " << sc_time_stamp() << endl;
6512855Sgabeblack@google.com      ++count;
6612855Sgabeblack@google.com    }
6712855Sgabeblack@google.com  }
6812855Sgabeblack@google.com
6912855Sgabeblack@google.com  SC_HAS_PROCESS(M3);
7012855Sgabeblack@google.com};
7112855Sgabeblack@google.com
7212855Sgabeblack@google.comint sc_main(int argc, char* argv[])
7312855Sgabeblack@google.com{
7412855Sgabeblack@google.com  M3 m("m");
7512855Sgabeblack@google.com
7612855Sgabeblack@google.com  sc_start();
7712855Sgabeblack@google.com
7812855Sgabeblack@google.com  return 0;
7912855Sgabeblack@google.com}
8012855Sgabeblack@google.com
81