[发明专利]一种流程灵活可控的软硬件协同SoC验证方法

权利要求书

1.一种流程灵活可控的软硬件协同SoC验证方法，其特征在于，所述验证方法的软件环境所使用的顶层库可以和开发所使用的保持一致，并且根据验证的特点加入验证过程的控制，具体包括以下步骤：

步骤1、搭建SoC软硬件仿真环境；

步骤2、编写软件测试用例，并编译成SoC可执行二进制文件；

步骤3、运行仿真，SoC执行编译完成的程序；

步骤4、仿真结束，处理仿真结果。

2.如权利要求1所述的流程灵活可控的软硬件协同SoC验证方法，其特征在于，所述步骤1中的所述SoC软硬件仿真环境的包括软件环境、外部激励、待测设计以及检查器与监视器。

3.如权利要求1所述的流程灵活可控的软硬件协同SoC验证方法，其特征在于，所述步骤1中的所述SoC软硬件仿真环境的软件环境使用Keil MDK搭建。

4.如权利要求1所述的流程灵活可控的软硬件协同SoC验证方法，其特征在于，所述步骤1中的所述SoC软硬件仿真环境的软件环境的搭建包括以下步骤：

步骤1.1、加入顶层库文件；

步骤1.2、加入验证软件执行过程控制部分，并分类添加验证用例。

5.如权利要求4所述的流程灵活可控的软硬件协同SoC验证方法，其特征在于，所述顶层库文件包括启动文件和模块库。

6.如权利要求1所述的流程灵活可控的软硬件协同SoC验证方法，其特征在于，所述步骤2中的所述编写软件测试用例采用C语言进行编写，采用ARMCC编译器进行编译。

7.如权利要求1所述的流程灵活可控的软硬件协同SoC验证方法，其特征在于，所述步骤2中的所述编写软件测试用例包括以下步骤：

步骤2.1、初始化；

步骤2.2、进行用例的注册；

步骤2.3、进入软件执行过程控制流程；

步骤2.4、等待所有用例测试完毕，仿真结束。

8.如权利要求7所述的流程灵活可控的软硬件协同SoC验证方法，其特征在于，所述初始化包括时钟频率的切换，必要模块时钟的使能和频率的设置以及变量的初始化。

9.如权利要求7所述的流程灵活可控的软硬件协同SoC验证方法，其特征在于，所述用例的注册包括测试函数的用例的确定，以及每个测试函数的用例的预备用例和收尾用例的函数的确定。

10.如权利要求7所述的流程灵活可控的软硬件协同SoC验证方法，其特征在于，所述软件执行过程控制流程包括循环判断是否有注册的用例，如果有注册的用例接着判断此用例是否已经执行过，如果用例没有执行过则记录此用例的序列号，然后执行此用例，执行此用例前，可以有选择地是否执行此用例的预备用例，执行此用例后，可以有选择地是否执行此用例的收尾用例，在用例执行结束后，记录此用例执行结束，同时返回结果，如果用例执行过程中如果碰到比较严重的错误，提前结束此用例，然后进入下一个用例。