当前位置： 首页 > news >正文

spygalss cdc 检测的bug（二）

news 文章来源：https://blog.csdn.net/weixin_47349046/article/details/143245406 2025/2/6 8:53:30

当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

 

相关文章：

spygalss cdc 检测的bug（二）

当allow_qualifier_merge设置为strict的时候，sg是要检查门的极性的。 如果qualifier和src经过与门汇聚，在同另一个src1信号或门汇聚，sg是报unsync的。 假设当qualifier为0时，0&&src||src1src1，src1无法被gat…...

编程日记 2024/10/31 10:53:10

集合论（ZFC）之 选择公理（Axiom of Choice）注解

直观感受（Intuition） 集合论（ZFC）中的 "C" 指的是选择公理（Axiom of Choice）中的"choice"。简单来说，对于任一非空集合 S，那么存在一个函数 f，选择出…...

编程日记 2024/10/31 10:52:09

JS：字符串操作

目录 1、 字符串分割 1、 字符串分割 var str "123,456,789"; console.log(str.split(,)); // ["123", "456", "789"]...

编程日记 2024/10/31 10:51:08

.NET 一款二进制文件转换Shellcode的工具

01阅读须知 此文所提供的信息只为网络安全人员对自己所负责的网站、服务器等（包括但不限于）进行检测或维护参考，未经授权请勿利用文章中的技术资料对任何计算机系统进行入侵操作。利用此文所提供的信息而造成的直接或间接后果和损失&#xf…...

编程日记 2024/10/31 10:48:04

【CSS】——基础入门常见操作

阿华代码，不是逆风，就是我疯 你们的点赞收藏是我前进最大的动力！！ 希望本文内容能够帮助到你！！ 目录 一：CSS引入 二：CSS对元素进行美化 1：style修饰 2：选…...

编程日记 2024/10/31 10:47:02

LuaJIT源码分析（五）词法分析

LuaJIT源码分析（五）词法分析 lua虽然是脚本语言，但在执行时，还是先将脚本编译成字节码，然后再由虚拟机解释执行。在编译脚本时，首先需要对源代码进行词法分析，把源代码分解为token流。lua的toke…...

编程日记 2024/10/31 10:43:58

005 匿名信

005 匿名信 题目描述 电视剧《分界线》里面有一个片段，男主为了向警察透露案件细节，且不暴露自己，于是将报刊上的字剪下来，剪拼成一封匿名信。现在有一名举报人，希望借鉴这种方式，使用英文报刊完成举报操…...

编程日记 2024/10/31 10:41:54

聊聊Web3D 发展趋势

随着 Web 技术的不断演进，Web3D 正逐渐成为各行业数字化的重要方向。Web3D 是指在网页中展示 3D 内容的技术集合。近年来，由于 WebGL、WebGPU 等技术的发展，3D 内容已经能够直接在浏览器中渲染，为用户提供更加沉浸、互动的体验。以…...

编程日记 2024/10/31 10:37:40

【数据结构与算法】LeetCode： 贪心算法

文章目录 LeetCode： 贪心算法买卖股票的最佳时机 （Hot100）买卖股票的最佳时机 II跳跃游戏 （Hot100）跳跃游戏 II（Hot100）划分字母区间 （Hot100）分发饼干K次取反后最大化的…...

编程日记 2024/10/31 10:35:36

Date 日期类的实现（c++）

本文用c实现日期类 将会实现以下函数 bool operator<(const Date& d);bool operator<(const Date& d);bool operator>(const Date& d);bool operator>(const Date& d);bool operator(const Date& d);bool operator!(const Date& d);Date&…...

编程日记 2024/10/31 10:34:32

智能家居10G雷达感应开关模块，飞睿智能uA级别低功耗、超高灵敏度，瞬间响应快

