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
|
<'
extend TB_NAME_T : [ ETRC ];
extend fifo {
keep soft testbench == ETRC;
};
extend ETRC fifo {
keep direction == POP;
keep soft type == CLASSIC;
keep PORT_DATAOUT == appendf("esa_data[%d]" , id);
keep PORT_POP_EMPTY == appendf("fifo_empty[%d]", id);
keep PORT_POP_ALMOST_EMPTY == appendf("ESA_PopAE[%d]" , id);
keep PORT_POP_ALMOST_FULL == appendf("ESA_PopAF[%d]" , id);
keep PORT_POP_FULL == "";
keep PORT_POP_ERROR == "";
keep PORT_POP_REQ == appendf("etrc_popreq_n[%d]" , id);
keep soft PORT_POP_CLK == "sysclk";
keep soft PORT_PUSH_CLK == "sysclk";
// keep logger.verbosity == HIGH;
reset_sig() is {
injector.reset_sig();
'(PORT_DATAOUT)' = 0;
'(PORT_POP_EMPTY)' = 0;
'(PORT_POP_ALMOST_EMPTY)' = 0;
'(PORT_POP_ALMOST_FULL)' = 0;
'(PORT_POP_REQ)' = 0;
'(PORT_POP_CLK)' = 0;
'(PORT_POP_CLK)' = 1;
};
event clkSys is rise('sysclk');
event bug001 is true('pkdescnt[0]' == 1)@clkSys;
on bug001
{
dut_error("Bug 001 found ... crash!");
};
};
extend ETRC FIFO_INJECTOR {
pkt_desc_if : pkt_desc_if is instance;
keep pkt_desc_if.MAC_uid == id;
add_new_pkt_desc() is also {
pkt_desc_if.indicate_one_pck_desc_is_come_in_FIFO();
};
reset_sig() is {
pkt_desc_if.reset_sig();
};
};
extend ETRC CLASSIC fifo
{
keep ae_seuil == 1;
keep af_seuil == 46;
keep fifo_size == 56;
setState() is also
{
if (fifo_plot &&(sys.time > 200000) && // avoid fifo plot before beginning of operation of RAMC
!((injector.generated_packet_nb == injector.max_generated_packets && injector.stream.size() == 0)
|| injector.generated_packet_nb == 0))
{
if (fifo_use_logger) {
messagef(HIGH, "ETRC[%d] : %d\n", id, fifo.size());
}
else {
out("__fifo_plot: ", sys.time, " ", fifo.size() );
};
};
};
};
'>
|
