本发明公开了一种通用电路逻辑图布局方法，包括：步骤S1：通过电路分析模块，获取待优化电路的全部电路图节点的相对位置、以及电路图节点与输出端口和输入端口的连接关系；步骤S2：根据电路图节点与输入端口和输入端口的连接关系，对每个电路图节点进...

本发明公开了一种用于EDA电路原理图显示的自动布线方法，包括步骤S1：获取元器件的连接关系及坐标集合，为元器件划分层级通道；步骤S2：对连接关系及坐标集合进行排序，找到最远的两点确定总线的横向路径，对坐标点分类确定总线的纵向范围，确定互...

本发明公开了一种时钟域中qualifier表达式的提取方法，包括：步骤1，提取集成电路的时钟域交叉时的数据路径；步骤2，提取qualifier表达式；步骤3，对于每条所述数据路径，生成一个stable断言，确保当qualifier表达式...

本发明公开了一种集成电路的形式验证方法，包括：获取待验证的属性，并依次分析每一个属性；若不存在已分析的属性，或者当前属性与已分析的属性的无关联关系，则直接为当前属性生成其对应的影响锥，并记录信号集；若当前属性与已分析的属性互为关联属性，...

本发明公开了一种集成电路的死锁检查方法，包括：提取有限状态机；根据每一个状态的可达到的状态生成安全属性，并根据每一个状态转移条件生成活性属性；将所有状态之间存在的转移路径进行标记，安全属性和活性属性通过的转移路径标记为第一标记；遍历转移...

本发明公开了一种异步复位引发的安全漏洞的检测方法，包括：提取电路设计的安全属性的控制流图，提取所有条件形成含有第一条件的第一条件列表；针对每一条安全属性，创建对应的初始值为空的路径；遍历电路设计，查找可能违反该安全属性的always块进...

本发明公开了一种电路设计的安全漏洞的检测方法，包括：提取电路设计的安全属性的控制流图，提取所有条件形成含有第一条件的第一条件列表；针对每一条安全属性，创建对应的初始值为空的路径；遍历电路设计，查找可能违反该安全属性的always块进行路...

本发明公开了一种可降低对光刻机性能要求的版图掩膜处理方法、光刻方法。其中可降低对光刻机最小分辨率性能要求的版图掩膜处理方法，包括：步骤1，对设计版图中的几何图形的关键尺寸以及分布特征进行分析，并从中提取出适合进行DSA工艺处理的局部版图...

本发明公开了一种用于DSA工艺生成先导图形OPC图形库的方法，包括：步骤1，预先设定版图的几何图形的几何特征的DSA工艺规则；步骤2，从集成电路的原始版图中搜寻几何特征符合所述DSA工艺规则的所有DSA目标图形；步骤3，为DSA目标图形...

本申请实施例公开了一种控制冗余图形填充密度的方法、装置、存储介质及终端设备，涉及芯片设计领域。本申请通过对版图区域划分窗格，有效控制窗格内部密度梯度，从而控制整体图形密度梯度。通过设置填充密度最大值，控制窗格内部的填充最大密度，避免多步...

本申请实施例公开了一种数据编码方法、装置、存储介质及发送节点，该方法不仅可以应用于通信领域也可以应用于数据存储领域。应用于通信领域可以节省网络带宽；应用于数据存储领域可以节省存储空间。基于待发送的目标数据中字符串数量和数字中前导0字节的...

本发明公开了一种全局多边形的处理方法、版图的并行加速处理方法。其中全局多边形的处理方法，包括：根据全局多边形的形状将版图中的全局多边形进行分类，所述分类包括标准多边形、复杂多边形当中的至少一种；若存在复杂多边形，进一步将复杂多边形分解为...

本发明公开了一种基于寄生参数分析的模拟电路良率分析方法，整合寄生参数，对参数空间进行降维；采用拉丁超立方采样产生初始样本集；利用初始样本集，训练得到低精度高斯过程替代模型；采用并行耦合马尔可夫链蒙特卡洛算法产生服从采样分布的样本，利用采...

本发明公开了一种基于图形变形操作的分布式开路关键面积提取方法，包括S1提取版图文件中版图上多边形的几何信息；S2将版图划分为N*M个子区域，并计算子区域中平均多边形数量NP；S3将子区域边界扩大H；S4判断所述子区域多边形数量是否大于N...

本发明公开了一种标定模型的优化方法，用于光刻模型的参数标定，所述方法采用智能优化算法和梯度优化相结合的策略，首先设计出针对模型的参数空间的初值筛选方法，并设计出对应的筛选准则，从而将优化过程的参数范围降低到合适的范围，以得到适当的初值条...

本发明公开了一种存储器故障注入与诊断电路及诊断方法，用于存储器模拟故障注入和存储器故障诊断，包括故障注入模块、故障检测模块、故障信息捕获模块，配置启动故障注入，对其他未注入故障的地址单元不产生任何影响，故障行为模拟逼真，当到达故障注入地...

本发明公开了一种基于GPU混合集群的模型任务处理系统和资源调度方法，模型任务管理子系统接收到用户输入的模型任务后，任务队列管理子系统将其纳入任务队列并为其分配所需的计算资源，并将其调度至相应的GPU节点上运行，在任务运行过程中，计算资源...

本发明公开了一种基于高斯过程替代模型的良率分析方法，采用拉丁超立方采样选取初始样本点；对深度高斯过程模型进行训练；通过吉布斯采样对高斯过程模型的超参数求解，得到低精度的深度高斯过程模型；利用主动学习从样本空间中选择合适的样本加入模型训练...

本发明公开了一种基于BIN数据结构的分布式关键面积提取方法，包括：S1提取版图文件中版图上多边形的几何信息；S2分割成N*M个版图子区域；S3在每一个版图子区域内建立BIN数据结构；S4按照用于指定关键面积搜索阈值搜索可能出现与之短路的...

本发明公开了一种基于MISR的改进型ROM测试压缩电路，地址生成模块与待测ROM模块连接，待测ROM模块与过滤模块连接，过滤模块与标准响应模块分别连接至数据选择模块，数据选择模块通过与门连接至数据压缩模块。本发明能够改进现有技术的不足，...