- 专利标题: 网表缩减方法、时序验证方法、电子设备及存储介质
-
申请号: CN202311142700.X申请日: 2023-09-06
-
公开(公告)号: CN116882329B公开(公告)日: 2023-12-19
- 发明人: 夏澳
- 申请人: 杭州行芯科技有限公司
- 申请人地址: 浙江省杭州市滨江区西兴街道丹枫路399号3号楼11层
- 专利权人: 杭州行芯科技有限公司
- 当前专利权人: 杭州行芯科技有限公司
- 当前专利权人地址: 浙江省杭州市滨江区西兴街道丹枫路399号3号楼11层
- 代理机构: 上海波拓知识产权代理有限公司
- 代理商 张媛
- 主分类号: G06F30/323
- IPC分类号: G06F30/323 ; G06F30/33 ; G06F30/394 ; G06F30/392 ; G06F30/398
摘要:
本申请的一种网表缩减方法,包括如下步骤:获取与网表对应的无向图,其中,网表对应的电路网络中的节点对应无向图中的节点,网表对应的电路网络中的电阻对应无向图中的边;确定无向图的节点中的割点,并根据割点将无向图划分成多个第一点双连通分量;对至少一个第一点双连通分量进行近似处理,以得到缩减后的网表。本申请还提供一种时序验证方法及存储介质。本申请的网表缩减方法、时序验证方法及存储介质根据割点将无向图划分成多个第一点双连通分量,并对至少一个第一点双连通分量进行近似处理,以得到缩减后的网表,因此能提高网(56)对比文件刘扬;魏蔚;许贺洋.基于双连通分量覆盖图的稀疏大图最大流并行加速方法.西北工业大学学报.2018,(第05期),全文.周应华;蔡雪梅.无线传感器网络增配节点实现双连通并优化中继路径.重庆邮电大学学报(自然科学版).2009,(03),全文.
公开/授权文献
- CN116882329A 网表缩减方法、时序验证方法、电子设备及存储介质 公开/授权日:2023-10-13