“陈巨光”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果4个，建议您升级VIP下载更多相关专利

[发明专利]电路版图的拆分验证方法、双重图形光刻方法、存储介质-CN202210944133.9有效
发明人： 陈巨光;林栋;陈杰;白耿;黄国勇;戴勇 -专利权人：深圳国微福芯技术有限公司
申请日： 2022-08-05 - 公布日： 2023-06-30 - 主分类号： G06F30/3947 文献下载
摘要：本发明公开了一种电路版图的拆分验证方法、双重图形光刻方法、存储介质，其中电路版图的拆分验证方法，包括：扫描解析电路版图得到电路版图中的所有图形并进行预处理；将预处理后的所有图形插入到网格中，得到包含所有图形的图形列表，以及存储网格地址以及网格内的图形的网格索引；对图形列表进行遍历，在遍历的过程中根据掩膜分配规则将未分配掩膜的图形分配至双层掩膜当中的对应的掩膜上，同时根据间距规则查找已分配掩膜的图形之间是否存在相同掩模间距违规的情况，若存在，则将间距违规的两个图形记录为一对冲突节点；查找每一对冲突节点的冲突环，并报告所有冲突环。本发明可以为优化电路版图的设计提供有力的技术支撑。
电路版图拆分验证方法双重图形光刻存储介质

[发明专利]稀疏矩阵的存储方法、向量计算方法、存储介质-CN202210967032.3在审
发明人：陈杰;冯文龙;陈巨光;白耿;黄国勇;戴勇 -专利权人：深圳国微福芯技术有限公司
申请日： 2022-08-11 - 公布日： 2022-11-18 - 主分类号： G06F17/16 文献下载
摘要：本发明公开了一种稀疏矩阵的存储方法、向量计算方法、存储介质。其中稀疏矩阵的存储方法，包括：步骤1，获取待存储矩阵的基本信息；步骤2，将待存储矩阵通过当前的分块进行划分，计算对应的存储效率；步骤3，增大分块的尺寸，将待存储矩阵通过当前的分块进行分割，计算对应的存储效率；步骤4，比较当前的存储效率与上一次的存储效率，若存储效率有提升，则返回步骤3；若存储效率不变或下降时，将当前的分块对应的上一次的分块的尺寸作为最佳尺寸，继续下一步骤；步骤5，将待存储矩阵通过最佳尺寸的分块进行划分，为每一个对应的矩阵区域选择其对应的最佳的存储格式进行存储。本发明使得所有不同分布的稀疏矩阵均可以得到稳定的压缩性能。
稀疏矩阵存储方法向量计算方法介质

[发明专利]多边形的直骨架生成方法、图案匹配方法、存储介质-CN202210893607.1在审
发明人：陈杰;张健;陈巨光;白耿;黄国勇;戴勇 -专利权人：深圳国微福芯技术有限公司
申请日： 2022-07-27 - 公布日： 2022-10-18 - 主分类号： G06F30/398 文献下载
摘要：本发明公开了一种曼哈顿版图的多边形的直骨架生成方法、图案匹配方法、存储介质。其中曼哈顿版图的多边形的直骨架生成方法，包括：对多边形的轮廓节点对应的子节点进行排序；从未连接的节点中，选择到对应公共边的距离最短的任意子节点，将该子节点对应的轮廓节点作为最先传播到的节点；从最先传播到的节点开始进行传播，在传播过程中，依据节点之间距离最短的原则选择下一个节点，并生成对应的直骨架，直至当前的连接关系中未连接的节点为3个时，进行最后一次传播后退出本轮角平分线传播；判断是否还有未连接的节点，若有，则继续选择对应的未连接的节点进行传播，直至所有的节点都被连接。本发明使得简单波前传播法的适用范围更广，且更直观。
多边形骨架生成方法图案匹配存储介质

[发明专利]一种用于等价性验证的CNF生成方法及系统-CN202011091880.X在审
发明人：刘美华;陈巨光;张岩;金玉丰;黄国勇 -专利权人：国微集团（深圳）有限公司
申请日： 2020-10-13 - 公布日： 2021-01-22 - 主分类号： G06F30/3323 文献下载
摘要：本发明公开了一种用于等价性验证的CNF生成方法及系统，所述方法包括：接收参考电路和与参考电路相应的实现电路，将所述参考电路和所述实现电路相对应的两个比较点分别对应的逻辑锥的输出加异或门进行合并，对合并后的逻辑锥的每个节点进行编号；将合并后的逻辑锥的锥底编号与CNF公式进行绑定，从锥底开始迭代，构建合并后的逻辑锥的CNF表达式；将得到的CNF表达式导入miniSat求解器中进行验证，如果验证结果是不满足,则表示所述参考电路和所述实现电路相对应的两个比较点分别对应的逻辑锥是等价的，如果验证结果是满足，则表示不等价。采用本发明的技术方案，可直接用于等价性验证。
一种用于等价验证 cnf 生成方法系统