关于MCDF的arbiter模块验证，激励产生的问题

芯中有你

新手学习验证过程中关于mcdf arbiter验证过程中，组件responder的stimulator产生模拟formatter发送req和ack信号的顺序应该是怎样的？我写的就是先发送req信号，然后等待arbiter的valid信号为真再发ack信号，这样做法是正确的吗？还是说对于验证的激励信号不用管他的时序，随机发送ack和req，然后在checker中去做比较？此外，对于模拟slave 的initiator的req和valid两信号在stimulator中驱动需要遵循先req然后等待dut输出的ack信号来决定是否发送valid信号吗？好难啊求助大佬