我找不到在其中放置断言并在其中包含覆盖和断言的情况下完成代码的示例。
在UVM测试平台中,并发断言通常位于监视器和驱动程序使用的interface内部。有很多例子。这只是一个:https://verificationacademy.com/verification-horizons/february-2013-volume-9-issue-1/SVA-in-a-UVM-Class-based-Environment
interface