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
86
87
88
89
90
91
92
|
#include <systemc>
using namespace sc_core;
using namespace sc_dt;
using std::cout;
using std::endl;
// 35) Port policy (incorrect binding)
SC_MODULE(M)
{
sc_port<sc_signal_in_if<int>,1,SC_ONE_OR_MORE_BOUND> p1;
sc_port<sc_signal_in_if<int>,2,SC_ALL_BOUND> p2;
sc_port<sc_signal_in_if<int>,2,SC_ZERO_OR_MORE_BOUND> p3;
sc_port<sc_signal_in_if<int>,1,SC_ONE_OR_MORE_BOUND> p4;
sc_port<sc_signal_in_if<int>,5,SC_ALL_BOUND> p5;
sc_port<sc_signal_in_if<int>,5,SC_ALL_BOUND> p6;
sc_port<sc_signal_in_if<int>,0,SC_ZERO_OR_MORE_BOUND> p7;
SC_CTOR(M)
: p1("p1"),
p2("p2"),
p3("p3"),
p4("p4"),
p5("p5"),
p6("p6"),
p7("p7")
{}
void end_of_elaboration()
{
sc_assert(p1.size() == 0);
sc_assert(p2.size() == 1);
sc_assert(p3.size() == 3);
sc_assert(p4.size() == 2);
sc_assert(p5.size() == 6);
sc_assert(p6.size() == 0);
sc_assert(p7.size() == 2);
}
};
SC_MODULE(Top)
{
sc_port<sc_signal_in_if<int>,0,SC_ZERO_OR_MORE_BOUND> p0_unbound;
sc_port<sc_signal_in_if<int>,0,SC_ZERO_OR_MORE_BOUND> p1_once;
sc_port<sc_signal_in_if<int>,0,SC_ZERO_OR_MORE_BOUND> p2_twice;
M *m;
sc_signal<int> sig1, sig2, sig3, sig4;
SC_CTOR(Top)
{
m = new M("m");
m->p1(p0_unbound);
m->p2(p1_once);
m->p3(p1_once);
m->p3(p2_twice);
m->p4(p2_twice);
m->p5(sig1);
m->p5(p1_once);
m->p5(sig2);
m->p5(p2_twice);
m->p5(sig3);
m->p7(sig1);
m->p7(sig1);
}
};
int sc_main(int argc, char* argv[])
{
cout << "Should be 7 errors but no aborts ..." << endl;
sc_report_handler::set_actions(SC_ERROR, SC_DISPLAY);
sc_signal<int> sig1, sig2, sig3, sig4;
Top top("top");
top.p1_once(sig1);
top.p2_twice(sig2);
top.p2_twice(sig3);
sc_start(1, SC_NS);
sc_assert(sc_report_handler::get_count(SC_ERROR) == 7);
cout << endl << "Success" << endl;
return 0;
}
|