In reply to cool_cake20:
@(posedge clk)
$rose(dma_req)|-> (dma_req[*2] ##1 !dma_req);
means that if
@t0 $rose(dma_req)==1 then
@t0 dma_req ==1 // one repetition
@t1 dma_req ==1 // 2nd repetition at next cycle
@t2 dma_req ==0 //
$rose(dma_req)|=> (dma_req[*2] ##1 !dma_req);
means that if
@t0 $rose(dma_req)==1 then
@t1 dma_req ==1 // one repetition
@t2 dma_req ==1 // 2nd repetition at next cycle
@t3 dma_req ==0 //
Thus, you need
$rose(dma_req)|=> (dma_req[*2] ##1 !dma_req);
To upload, you’ll need an area to share.
google drive is a good place. I use my site, since I have access to it.