在当今科技飞速发展的时代&#xff0c;智能家居已经逐渐成为人们生活中不可或缺的一部分。从智能灯光控制到智能家电的联动&#xff0c;每一个细节都在为我们的生活带来便利和舒适。而在众多智能家居产品中&#xff0c;10G 雷达感应开关模块以其独特的优势&#xff0c;正逐渐成…...

编程日记 2024/10/31 10:33:25

头歌——人工智能（机器学习 --- 决策树2）

文章目录 第5关&#xff1a;基尼系数代码 第6关&#xff1a;预剪枝与后剪枝代码 第7关&#xff1a;鸢尾花识别代码 第5关&#xff1a;基尼系数 基尼系数 在ID3算法中我们使用了信息增益来选择特征&#xff0c;信息增益大的优先选择。在C4.5算法中&#xff0c;采用了信息增益率…...

编程日记 2024/10/31 10:30:19

一七一、React性能优化方式

在 React 中进行性能优化可以通过多种手段来减少渲染次数、优化渲染效率并减少内存消耗。以下是常见的性能优化方法及示例&#xff1a; 1. shouldComponentUpdate shouldComponentUpdate 是类组件中的生命周期方法&#xff0c;它可以让组件在判断是否需要重新渲染时&#xff…...

编程日记 2024/10/31 10:28:16

编写dockerfile生成镜像，并且构建容器运行

编写dockerfile生成镜像&#xff0c;并且构建容器运行 目录 编写dockerfile生成镜像&#xff0c;并且构建容器运行 概述 一、dockerfile文件详解 Dockerfile的基本结构 Dockerfile的常用指令 二、构建过程 概述 随着微服务应用越来越多&#xff0c;大家需要尽快掌握dock…...

编程日记 2024/10/31 10:27:15

Java项目练习——学生管理系统

1. 整体结构 代码实现了基本的学生管理系统功能&#xff0c;包括登录、注册、忘记密码、添加、删除、修改和查询学生信息。 使用了ArrayList来存储用户和学生信息。 使用了Scanner类来处理用户输入。 2. 主要功能模块 登录 (logIn)&#xff1a;验证用户名和密码&#xff0c;…...

编程日记 2024/10/31 10:24:11

sqlserver、达梦、mysql的差异

差异项sqlserver达梦mysql单行注释---- 1、-- &#xff0c;--后面带个空格 2、# 包裹对象名称&#xff0c;如表、表字段等 [tableName] "tableName"tableName表字段自增IDENTITY(1, 1)IDENTITY(1, 1)AUTO_INCREMENT二进制数据类型IMAGEIMAGE、BLOBBLOB 存储一个汉字需…...

编程日记 2024/10/31 10:21:07

Spring AOP（定义、使用场景、用法、3种事务、事务失效场景及解决办法、面试题）

目录 1. AOP定义&#xff1f; 2.常见的AOP使用场景&#xff1a; 3.Spring AOP用法 3.1 Spring AOP中的几个核心概念 3.1.1 切面、切点、通知、连接点 3.1.2 切点表达式AspectJ 3.2 使用 Spring AOP 的步骤总结 3.2.1 添加依赖: 3.2.2 定义切面和切点&#xff08;切点和…...

编程日记 2024/10/31 10:18:05

Flutter鸿蒙next 封装对话框详解

✅近期推荐&#xff1a;求职神器 https://bbs.csdn.net/topics/619384540 &#x1f525;欢迎大家订阅系列专栏&#xff1a;flutter_鸿蒙next &#x1f4ac;淼学派语录&#xff1a;只有不断的否认自己和肯定自己&#xff0c;才能走出弯曲不平的泥泞路&#xff0c;因为平坦的大路…...

编程日记 2024/10/31 10:12:58

【项目实战】通过LLaMaFactory+Qwen2-VL-2B微调一个多模态医疗大模型

前言 随着多模态大模型的发展&#xff0c;其不仅限于文字处理&#xff0c;更能够在图像、视频、音频方面进行识别与理解。医疗领域中&#xff0c;医生们往往需要对各种医学图像进行处理&#xff0c;以辅助诊断和治疗。如果将多模态大模型与图像诊断相结合&#xff0c;那么这会…...

