spygalss cdc 检测的bug(二)

当allow_qualifier_merge设置为strict的时候,sg是要检查门的极性的。

如果qualifier和src经过与门汇聚,在同另一个src1信号或门汇聚,sg是报unsync的。

假设当qualifier为0时,0&&src||src1=src1,src1无法被gate

假设当qualifier为1时,1&&src||src1=src||src1,src和src1都无法被gate

因此报告结果为src and门同步,对于src1,始终无法被gate

否早mux两个输入端均为src用例。

这个是典型的unsync reason。

同样逻辑功能,但是如果将上面电路改为如下

sg却报了同步。

假设当qualifier为0时,(0&&src)||(1&&src1)=src1,src and门同步成功,src1通过

假设当qualifier为1时,(1&&src)||(0&&src1)=src,src1 and门同步成功,src通过

相同逻辑却报出完全不一致的结果,自相矛盾。

我们可以看到ac_sync01/02rule只是偏向于结构的判断,还是存在较大bug

相关推荐
艾小码3 分钟前
90%前端忽略的3大内存黑洞,这样根治性能飙升300%!
前端·javascript·性能优化
wordbaby5 分钟前
Flutter列表渲染的"诡异"问题:为什么我的数据总是第一个?
前端·flutter
葡萄城技术团队7 分钟前
用 evaluateFormulaAsync 实现高效异步公式计算
前端
Cache技术分享18 分钟前
173. Java 注释 - 注释应用场景:类、字段、方法等
前端·后端
Mintopia23 分钟前
AIGC 多模态大模型在 Web 场景中的融合技术与挑战
前端·javascript·aigc
Mintopia29 分钟前
🛡️ Next.js 中间件权限验证与 API 保护的奇幻冒险
前端·javascript·next.js
恋猫de小郭33 分钟前
谷歌开启 Android 开发者身份验证,明年可能开始禁止“未经验证”应用的侧载,要求所有开发者向谷歌表明身份
android·前端·flutter
用户516816614584140 分钟前
[VMware 无法检测此光盘中映像中的操作系统] VMware创建虚拟机无法检测操作系统iso镜像文件
linux·前端
excel44 分钟前
前端如何优雅处理 XML?从 DOMParser 到 XSLTProcessor 全面解析
前端