组合电路瞬态脉冲重汇聚现象可满足性分析方法及系统
授权
摘要
本发明公开了一种组合电路瞬态脉冲重汇聚现象可满足性分析方法及系统，方法的步骤为读入与非图格式文件，随机选取某一起始节点V，使用深度优先的方法搜索并任意选择V可达的输出节点P，计算路径上任意节点到输出节点P的最大距离和最小距离，初始化待检查列表C，将元素(V,V)加入待检查列表C，对待检查列表C中每个元素添加敏化约束条件，并利用SAT求解器求解判断是否存在满足要求的输入向量可以使起始节点V和输出节点P之间直接有两条可以同时敏化的路径，如果不满足则更新待检查列表C，对待检查列表C中的元素进行排序并重新进行SAT求解器求解。本发明具有可分析规模大、精确度更高、计算规模小、计算效率高、算法运行时间短的优点。
基本信息
专利标题 ：
组合电路瞬态脉冲重汇聚现象可满足性分析方法及系统
专利标题（英）：
暂无
公开（公告）号 ：
CN108763660A
申请号 ：
CN201810432652.0
公开（公告）日 ：
2018-11-06
申请日 ：
2018-05-08
授权号 ：
CN108763660B
授权日 ：
2022-05-03
发明人 ：
郭阳刘畅梁斌张龙贺旭张璐捷陈建军刘必慰
申请人 ：
中国人民解放军国防科技大学
申请人地址 ：
湖南省长沙市开福区砚瓦池正街47号
代理机构 ：
湖南兆弘专利事务所(普通合伙)
代理人 ：
谭武艺
优先权 ：
CN201810432652.0
主分类号 ：
G06F17/50
IPC分类号 ：
G06F17/50
法律状态
2022-05-03 ：
授权
2018-11-30 ：
实质审查的生效
IPC(主分类) : G06F 17/50
申请日 : 20180508
申请日 : 20180508
2018-11-06 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
