同济大学江建慧获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉同济大学申请的专利基于时间窗图模型的时序电路关键性节点定位方法及设备获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115994507B 。
龙图腾网通过国家知识产权局官网在2026-04-21发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202211462942.2,技术领域涉及:G06F30/3312;该发明授权基于时间窗图模型的时序电路关键性节点定位方法及设备是由江建慧;诸玮东;张颖设计研发完成,并于2022-11-21向国家知识产权局提交的专利申请。
本基于时间窗图模型的时序电路关键性节点定位方法及设备在说明书摘要公布了:本发明涉及一种基于时间窗图模型的时序电路关键性节点定位方法及设备,所述方法包括以下步骤:1解析电路网表,根据电路节点类型初始化关键性计算矩阵,所述关键性计算矩阵包括单故障计算矩阵和多故障计算矩阵;2基于时间窗图模型,通过电路仿真模拟对电路节点状态进行聚合,获得电路节点切片;3基于概率和所述关键性计算矩阵计算切片中所有节点对于目标节点的关键性;4根据节点关键性排序,获取时序电路的关键性节点。与现有技术相比,本发明具有时空开销小等优点,且基于本方法所得结果对时序电路进行加固有更大的可靠性提升。
本发明授权基于时间窗图模型的时序电路关键性节点定位方法及设备在权利要求书中公布了:1.一种基于时间窗图模型的时序电路关键性节点定位方法,其特征在于,包括以下步骤: 1解析电路网表,根据电路节点类型初始化关键性计算矩阵,所述关键性计算矩阵包括单故障计算矩阵和多故障计算矩阵; 2基于时间窗图模型,通过电路仿真模拟对电路节点状态进行聚合,获得电路节点切片; 3基于概率和所述关键性计算矩阵计算切片中所有节点对于目标节点的关键性; 4根据节点关键性排序,获取时序电路的关键性节点; 通过真值表法构建所述关键性计算矩阵; 所述单故障计算矩阵和多故障计算矩阵具体表示为: 1 2 其中,式1为单故障计算矩阵的表达式,式2为多单故障计算矩阵的表达式,表示tp类型输入端个数iptn的节点在输入信号组合ivn和故障情况isv情况下利用真值表法判断得到的数值,式1中,,,式2中,,; 计算节点对于目标节点的关键性时,以触发器为媒介,通过计算节点对触发器的影响模式和触发器对电路原始输出端的影响模式来计算过往时钟信号中故障对当前时钟信号中电路原始输出端的影响。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人同济大学,其通讯地址为:200092 上海市杨浦区四平路1239号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励