[发明专利]一种逻辑验证方法及装置

说明书

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

技术领域

本发明涉及仿真测试技术领域，尤其涉及一种逻辑验证方法及装置。

背景技术

随着基站中可逻辑实现功能(例如，物理层算法功能、接口功能以及数据传输功能等)的增加，对于基站中可逻辑实现功能的仿真也越来越复杂。用于对基站中可逻辑实现功能进行仿真的逻辑验证平台，快速实现如此庞大的功能面临极大的挑战。逻辑验证平台一般根据可逻辑实现功能的激励需求向被测的可逻辑实现的功能传递激励，然后接收经过逻辑处理的结果，通过检查接收到的数据的正确性来达到验证逻辑处理正确性的目的。下面以对基站中可逻辑实现功能的逻辑验证为例进行说明。

针对基站中可逻辑实现功能的逻辑验证，目前常用的逻辑验证平台如图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中执行相应可逻辑实现功能所需的参数文本，包括：