一种逻辑验证方法及装置制造方法及图纸

本发明专利技术公开了一种逻辑验证方法及装置，应用于基站逻辑验证平台，Testbench获取DUT中执行相应可逻辑实现功能所需的参数文本，并依据参数文本生成输入激励，调用总线接口中传输输入激励的信号线，将输入激励传输至DUT，调用总线接口中传输逻辑验证结果的信号线，获取DUT基于输入激励进行逻辑验证的逻辑验证结果，基于逻辑验证结果，对DUT中相应可逻辑实现功能进行逻辑验证。针对DUT中不同的可逻辑实现功能进行逻辑验证时，可直接通过调用总线接口中传输输入激励的信号线实现逻辑验证，即，可直接在总线接口中修改信号线，不需要修改Testbench内部代码，提高了逻辑验证的效率。

A Logic Verification Method and Device

The invention discloses a logic verification method and device, which is applied to the base station logic verification platform. Testbench obtains the parameter text needed to perform the corresponding logic realization function in DUT, generates input excitation according to the parameter text, transfers input excitation signal line in bus interface, transfers input excitation to DUT, and adjusts the input excitation. The logical verification results of DUT based on input excitation are acquired by the signal lines transmitting the logical verification results in bus interface. The corresponding logical realization functions in DUT are verified logically based on the logical verification results. When logic verification is carried out for different logically implementable functions in DUT, the logic verification can be realized directly by calling the input excitation signal line in the bus interface, that is, the signal line can be modified directly in the bus interface without modifying the internal code of Testbench, thus improving the efficiency of logic verification.

【技术实现步骤摘要】
一种逻辑验证方法及装置
本专利技术涉及仿真测试
，尤其涉及一种逻辑验证方法及装置。
技术介绍
随着基站中可逻辑实现功能(例如，物理层算法功能、接口功能以及数据传输功能等)的增加，对于基站中可逻辑实现功能的仿真也越来越复杂。用于对基站中可逻辑实现功能进行仿真的逻辑验证平台，快速实现如此庞大的功能面临极大的挑战。逻辑验证平台一般根据可逻辑实现功能的激励需求向被测的可逻辑实现的功能传递激励，然后接收经过逻辑处理的结果，通过检查接收到的数据的正确性来达到验证逻辑处理正确性的目的。下面以对基站中可逻辑实现功能的逻辑验证为例进行说明。针对基站中可逻辑实现功能的逻辑验证，目前常用的逻辑验证平台如图1所示，图1中待测设计(DesignUnderTest，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中相本文档来自技高网...

【技术保护点】
1.一种逻辑验证方法，其特征在于，应用于基站逻辑验证平台，所述基站逻辑验证平台中包括仿真模型Testbench与待测设计DUT，所述Testbench与所述DUT之间通过总线接口相连，所述总线接口中包括用于传输输入激励以及逻辑验证结果的信号线，所述方法包括：所述Testbench获取所述DUT中执行相应可逻辑实现功能所需的参数文本；所述Testbench依据所述参数文本生成输入激励，并调用所述总线接口中传输所述输入激励的信号线，将所述输入激励传输至所述DUT；所述Testbench调用所述总线接口中传输逻辑验证结果的信号线，获取所述DUT基于所述输入激励进行逻辑验证的逻辑验证结果；所述Testbench基于所述逻辑验证结果，对所述DUT中相应可逻辑实现功能进行逻辑验证。

【技术特征摘要】
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中包括的可逻辑实现功能所需输入激励的功能类型所划分的至少一个功能模块；所述功能模块至少包括有参数文...

【专利技术属性】
技术研发人员：傅诗雨，赵天良，逄淑楠，刘才齐，
申请(专利权)人：大唐移动通信设备有限公司，
类型：发明
国别省市：北京,11