SVA: dma req check

In reply to ben@SystemVerilog.us:

Try this