关于coverpoint的一个问题

Mr.Jia · 发表于 2022-2-23 00:25:34

您需要登录才可以下载或查看，没有账号？注册

x

本帖最后由 Mr.Jia 于 2022-2-23 00:28 编辑

要验证apb接口的rw寄存器的读写，其中一个覆盖点是寄存器被写后读过，这个coverpoint怎么写呢？麻烦大佬提供些思路。师兄说用event，但是每个地址应该都有一个线程，怎么用event写呢

fengzhiyong123 · 发表于 2022-2-23 08:57:58

如果是我的话，类似于采样状态机状态跳转，然后结合地址覆盖的coverpoint。等于给你分配好地址的每个bin两个状态，写和读

hh199203 · 发表于 2022-2-23 16:44:24

直接用代码覆盖率，都不用自己去写代码

hh199203 · 发表于 2022-2-23 16:45:16

hh199203 发表于 2022-2-23 16:44
直接用代码覆盖率，都不用自己去写代码

anpengfei · 发表于 2022-2-24 12:17:12

sva
(psel&&pen&&pwr&&(paddr==var_addr)) |-> ##[0:XXX] (psel&&(!pwr)&&(paddr==var_addr))
可以参考：
https://blog.csdn.net/SummerXRT/ ... tm_relevant_index=7

Mr.Jia · 发表于 2022-2-27 17:37:40

anpengfei 发表于 2022-2-24 12:17
sva
(psel&&pen&&pwr&&(paddr==var_addr)) |-> ##[0:XXX] (psel&&(!pwr)&&(paddr==var_addr))
可以参考：

谢谢！

[求助] 关于coverpoint的一个问题