当前位置:首页 » 《资源分享》 » 正文

spygalss cdc 检测的bug(二)

23 人参与  2024年10月28日 12:41  分类 : 《资源分享》  评论

点击全文阅读


当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


点击全文阅读


本文链接:http://m.zhangshiyu.com/post/178938.html

<< 上一篇 下一篇 >>

  • 评论(0)
  • 赞助本站

◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。

最新文章

  • 念你时风微起梁沫沈慕白终章(梁沫沈慕白)完整章节列表_笔趣阁
  • 神秘人的冷宫废后新帝他是我裙下臣云渺沈烬全书在线
  • 京圈大佬的联姻小玫瑰,又甜又欲(沈旭洲姜云枝),京圈大佬的联姻小玫瑰,又甜又欲
  • 被绝色小姨子陷害,我快顶不住了章节目录_陈精苏若熙无法释怀_小说后续在线阅读_无删减免费完结_
  • 家宴过后,我捉奸了庶妹和我老公无广告_庶妹老公侍卫TOP10_小说后续在线阅读_无删减免费完结_
  • 寝室六个人,她们背着我建五人群必读文_太天真申请书冷笑最新阅读_小说后续在线阅读_无删减免费完结_
  • 开局获得狐仙传承结局+番外_江帆赵雪隐藏剧情_小说后续在线阅读_无删减免费完结_
  • 刀锈春根生,白骨犹温完结全文_卫舟棠棠知意一口气完结_小说后续在线阅读_无删减免费完结_
  • 夫君立筷子定我灾星罪名,我改嫁冷宫皇子后他追悔莫及好评_赵荀孟如安青瑶精心编著_小说后续在线阅读_无删减免费完结_
  • 邻居低素质,而我没素质独家番外_老太太赖皮欣欣超长版_小说后续在线阅读_无删减免费完结_
  • 重生后我转嫁首富瘸腿独子,总裁前夫却疯了一口气看完_妹妹傅云琛沈明辉独家番外_小说后续在线阅读_无删减免费完结_
  • 我拒绝给系花捐款后,全系同学悔疯了在线阅读_小说后续在线阅读_无删减免费完结_

    关于我们 | 我要投稿 | 免责申明

    Copyright © 2020-2022 ZhangShiYu.com Rights Reserved.豫ICP备2022013469号-1