关于一些特殊控制类DUT的参考模型的写法疑问

kinbo_z

自己接手了一个模块的验证工作，大概描述一下：
      1.DUT通过寄存器控制开启某功能，该功能执行执行是有一段时间的（时间不固定）；
      2.执行过程中，如果又收到开启激励，则缓存该任务，等待当前任务执行结束后执行；
      3.假如任务执行过程中收到不止一次开启激励，新的开启激励会覆盖缓存的开启激励。
在UVM的验证中，如果参考模型不去同步DUT内部的逻辑，参考模型是给不出正确结果的，所以我只想到了三种方案：
      1.参考模型利用DUT内部逻辑做同步，实现该覆盖功能。
      2.参考模型根据时钟做的跟DUT的时序一样，两者完全独立，参考模型设计比较困难。
      3.该种覆盖类逻辑功能单独定向测试。
想问一下各位前辈，针对该种类型DUT的验证，有什么比较好的验证方法吗？