CN115630601B - 基于回溯算法确定信号相关性的系统 - Google Patents
基于回溯算法确定信号相关性的系统 Download PDFInfo
- Publication number
- CN115630601B CN115630601B CN202211653409.4A CN202211653409A CN115630601B CN 115630601 B CN115630601 B CN 115630601B CN 202211653409 A CN202211653409 A CN 202211653409A CN 115630601 B CN115630601 B CN 115630601B
- Authority
- CN
- China
- Prior art keywords
- backtracking
- signal
- target
- depth
- value
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/39—Circuit design at the physical level
Abstract
本发明涉及计算机技术领域,尤其涉及一种基于回溯算法确定信号相关性的系统,实现步骤S1、选取待处理电子设计中的一个信号节点作为目标信号节点,设置目标信号节点对应的目标信号值、第一回溯方向、第一回溯深度和第一回溯限制条件;步骤S2、以目标信号节点作为起点,沿着第一回溯方向从待处理电子设计抽取第一回溯深度内与目标信号节点相关联的信号节点以及对应的连接关系,生成第一目标驱动电路;步骤S3、根据目标信号值、第一回溯方向、第一回溯深度和第一回溯限制条件回溯所述第一目标驱动电路,获取所有符合第一回溯限制条件的第一信号值组合,生成第一信号值组合集合。本发明提高了信号相关性的获取效率。
Description
技术领域
本发明涉及计算机技术领域,尤其涉及一种基于回溯算法确定信号相关性的系统。
背景技术
在芯片设计与验证过程中,在进行调试工作的时候,需要关注一个目标信号和与其相关联信号之间的关系,从而判断设计的正确性。电子设计中的Trace Driver /Load(追踪驱动/负载)功能,用于查询信号之间的相互驱动关系的功能,通过该功能,可以获取信号在某个时间点的静态关系以及信号值,也可以查看信号在时间线上的动态关系以及对应的信号值变化。但是,现有技术都是基于仿真结果来查看运行后的结果,是一种静态结果,且无法直接修改电子设计中的信号值,若需修改,还需基于目标信号修改值做出复杂的推算,改变初始条件,重新仿真整个设计,来获取信号相关性。由此可知,现有的获取信号相关性的方式具有局限性,且获取效率低,从而导致芯片设计与验证过程中调试效率低。
发明内容
本发明目的在于,提供一种基于回溯算法确定信号相关性的系统,无需重新运行仿真设计,即可获取全部符合条件的信号相关性结果,提高了信号相关性的获取效率。
根据本发明一方面,提供了一种基于回溯算法确定信号相关性的系统,包括待处理电子设计,存储有计算机程序的存储器和处理器,当将所述处理器执行计算机程序时,实现以下步骤:
步骤S1、选取所述待处理电子设计中的一个信号节点作为目标信号节点,设置目标信号节点对应的目标信号值、第一回溯方向、第一回溯深度和第一回溯限制条件;
步骤S2、以所述目标信号节点作为起点,沿着第一回溯方向从所述待处理电子设计抽取第一回溯深度内与所述目标信号节点相关联的信号节点以及对应的连接关系,生成第一目标驱动电路;
步骤S3、根据目标信号值、第一回溯方向、第一回溯深度和第一回溯限制条件回溯所述第一目标驱动电路,获取所有符合所述第一回溯限制条件的第一信号值组合,生成第一信号值组合集合。
本发明与现有技术相比具有明显的优点和有益效果。借由上述技术方案,本发明提供的一种基于回溯算法确定信号相关性的系统可达到相当的技术进步性及实用性,并具有产业上的广泛利用价值,其至少具有以下有益效果:
本发明基于电子设计中信号间的连接驱动关系,允许用户设定任意位置的信号值,无需重新运行仿真设计,采用回溯算法推演出其前后相连接驱动信号的可能值,并且支持向前或向后递归,即可获取全部符合条件的信号相关性结果,提高了信号相关性的获取效率,从而提高了芯片设计与验证过程中调试效率。
附图说明
为了更清楚地说明本发明实施例中的技术方案,下面将对实施例描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本发明的一些实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他的附图。
图1为本发明实施例提供的基于回溯算法确定信号相关性流程图;
图2为本发明实施例基于实施方式一提供的呈现信号相关性示意图;
图3为本发明实施例基于实施方式二提供的呈现信号相关性示意图;
图4为本发明实施例图3对应的信号节点信号值的设置概率示意图。
具体实施方式
下面将结合本发明实施例中的附图,对本发明实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例仅仅是本发明一部分实施例,而不是全部的实施例。基于本发明中的实施例,本领域技术人员在没有作出创造性劳动前提下所获得的所有其他实施例,都属于本发明保护的范围。
本发明实施例提供了一种基于回溯算法确定信号相关性的系统,包括待处理电子设计,存储有计算机程序的存储器和处理器,其中,待处理的电子设计可以为芯片设计,具体可以为用于芯片设计阶段或验证阶段的芯片设计,通过确定信号系相关性,为调试过程提供参考。
当将所述处理器执行计算机程序时,实现以下步骤,如图1所示:
步骤S1、选取所述待处理电子设计中的一个信号节点作为目标信号节点,设置目标信号节点对应的目标信号值、第一回溯方向、第一回溯深度和第一回溯限制条件。
需要说明的是,第一回溯方向为向前或向后,本发明支持前向回溯,也支持后向回溯。第一回溯深度基于具体的应用需求以及所需的处理速度等综合设定,回溯深度越深,所需的处理时间越长。第一回溯限制条件根据处理电子设计的硬件设计需求来设定。目标信号值可以设置为0或1,目标信号节点以及对应的目标信号节点可以由用户指定。第一回溯限制条件对应的是针对所述待处理电子设计中沿着第一回溯方向在第一回溯深度内,部分与所述目标信号节点相关联的信号节点所设置的限制条件。
步骤S2、以所述目标信号节点作为起点,沿着第一回溯方向从所述待处理电子设计抽取第一回溯深度内与所述目标信号节点相关联的信号节点以及对应的连接关系,生成第一目标驱动电路。
其中,具体可以采用电子设计中的Trace Driver/Load功能,以所述目标信号节点作为起点,沿着第一回溯方向查询所述待处理电子设计中信号之间的驱动关系,生成第一目标驱动电路。
步骤S3、根据目标信号值、第一回溯方向、第一回溯深度和第一回溯限制条件回溯所述第一目标驱动电路,获取所有符合所述第一回溯限制条件的第一信号值组合,生成第一信号值组合集合。
本发明所述系统仅需要在第一目标驱动电路回溯目标信号节点相关的信号,无需重新仿真整个设计,提高了信号相关信性的获取效率,且目标信号值可以根据需求任意设置,从而回溯出所有可能的第一信号值组合,具有很高的灵活性。
需要说明的是,本发明所述系统可以同时设置向第一回溯方向相反的方向第二回溯方向进行回溯,获取位于目标信号节点前后两个方向的信号相关性,作为一种示例,当将所述处理器执行计算机程序时,还实现以下步骤:
步骤C1、设置第二回溯方向、第二回溯深度和第二回溯限制条件,所述第二回溯方向和第一回溯方向相反。
其中,第二回溯深度和第一回溯深度可以相同,也可以不同,根据两个方向上的信号相关性具体获取需求来设定。第二回溯限制条件对应的是针对所述待处理电子设计中沿着第二回溯方向在第二回溯深度内,部分与所述目标信号节点相关联的信号节点所设置的限制条件。
步骤C2、以所述目标信号节点作为起点,沿着第二回溯方向从所述待处理电子设计抽取第二回溯深度内与所述目标信号节点相关联的信号节点以及对应的连接关系,生成第二目标驱动电路。
其中,具体可以采用电子设计中的Trace Driver/Load功能,以所述目标信号节点作为起点,沿着第二回溯方向查询所述待处理电子设计中信号之间的驱动关系,生成第二目标驱动电路。
步骤C3、根据目标信号值、第二回溯方向、第二回溯深度和第二回溯限制条件回溯所述第二目标驱动电路,获取所有符合所述第二回溯限制条件的第二信号值组合,生成第二信号值组合集合。
作为一种示例,所述步骤C3之后还包括:
步骤C4、基于所述第一信号值组合和第二信号值组合生成第一目标驱动电路和第二目标驱动电路拼接生成的第三目标驱动电路对应的第三信号值组合,生成第三信号值组合集合。
需要说明的是,第一信号值组合和第二信号值组合以目标信号节点为连接点,第三信号值组合集合包括了所有第一信号值组合和所有第二信号值组合能够组合生成的所有第三信号值组合。
为了进一步展示信号相关性,可以获取每一信号值对应的设置概率,作为一种示例,所述步骤S3、步骤C3或步骤C4之后还包括:
步骤S4、基于第R信号值组合集合获取第R目标驱动电路每一信号节点所可能设置的信号值以及对应的设置概率:
Pi R(Y)= Mi R(Y)/NR;
其中,Mi R(Y)为第R信号值组合集合中第R目标驱动电路第i个信号节点取值为Y时的数量,NR为第R信号值组合集合中信号值组合总数量,Y=0、1、x或z,需要说明的是,在硬件描述语言中,x表示不定值,z表示高阻态;i的取值范围为1到f(R),f(R)为第R目标驱动电路中除目标信号节点之外的信号节点数量。
需要说明的是,当步骤S4用于限定步骤S3时,R=1,即第R信号值组合集合为第一信号值组合集合,第R目标驱动电路为第一目标驱动电路等;当步骤S4用于限定步骤C3时,R=2,即第R信号值组合集合为第二信号值组合集合,第R目标驱动电路为第二目标驱动电路等;当步骤S4用于限定步骤S4时,R=3,即第R信号值组合集合为第三信号值组合集合,第R目标驱动电路为第三目标驱动电路等。
第R信号值组合集合可以通过不同的方式进行展示,以通过两个实施方式进行说明:
实施方式一、
所述步骤S3、步骤C3或步骤C4之后还包括:
步骤S5、按照预设的显示数据结构在显示界面上呈现所有第R信号值组合,其中,所述预设的显示数据结构包括g(R)个列区域,R=1时,g(R)等于第一回溯深度加1;R=2时,g(R)等于第二回溯深度加1;R=3时,g(R)等于第一回溯深度与第二回溯深度加之和再加1,目标信号节点对应一个列区域,每一级回溯深度对应一个列区域。
每一列区域包括一个或多个行区域每一列区域用于显示每一级回溯深度的回溯深度标识、信号节点标识、信号值以及对应的设置概率的一个或多个;具体的,可以将回溯深度标识设置在一个单独的行区域,优选的,可以设置在顶部,其他行区域用于设置信号节点标识、信号值以及对应的设置概率。行区域满足:hj R=hk1 R+hk2 R+…+hkv R…+hku(j) R,其中,hj R为第R目标驱动电路中位于第j回溯深度的一个信号节点Aj R的行高,hkv R为第R目标驱动电路中位于第k回溯深度的受hj R影响的第v个信号节点Bkv R的行高,v的取值范围为1到u(j), u(j)为第R目标驱动电路中位于第k回溯深度的受hj R影响的信号节点总数,j≠k,Bkv R的行区域能够沿水平方向延伸至Aj R的行区域中。通过上述行区域和列区域的布局,可以清晰展示驱动电路中信号值至之间的对应关系,以及每一信号值的设置概率,直观体现信号相关性。可以理解的是,芯片设计通常规模巨大且复杂,因此,驱动电路也可能庞大而复杂,通过预设的显示数据结构在显示界面上呈现所有第R信号值组合,能够清晰展示信号相关性,为调试等应用提供支撑,进而可以提高芯片设计和验证的效率。显示界面具体可以为GUI界面。
为了进一步说明,图2示出了一种简单的基于实施方式一的显示效果,需要说明的是,图2仅为简化说明按照预设的显示数据结构的显示效果,实际应用中,通常更为复杂。图2中所示示例,向后回溯了2级,向前回溯了1级,其中,X为目标信号节点标识,CLK0为回溯深度为-1的相关信号的信号节点标识,Y为回溯深度1的相关一个信号节点标识,M1、M2为回溯深度2的相关信号的节点标识,图2中,信号节点标识之后的括号内为对应的信号值,P的取值为设置该信号值对应的概率。图2能够清晰地展示信号相关性。
实施方式二、
所述步骤S3、步骤C3或步骤C4之后还包括:
步骤S6、按照预设的显示数据结构在显示界面上呈现所有第R信号值组合,其中,所述预设的显示数据结构包括Q(R)个列区域。
R=1时,Q(R)=X1+X2+…+Xj+…XH1+1, Xj为第一回溯方向第j级回溯深度对应的信号节点数,j的取值范围为1到H1,H1为第一回溯深度。
R=2时,Q(R)=B1+B2+…+Bf+…BH2+1, Bf为第二回溯方向第f级回溯深度对应的信号节点数,f的取值范围为1到H2,H2为第二回溯深度。
R=3时,Q(R)=X1+X2+…+Xj+…XH1+B1+B2+…+Bf+…BH2+1。
每一信号节点对应一个列区域,每一列区域用于显示每一信号节点对应的回溯深度标识、信号节点标识、信号值和设置概率中的一个或多个,每一列区域包括W个单位行,R=1或2时,W=1+NR;R=3时,W=1+N1*N2,每一列区域的其中一个单位行用于存储信号节点对应的回溯深度标识,其他单位行用于存储该行对应的信号节点标识、信号值和设置概率中的一个或多个,所有列区域除回溯深度标识所在单位行之外的其他每一单位行连接组成的行,对应一个第R信号值组合。所述到单位行为每一列区域对应的预设的最小行单位。
作为一种优选示例,当列区域中存在多个连续的单位行的信号值相等时,可以将信号值相等的多个连续的单位行合并为一合并行,合并行的高度等于所合并的多个单位行的和。
通过上述行区域和列区域的布局,可以清晰展示驱动电路中信号值至之间的对应关系,以及每一信号值的设置概率,直观体现信号相关性。可以理解的是,芯片设计通常规模巨大且复杂,因此,驱动电路也可能庞大而复杂,通过预设的显示数据结构在显示界面上呈现所有第R信号值组合,能够清晰展示信号相关性,为调试等应用提供支撑,进而可以提高芯片设计和验证的效率。显示界面具体可以为GUI界面。
为了进一步说明,图3示出了一种简单的基于实施方式二的显示效果,需要说明的是,图3仅为简化说明按照预设的显示数据结构的显示效果,实际应用中,通常更为复杂。此外,图3中并未将每一信号的设置概率进行显示,实际使用中可以直接在图3中显示,也可以以图4所示的方式来显示概率。图3中,X为目标信号节点标识,Y1_1、Y1_2为回溯深度1的信号节点标识,Y2_1、Y2_2、Y2_3是回溯深度2的信号节点标识,信号节点标识之后的括号内为对应的信号值。可以理解的是,并非所有的连续的单位行的信号值相等时均需合并,为了更清晰展示驱动电路中信号值至之间的对应关系,连续的单位行的信号值相等时也可以选择不合并,如图3中的第4列的中的部分连续单位行所示。
图4示出了基于图3得到的每一节点设置对应信号值的设置概率。
作为一种示例,步骤S3或步骤C3包括:
步骤S31、将目标信号节点设置为回溯算法的初始回溯起点,将第F回溯方向设置为回溯算法的方向,将第F回溯深度设置为回溯算法的深度,将第F回溯限制条件设置为限制条件。
步骤S32、根据目标信号值、目标信号节点与第F回溯深度的信号节点对应的硬件驱动关系预测第一回溯深度的信号节点的信号值,根据第t回溯深度的当前所选的预测信号值,以及第t回溯深度和第(t+1)回溯深度对应的硬件驱动关系预测第(t+1)回溯深度的信号节点的信号值,基于回溯算法进行回溯,获取第F目标驱动电路中所有符合第一回溯限制条件第F信号值组合,t的取值范围为2到(E-1),E为第F回溯深度,其中,当步骤S31和步骤S32用于限定步骤S3时,F=1;当步骤S31和步骤S32用于限定步骤C3时,F=2。
需要说明的是,硬件驱动关系能够基于对应的第F目标驱动电路直接获取,根据待预测节点与直接相关的信号节点之间的硬件驱动关系,以及直接相关的信号节点的信号值,可以预测出待预测节点的信号值。例如,待预测信号节点处设置有锁存器,则待预测节点的值不变。若待预测信号节点和直接相关的信号节点之间为电平连接,则基于直接相关的信号节点的值同步改动待预测信号节点的值。此外,现有的回溯算法全部落入本发明保护范围之内,回溯算法是一种类枚举的搜索尝试算法。在满足条件限制的情况下,算法会基于回溯点向前或后尝试搜索并寻找问题的解。当算法发现当前路径已不满足求解条件时,就回溯返回至上一个回溯点,并尝试剩余的其他路径。回溯算法细节在此不再展开描述。
作为一种示例,所述系统在执行回溯过程时,处于运行所述待处理电子设计仿真的情况下,或者不处于运行所述待处理电子设计仿真的情况下,即不用必须以待处理电子设计仿真为前提;第F回溯限制条件包括以下限制条件中的一个或多个:第F目标驱动电路中的第一指定信号节点值必须为Q1、第F目标驱动电路中的第二指定信号节点值不能为Q2,F为1或2,F为1时,第F回溯限制条件为第一回溯限制条件,F为2时,第F回溯限制条件为第二回溯限制条件。Q1为0或1,Q2为0或1。
作为一种示例,可以将限制条件设置与时序相关,与时序相关时,所述系统在执行回溯过程时,处于运行所述待处理电子设计仿真的情况下;第F回溯限制条件包括以下限制条件中的一个或多个:第F目标驱动电路中的第一指定信号节点值必须为Q1,第F目标驱动电路中的第二指定信号节点值不能为Q2,第F目标驱动电路中的第三指定信号节点值在第一指定信号时间点必须为Q3,第F目标驱动电路中的第四指定信号节点值在第一指定信号时间点不能为Q4,第F回溯限制条件为第一回溯限制条件,F为2时,F为1或2,F为1时,第F回溯限制条件为第二回溯限制条件P为1或2,Q1为0或1,Q2为0或1,Q3为0或1,Q4为0或1。
本发明所述系统基于电子设计中信号间的连接驱动关系,允许用户设定任意位置的信号值,无需重新运行仿真设计,采用回溯算法推演出其前后相连接驱动信号的可能值,并且支持向前或向后递归,即可获取全部符合条件的信号相关性结果,提高了信号相关性的获取效率,从而提高了芯片设计与验证过程中调试效率。
需要说明的是,一些示例性实施例被描述成作为流程图描绘的处理或方法。虽然流程图将各步骤描述成顺序的处理,但是其中的许多步骤可以被并行地、并发地或者同时实施。此外,各步骤的顺序可以被重新安排。当其操作完成时处理可以被终止,但是还可以具有未包括在附图中的附加步骤。处理可以对应于方法、函数、规程、子例程、子程序等等。
以上所述,仅是本发明的较佳实施例而已,并非对本发明作任何形式上的限制,虽然本发明已以较佳实施例揭露如上,然而并非用以限定本发明,任何熟悉本专业的技术人员,在不脱离本发明技术方案范围内,当可利用上述揭示的技术内容作出些许更动或修饰为等同变化的等效实施例,但凡是未脱离本发明技术方案的内容,依据本发明的技术实质对以上实施例所作的任何简单修改、等同变化与修饰,均仍属于本发明技术方案的范围内。
Claims (10)
1.一种基于回溯算法确定信号相关性的系统,其特征在于,
包括待处理电子设计,存储有计算机程序的存储器和处理器,当将所述处理器执行计算机程序时,实现以下步骤:
步骤S1、选取所述待处理电子设计中的一个信号节点作为目标信号节点,设置目标信号节点对应的目标信号值、第一回溯方向、第一回溯深度和第一回溯限制条件;
步骤S2、以所述目标信号节点作为起点,沿着第一回溯方向从所述待处理电子设计抽取第一回溯深度内与所述目标信号节点相关联的信号节点以及对应的连接关系,生成第一目标驱动电路;
步骤S3、根据目标信号值、第一回溯方向、第一回溯深度和第一回溯限制条件回溯所述第一目标驱动电路,获取所有符合所述第一回溯限制条件的第一信号值组合,生成第一信号值组合集合。
2.根据权利要求1所述的系统,其特征在于,
当将所述处理器执行计算机程序时,还实现以下步骤:
步骤C1、设置第二回溯方向、第二回溯深度和第二回溯限制条件,所述第二回溯方向和第一回溯方向相反;
步骤C2、以所述目标信号节点作为起点,沿着第二回溯方向从所述待处理电子设计抽取第二回溯深度内与所述目标信号节点相关联的信号节点以及对应的连接关系,生成第二目标驱动电路;
步骤C3、根据目标信号值、第二回溯方向、第二回溯深度和第二回溯限制条件回溯所述第二目标驱动电路,获取所有符合所述第二回溯限制条件的第二信号值组合,生成第二信号值组合集合。
3.根据权利要求2所述的系统,其特征在于,
所述步骤C3之后还包括:
步骤C4、基于所述第一信号值组合和第二信号值组合生成第一目标驱动电路和第二目标驱动电路拼接生成的第三目标驱动电路对应的第三信号值组合,生成第三信号值组合集合。
4.根据权利要求3所述的系统,其特征在于,
所述步骤S3、步骤C3或步骤C4之后还包括:
步骤S4、基于第R信号值组合集合获取第R目标驱动电路每一信号节点所可能设置的信号值以及对应的设置概率:
Pi R(Y)= Mi R(Y)/NR;
其中,Mi R(Y)为第R信号值组合集合中第R目标驱动电路第i个信号节点取值为Y时的数量,NR为第R信号值组合集合中信号值组合总数量,Y=0、1、x或z,x表示不定值,z表示高阻态;i的取值范围为1到f(R),f(R)为第R目标驱动电路中除目标信号节点之外的信号节点数量;
当步骤S4用于限定步骤S3时,R=1;当步骤S4用于限定步骤C3时,R=2;当步骤S4用于限定步骤C4时,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,目标信号节点对应一个列区域,每一级回溯深度对应一个列区域;
每一列区域包括一个或多个行区域,每一列区域用于显示每一级回溯深度的回溯深度标识、信号节点标识、信号值以及对应的设置概率的一个或多个;
行区域满足:hj R=hk1 R+hk2 R+…+hkv R…+hku(j) R,其中,hj R为第R目标驱动电路中位于第j回溯深度的一个信号节点Aj R的行高,hkv R为第R目标驱动电路中位于第k回溯深度的受hj R影响的第v个信号节点Bkv R的行高,v的取值范围为1到u(j), u(j)为第R目标驱动电路中位于第k回溯深度的受hj R影响的信号节点总数,j≠k,Bkv R的行区域能够沿水平方向延伸至Aj R的行区域中。
6.根据权利要求4所述的系统,其特征在于,
所述步骤S3、步骤C3或步骤C4之后还包括:
步骤S6、按照预设的显示数据结构在显示界面上呈现所有第R信号值组合,其中,所述预设的显示数据结构包括Q(R)个列区域;
R=1时,Q(R)=X1+X2+…+Xj+…XH1+1, Xj为第一回溯方向第j级回溯深度对应的信号节点数,j的取值范围为1到H1,H1为第一回溯深度;
R=2时,Q(R)=B1+B2+…+Bf+…BH2+1, Bf为第二回溯方向第f级回溯深度对应的信号节点数,f的取值范围为1到H2,H2为第二回溯深度;
R=3时,Q(R)=X1+X2+…+Xj+…XH1+B1+B2+…+Bf+…BH2+1;
每一信号节点对应一个列区域,每一列区域用于显示每一信号节点对应的回溯深度标识、信号节点标识、信号值和设置概率中的一个或多个,每一列区域包括W个单位行,R=1或2时,W=1+NR;R=3时,W=1+N1*N2,每一列区域的其中一个单位行用于存储信号节点对应的回溯深度标识,其他单位行用于存储该行对应的信号节点标识、信号值和设置概率中的一个或多个,所有列区域除回溯深度标识所在单位行之外的其他每一单位行连接组成的行,对应一个第R信号值组合。
7.根据权利要求6所述的系统,其特征在于,
当列区域中存在多个连续的单位行的信号值相等时,将信号值相等的多个连续的单位行合并为一合并行,合并行的高度等于所合并的多个单位行的和。
8.根据权利要求1所述的系统,其特征在于,
步骤S3或步骤C3包括:
步骤S31、将目标信号节点设置为回溯算法的初始回溯起点,将第F回溯方向设置为回溯算法的方向,将第F回溯深度设置为回溯算法的深度,将第F回溯限制条件设置为限制条件;
步骤S32、根据目标信号值、目标信号节点与第F回溯深度的信号节点对应的硬件驱动关系预测第一回溯深度的信号节点的信号值,根据第t回溯深度的当前所选的预测信号值,以及第t回溯深度和第(t+1)回溯深度对应的硬件驱动关系预测第(t+1)回溯深度的信号节点的信号值,基于回溯算法进行回溯,获取第F目标驱动电路中所有符合第一回溯限制条件第F信号值组合,t的取值范围为2到(E-1),E为第F回溯深度,其中,当步骤S31和步骤S32用于限定步骤S3时,F=1;当步骤S31和步骤S32用于限定步骤C3时,F=2。
9.根据权利要求8所述的系统,其特征在于,
所述系统在执行回溯过程时,处于运行所述待处理电子设计仿真的情况下,或者不处于运行所述待处理电子设计仿真的情况下;
第F回溯限制条件包括以下限制条件中的一个或多个:第F目标驱动电路中的第一指定信号节点值必须为Q1、第F目标驱动电路中的第二指定信号节点值不能为Q2,F为1或2,Q1为0或1,Q2为0或1。
10.根据权利要求8所述的系统,其特征在于,
所述系统在执行回溯过程时,处于运行所述待处理电子设计仿真的情况下;
第F回溯限制条件包括以下限制条件中的一个或多个:第F目标驱动电路中的第一指定信号节点值必须为Q1,第F目标驱动电路中的第二指定信号节点值不能为Q2,第F目标驱动电路中的第三指定信号节点值在第一指定信号时间点必须为Q3,第F目标驱动电路中的第四指定信号节点值在第一指定信号时间点不能为Q4,F为1或2,F为1时,P为1或2,Q1为0或1,Q2为0或1,Q3为0或1,Q4为0或1。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202211653409.4A CN115630601B (zh) | 2022-12-22 | 2022-12-22 | 基于回溯算法确定信号相关性的系统 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202211653409.4A CN115630601B (zh) | 2022-12-22 | 2022-12-22 | 基于回溯算法确定信号相关性的系统 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN115630601A CN115630601A (zh) | 2023-01-20 |
CN115630601B true CN115630601B (zh) | 2023-03-17 |
Family
ID=84910457
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202211653409.4A Active CN115630601B (zh) | 2022-12-22 | 2022-12-22 | 基于回溯算法确定信号相关性的系统 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN115630601B (zh) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN115861668B (zh) * | 2023-03-01 | 2023-04-21 | 上海合见工业软件集团有限公司 | 一种仿真波形中异常信号的溯源系统 |
CN116401989B (zh) * | 2023-06-09 | 2023-08-15 | 成都融见软件科技有限公司 | 基于芯片设计源码的信号检查方法、电子设备和介质 |
CN116911226B (zh) * | 2023-08-01 | 2024-03-08 | 上海合见工业软件集团有限公司 | 一种超节点的提取方法及系统 |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112486561A (zh) * | 2020-11-25 | 2021-03-12 | 北京电力交易中心有限公司 | 基于区块链的版本回溯方法、装置及相关设备 |
Family Cites Families (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2996615B2 (ja) * | 1996-01-08 | 2000-01-11 | 松下電器産業株式会社 | ビタビ復号装置及びその方法 |
JP2007017430A (ja) * | 2005-06-06 | 2007-01-25 | Matsushita Electric Ind Co Ltd | テストパターン生成方法 |
JP5146369B2 (ja) * | 2009-03-11 | 2013-02-20 | 富士通セミコンダクター株式会社 | 回路設計プログラム、回路設計方法および回路設計装置 |
US8276020B2 (en) * | 2009-03-18 | 2012-09-25 | Sas Institute Inc. | Systems and methods for automated determination of error handling |
US10193659B2 (en) * | 2015-11-27 | 2019-01-29 | Cohda Wireless Pty Ltd. | Wireless receiver |
-
2022
- 2022-12-22 CN CN202211653409.4A patent/CN115630601B/zh active Active
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112486561A (zh) * | 2020-11-25 | 2021-03-12 | 北京电力交易中心有限公司 | 基于区块链的版本回溯方法、装置及相关设备 |
Also Published As
Publication number | Publication date |
---|---|
CN115630601A (zh) | 2023-01-20 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN115630601B (zh) | 基于回溯算法确定信号相关性的系统 | |
CN112019193B (zh) | 用于实现量子门的控制脉冲的生成方法、装置 | |
Malik et al. | Logic verification using binary decision diagrams in a logic synthesis environment | |
US8234608B2 (en) | Circuit specification description visualizing device, circuit specification description visualizing method and storage medium | |
CN103793627B (zh) | 碱基序列比对系统及方法 | |
US9733782B2 (en) | Extracting a deterministic finite-state machine model of a GUI based application | |
US7137084B1 (en) | Similarity-driven synthesis for equivalence checking of complex designs | |
CN113779479A (zh) | 网页表格编辑方法、装置、设备及存储介质 | |
JP7229291B2 (ja) | データ拡張の方法及び装置、機器、記憶媒体 | |
CN113962055B (zh) | 目标多级设计连接路径的网络互联检测系统 | |
CN111444091B (zh) | 测试用例生成方法及装置 | |
KR102485109B1 (ko) | 세션 추천 방법, 장치 및 전자 기기 | |
CN111865683B (zh) | 虚拟网关版本灰度发布方法、装置、设备以及存储介质 | |
CN111460747B (zh) | 一种用于集成电路设计的标准单元追踪方法 | |
CN111782633B (zh) | 数据处理方法、装置及电子设备 | |
US6289349B1 (en) | Binary tree structure with end of path flags stored with path arc's | |
CN114912392B (zh) | 设计数据的连通性检测配置系统 | |
US6795842B2 (en) | Method and apparatus for comparing two binary numbers with a power-of-two threshold | |
Derk et al. | Reconfiguration for fault tolerance using graph grammars | |
CN116011395B (zh) | 基于模块交换的电路示意图模块列排序方法、设备和介质 | |
CN111611684B (zh) | 干涉区逻辑块的生成方法、系统、装置和存储介质 | |
CN112733474B (zh) | 基于与门反相器图的网表级电路面积优化方法及存储介质 | |
CN116955415B (zh) | 基于设计层级的数据搜索系统 | |
CN118035063A (zh) | 控件测试方法、装置、设备、介质及产品 | |
Sobalvarro | Analytical modeling of multistage, multipath networks |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |