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

spygalss cdc 检测的bug(二)

21 人参与  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://zhangshiyu.com/post/178938.html

<< 上一篇 下一篇 >>

  • 评论(0)
  • 赞助本站

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

最新文章

  • 男友霸道给我开黑卡,转头却骂我是捞女最新章节_肖年顾客黑卡热文_小说后续在线阅读_无删减免费完结_
  • 他在回忆尽头全集_贺南舟许清梨叶絮完结txt_小说后续在线阅读_无删减免费完结_
  • 旅游结婚那天未婚夫另娶女秘书,我让他们一无所有连载_老公迎宾超长版_小说后续在线阅读_无删减免费完结_
  • 完结文异界修仙我的直播间能打赏核弹列表_完结文异界修仙我的直播间能打赏核弹(江流年沈红菱)
  • 全书浏览陪弟弟混骑行圈,离婚你哭什么?(韩星河柳千雪)_陪弟弟混骑行圈,离婚你哭什么?(韩星河柳千雪)全书结局
  • 老公出轨我助攻虐心反转_秦绍卿卿阿溪后续加长_小说后续在线阅读_无删减免费完结_
  • 替老婆坐牢出狱那天,我被送去斗兽场精校文本_许言沈宇郑子番茄热门_小说后续在线阅读_无删减免费完结_
  • 沐巍澜温溪:结局+番外(爱如一刹花火)电子书畅享阅读无广告
  • 傅凌川林柚续集(傅凌川林柚)章节前文+全书阅读(替嫁燃婚:小祖宗嘴硬腰软)最新连载
  • 资助生把导盲犬做成火锅后,我家杀疯了!列表_资助生把导盲犬做成火锅后,我家杀疯了!(陈米雪波波)
  • 沈瑾钰林沐橙豪门废妻浴火复仇续集(豪门废妻浴火复仇)章节在线阅读最近章节
  • 明明图分手费,我怎么就入赘了?(顾池柳如烟),明明图分手费,我怎么就入赘了?

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

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