买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉哈尔滨工业大学(深圳);国微集团(深圳)有限公司申请的专利网表的分割方法、电路的仿真方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115994510B 。

龙图腾网通过国家知识产权局官网在2026-05-01发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310171554.7，技术领域涉及：G06F30/392；该发明授权网表的分割方法、电路的仿真方法是由黄侃;徐勇;李艳荣设计研发完成，并于2023-02-17向国家知识产权局提交的专利申请。

本网表的分割方法、电路的仿真方法在说明书摘要公布了：本发明公开了一种网表的分割方法、电路的仿真方法。其中网表的分割方法，包括：获取网表中所有的最小逻辑单元即节点以及它们的连线关系；基于硬件信息文件得到所有验证设备、验证设备的容量以及各验证设备之间的互联关系；将每一个节点与每一个验证设备的关系作为变量，并对所有变量进行条件约束；基于最小逻辑单元的连线关系以及每一个节点与每一个验证设备的关系得到每一条连线与每一个验证设备的关系；根据每一条连线与每一个验证设备的关系以及验证设备之间的互联关系构建目标分割函数；基于所有变量的条件约束通过求解器对目标分割函数进行求解；当求解器有解时，得到的求解器的输出为网表的分割结果。本发明兼容性更好且效率更高。

本发明授权网表的分割方法、电路的仿真方法在权利要求书中公布了：1.一种网表的分割方法，其特征在于，包括： 获取网表中所有的最小逻辑单元以及最小逻辑单元的连线关系，并将每一个最小逻辑单元作为一个节点； 基于硬件信息文件得到所有验证设备、验证设备的容量以及各验证设备之间的互联关系；所述各验证设备之间的互联关系采用设备互联矩阵表示，所述设备互联矩阵的每一个元素代表该元素所在行对应的验证设备与所在列对应的验证设备之间的互联信号线的数量； 将每一个节点与每一个验证设备的关系作为变量，并根据验证设备的限制对所有变量进行条件约束；所述每一个节点与每一个验证设备的关系采用节点设备关系矩阵表示，所述节点设备关系矩阵的每一个元素均为变量，所述变量的取值为0或1； 基于最小逻辑单元的连线关系以及每一个节点与每一个验证设备的关系得到每一条连线与每一个验证设备的关系；当所述最小逻辑单元的连线关系采用连线节点关系矩阵表示，所述每一个节点与每一个验证设备的关系采用节点设备关系矩阵表示时，通过将连线节点关系矩阵与节点设备关系矩阵相乘，得到的连线设备关系矩阵来表示每一条连线与每一个验证设备的关系； 根据每一条连线与每一个验证设备的关系以及验证设备之间的互联关系构建目标分割函数；所述目标分割函数为： ； 所述Cut表示网表跨验证设备的等效连线数量，d表示验证设备的序号，n表示连线序号，yd,n表示连线设备关系矩阵中的元素，Wd表示每一个设备的连线容量； 基于所有变量的条件约束通过求解器对目标分割函数进行求解； 当求解器有解时，得到的求解器的输出为网表的分割结果。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人哈尔滨工业大学(深圳);国微集团(深圳)有限公司，其通讯地址为：518000 广东省深圳市南山区桃源街道深圳大学城哈尔滨工业大学校区；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。