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

权利要求书

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中相应可逻辑实现功能进行逻辑验证。