spygalss cdc 检测的bug（二）

ops/2024/10/30 17:22:55/

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

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

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

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

因此报告结果为unsync，对于src1，始终无法被gate

650a78542a4b4f1bb50327d0e1e9cd60.png

36cfda11d44147b0b1f22fd2166474f5.png

另外构造mux两个输入端均为src用例。

d1c54f43f7e040fb8f07e7e13ac8896d.png

这个是典型的unsync reason。

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

5460be53c546416da4386ae40dc55cea.png

sg却报了同步。

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

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

356bc61873354d8f880fc22ff9f066b8.png

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

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

 


http://www.ppmy.cn/ops/129641.html

相关文章

HCIP--2 TCP有关笔记

HCIP--2 TCP有关笔记

学习目标： 目录 学习目标： 学习内容： TCP协议 七层结构 END.......... 问题：TCP/IP 的四层协议 问题：网络的七层结构及其作用 问题：协议名称是什么？ TELNET---远程登陆系统 HTTP---超文本传输协…
阅读更多...
int main(int argc,char* argv[])详解

int main(int argc,char* argv[])详解

#include <stdio.h> //argc 是指命令行输入参数的个数; //argv[]存储了所有的命令行参数, //arg[0]通常指向程序中的可执行文件的文件名。在有些版本的编译器中还包括程序文件所在的路径。 //如:"d:\Production\Software\VC_2005_Test\Win32控制台应用程序\Vc_T…
阅读更多...
企业数据高效集成案例：钉钉到MySQL的数据同步

企业数据高效集成案例：钉钉到MySQL的数据同步

钉钉数据集成到MySQL的技术案例分享 在企业信息化建设中&#xff0c;数据的高效集成和管理是至关重要的一环。本文将详细介绍一个实际运行的系统对接集成案例——“品类即时报表集成方案-月度目标表v2更新”&#xff0c;该方案实现了从钉钉获取数据并集成到MySQL数据库的全过程…
阅读更多...
《近似线性可分支持向量机的原理推导》 对偶问题 公式解析

《近似线性可分支持向量机的原理推导》 对偶问题 公式解析

本文是将文章《近似线性可分支持向量机的原理推导》中的公式单独拿出来做一个详细的解析&#xff0c;便于初学者更好的理解。 公式 9-40 解释&#xff1a; min ⁡ α 1 2 ∑ i 1 N ∑ j 1 N α i α j y i y j ( x i ⋅ x j ) − ∑ i 1 N α i \min_{\alpha} \quad \frac{1…
阅读更多...
C++_STL_xx_番外01_关于STL的总结(常见容器的总结；关联式容器分类及特点；二叉树、二叉搜索树、AVL树(平衡二叉搜索树)、B树、红黑树)

C++_STL_xx_番外01_关于STL的总结(常见容器的总结；关联式容器分类及特点；二叉树、二叉搜索树、AVL树(平衡二叉搜索树)、B树、红黑树)

文章目录 1. 常用容器总结2. 关联式容器分类3. 二叉树、二叉搜索树、AVL树、B树、红黑树 1. 常用容器总结 针对常用容器的一些总结&#xff1a; 2. 关联式容器分类 关联式容器分为两大类&#xff1a; 基于红黑树的set和map&#xff1b;基于hash表的unorder_set和unorder_ma…
阅读更多...
MATLAB人脸考勤系统

MATLAB人脸考勤系统

课题介绍 该课题为基于MATLAB平台的人脸识别系统。传统的人脸识别都是直接人头的比对&#xff0c;现实意义不大&#xff0c;没有一定的新意。该课题识别原理为&#xff1a;先采集待识别人员的人脸&#xff0c;进行训练&#xff0c;得到人脸特征值。测试的时候&#xff0c;读取…
阅读更多...
【Rust笔记】Rocket实现自定义的Responder

【Rust笔记】Rocket实现自定义的Responder

在Java项目中&#xff0c;我们通常会将响应包装一层来实现统一响应格式&#xff0c;在Rocket中&#xff0c;我们也可以通过实现Responder来返回统一的响应。 res.rs use crate::api::err::Error; use rocket::response::Responder; use rocket::serde::json::json; use rocke…
阅读更多...
AI与低代码的碰撞：企业数字化转型的新引擎

AI与低代码的碰撞：企业数字化转型的新引擎

引言 在当今的商业环境中&#xff0c;企业数字化转型已从选择题变成了必答题。面对日益复杂的市场竞争和不断变化的客户需求&#xff0c;传统的开发模式常常显得力不从心——开发周期冗长、技术门槛高、成本居高不下&#xff0c;企业很难快速响应市场变化。而在这种背景下&…
阅读更多...
最新文章

Copyright @ 2022~2023