[发明专利]一种仿真验证方法、装置和电子设备

权利要求书

1.一种仿真验证方法，其特征在于，包括：

对设计代码和仿真代码进行编译后，获取所述仿真代码对应的配置文件；

解析所述配置文件得到所述仿真代码对应的配置信息，其中所述配置文件独立于所述仿真代码，所述配置文件包含用于存储测试流程的流程配置文件，和/或用于存储表项内容的表项配置文件，所述测试流程用于验证被验证对象实现的功能，所述表项内容包括所述验证对象的配置信息，所述表项包含若干个条目，每一条目包含若干个所述验证对象，所述验证对象位于所述设计代码中；以及

根据所述配置信息对所述设计代码进行仿真验证；

所述表项配置文件为配置文件生成器按照下述方法生成的：

获得描述表项数据类型的文件，所述描述表项数据类型的文件，用于定义表项中各个条目包含的参数的数据类型，所述描述表项数据类型的文件包含若干条描述表项数据类型的信息，每条信息包括以下至少一项内容：描述表项中各个条目包含的参数名称和参数的数据类型；以及

根据所述描述表项数据类型的文件，为每个条目包含的参数配置相应的参数值和配置模式；

根据为所有条目包含的参数配置的参数值和配置模式，以及所有条目的标识符生成所述表项配置文件。

2.如权利要求1所述的方法，其特征在于，所述流程配置文件包含若干个流程配置操作指令，每一流程配置操作指令至少包括以下一项内容：所述仿真代码的参数名称和参数值、函数名称或任务名称。

3.如权利要求2所述的方法，其特征在于，所述流程配置操作指令中包含的函数名称对应的函数存储于对设计代码和仿真代码进行编译后得到的可执行文件中，以及所述流程配置操作指令中包含的任务名称对应的实现任务的代码存储于对设计代码和仿真代码进行编译后得到的可执行文件中，其中，所述任务包含单个原子操作或由若干个原子操作组合得到的流程操作，所述原子操作包括读操作、写操作、等待操作、比较操作、强制force操作或恢复release操作。

4.如权利要求1所述的方法，其特征在于，根据为所有条目包含的参数配置的参数值和配置模式，以及所有条目的标识符生成所述表项配置文件，具体包括：

以任一条目为基准，分别判断所述表项中除该条目以外的其他条目包含的、为任一参数配置的参数值和该参数的配置模式，与该条目包含的为该参数配置的参数值和该参数的配置模式是否相同；

如果相同，则对所述表项中除该条目以外的其他条目包含的为该参数配置的参数值和该参数的配置模式不进行保存处理，只保留该条目包含的为该参数配置的参数值和该参数的配置模式；

如果不相同，则保留该条目包含的为该参数配置的参数值和该参数的配置模式，以及保留所述表项中除该条目以外的其他条目包含的为该参数配置的参数值和该参数的配置模式；

根据所有条目包含的为保留的参数配置的参数值和保留的参数的配置模式，以及所有条目的标识符生成所述表项配置文件。

5.一种仿真验证装置，其特征在于，包括：

获取单元，用于对设计代码和仿真代码进行编译后，获取所述仿真代码对应的配置文件；

解析单元，用于解析所述配置文件得到所述仿真代码对应的配置信息，其中所述配置文件独立于所述仿真代码，所述配置文件包含用于存储测试流程的流程配置文件，和/或用于存储表项内容的表项配置文件，所述测试流程用于验证被验证对象实现的功能，所述表项内容包括所述验证对象的配置信息，所述表项包含若干个条目，每一条目包含若干个所述验证对象，所述验证对象位于所述设计代码中；

仿真验证单元，用于根据所述解析单元解析出的所述配置信息对所述设计代码进行仿真验证；

所述表项配置文件为配置文件生成器按照下述方法生成的：

获得描述表项数据类型的文件，所述描述表项数据类型的文件，用于定义表项中各个条目包含的参数的数据类型，所述描述表项数据类型的文件包含若干条描述表项数据类型的信息，每条信息包括以下至少一项内容：描述表项中各个条目包含的参数名称和参数的数据类型；以及

根据所述描述表项数据类型的文件，为每个条目包含的参数配置相应的参数值和配置模式；

根据为所有条目包含的参数配置的参数值和配置模式，以及所有条目的标识符生成所述表项配置文件。