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
因此报告结果为unsync，对于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
相关文章：
spygalss cdc 检测的bug（二）
当allow_qualifier_merge设置为strict的时候，sg是要检查门的极性的。 如果qualifier和src经过与门汇聚，在同另一个src1信号或门汇聚，sg是报unsync的。 假设当qualifier为0时，0&&src||src1src1，src1无法被gat…...
集合论（ZFC）之 选择公理（Axiom of Choice）注解
直观感受（Intuition） 集合论（ZFC）中的 "C" 指的是选择公理（Axiom of Choice）中的"choice"。简单来说，对于任一非空集合 S，那么存在一个函数 f，选择出…...
JS：字符串操作
目录 1、 字符串分割 1、 字符串分割 var str "123,456,789"; console.log(str.split(,)); // ["123", "456", "789"]...
.NET 一款二进制文件转换Shellcode的工具
01阅读须知 此文所提供的信息只为网络安全人员对自己所负责的网站、服务器等（包括但不限于）进行检测或维护参考，未经授权请勿利用文章中的技术资料对任何计算机系统进行入侵操作。利用此文所提供的信息而造成的直接或间接后果和损失…...
【CSS】——基础入门常见操作
阿华代码，不是逆风，就是我疯 你们的点赞收藏是我前进最大的动力！！ 希望本文内容能够帮助到你！！ 目录 一：CSS引入 二：CSS对元素进行美化 1：style修饰 2：选…...
LuaJIT源码分析（五）词法分析
LuaJIT源码分析（五）词法分析 lua虽然是脚本语言，但在执行时，还是先将脚本编译成字节码，然后再由虚拟机解释执行。在编译脚本时，首先需要对源代码进行词法分析，把源代码分解为token流。lua的toke…...
005 匿名信
005 匿名信 题目描述 电视剧《分界线》里面有一个片段，男主为了向警察透露案件细节，且不暴露自己，于是将报刊上的字剪下来，剪拼成一封匿名信。现在有一名举报人，希望借鉴这种方式，使用英文报刊完成举报操…...
聊聊Web3D 发展趋势
随着 Web 技术的不断演进，Web3D 正逐渐成为各行业数字化的重要方向。Web3D 是指在网页中展示 3D 内容的技术集合。近年来，由于 WebGL、WebGPU 等技术的发展，3D 内容已经能够直接在浏览器中渲染，为用户提供更加沉浸、互动的体验。以…...
【数据结构与算法】LeetCode： 贪心算法
文章目录 LeetCode： 贪心算法买卖股票的最佳时机 （Hot100）买卖股票的最佳时机 II跳跃游戏 （Hot100）跳跃游戏 II（Hot100）划分字母区间 （Hot100）分发饼干K次取反后最大化的…...
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&…...
智能家居10G雷达感应开关模块，飞睿智能uA级别低功耗、超高灵敏度，瞬间响应快
在当今科技飞速发展的时代，智能家居已经逐渐成为人们生活中不可或缺的一部分。从智能灯光控制到智能家电的联动，每一个细节都在为我们的生活带来便利和舒适。而在众多智能家居产品中，10G 雷达感应开关模块以其独特的优势，正逐渐成…...
头歌——人工智能（机器学习 --- 决策树2）
文章目录 第5关：基尼系数代码 第6关：预剪枝与后剪枝代码 第7关：鸢尾花识别代码 第5关：基尼系数 基尼系数 在ID3算法中我们使用了信息增益来选择特征，信息增益大的优先选择。在C4.5算法中，采用了信息增益率…...
一七一、React性能优化方式
在 React 中进行性能优化可以通过多种手段来减少渲染次数、优化渲染效率并减少内存消耗。以下是常见的性能优化方法及示例： 1. shouldComponentUpdate shouldComponentUpdate 是类组件中的生命周期方法，它可以让组件在判断是否需要重新渲染时ÿ…...
编写dockerfile生成镜像，并且构建容器运行
编写dockerfile生成镜像，并且构建容器运行 目录 编写dockerfile生成镜像，并且构建容器运行 概述 一、dockerfile文件详解 Dockerfile的基本结构 Dockerfile的常用指令 二、构建过程 概述 随着微服务应用越来越多，大家需要尽快掌握dock…...
Java项目练习——学生管理系统
1. 整体结构 代码实现了基本的学生管理系统功能，包括登录、注册、忘记密码、添加、删除、修改和查询学生信息。 使用了ArrayList来存储用户和学生信息。 使用了Scanner类来处理用户输入。 2. 主要功能模块 登录 (logIn)：验证用户名和密码，…...
sqlserver、达梦、mysql的差异
差异项sqlserver达梦mysql单行注释---- 1、-- ，--后面带个空格 2、# 包裹对象名称，如表、表字段等 [tableName] "tableName"tableName表字段自增IDENTITY(1, 1)IDENTITY(1, 1)AUTO_INCREMENT二进制数据类型IMAGEIMAGE、BLOBBLOB 存储一个汉字需…...
Spring AOP（定义、使用场景、用法、3种事务、事务失效场景及解决办法、面试题）
目录 1. AOP定义？ 2.常见的AOP使用场景： 3.Spring AOP用法 3.1 Spring AOP中的几个核心概念 3.1.1 切面、切点、通知、连接点 3.1.2 切点表达式AspectJ 3.2 使用 Spring AOP 的步骤总结 3.2.1 添加依赖: 3.2.2 定义切面和切点（切点和…...
Flutter鸿蒙next 封装对话框详解
✅近期推荐：求职神器 https://bbs.csdn.net/topics/619384540 🔥欢迎大家订阅系列专栏：flutter_鸿蒙next 💬淼学派语录：只有不断的否认自己和肯定自己，才能走出弯曲不平的泥泞路，因为平坦的大路…...
【项目实战】通过LLaMaFactory+Qwen2-VL-2B微调一个多模态医疗大模型
前言 随着多模态大模型的发展，其不仅限于文字处理，更能够在图像、视频、音频方面进行识别与理解。医疗领域中，医生们往往需要对各种医学图像进行处理，以辅助诊断和治疗。如果将多模态大模型与图像诊断相结合，那么这会…...
SCSI驱动与 UFS 驱动交互概况
SCSI子系统概况 SCSI（Small Computer System Interface）子系统是 Linux 中的一个模块化框架，用于提供与存储设备的通用接口。通过 SCSI 子系统，可以支持不同类型的存储协议（如 UFS、SATA、SAS），…...
日语学习-日语知识点小记-构建基础-JLPT-N4阶段（33）：にする
日语学习-日语知识点小记-构建基础-JLPT-N4阶段（33）：にする 1、前言（1）情况说明（2）工程师的信仰2、知识点（1） にする1，接续：名词＋にする2，接续：疑问词＋にする3，（A）は（B）にする。（2）復習：（1）复习句子（2）ために ＆ ように（３）そう（４）にする3、…...
Appium+python自动化（十六）- ADB命令
简介 Android 调试桥(adb)是多种用途的工具，该工具可以帮助你你管理设备或模拟器 的状态。 adb ( Android Debug Bridge)是一个通用命令行工具，其允许您与模拟器实例或连接的 Android 设备进行通信。它可为各种设备操作提供便利，如安装和调试…...
《通信之道——从微积分到 5G》读书总结
第1章 绪 论 1.1 这是一本什么样的书 通信技术，说到底就是数学。 那些最基础、最本质的部分。 1.2 什么是通信 通信 发送方 接收方 承载信息的信号 解调出其中承载的信息 信息在发送方那里被加工成信号（调制） 把信息从信号中抽取出来&am…...
高危文件识别的常用算法：原理、应用与企业场景
高危文件识别的常用算法：原理、应用与企业场景 高危文件识别旨在检测可能导致安全威胁的文件，如包含恶意代码、敏感数据或欺诈内容的文档，在企业协同办公环境中（如Teams、Google Workspace）尤为重要。结合大模型技术&…...
C# 类和继承(抽象类)
抽象类 抽象类是指设计为被继承的类。抽象类只能被用作其他类的基类。 不能创建抽象类的实例。抽象类使用abstract修饰符声明。 抽象类可以包含抽象成员或普通的非抽象成员。抽象类的成员可以是抽象成员和普通带 实现的成员的任意组合。抽象类自己可以派生自另一个抽象类。例…...
JDK 17 新特性
#JDK 17 新特性 /**************** 文本块 *****************/ python/scala中早就支持，不稀奇 String json “”" { “name”: “Java”, “version”: 17 } “”"; /**************** Switch 语句 -> 表达式 *****************/ 挺好的ÿ…...
零基础在实践中学习网络安全-皮卡丘靶场（第九期-Unsafe Fileupload模块）（yakit方式）
本期内容并不是很难，相信大家会学的很愉快，当然对于有后端基础的朋友来说，本期内容更加容易了解，当然没有基础的也别担心，本期内容会详细解释有关内容 本期用到的软件：yakit（因为经过之前好多期…...
Go语言多线程问题
打印零与奇偶数（leetcode 1116） 方法1：使用互斥锁和条件变量 package mainimport ("fmt""sync" )type ZeroEvenOdd struct {n intzeroMutex sync.MutexevenMutex sync.MutexoddMutex sync.Mutexcurrent int…...
jmeter聚合报告中参数详解
sample、average、min、max、90%line、95%line,99%line、Error错误率、吞吐量Thoughput、KB/sec每秒传输的数据量 sample（样本数） 表示测试中发送的请求数量，即测试执行了多少次请求。 单位，以个或者次数表示。 示例：…...
LCTF液晶可调谐滤波器在多光谱相机捕捉无人机目标检测中的作用
中达瑞和自2005年成立以来，一直在光谱成像领域深度钻研和发展，始终致力于研发高性能、高可靠性的光谱成像相机，为科研院校提供更优的产品和服务。在《低空背景下无人机目标的光谱特征研究及目标检测应用》这篇论文中提到中达瑞和 LCTF 作为多…...