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