一种在时序逻辑电路功能验证时确定故障存在位置的方法
实质审查的生效
摘要
本发明公开了一种在时序逻辑电路功能验证时确定故障存在位置的方法，属于EDA基础算法。通过把时序电路抽象成多个覆盖单元，建立状态转换图，把问题划分成三种互斥情景，通过相关算法，计算指定故障只在某一特定位置发生的概率，对所有可能状态下发生的概率进行排序，从而确定故障最可能出现的位置，从而补充动态验证的完整性。
基本信息
专利标题 ：
一种在时序逻辑电路功能验证时确定故障存在位置的方法
专利标题（英）：
暂无
公开（公告）号 ：
CN114357920A
申请号 ：
CN202111669098.6
公开（公告）日 ：
2022-04-15
申请日 ：
2021-12-31
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
聂敬瑶耿淑琴曹文华李朋昆鲁航朱荣豪亓元李熙徐楷杨号
申请人 ：
北京工业大学
申请人地址 ：
北京市朝阳区平乐园100号
代理机构 ：
北京思海天达知识产权代理有限公司
代理人 ：
沈波
优先权 ：
CN202111669098.6
主分类号 ：
G06F30/3312
IPC分类号 ：
G06F30/3312
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F30/3312
时序分析
法律状态
2022-05-03 ：
实质审查的生效
IPC(主分类) : G06F 30/3312
申请日 : 20211231
申请日 : 20211231
2022-04-15 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
