【技术实现步骤摘要】
基于回溯算法确定信号相关性的系统
[0001]本专利技术涉及计算机
,尤其涉及一种基于回溯算法确定信号相关性的系统。
技术介绍
[0002]在芯片设计与验证过程中,在进行调试工作的时候,需要关注一个目标信号和与其相关联信号之间的关系,从而判断设计的正确性。电子设计中的Trace Driver /Load(追踪驱动/负载)功能,用于查询信号之间的相互驱动关系的功能,通过该功能,可以获取信号在某个时间点的静态关系以及信号值,也可以查看信号在时间线上的动态关系以及对应的信号值变化。但是,现有技术都是基于仿真结果来查看运行后的结果,是一种静态结果,且无法直接修改电子设计中的信号值,若需修改,还需基于目标信号修改值做出复杂的推算,改变初始条件,重新仿真整个设计,来获取信号相关性。由此可知,现有的获取信号相关性的方式具有局限性,且获取效率低,从而导致芯片设计与验证过程中调试效率低。
技术实现思路
[0003]本专利技术目的在于,提供一种基于回溯算法确定信号相关性的系统,无需重新运行仿真设计,即可获取全部符合条件的信号相关性结果,提高了信号相关性的获取效率。
[0004]根据本专利技术一方面,提供了一种基于回溯算法确定信号相关性的系统,包括待处理电子设计,存储有计算机程序的存储器和处理器,当将所述处理器执行计算机程序时,实现以下步骤:步骤S1、选取所述待处理电子设计中的一个信号节点作为目标信号节点,设置目标信号节点对应的目标信号值、第一回溯方向、第一回溯深度和第一回溯限制条件;步骤S2、以所述目标信号 ...
【技术保护点】
【技术特征摘要】
1.一种基于回溯算法确定信号相关性的系统,其特征在于,包括待处理电子设计,存储有计算机程序的存储器和处理器,当将所述处理器执行计算机程序时,实现以下步骤:步骤S1、选取所述待处理电子设计中的一个信号节点作为目标信号节点,设置目标信号节点对应的目标信号值、第一回溯方向、第一回溯深度和第一回溯限制条件;步骤S2、以所述目标信号节点作为起点,沿着第一回溯方向从所述待处理电子设计抽取第一回溯深度内与所述目标信号节点相关联的信号节点以及对应的连接关系,生成第一目标驱动电路;步骤S3、根据目标信号值、第一回溯方向、第一回溯深度和第一回溯限制条件回溯所述第一目标驱动电路,获取所有符合所述第一回溯限制条件的第一信号值组合,生成第一信号值组合集合。2.根据权利要求1所述的系统,其特征在于,当将所述处理器执行计算机程序时,还实现以下步骤:步骤C1、设置第二回溯方向、第二回溯深度和第二回溯限制条件,所述第二回溯方向和第一回溯方向相反;步骤C2、以所述目标信号节点作为起点,沿着第二回溯方向从所述待处理电子设计抽取第二回溯深度内与所述目标信号节点相关联的信号节点以及对应的连接关系,生成第二目标驱动电路;步骤C3、根据目标信号值、第二回溯方向、第二回溯深度和第二回溯限制条件回溯所述第二目标驱动电路,获取所有符合所述第二回溯限制条件的第二信号值组合,生成第二信号值组合集合。3.根据权利要求2所述的系统,其特征在于,所述步骤C3之后还包括:步骤C4、基于所述第一信号值组合和第二信号值组合生成第一目标驱动电路和第二目标驱动电路拼接生成的第三目标驱动电路对应的第三信号值组合,生成第三信号值组合集合。4.根据权利要求3所述的系统,其特征在于,所述步骤S3、步骤C3或步骤C4之后还包括:步骤S4、基于第R信号值组合集合获取第R目标驱动电路每一信号节点所可能设置的信号值以及对应的设置概率:P
iR
(Y)= M
iR
(Y)/N
R
;其中,M
iR
(Y)为第R信号值组合集合中第R目标驱动电路第i个信号节点取值为Y时的数量,N
R
为第R信号值组合集合中信号值组合总数量,Y=0、1、x或z;i的取值范围为1到f(R),f(R)为第R目标驱动电路中除目标信号节点之外的信号节点数量;当步骤S4用于限定步骤S3时,R=1;当步骤S4用于限定步骤C3时,R=2;当步骤S4用于限定步骤S4时,R=3。5.根据权利要求4所述的系统,其特征在于,所述步骤S3、步骤C3或步骤C4之后还包括:步骤S5、按照预设的显示数据结构在显示界面上呈现所有第R信号值组合,其中,所述
预设的显示数据结构包括g(R)个列区域,R=1时,g(R)等于第一回溯深度加1;R=2时,g(R)等于第二回溯深度加1;R=3时,g(R)等于第一回溯深度与第二回溯深度加之和再加1,目标信号节点对应一个列区域,每一级回溯深度对应一个列区域;每一列区域包括一个或多个行区域,每一列区域用于显示每一级回溯深度的回溯深度标识、信号节点标识、信号值以及对应的设置概率的一个或多个;行区域满足:h
jR
=h
k1R
+h
k2R
+
…
+h
kvR
…
+h
ku(j)R
,其中,h
jR
为第R目标驱动电路中位于第j回溯深度的一个信号节点A
jR
的行高,h
kvR
为第R目标驱动电路中位于第k回溯深度的受h
jR
影响的第v个信号节点B
kvR
的行高,v的取值范围为1到u(j), u(j)为第R目标驱动电路中位于第k回溯深度的受h
jR
影响的信号节点总数,j≠k,B
kvR
的行区域能够沿水...
【专利技术属性】
技术研发人员:张邦全,
申请(专利权)人:上海合见工业软件集团有限公司,
类型:发明
国别省市:
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。