本发明公开了一种物理验证分布式方法，包括：筛选出版图中的稀疏层，并将剩余的层定义为非稀疏层；对非稀疏层进行切分，得到多个分割块；检查每一层的约束规则，当约束规则为切分后的分割块的局部规则，则为该分割块增加临界保护区域，当约束规则为切分后...

本发明提供了一种集成电路物理验证的密度计算方法及系统，包括：对密度的计算流程进行梳理，得到标准化的密度计算流程；为每一个步骤中可能出现的约束条件定义对应的选项，并采用相应的指令来表达所述选项；读取用户输入的指令集，根据用户设置的约束条件...

本发明公开了一种RTL电路中有限状态机不同编码间的转换方法及转换电路，所述方法包括以下步骤：确定独热编码的输入/输出端数量；确定对应的二进制编码的编码位数；将输入的独热编码经第一译码器组编译为二进制编码；将二进制编码经D型触发器组传送至...

本发明公开了一种平行投影长度计算方法及计算机存储介质，所述平行投影长度计算方法用于计算第一待测图形与第二待测图形之间的平行投影长度，包括：获取所述第一待测图形与所述第二待测图形的外轮廓，并在所述第一待测图形与所述第二待测图形之间的公共区...

本发明公开了一种在SMT求解器中基于ite术语的优化方法，优化改良了SMT问题求解过程中的预处理和分支启发策略；在预处理的优化方法中缩小了SMT问题的规模，从而减少求解过程中的子句数量、决策次数、冲突次数等；在对分支启发策略的优化方法中...

本发明公开了一种RTL逻辑综合中的存储器的优化方法，包括：步骤1，基于存储器的端口信号对待优化的存储器进行定义；步骤2，对电路设计中的存储器实例进行遍历，查找与已定义的存储器的端口信号一致的存储器实例；步骤3，针对每一个找到的存储器实例...

本发明公开了一种基于LBD和Berkmin策略删除学习子句的方法，采用混合删除策略，首先，在满足LBD删除策略的删除条件时，按照LBD值执行删除操作；然后，在满足Berkmin删除策略的删除条件时，按照活性值执行Berkmin删除操作。...

本发明公开了一种模型验证中减少计算引擎调用次数的空满足性检查方法，包括以下步骤：在模型验证工具中输入待验证的设计和属性；提取蕴含表达式的先行算子和后续算子；判断先行算子是否为真，若先行算子为真则转向步骤四；若先行算子为否，则待验证属性为...

本发明公开了一种RTL逻辑综合中的重输入优化方法、存储介质，其中RTL逻辑综合中的重输入优化方法包括：预先准备可优化的元件和/或元件组合以及对应的优化策略；将待优化的电路设计中的元件筛选出来，并通过元件端口间的信号建立元件之间的连接关系...

本发明公开了一种PUF结构，包括至少一个PUF单元，所述PUF单元包括：n1个输入激励端口；n2个输出响应端口；至少x个数据选择器，所述数据选择器具有m个输入端和一个输出端，所述m，n1，n2，x大于等于4，n1≥n2；至少两个控制信号...

本发明公开了一种基于FPGA原型验证的等价性验证方法及系统，所述方法包括：步骤S1:接收RTL、门级网表和FPGA网表对应的电路模型C

本发明公开了一种电路的划分方法、等价性验证方法、存储介质。其中电路的划分方法，包括：先对参考电路与实现电路的组合逻辑进行等价性验证，得到匹配失败的寄存器和/或组合逻辑等价性验证不通过的寄存器；将得到的匹配失败的寄存器和/或组合逻辑等价性...

本发明公开了一种元器件之间连线的绘制方法、存储介质。其中元器件之间连线的绘制方法，包括：当捕捉到鼠标针对当前连线第一次点击画板时，查找离鼠标的点击位置最近的画板网格点，将该画板网格点作为当前连线的起始点；在鼠标移动的过程中，获取鼠标所在...

本发明公开了一种电路的优化方法、电路、存储介质。其中电路的优化方法，包括：预先准备优化模块模板，以及每一个优化模块模板对应的优化策略；读取电路并筛选出电路中的选择器逻辑树；将筛选出来的选择器逻辑树与优化模块模板进行对比，当所述选择器逻辑...

本发明公开了一种时序例外约束及时序约束的传播方法、处理方法、介质。其中时序例外约束的传播方法，包括：抓取待替换的时序例外约束的引脚或端口信息；分析待替换的时序例外约束的引脚或端口相对实例所处的位置；若待替换的时序例外约束存在某个选项内的...

本发明公开了一种RTL级电路中对冗余逻辑单元的优化方法及系统，所述方法包括：根据不同的端口属性对RTL电路中的各种逻辑单元的类型进行定义；遍历RTL电路，查找符合自定义的逻辑单元类型的逻辑单元；判断符合自定义的逻辑单元类型的逻辑单元是否...

本发明公开了一种基于BDD等价性验证的割集处理方法及系统，所述方法包括：输入两个待验证的参考电路和实现电路，通过比较点的名字匹配来获得两个电路中的比较点并依次对两个电路中相应的比较点进行等价性验证；对某两个比较点的进行等价性验证时，首先...

本发明公开了一种基于深度学习的信号映射方法及计算机存储介质，所述方法包括：采用验证综合工具的信号名映射数据作为训练样本对机器翻译深度学习模型进行训练，得到信号预测模型，所述信号名映射数据包括输入至验证综合工具的源信号名和经过综合工具映射...

本发明公开了一种针对电路分割的等价性验证方法及处理方法、存储介质。其中等价性验证处理方法，包括：收集原始电路的第一层的所有子模块实例，并放入到第一集合中，同时仅收集拼接电路第一层的子模块实例，并放入到第二集合中；通过名称对第一集合的子模...

本发明公开了一种集成电路木马检测方法及系统，所述方法包括：提取待测芯片的集成电路版图，对其进行逆向工程并生成门级网表：将逆向工程生成的门级网表与待测芯片原始设计的门级网表进行等价性验证，根据验证结果来判断待测芯片是否被插入了木马电路。采...