← Back to branch summary

~ubuntu-branches/ubuntu/vivid/kate/vivid-updates

« back to all changes in this revision

Viewing changes to examples/syntax/highlight.e

  • Committer: Package Import Robot
  • Author(s): Jonathan Riddell
  • Date: 2014-12-04 16:49:41 UTC
  • mfrom: (1.6.6)
  • Revision ID: package-import@ubuntu.com-20141204164941-l3qbvsly83hhlw2v
Tags: 4:14.11.97-0ubuntu1
* New upstream release
* Update build-deps and use pkg-kde v3 for Qt 5 build
* kate-data now kate5-data for co-installability

Show diffs side-by-side

added added

removed removed

Lines of Context:
examples/syntax/highlight.e
1
 
<'
2
 
 
3
 
extend TB_NAME_T : [ ETRC ];
4
 
 
5
 
extend fifo {
6
 
  keep soft testbench == ETRC;
7
 
};
8
 
 
9
 
extend ETRC fifo {
10
 
 
11
 
  keep direction == POP;
12
 
  keep soft type == CLASSIC;
13
 
 
14
 
  keep    PORT_DATAOUT          == appendf("esa_data[%d]"  , id);
15
 
  keep    PORT_POP_EMPTY        == appendf("fifo_empty[%d]", id);
16
 
  keep    PORT_POP_ALMOST_EMPTY == appendf("ESA_PopAE[%d]" , id);
17
 
  keep    PORT_POP_ALMOST_FULL  == appendf("ESA_PopAF[%d]"  , id);
18
 
  keep    PORT_POP_FULL         == "";
19
 
  keep    PORT_POP_ERROR        == "";
20
 
  keep    PORT_POP_REQ          == appendf("etrc_popreq_n[%d]"  , id); 
21
 
  keep    soft PORT_POP_CLK          == "sysclk";
22
 
  keep    soft PORT_PUSH_CLK         == "sysclk";
23
 
    
24
 
//  keep logger.verbosity == HIGH;  
25
 
 
26
 
 
27
 
  reset_sig() is {
28
 
    injector.reset_sig();
29
 
    '(PORT_DATAOUT)' = 0;
30
 
    '(PORT_POP_EMPTY)' = 0;
31
 
    '(PORT_POP_ALMOST_EMPTY)' = 0;
32
 
    '(PORT_POP_ALMOST_FULL)' = 0;
33
 
    '(PORT_POP_REQ)' = 0;
34
 
    '(PORT_POP_CLK)' = 0;
35
 
    '(PORT_POP_CLK)' = 1;    
36
 
  };
37
 
 
38
 
  event clkSys is rise('sysclk');
39
 
  event bug001 is true('pkdescnt[0]' == 1)@clkSys;
40
 
 
41
 
  on bug001
42
 
  {
43
 
    dut_error("Bug 001 found ... crash!");
44
 
  };
45
 
 
46
 
};
47
 
 
48
 
 
49
 
 
50
 
extend ETRC FIFO_INJECTOR {
51
 
 
52
 
  pkt_desc_if : pkt_desc_if is instance;
53
 
    keep pkt_desc_if.MAC_uid == id;
54
 
 
55
 
  add_new_pkt_desc() is also {
56
 
    pkt_desc_if.indicate_one_pck_desc_is_come_in_FIFO();
57
 
  };
58
 
 
59
 
  reset_sig() is {
60
 
    pkt_desc_if.reset_sig();
61
 
  };
62
 
 
63
 
};
64
 
 
65
 
extend ETRC CLASSIC fifo
66
 
{
67
 
 
68
 
  keep ae_seuil == 1;                          
69
 
  keep af_seuil == 46;                         
70
 
  keep fifo_size == 56;     
71
 
 
72
 
 
73
 
  
74
 
  setState() is also
75
 
  { 
76
 
    if (fifo_plot &&(sys.time > 200000)  && // avoid fifo plot before beginning of operation of RAMC
77
 
       !((injector.generated_packet_nb == injector.max_generated_packets && injector.stream.size() == 0)
78
 
       || injector.generated_packet_nb == 0))
79
 
    {
80
 
      if (fifo_use_logger) { 
81
 
        messagef(HIGH, "ETRC[%d] : %d\n", id,  fifo.size()); 
82
 
      }
83
 
      else {
84
 
        out("__fifo_plot: ", sys.time, "  ", fifo.size() ); 
85
 
      };
86
 
    };
87
 
  };
88
 
};
89
 
 
90
 
'>