1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
// sc_start with event starvation policy
#define SC_INCLUDE_DYNAMIC_PROCESSES
#include <systemc>
using namespace sc_core;
using std::cout;
using std::endl;
SC_MODULE(Top)
{
SC_CTOR(Top)
{
SC_THREAD(T);
}
sc_event ev2;
void T()
{
sc_assert( sc_get_status() == SC_RUNNING );
ev2.notify(150, SC_NS);
//wait(ev2); // Inserting this line makes the test pass
}
};
int sc_main(int argc, char* argv[])
{
Top top("top");
sc_event ev;
ev.notify(250, SC_NS);
sc_assert( sc_get_status() == SC_ELABORATION );
sc_assert( sc_time_stamp() == SC_ZERO_TIME );
sc_start(100, SC_NS);
sc_assert( sc_get_status() == SC_PAUSED );
sc_assert( sc_time_stamp() == sc_time(100, SC_NS) );
sc_start(10, SC_NS, SC_RUN_TO_TIME);
sc_assert( sc_time_stamp() == sc_time(110, SC_NS) );
sc_start(10, SC_NS, SC_EXIT_ON_STARVATION);
sc_assert( sc_time_stamp() == sc_time(110, SC_NS) );
sc_start(80, SC_NS, SC_EXIT_ON_STARVATION);
cout << "sc_time_stamp() = " << sc_time_stamp() << endl;
cout << "sc_pending_activity_at_future_time() = " << sc_pending_activity_at_future_time() << endl;
cout << "sc_time_to_pending_activity() = " << sc_time_to_pending_activity() << endl;
sc_assert( sc_time_stamp() == sc_time(150, SC_NS) ); // FAILS. Does not see ev2
sc_start(50, SC_NS, SC_EXIT_ON_STARVATION);
sc_assert( sc_time_stamp() == sc_time(150, SC_NS) );
sc_start(50, SC_NS, SC_RUN_TO_TIME);
sc_assert( sc_time_stamp() == sc_time(200, SC_NS) );
sc_start();
sc_assert( sc_get_status() == SC_PAUSED );
sc_assert( sc_time_stamp() == sc_time(250, SC_NS) );
ev.notify(SC_ZERO_TIME);
sc_start();
sc_assert( sc_time_stamp() == sc_time(250, SC_NS) );
ev.notify(10, SC_NS);
sc_start();
sc_assert( sc_time_stamp() == sc_time(260, SC_NS) );
ev.notify(10, SC_NS);
sc_start(sc_time(100, SC_NS), SC_EXIT_ON_STARVATION);
sc_assert( sc_time_stamp() == sc_time(270, SC_NS) );
ev.notify(10, SC_NS);
sc_start(sc_time(100, SC_NS)); // SC_RUN_TO_TIME
sc_assert( sc_time_stamp() == sc_time(370, SC_NS) );
sc_assert( sc_get_status() == SC_PAUSED );
cout << endl << "Success" << endl;
return 0;
}
|
