申请/专利权人：成都融见软件科技有限公司;上海合见工业软件集团有限公司

申请日：2024-03-26

公开（公告）日：2024-06-07

公开（公告）号：CN117952041B

主分类号：G06F30/33

分类号：G06F30/33;G06F30/337

优先权：

专利状态码：有效-授权

法律状态：2024.06.07#授权;2024.05.17#实质审查的生效;2024.04.30#公开

摘要：本发明涉及芯片技术领域，尤其涉及一种基于驱动源码的X值追踪方法、电子设备和介质，步骤S1、将目标时间值为X的信号确定为目标信号；步骤S2、获取有效驱动源码集合；步骤S3、基于Ak进行第一优先级X根因追踪，若追踪到第一X根因类型代码，则确定Ak的目标X根因，否则，执行步骤S4；步骤S4、获取Ak中值为X的中间目标信息集合；步骤S5、若中间目标信息集合为空，则执行步骤S7，否则，执行步骤S6；步骤S6、将Gnk更新为目标信号，将Tnk更新为目标时间，返回步骤S2；步骤S7、基于Ak进行第二优先级X根因追踪，若追踪到第二X根因类型代码，则确定Ak的目标X根因。本发明提高了X值的追踪效率。

主权项：1.一种基于驱动源码的X值追踪方法，其特征在于，包括：步骤S1、将目标时间值为X的信号确定为目标信号，X为不确定状态；步骤S2、在目标时间对所述目标信号进行驱动源码分析，获取有效驱动源码集合{A1,A2,…,Ak,…,AK}，Ak为第k个有效驱动源码,k的取值范围为1到K，K为有效驱动源码总数；步骤S3、基于Ak进行第一优先级X根因追踪，若追踪到预设的第一X根因类型代码，则将追踪到的第一X根因类型代码确定为Ak对应的目标X根因Bk，结束基于Ak的追踪流程，否则，执行步骤S4；所述步骤S3包括：步骤S31、获取Ak中所包含的信号值集合{Q1k,V1k,Q2k,V2k,…,Qmk,Vmk,…,QMk,VMk}，Qmk为信号值集合中的第m个信号，Vmk为Qm的信号值，m的取值范围为1到M；步骤S32、基于{Q1k,V1k,Q2k,V2k,…,Qmk,Vmk,…,QMk,VMk}、目标时间、目标信号和Ak进行第一优先级X根因追踪，若满足预设的第一优先级X根因中的任意一个，则将追踪到的第一X根因类型代码确定为Ak对应的目标X根因Bk，结束基于Ak的追踪流程，否则，执行步骤S4；预设的第一优先级X根因包括：Ak为其中一个用户自定义原语，目标信号为该用户自定义原语的输出，且输入信号不匹配用户自定义原语真值表中的任何一项；Ak为预设系统函数，所述目标信号为预设系统函数的输出；Ak为连续赋值语句，且目标时间为0，目标信号使用了延时声明；Ak为连续赋值语句，且目标时间为0，且连续赋值语句使用了声明延迟；步骤S4、获取Ak中值为X的中间目标信息集合{（G1k,T1k）,G2k,T2k,…,Gnk,Tnk,…,GNk,TNk},其中，Gnk为Ak中第n个中间目标信号，Tnk为Gnk的值变为X的时间，n的取值范围为1到N，N为Ak中值为X的中间目标信号总数；步骤S5、若{（G1k,T1k）,G2k,T2k,…,Gnk,Tnk,…,GNk,TNk}为空，则执行步骤S7，否则，执行步骤S6；步骤S6、将Gnk更新为目标信号，将Tnk更新为目标时间，返回执行步骤S2；步骤S7、基于Ak进行第二优先级X根因追踪，若追踪到预设的第二X根因类型代码，则将追踪到的第二X根因类型代码确定为Ak对应的目标X根因Bk，结束基于Ak的追踪流程；所述步骤S7包括：步骤S71、获取Ak中所包含的信号值集合{Q1k,V1k,Q2k,V2k,…,Qmk,Vmk,…,QMk,VMk}，Qmk为信号值集合中的第m个信号，Vmk为Qm的信号值，m的取值范围为1到M；步骤S72、基于{Q1k,V1k,Q2k,V2k,…,Qmk,Vmk,…,QMk,VMk}、目标时间、目标信号和Ak进行第二优先级X根因追踪，若满足预设的第二优先级X根因中的任意一个，则将追踪到的第二X根因类型代码确定为Ak对应的目标X根因Bk，结束基于Ak的追踪流程；预设的第二优先级X根因包括：Ak为声明语句，且声明语句不包含初始化的表达式；Ak包含的信号集合中包含了值为z的wire信号；Ak为用户自定义原语，并且目标信号为用户自定义原语的输出信号，并且输入信号匹配了该用户自定义原语中真值表的其中一项；Ak为库单元实例，并且目标信号为库单元实例的输出信号；所述目标信号对应的赋值表达式的计算结果为常值X；Ak为连续赋值语句，且赋值表达式的计算结果为非X。

全文数据：

权利要求：

百度查询： 成都融见软件科技有限公司;上海合见工业软件集团有限公司 基于驱动源码的X值追踪方法、电子设备和介质

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD