本发明专利技术涉及芯片技术领域，尤其涉及一种基于驱动源码的X值追踪方法、电子设备和介质，步骤S1、将目标时间值为X的信号确定为目标信号；步骤S2、获取有效驱动源码集合；步骤S3、基于A<subgt;k</subgt;进行第一优先级X根因追踪，若追踪到第一X根因类型代码，则确定A<subgt;k</subgt;的目标X根因，否则，执行步骤S4；步骤S4、获取A<subgt;k</subgt;中值为X的中间目标信息集合；步骤S5、若中间目标信息集合为空，则执行步骤S7，否则，执行步骤S6；步骤S6、将G<subgt;n</subgt;<supgt;k</supgt;更新为目标信号，将T<subgt;n</subgt;<supgt;k</supgt;更新为目标时间，返回步骤S2；步骤S7、基于A<subgt;k</subgt;进行第二优先级X根因追踪，若追踪到第二X根因类型代码，则确定A<subgt;k</subgt;的目标X根因。本发明专利技术提高了X值的追踪效率。
【技术实现步骤摘要】
本专利技术涉及芯片，尤其涉及一种基于驱动源码的x值追踪方法、电子设备和介质。
技术介绍
1、在芯片开发和验证过程中，verilog语法中的x值（不确定的状态值）有多种语义，且在不同设计阶段有着不同的作用。一些情况下，是根据需求设置的x值，但一些情况下，是因为芯片设计存在问题，产生了x值。为了确定x值的存在是否符合芯片设计要求，是否隐含着某些设计缺陷的问题，需要分析和确定x值发生的根因。现有技术中，通常需要基于芯片设计代码生成电路图，再通过分析电路图的方式来追踪x值产生的根因，现有的追踪x值产生根因的过程十分繁琐，需要耗费大量时间和人力，追踪效率低。由此可知，如何提高x值的追踪效率成为亟待解决的技术问题。
技术实现思路
1、本专利技术目的在于，提供一种基于驱动源码的x值追踪方法、电子设备和介质，提高了x值的追踪效率。
2、根据本专利技术第一方面，提供了一种基于驱动源码的x值追踪方法，包括：
3、步骤s1、将目标时间值为x的信号确定为目标信号，x为不确定状态；
4、步骤s2、在目标时间对所述目标信号进行驱动源码分析，获取有效驱动源码集合{a1,a2,…,ak,…,ak}，ak为第k个有效驱动源码,k的取值范围为1到k，k为有效驱动源码总数；
5、步骤s3、基于ak进行第一优先级x根因追踪，若追踪到预设的第一x根因类型代码，则将追踪到的第一x根因类型代码确定为ak对应的目标x根因bk，结束基于ak的追踪流程，否则，执行步骤s4；
>6、步骤s4、获取ak中值为x的中间目标信息集合{（g1k,t1k）,(g2k,t2k),…,(gnk,tnk),…,(gnk,tnk)},其中，gnk为ak中第n个中间目标信号，tnk为gnk的值变为x的时间，n的取值范围为1到n，n为ak中值为x的中间目标信号总数；7、步骤s5、若{（g1k,t1k）,(g2k,t2k),…,(gnk,tnk),…,(gnk,tnk)}为空，则执行步骤s7，否则，执行步骤s6；
8、步骤s6、将gnk更新为目标信号，将tnk更新为目标时间，返回执行步骤s2；
9、步骤s7、基于ak进行第二优先级x根因追踪，若追踪到预设的第二x根因类型代码，则将追踪到的第二x根因类型代码确定为ak对应的目标x根因bk，结束基于ak的追踪流程。
10、根据本专利技术第二方面，提供一种电子设备，包括：至少一个处理器；以及，与所述至少一个处理器通信连接的存储器；其中，所述存储器存储有可被所述至少一个处理器执行的指令，所述指令被设置为用于执行本专利技术第一方面所述的方法。
11、根据本专利技术第三方面，提供一种计算机可读存储介质，存储有计算机可执行指令，所述计算机指令用于执行本专利技术第一方面所述的方法。
12、本专利技术与现有技术相比具有明显的优点和有益效果。借由上述技术方案，本专利技术提供的一种基于驱动源码的x值追踪方法、电子设备和介质可达到相当的技术进步性及实用性，并具有产业上的广泛利用价值，其至少具有以下有益效果：
13、本专利技术无需生成电路图，而是直接基于目标信号和目标时间对驱动源码分析，并分两个优先级对驱动源码进行x根因分析，提高了x值的追踪效率。
本文档来自技高网...
【技术保护点】
1.一种基于驱动源码的X值追踪方法，其特征在于，包括：
2.根据权利要求1所述的方法，其特征在于，
3.根据权利要求2所述的方法，其特征在于，
4.根据权利要求3所述的方法，其特征在于，
5.根据权利要求1所述的方法，其特征在于，
6.根据权利要求5所述的方法，其特征在于，
7.根据权利要求1所述的方法，其特征在于，
8.一种电子设备，其特征在于，包括：
9.一种计算机可读存储介质，其特征在于，存储有计算机可执行指令，所述计算机可执行指令用于执行前述权利要求1-7中任一项所述的方法。
【技术特征摘要】
1.一种基于驱动源码的x值追踪方法，其特征在于，包括：
2.根据权利要求1所述的方法，其特征在于，
3.根据权利要求2所述的方法，其特征在于，
4.根据权利要求3所述的方法，其特征在于，
5.根据权利要求1所述的方法，其特征在于，
...
【专利技术属性】
技术研发人员：王志峰，
申请(专利权)人：成都融见软件科技有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。