diff options
author | toma <toma@283d02a7-25f6-0310-bc7c-ecb5cbfe19da> | 2009-11-25 17:56:58 +0000 |
---|---|---|
committer | toma <toma@283d02a7-25f6-0310-bc7c-ecb5cbfe19da> | 2009-11-25 17:56:58 +0000 |
commit | ce4a32fe52ef09d8f5ff1dd22c001110902b60a2 (patch) | |
tree | 5ac38a06f3dde268dc7927dc155896926aaf7012 /kate/tests/highlight.e | |
download | tdelibs-ce4a32fe52ef09d8f5ff1dd22c001110902b60a2.tar.gz tdelibs-ce4a32fe52ef09d8f5ff1dd22c001110902b60a2.zip |
Copy the KDE 3.5 branch to branches/trinity for new KDE 3.5 features.
BUG:215923
git-svn-id: svn://anonsvn.kde.org/home/kde/branches/trinity/kdelibs@1054174 283d02a7-25f6-0310-bc7c-ecb5cbfe19da
Diffstat (limited to 'kate/tests/highlight.e')
-rw-r--r-- | kate/tests/highlight.e | 90 |
1 files changed, 90 insertions, 0 deletions
diff --git a/kate/tests/highlight.e b/kate/tests/highlight.e new file mode 100644 index 000000000..6f07c8385 --- /dev/null +++ b/kate/tests/highlight.e @@ -0,0 +1,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() ); + }; + }; + }; +}; + +'> |