CN108932355B - 一种逻辑验证方法及装置 - Google Patents
一种逻辑验证方法及装置 Download PDFInfo
- Publication number
- CN108932355B CN108932355B CN201710369925.7A CN201710369925A CN108932355B CN 108932355 B CN108932355 B CN 108932355B CN 201710369925 A CN201710369925 A CN 201710369925A CN 108932355 B CN108932355 B CN 108932355B
- Authority
- CN
- China
- Prior art keywords
- logic verification
- dut
- testbench
- parameter
- verification result
- 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/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Tests Of Electronic Circuits (AREA)
Abstract
本发明公开了一种逻辑验证方法及装置,应用于基站逻辑验证平台,Testbench获取DUT中执行相应可逻辑实现功能所需的参数文本,并依据参数文本生成输入激励,调用总线接口中传输输入激励的信号线,将输入激励传输至DUT,调用总线接口中传输逻辑验证结果的信号线,获取DUT基于输入激励进行逻辑验证的逻辑验证结果,基于逻辑验证结果,对DUT中相应可逻辑实现功能进行逻辑验证。针对DUT中不同的可逻辑实现功能进行逻辑验证时,可直接通过调用总线接口中传输输入激励的信号线实现逻辑验证,即,可直接在总线接口中修改信号线,不需要修改Testbench内部代码,提高了逻辑验证的效率。
Description
技术领域
本发明涉及仿真测试技术领域,尤其涉及一种逻辑验证方法及装置。
背景技术
随着基站中可逻辑实现功能(例如,物理层算法功能、接口功能以及数据传输功能等)的增加,对于基站中可逻辑实现功能的仿真也越来越复杂。用于对基站中可逻辑实现功能进行仿真的逻辑验证平台,快速实现如此庞大的功能面临极大的挑战。逻辑验证平台一般根据可逻辑实现功能的激励需求向被测的可逻辑实现的功能传递激励,然后接收经过逻辑处理的结果,通过检查接收到的数据的正确性来达到验证逻辑处理正确性的目的。下面以对基站中可逻辑实现功能的逻辑验证为例进行说明。
针对基站中可逻辑实现功能的逻辑验证,目前常用的逻辑验证平台如图1所示,图1中待测设计(Design Under Test,DUT)表示基站中待测的可逻辑实现功能设计,为了方便描述,本申请中将基站中待测的可逻辑实现功能设计,简称为DUT,Testbench是模拟实际场景的仿真模型,Testbench为DUT传递激励,且通过的输入信号线、输出信号线与DUT相连,其中,的输入信号线、输出信号线分别与Testbench和DUT的软件端口相连,DUT通过输出信号线向Testbench输出逻辑验证结果,Testbench通过将接收到的逻辑验证结果与预期的逻辑验证结果进行比较,评估逻辑验证的正确性。
目前,针对DUT中包括的不同的可逻辑实现功能进行逻辑验证都需要部署不同的信号线,即都需要修改信号线以及Testbench内部代码,并需要调用Testbench以及DUT的不同软件端口,这大大降低了逻辑验证的效率。
发明内容
本发明的目的是提供一种逻辑验证方法及装置,以解决现有技术中针对DUT中包括的不同的可逻辑实现功能进行逻辑验证效率较低的问题。
本发明的目的是通过以下技术方案实现的:
第一方面,提供一种逻辑验证方法,应用于基站逻辑验证平台,所述基站逻辑验证平台中包括仿真模型Testbench与待测设计DUT,所述Testbench与所述DUT之间通过总线接口相连,所述总线接口中包括用于传输输入激励以及逻辑验证结果的信号线,在该方法中,所述Testbench获取所述DUT中执行相应可逻辑实现功能所需的参数文本,依据所述参数文本生成输入激励,并调用所述总线接口中传输所述输入激励的信号线,将所述输入激励传输至所述DUT,所述Testbench调用所述总线接口中传输逻辑验证结果的信号线,获取所述DUT基于所述输入激励进行逻辑验证的逻辑验证结果,基于所述逻辑验证结果,对所述DUT中相应可逻辑实现功能进行逻辑验证。
本发明实施例中,在基站逻辑验证平台搭建好之后,所述Testbench依据所述DUT中可逻辑实现功能所需的参数文本生成输入激励,通过调用所述总线接口中传输所述输入激励的信号线,将所述输入激励传输至所述DUT,不同于现有技术中针对DUT中不同的可逻辑实现功能进行逻辑验证时需要修改信号线以及Testbench内部代码,本发明实施例中针对DUT中不同的可逻辑实现功能进行逻辑验证时,可直接通过调用所述总线接口中传输所述输入激励的信号线实现逻辑验证,即,可直接在总线接口中修改信号线,不需要修改Testbench内部代码,故,提高了逻辑验证的效率。
较佳的,所述Testbench获取所述DUT中执行相应可逻辑实现功能所需的参数文本,包括:
所述Testbench根据第一计数器计数值和第二计数器计数值,获取参数文本名称与所述第一计数器计数值和第二计数器计数值对应的参数文本;其中,所述第一计数器用于对子帧内包括的测试用例进行计数,每执行完一个测试用例所述第一计数器值加1;所述第二计数器用于对帧内的子帧计数,每执行完一个子帧内的全部测试用例后所述第二计数器数值加1;所述参数文本名称中包括有所述参数文本对应可逻辑实现功能所需参数名称、帧号、子帧号以及测试用例编号。
本发明实施例中,所述Testbench获取的参数文本名称中包括有所述参数文本对应可逻辑实现功能所需参数名称、帧号、子帧号以及测试用例编号,且使用第一计数器和第二计数器分别对子帧内包括的测试用例以及对帧内的子帧计数,故,所述Testbench加载参数文本时,通过所述第一计数器、所述第二计数器以及参数文本名称,可实现参数文本的自动化加载。
较佳的,所述Testbench获取所述DUT基于所述输入激励进行逻辑验证的逻辑验证结果之后,还包括:
所述Testbench将所述逻辑验证结果,存储至输出文件夹名称与所述逻辑验证结果对应的参数文本名称、帧号以及子帧号对应的输出文件夹中;所述输出文件夹名称中包括参数文本名称、帧号以及子帧号;所述Testbench基于所述获取到的逻辑验证结果,对所述DUT中执行所述功能的测试用例进行逻辑验证,包括:所述Testbench基于存储所述逻辑验证结果的输出文件夹名称,确定与所述输出文件夹名称对应的参数文本名称;所述Testbench基于所述参数文本名称,确定所述参数文本名称对应参数所预期得到的逻辑验证结果;所述Testbench验证所述获取到的逻辑验证结果与所述预期得到的逻辑验证结果的一致性。
本发明实施例中,所述Testbench将所述逻辑验证结果,存储至输出文件夹名称与所述逻辑验证结果对应的参数文本名称、帧号以及子帧号对应的输出文件夹中,便于所述Testbench查找对应的逻辑验证结果。
较佳的,所述Testbench调用所述总线接口中传输所述输入激励的信号线,将所述输入激励传输至所述DUT之前,还包括:
所述Testbench确定总线功能开关已开启;其中,所述总线功能开关开启,表征所述Testbench通过所述总线接口将输入激励传输至所述DUT。
本发明实施例中,通过设置总线功能开关,可灵活选择所述Testbench向所述DUT传输输入激励的方法,开启总线功能开关,所述Testbench通过所述总线接口将输入激励传输至所述DUT,关闭总线功能开关,Testbench通过调用信号线实现输入激励传输。
较佳的,所述Testbench中包括根据所述DUT中包括的可逻辑实现功能所需输入激励的功能类型所划分的至少一个功能模块;所述功能模块至少包括有参数文本模块;所述Testbench从所述参数文本模块处,获取所述DUT中执行相应可逻辑实现功能所需的参数文本。
本发明实施例中,通过对所述Testbench进行功能模块划分,所述Testbench可按功能模块灵活加载DUT中执行相应可逻辑实现功能所需的参数,且可实现按模块的重复调用。
第二方面,提供一种逻辑验证装置,应用于基站逻辑验证平台,所述基站逻辑验证平台中包括仿真模型Testbench与待测设计DUT,所述Testbench与所述DUT之间通过总线接口相连,所述总线接口中包括用于传输输入激励以及逻辑验证结果的信号线,所述装置包括获取单元和处理单元,其中:
获取单元,用于获取所述DUT中执行相应可逻辑实现功能所需的参数文本以及所述DUT基于输入激励进行逻辑验证的逻辑验证结果。
处理单元,用于依据所述获取单元获取到的所述参数文本生成输入激励,并调用所述总线接口中传输所述输入激励的信号线,将所述输入激励传输至所述DUT,调用所述总线接口中传输逻辑验证结果的信号线,基于所述获取单元获取到的所述逻辑验证结果,对所述DUT中相应可逻辑实现功能进行逻辑验证。
较佳的,所述获取单元采用如下方式获取所述DUT中执行相应可逻辑实现功能所需的参数文本:
根据第一计数器计数值和第二计数器计数值,获取参数名称与所述第一计数器计数值和第二计数器计数值对应的参数文本;其中,所述第一计数器用于对子帧内包括的测试用例进行计数,每执行完一个测试用例所述第一计数器值加1;所述第二计数器用于对帧内的子帧计数,每执行完一个子帧内的全部测试用例后所述第二计数器数值加1;所述参数名称中包括有所述参数文本对应可逻辑实现功能所需参数名称、帧号、子帧号以及测试用例编号。
较佳的,所述处理单元还用于:
在所述获取单元获取到所述DUT基于所述输入激励进行逻辑验证的逻辑验证结果之后,将所述逻辑验证结果,存储至输出文件夹名称与所述逻辑验证结果对应的参数文本名称、帧号以及子帧号对应的输出文件夹中;所述输出文件夹名称中包括参数文本名称、帧号以及子帧号;所述处理单元采用如下方式基于所述获取到的逻辑验证结果,对所述DUT中执行所述功能的测试用例进行逻辑验证:基于存储所述逻辑验证结果的输出文件夹名称,确定与所述输出文件夹名称对应的参数文本名称;基于所述参数文本名称,确定所述参数文本名称对应参数所预期得到的逻辑验证结果;验证所述获取到的逻辑验证结果与所述预期得到的逻辑验证结果的一致性。
较佳的,所述处理单元还用于:
在调用所述总线接口中传输所述输入激励的信号线,将所述输入激励传输至所述DUT之前,确定总线功能开关已开启;其中,所述总线功能开关开启,表征所述Testbench通过所述总线接口将输入激励传输至所述DUT。
较佳的,所述处理单元中包括根据所述DUT中包括的可逻辑实现功能所需输入激励的功能类型所划分的至少一个功能模块;所述功能模块至少包括有参数文本模块;所述处理单元从所述参数文本模块处,获取所述DUT中执行相应可逻辑实现功能所需的参数文本。
附图说明
图1为现有的一种逻辑验证平台;
图2为本发明实施例提供的一种基站逻辑验证平台;
图3为本发明实施例提供的一种逻辑验证方法流程图;
图4为本发明实施例提供的一种功能模块开关设置示意图;
图5为本发明实施例提供的又一种基站逻辑验证平台;
图6为本发明实施例提供的一种逻辑验证装置示意图。
具体实施方式
下面将结合本发明实施例中的附图,对本发明实施例中的技术方案进行详细地描述,显然,所描述的实施例仅仅是本发明一部分实施例,并不是全部的实施例。基于本发明中的实施例,本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例,都属于本发明保护的范围。
为解决现有技术中针对DUT中包括的不同的可逻辑实现功能进行逻辑验证效率较低的问题,本发明实施例提供一种逻辑验证方法,应用于图2所示的基站逻辑验证平台,本发明实施例不作具体限定,本发明提供的逻辑验证方法也可以应用到其它逻辑验证平台。由图2可知,该基站逻辑验证平台中包括Testbench和DUT,且Testbench与DUT之间通过总线接口相连,其中,总线接口中包括用于传输输入激励以及逻辑验证结果的信号线,Testbench可从总线接口中调用信号线,后续若修改(增加或删除)信号线,可直接在总线接口中修改,而无需在Testbench内部进行修改,以下以应用图2所示的基站逻辑验证平台的实施过程为例进行说明。
图3所示为本发明实施例提供的一种逻辑验证方法流程图,如图3所示,包括:
S101:Testbench获取DUT中执行相应可逻辑实现功能所需的参数文本。
本发明实施例中,DUT中不同的可逻辑实现功能对应Testbench中不同的参数文本,Testbench需要根据DUT中当前测试的可逻辑实现功能,获取与当前可逻辑实现功能相应的参数文本。
S102:Testbench依据参数文本生成输入激励,并调用总线接口中传输输入激励的信号线,将输入激励传输至DUT。
S103:Testbench调用总线接口中传输逻辑验证结果的信号线,获取DUT基于输入激励进行逻辑验证的逻辑验证结果。
S104:Testbench基于逻辑验证结果,对DUT中相应可逻辑实现功能进行逻辑验证。
本发明实施例中,在图2所示的基站逻辑验证平台中对DUT中可逻辑实现的功能进行逻辑验证。Testbench依据DUT中可逻辑实现功能所需的参数文本生成输入激励,通过调用总线接口中传输输入激励的信号线,将输入激励传输至DUT,针对DUT中不同的可逻辑实现功能进行逻辑验证时,可直接通过调用总线接口中传输输入激励的信号线实现逻辑验证,即,可直接在总线接口中修改信号线,不需要修改Testbench内部代码,提高了逻辑验证的效率。
本发明实施例中,为了实现针对不同的可逻辑实现功能的逻辑验证,可能只需要修改部分功能代码,本发明可通过预先设置各功能模块的开关,控制针对不同的功能模块的修改,如图4所示,图4中示出针对N(N大于等于三)种不同的功能模块设置开关,进而控制不同的功能模块。本发明可设置总线功能开关,以下详细说明如何应用总线功能开关控制总线接口。
本发明实施例中,Testbench调用总线接口中传输输入激励的信号线,将输入激励传输至DUT之前,Testbench确定总线功能开关已开启,其中,总线功能开关开启,表征Testbench通过总线接口将输入激励传输至DUT,通过设置总线功能开关,可灵活选择Testbench向DUT传输输入激励的方法,开启总线功能开关,Testbench可通过总线接口将输入激励传输至DUT,关闭总线功能开关,Testbench可通过调用信号线实现输入激励传输。
本发明实施例中,通过设置用于对子帧内包括的测试用例进行计数的第一计数器,以及用于对帧内的子帧计数的第二计数器,从而实现参数文本的自动化加载,以下详细说明如何加载参数文本。
本发明实施例中,Testbench根据第一计数器计数值和第二计数器计数值,获取参数文本名称与所述第一计数器计数值和第二计数器计数值对应的参数文本,其中,每执行完一个测试用例第一计数器值加1,每执行完一个子帧内的全部测试用例后第二计数器数值加1,参数文本名称中包括有参数文本对应可逻辑实现功能所需参数名称、帧号、子帧号以及测试用例编号。
本发明实施例中,下面以一个实例对Testbench根据第一计数器计数值和第二计数器计数值,获取参数文本的过程进行详细说明。
本发明实施例中,Testbench针对每个子帧仿真测试用例,直到当前子帧所有测试用例全部仿真完成,运行下一子帧。假设每个子帧内包括的测试用例数为12,且每个帧包括10个子帧,则用于对子帧内包括的测试用例进行计数的第一计数器计数值随着测试用例的执行,按照预先设置的步长值(例如可以是1)递增,用于对帧内的子帧计数的第二计数器计数值也随着测试用例的执行,按照预先设置的步长值(例如可以是1)递增,即第一计数器计数值和第二计数器计数值与当前正在执行的测试用例的数目有关,通过本发明实施例提供的方法,在每个帧内仿真可加载120个测试用例,而本发明中每个子帧内可并行仿真的测试用例数可根据实际情况灵活设置,实际每帧内仿真都可以加载无限多用例。在仿真运行过程中,假设当前正在运行的帧为f0,当前运行的子帧为sf1,DUT中执行相应可逻辑实现功能所需的参数名称为A,且该参数名称为A的参数文本对应的是当前运行的子帧中的第5个测试用例case005,此时名称为A的参数文本可命名为A_f0_sf1_case005,Testbench根据此时第一计数器计数值为5,第二计数器计数值为1,获取参数文本名称为A的参数文本。
本发明实施例中,上述设置第一计数器和第二计数器具体取值仅是进行举例说明,其中,第一计数器以及第二计数器可从零开始计数,也可从1开始计数,不作具体限定。
需要说明的是,本发明实施例中对Testbench获取DUT中执行相应可逻辑实现功能所需的参数文本的方式不作具体限定。
本发明实施例中,DUT输出的逻辑验证结果也会根据参数文本对应可逻辑实现功能所需参数名称、帧号、子帧号以及测试用例编号进行命名。
一种可能的实施方式中,可利用SV(System Verilog)语言,根据不同的情况自动改变输出的逻辑验证结果的名称,增强可读性,便于理解。
本发明实施例中,为了便于查找逻辑验证结果,Testbench获取DUT基于输入激励进行逻辑验证的逻辑验证结果之后,Testbench将逻辑验证结果,存储至输出文件夹名称与逻辑验证结果对应的参数文本名称、帧号以及子帧号对应的输出文件夹中,其中,输出文件夹名称中包括参数文本名称、帧号以及子帧号。
一种可能的实施方式中,可利用工具命令语言(Tool Command Language,TCL),根据不同的参数文本名称、帧号以及子帧号,自动生成存放逻辑验证结果的文件夹,并把仿真输出的逻辑验证结果放到对应的文件夹中。例如,假设当前使用的参数文本名称为B,当前运行的帧是Frame_0,当前运行的子帧是Subframe_9,则根据参数文本名称、帧号以及子帧号自动生成存放逻辑验证结果的文件夹为B_Frame_0/Subframe_9。通过将仿真输出的逻辑验证结果,有规律的放置在根据参数文本名称、帧号以及子帧号生成的文件夹中,可方便查找逻辑验证结果。
本发明实施例中,Testbench每次进行逻辑验证都会自动备份之前的逻辑验证结果以及所获取的参数文本。利用TCL语言,自动备份参数文本以及逻辑验证结果,备份文件夹的名称根据时间的不同自动生成,方便查找。
一种可能的实施方式中,Testbench获取到逻辑验证结果之后,对DUT中执行所述功能的测试用例进行逻辑验证,具体的,Testbench基于存储逻辑验证结果的输出文件夹名称,确定与输出文件夹名称对应的参数名称,Testbench基于参数名称,确定参数名称对应参数所预期得到的逻辑验证结果,Testbench验证获取到的逻辑验证结果与预期得到的逻辑验证结果的一致性,若Testbench获取到的逻辑验证结果与预期得到的逻辑验证结果一致,则DUT中当前待测可逻辑实现功能通过验证,若Testbench获取到的逻辑验证结果与预期得到的逻辑验证结果不一致,则DUT中当前待测可逻辑实现功能验证失败。
图5所示为本发明实施例提供的又一种基站逻辑验证平台,本发明提供的逻辑验证方法可应用于该基站逻辑验证平台中,如图5所示,该基站逻辑验证平台的Testbench中,包括根据DUT中包括的可逻辑实现功能所需输入激励的功能类型所划分的至少一个功能模块,功能模块至少包括有参数文本模块,图5中示出的功能模块包括参数文本模块和数据文本模块,Testbench可从参数文本模块以及数据文本模块处,获取DUT中执行相应可逻辑实现功能所需的参数文本以及数据文本,DUT可通过顶层接口与总线接口连接,顶层接口仅提供连接功能,其中,每一功能模块下的子功能模块均包括多个小的分模块,如图5中参数文本模块和数据文本模块下还包括的分模块(A模块和B模块),通过归类划分为更小的功能模块,方便修改和管理。
本发明实施例中,通过对Testbench进行功能模块划分,Testbench可按功能模块灵活加载DUT中执行相应可逻辑实现功能所需的参数,且可实现按模块的重复调用。
本发明实施例中还提供一种逻辑验证装置,下面将详细描述该装置的组成及用途。
图6为本发明实施例提供的一种逻辑验证装置示意图,如图6所示,该装置包括获取单元101和处理单元102,其中:
获取单元101,用于获取所述DUT中执行相应可逻辑实现功能所需的参数文本以及所述DUT基于输入激励进行逻辑验证的逻辑验证结果。
处理单元102,用于依据所述获取单元101获取到的所述参数文本生成输入激励,并调用所述总线接口中传输所述输入激励的信号线,将所述输入激励传输至所述DUT,调用所述总线接口中传输逻辑验证结果的信号线,基于所述获取单元101获取到的所述逻辑验证结果,对所述DUT中相应可逻辑实现功能进行逻辑验证。
本发明实施例中,所述获取单元101采用如下方式获取所述DUT中执行相应可逻辑实现功能所需的参数文本:
根据第一计数器计数值和第二计数器计数值,获取参数名称与所述第一计数器计数值和第二计数器计数值对应的参数文本。
其中,所述第一计数器用于对子帧内包括的测试用例进行计数,每执行完一个测试用例所述第一计数器值加1;所述第二计数器用于对帧内的子帧计数,每执行完一个子帧内的全部测试用例后所述第二计数器数值加1;所述参数名称中包括有所述参数文本对应可逻辑实现功能所需参数名称、帧号、子帧号以及测试用例编号。
本发明实施例中,所述处理单元102还用于:
在所述获取单元101获取到所述DUT基于所述输入激励进行逻辑验证的逻辑验证结果之后,将所述逻辑验证结果,存储至输出文件夹名称与所述逻辑验证结果对应的参数文本名称、帧号以及子帧号对应的输出文件夹中。
其中,所述输出文件夹名称中包括参数文本名称、帧号以及子帧号。
所述处理单元102采用如下方式基于所述获取到的逻辑验证结果,对所述DUT中执行所述功能的测试用例进行逻辑验证:
基于存储所述逻辑验证结果的输出文件夹名称,确定与所述输出文件夹名称对应的参数文本名称;基于所述参数文本名称,确定所述参数文本名称对应参数所预期得到的逻辑验证结果;验证所述获取到的逻辑验证结果与所述预期得到的逻辑验证结果的一致性。
本发明实施例中,所述处理单元102还用于:
在调用所述总线接口中传输所述输入激励的信号线,将所述输入激励传输至所述DUT之前,确定总线功能开关已开启。
其中,所述总线功能开关开启,表征所述Testbench通过所述总线接口将输入激励传输至所述DUT。
本发明实施例中,所述处理单元102中包括根据所述DUT中包括的可逻辑实现功能所需输入激励的功能类型所划分的至少一个功能模块;所述功能模块至少包括有参数文本模块;所述处理单元102从所述参数文本模块处,获取所述DUT中执行相应可逻辑实现功能所需的参数文本。
本发明实施例中,在基站逻辑验证平台中Testbench与DUT搭建好之后,所述Testbench依据所述DUT中可逻辑实现功能所需的参数文本生成输入激励,通过调用所述总线接口中传输所述输入激励的信号线,将所述输入激励传输至所述DUT,不同于现有技术中针对DUT中不同的可逻辑实现功能进行逻辑验证时需要修改信号线以及Testbench内部代码,本发明实施例中针对DUT中不同的可逻辑实现功能进行逻辑验证时,可直接通过调用所述总线接口中传输所述输入激励的信号线实现逻辑验证,即,可直接在总线接口中修改信号线,不需要修改Testbench内部代码,故,提高了逻辑验证的效率。
显然,本领域的技术人员可以对本发明进行各种改动和变型而不脱离本发明的精神和范围。这样,倘若本发明的这些修改和变型属于本发明权利要求及其等同技术的范围之内,则本发明也意图包含这些改动和变型在内。
Claims (10)
1.一种逻辑验证方法,其特征在于,应用于基站逻辑验证平台,所述基站逻辑验证平台中包括仿真模型Testbench与待测设计DUT,所述Testbench与所述DUT之间通过总线接口相连,所述总线接口中包括用于传输输入激励以及逻辑验证结果的信号线,所述方法包括:
所述Testbench获取所述DUT中执行相应可逻辑实现功能所需的参数文本;
所述Testbench依据所述参数文本生成输入激励,并调用所述总线接口中传输所述输入激励的信号线,将所述输入激励传输至所述DUT;
所述Testbench调用所述总线接口中传输逻辑验证结果的信号线,获取所述DUT基于所述输入激励进行逻辑验证的逻辑验证结果;
所述Testbench基于所述逻辑验证结果,对所述DUT中相应可逻辑实现功能进行逻辑验证。
2.如权利要求1所述的方法,其特征在于,所述Testbench获取所述DUT中执行相应可逻辑实现功能所需的参数文本,包括:
所述Testbench根据第一计数器计数值和第二计数器计数值,获取参数文本名称与所述第一计数器计数值和第二计数器计数值对应的参数文本;其中,所述参数文本分别与所述第一计数器计数值和第二计数器计数值一一对应;
其中,所述第一计数器用于对子帧内包括的测试用例进行计数,每执行完一个测试用例所述第一计数器值加1;
所述第二计数器用于对帧内的子帧计数,每执行完一个子帧内的全部测试用例后所述第二计数器数值加1;
所述参数文本名称中包括有所述参数文本对应可逻辑实现功能所需参数名称、帧号、子帧号以及测试用例编号。
3.如权利要求2所述的方法,其特征在于,所述Testbench获取所述DUT基于所述输入激励进行逻辑验证的逻辑验证结果之后,所述方法还包括:
所述Testbench将所述逻辑验证结果,存储至输出文件夹名称与所述逻辑验证结果对应的参数文本名称、帧号以及子帧号对应的输出文件夹中;
所述输出文件夹名称中包括参数文本名称、帧号以及子帧号;
所述Testbench基于所述获取到的逻辑验证结果,对所述DUT中执行所述功能的测试用例进行逻辑验证,包括:
所述Testbench基于存储所述逻辑验证结果的输出文件夹名称,确定与所述输出文件夹名称对应的参数文本名称;
所述Testbench基于所述参数文本名称,确定所述参数文本名称对应参数所预期得到的逻辑验证结果;
所述Testbench验证所述获取到的逻辑验证结果与所述预期得到的逻辑验证结果的一致性。
4.如权利要求1至3任一项所述的方法,其特征在于,所述Testbench调用所述总线接口中传输所述输入激励的信号线,将所述输入激励传输至所述DUT之前,所述方法还包括:
所述Testbench确定总线功能开关已开启;
其中,所述总线功能开关开启,表征所述Testbench通过所述总线接口将输入激励传输至所述DUT。
5.如权利要求1所述的方法,其特征在于,所述Testbench中包括根据所述DUT中包括的可逻辑实现功能所需输入激励的功能类型所划分的至少一个功能模块;
所述功能模块至少包括有参数文本模块;
所述Testbench从所述参数文本模块处,获取所述DUT中执行相应可逻辑实现功能所需的参数文本。
6.一种逻辑验证装置,其特征在于,应用于基站逻辑验证平台,所述基站逻辑验证平台中包括仿真模型Testbench与待测设计DUT,所述Testbench与所述DUT之间通过总线接口相连,所述总线接口中包括用于传输输入激励以及逻辑验证结果的信号线,所述装置包括:
获取单元,用于获取所述DUT中执行相应可逻辑实现功能所需的参数文本以及所述DUT基于输入激励进行逻辑验证的逻辑验证结果;
处理单元,用于依据所述获取单元获取到的所述参数文本生成输入激励,并调用所述总线接口中传输所述输入激励的信号线,将所述输入激励传输至所述DUT,调用所述总线接口中传输逻辑验证结果的信号线,基于所述获取单元获取到的所述逻辑验证结果,对所述DUT中相应可逻辑实现功能进行逻辑验证。
7.如权利要求6所述的装置,其特征在于,所述获取单元采用如下方式获取所述DUT中执行相应可逻辑实现功能所需的参数文本:
根据第一计数器计数值和第二计数器计数值,获取参数名称与所述第一计数器计数值和第二计数器计数值对应的参数文本;其中,所述参数文本分别与所述第一计数器计数值和第二计数器计数值一一对应;
其中,所述第一计数器用于对子帧内包括的测试用例进行计数,每执行完一个测试用例所述第一计数器值加1;
所述第二计数器用于对帧内的子帧计数,每执行完一个子帧内的全部测试用例后所述第二计数器数值加1;
所述参数名称中包括有所述参数文本对应可逻辑实现功能所需参数名称、帧号、子帧号以及测试用例编号。
8.如权利要求7所述的装置,其特征在于,所述处理单元还用于:
在所述获取单元获取到所述DUT基于所述输入激励进行逻辑验证的逻辑验证结果之后,将所述逻辑验证结果,存储至输出文件夹名称与所述逻辑验证结果对应的参数文本名称、帧号以及子帧号对应的输出文件夹中;
所述输出文件夹名称中包括参数文本名称、帧号以及子帧号;
所述处理单元采用如下方式基于所述获取到的逻辑验证结果,对所述DUT中执行所述功能的测试用例进行逻辑验证:
基于存储所述逻辑验证结果的输出文件夹名称,确定与所述输出文件夹名称对应的参数文本名称;
基于所述参数文本名称,确定所述参数文本名称对应参数所预期得到的逻辑验证结果;
验证所述获取到的逻辑验证结果与所述预期得到的逻辑验证结果的一致性。
9.如权利要求6至8任一项所述的装置,其特征在于,所述处理单元还用于:
在调用所述总线接口中传输所述输入激励的信号线,将所述输入激励传输至所述DUT之前,确定总线功能开关已开启;
其中,所述总线功能开关开启,表征所述Testbench通过所述总线接口将输入激励传输至所述DUT。
10.如权利要求6所述的装置,其特征在于,所述处理单元中包括根据所述DUT中包括的可逻辑实现功能所需输入激励的功能类型所划分的至少一个功能模块;
所述功能模块至少包括有参数文本模块;
所述处理单元从所述参数文本模块处,获取所述DUT中执行相应可逻辑实现功能所需的参数文本。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710369925.7A CN108932355B (zh) | 2017-05-23 | 2017-05-23 | 一种逻辑验证方法及装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710369925.7A CN108932355B (zh) | 2017-05-23 | 2017-05-23 | 一种逻辑验证方法及装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN108932355A CN108932355A (zh) | 2018-12-04 |
CN108932355B true CN108932355B (zh) | 2020-11-20 |
Family
ID=64450362
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201710369925.7A Active CN108932355B (zh) | 2017-05-23 | 2017-05-23 | 一种逻辑验证方法及装置 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN108932355B (zh) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112989736B (zh) * | 2021-04-23 | 2022-06-03 | 芯华章科技股份有限公司 | 用于检测修改设计的错误实例的方法、设备及存储介质 |
CN113485290B (zh) * | 2021-06-28 | 2022-08-02 | 中车青岛四方机车车辆股份有限公司 | 轨道车辆牵引控制逻辑的检测方法、装置、设备及介质 |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1417683A (zh) * | 2001-11-07 | 2003-05-14 | 华为技术有限公司 | 一种异常逻辑业务仿真测试装置 |
CN101159492A (zh) * | 2007-09-11 | 2008-04-09 | Ut斯达康通讯有限公司 | 一种用于sdh逻辑设计的仿真验证系统及其方法 |
CN101952827A (zh) * | 2008-04-30 | 2011-01-19 | 新思科技有限公司 | 用于执行硬件仿真和验证解决方案的方法和装置 |
CN104714870A (zh) * | 2015-03-26 | 2015-06-17 | 浪潮集团有限公司 | 一种基于bfm验证大型互连芯片的方法 |
CN105279345A (zh) * | 2015-11-19 | 2016-01-27 | 中国空间技术研究院 | 一种航天器用数字软ip核评测方法 |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9778315B2 (en) * | 2014-11-14 | 2017-10-03 | Cavium, Inc. | Testbench builder, system, device and method having agent loopback functionality |
-
2017
- 2017-05-23 CN CN201710369925.7A patent/CN108932355B/zh active Active
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1417683A (zh) * | 2001-11-07 | 2003-05-14 | 华为技术有限公司 | 一种异常逻辑业务仿真测试装置 |
CN101159492A (zh) * | 2007-09-11 | 2008-04-09 | Ut斯达康通讯有限公司 | 一种用于sdh逻辑设计的仿真验证系统及其方法 |
CN101952827A (zh) * | 2008-04-30 | 2011-01-19 | 新思科技有限公司 | 用于执行硬件仿真和验证解决方案的方法和装置 |
CN104714870A (zh) * | 2015-03-26 | 2015-06-17 | 浪潮集团有限公司 | 一种基于bfm验证大型互连芯片的方法 |
CN105279345A (zh) * | 2015-11-19 | 2016-01-27 | 中国空间技术研究院 | 一种航天器用数字软ip核评测方法 |
Non-Patent Citations (2)
Title |
---|
一种基于UVM面向RISCCPU的可重用功能验证平台;谢峥 等;《北京大学学报(自然科学版)》;20140331;第50卷(第2期);第221-227页 * |
二维加速引擎逻辑的EDA验证;邱建顺;《中国优秀硕士学位论文全文数据库 信息科技辑》;20131215(第S2期);第I135-283页 * |
Also Published As
Publication number | Publication date |
---|---|
CN108932355A (zh) | 2018-12-04 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN101196844B (zh) | 一种硬件模块的测试系统及方法 | |
CN109726061B (zh) | 一种SoC芯片的验证方法 | |
CN107015902B (zh) | 一种测试方法和设备 | |
CN108932355B (zh) | 一种逻辑验证方法及装置 | |
CN109240908A (zh) | 异常测试用例模板创建方法及装置 | |
CN104834591B (zh) | 测试autosar软件组件的测试方法及系统 | |
CN106155903A (zh) | 用于系统设计验证的装置和方法 | |
CN110990289B (zh) | 一种自动提交bug的方法、装置、电子设备及存储介质 | |
CN110688269B (zh) | 采用axi总线接口的rtl代码自动化验证装置及方法 | |
CN112100085B (zh) | 安卓应用程序稳定性测试方法、装置和设备 | |
CN113392027A (zh) | 移动端应用的兼容性测试方法、系统及电子设备 | |
CN110489347A (zh) | 基于git的版本管理方法、装置、设备及可读存储介质 | |
CN111782507B (zh) | 数据测试方法、装置、存储介质及电子设备 | |
CN112596784A (zh) | 一种迭代版本部署方法及装置 | |
CN111737065A (zh) | 一种基于服务器接口测试的需求模型及接口测试方法、系统 | |
CN110704307A (zh) | 应用产品的测试方法、装置、用户设备及计算机存储介质 | |
CN111104331A (zh) | 软件管理方法、终端设备及计算机可读存储介质 | |
CN116069635A (zh) | Soc系统的测试方法、装置、计算机设备及存储介质 | |
CN115034165A (zh) | 一种芯片仿真验证方法、系统、设备以及存储介质 | |
CN114995792A (zh) | 汽车诊断设备的组件化开发方法、设备、介质及电子设备 | |
CN113792522A (zh) | 仿真验证方法、装置及计算设备 | |
CN113341767A (zh) | 用于自动化测试的方法、系统和计算机可读存储介质 | |
CN111782499A (zh) | 测试用例生成方法及系统 | |
CN106446400B (zh) | 一种机电系统性能的测试方法及装置 | |
CN111752823A (zh) | 一种车载电源应用软件的测试方法、装置及设备 |
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 |