编程日记 2024/10/31 10:10:56

SCSI驱动与 UFS 驱动交互概况

SCSI子系统概况 SCSI&#xff08;Small Computer System Interface&#xff09;子系统是 Linux 中的一个模块化框架&#xff0c;用于提供与存储设备的通用接口。通过 SCSI 子系统&#xff0c;可以支持不同类型的存储协议&#xff08;如 UFS、SATA、SAS&#xff09;&#xff0c…...

编程日记 2024/10/31 10:09:54

软件工程实践项目：人事管理系统

一、项目的需求说明 通过移动设备登录app提供简单、方便的操作。根据公司原来的考勤管理制度&#xff0c;为公司不同管理层次提供相应的权限功能。通过app上面的各种标准操作&#xff0c;考勤管理无纸化的实现&#xff0c;使公司的考勤管理更加科学规范&#xff0c;从而节省考…...

编程日记 2024/10/31 10:08:53

不使用三方软件，win系统下禁止单个应用联网能力的详细操作教程

本篇文章主要讲解&#xff0c;在win系统环境下&#xff0c;禁止某个应用联网能力的详细操作教程&#xff0c;通过本教程您可以快速掌握自定义对单个程序联网能力的限制和禁止。 作者&#xff1a;任聪聪 日期&#xff1a;2024年10月30日 步骤一、按下win按键&#xff08;四个小方…...

编程日记 2024/10/31 10:07:52

近似线性可分支持向量机的原理推导

近似线性可分的意思是训练集中大部分实例点是线性可分的&#xff0c;只是一些特殊实例点的存在使得这种数据集不适用于直接使用线性可分支持向量机进行处理&#xff0c;但也没有到完全线性不可分的程度。所以近似线性可分支持向量机问题的关键就在于这些少数的特殊点。 相较于…...

编程日记 2024/10/31 9:57:41

Golang开发环境

Golang开发环境搭建 Go 语言开发包 国外&#xff1a;https://golang.org/dl/ 国内(推荐)&#xff1a; https://golang.google.cn/dl/ 编辑器 Golang:https://www.jetbrains.com/go/ Visual Studio Code: https://code.visualstudio.com/ 搭建 Go 语言开发环境&#xff0c;需要…...

编程日记 2024/10/31 9:56:40

测试华为GaussDB(DWS)数仓，并通过APISQL快速将（表、视图、存储过程）发布为API

华为数据仓库服务 数据仓库服务&#xff08;Data Warehouse Service&#xff0c;简称DWS&#xff09;是一种基于公有云基础架构和平台的在线数据处理数据库&#xff0c;提供即开即用、可扩展且完全托管的分析型数据库服务。DWS是基于华为融合数据仓库GaussDB产品的云原生服务&a…...

编程日记 2024/10/31 9:52:36

使用GetX实现GetPage中间件

前言 GetX 中间件&#xff08;Middleware&#xff09;是 GetX 框架中的一种机制&#xff0c;用于在页面导航时对用户进行权限控制、数据预加载、页面访问条件设置等。通过使用中间件&#xff0c;可以有效地控制用户的访问流程&#xff0c;并在适当条件下引导用户到所需页面。 这…...

编程日记 2024/10/31 9:50:34

Navicat 17 功能简介 | SQL 预览

Navicat 17 功能简介 | SQL 预览 随着 17 版本的发布&#xff0c;Navicat 也带来了众多的新特性&#xff0c;包括兼容更多数据库、全新的模型设计、可视化智能 BI、智能数据分析、可视化查询解释、高质量数据字典、增强用户体验、扩展MongoDB 功能、轻松固定查询结果、便捷URI …...

编程日记 2024/10/31 9:49:33

ubuntu、Debian离线部署gitlab

一、软件包下载 gitlab安装包下载链接 ubuntu&#xff1a; ubuntu/focal 适用于 ubuntu20系列 ubuntu/bionic 适用于 ubuntu18 系列 Debian&#xff1a; debian/buster 适用于 Debian10系列 debian/bullseye 适用于 Debian11、12系列 二、安装gitlab ubuntu需要安装一些环境…...

编程日记 2024/10/31 9:46:28

数据库编程 SQLITE3 Linux环境

永久存储程序数据有两种方式&#xff1a; 用文件存储用数据库存储 对于多条记录的存储而言&#xff0c;采用文件时&#xff0c;插入、删除、查找的效率都会很差&#xff0c;为了提高这些操作的效率&#xff0c;有计算机科学家设计出了数据库存储方式 一、数据库 数据库的基本…...

编程日记 2024/10/31 9:45:27

独孤思维：总有一双眼睛默默观察你做副业

01 独孤昨天在陪伴群&#xff0c;分享了近期小白做副业的一些困扰。 并且以自己经历作为案例&#xff0c;分享了一些经验和方法。 最后顺势推出xx博主的关于365条赚钱信息小报童专栏。 订阅后&#xff0c;可以开拓副业赚钱思路&#xff0c;避免走一些弯路。 甚至于&#x…...

编程日记 2024/10/31 9:44:26

做网站和优化共多少钱?/seo视频

# Celery ## 1.什么是Celery Celery是一个简单、灵活且可靠的&#xff0c;处理大量消息的分布式系统 专注于实时处理的异步任务队列 同时也支持任务调度 ### Celery架构 ![20150314100608_187](C:\Users\Administrator\Desktop\celery和hystack\20150314100608_187.png) Celery…...

编程日记 2025/2/6 6:18:30

建筑网建设通网站作用是什么/互联网服务平台

这期做了个可能有用的小工具&#xff0c;一般论文中热图很少给出数据&#xff0c;于是就想写个小工具通过热图上的颜色估计出数据值来&#xff0c;目前写了个初版的工具分享给大家&#xff01; 工具函数 由于只是初版&#xff0c;要手动改的地方还是不少的&#xff0c;要设置…...

编程日记 2025/2/6 4:16:44

做企业网站一般多少钱/教程推广优化网站排名

每周一、三、五&#xff0c;与您不见不散&#xff01;随着2018年的结束&#xff0c;我们将回顾排名前五的最受读者欢迎的文章。今天分享的第一篇文章&#xff0c;将帮助那些在容器中运行 Java 虚拟机(JVM)时遇到内存和 CPU 大小调整/使用困难的人&#xff0c;本文将解释如何在 …...

编程日记 2025/2/6 4:03:28

来广营做网站/个人网页制作教程

<a-form-itemlabel"设备版本号&#xff1a;" ><a-inputplaceholder"请输入设备版本号"v-decorator"[versionCode,{ rules: [{ required: true, pattern: /^[A-Fa-f0-9]{10}$/, message: 请输入十位正确格式的设备版本号如&#xff1a;000000…...

编程日记 2025/2/6 3:33:57

网站建设的会计分录/百度知道登录

2019-01-10 更新&#xff0c;对部分文字进行解释便于理解 互联网的深入发展产生了严重的信息过载&#xff0c;如果不采取一定手段&#xff0c;用户很难从如此多的信息流中找到对自己有价值的信息。解决信息过载&#xff1a;1.搜索&#xff0c;用户有明确的信息需求意图&#x…...

编程日记 2025/2/6 2:41:18

wordpress修改背景/推广页面

20172330 2017-2018-1 《Java程序设计》第三周学习总结 教材学习内容总结 这一章的主要内容是关于类与对象&#xff0c;通过对String类&#xff0c;Random类&#xff0c;Math类等一系列道德具体讲解与应用&#xff0c;让我们对创建对象有了更深的了解。 同时也对格式化输出进行…...

编程日记 2025/2/5 20:33:46