交叉覆盖继承Coverpoint的iff子句

问题描述

我看到我的一个十字架继承了其中一个构成要点的“ iff”子句的问题。

covergroup cg @(LdReqVld_d1);
    LdReq_cp : coverpoint LdReqVld_d1 iff (!LdReqCancel);
    LdOp_cp  : coverpoint LdReqOp_d1  iff (LdReqVld_d1 && !LdReqCancel);
    LdCancel_cp : coverpoint LdReqCancel;
    CrossCancel : cross LdOp_cp,LdCancel_cp;

我看到CrossCancel从未与LdReqCancel == 1碰到任何垃圾箱，即使我希望这样做，我也怀疑这是因为LdOp_cp与{{1 }}，因此iff (LdReqVld_d1 && !LdReqCancel)“秘密地”拥有CrossCancel对其进行保护。这是预期的行为吗？如果是这样，我该如何预防呢？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）