Specman-如何实现顺序覆盖?

时间:2018-03-12 17:44:11

标签: specman test-coverage

我有一个名为tx_intrpt_e的活动。 我想创建以下报道: 在tx_intrpt_e上等待几个周期越过uarttx_dma_sreq == 1.

其中uarttx_dma_sreq是接口的端口。

1 个答案:

答案 0 :(得分:0)

您可以定义一个发生的新事件"几个周期"在原始事件之后,并在新事件上定义封面:

event tx_intrpt_e;
event tx_intrpt_e_delay is {@tx_intrpt_e;[3]}@clk;

cover tx_intrpt_e_delay is {
    item uarttx_dma_sreq using ignore uarttx_dma_sreq==0;
}