[发明专利]SOC系统验证方法

权利要求书

1.一种SOC系统验证方法，其特征在于：

在模块级验证时，定义SOC系统中处理器的输入输出端口，将所有关于处理器的操作调用唯一的一个系统任务，通过所述端口进行操作；建立模块的镜像寄存器，维护镜像寄存器值；

在子系统验证时，复用所述端口描述，将关于处理器的操作整合后，仍使用唯一的系统任务进行操作；

在系统级验证时，将所述端口作为一个总线监测，在执行软件时同步镜像寄存器，实现验证环境复用。

2.如权利要求1所述的方法，其特征在于：所述定义SOC系统中处理器的输入输出端口是指，对于SoC系统核心的处理器定义唯一输入输出端口，在模块级验证和系统级验证中都调用该端口。

3.如权利要求1所述的方法，其特征在于：所述建立模块的镜像寄存器是指，建立镜像寄存器保存状态，区分对待镜像寄存器读取方式，以便于系统级验证环境复用。

4.如权利要求3所述的方法，其特征在于：所述区分对待镜像寄存器读取方式是指，

如果是单纯由处理器控制的寄存器，在模块级验证时读操作通过读取镜像寄存器状态，得到当前待测模块的状态；在写操作后，更新镜像寄存器的值；

如果是由软硬件共同控制的镜像寄存器，必须通过系统任务读取实际待测模块的内部值。

5.如权利要求1所述的方法，其特征在于：所述将所有关于处理器的操作调用唯一的一个系统任务是指，通过唯一一个系统任务操作所有处理器行为，在模块级验证时直接完成镜像寄存器配置，在子系统验证时需对镜像寄存器进行地址映射分析，系统级验证时，则通过软件执行结果同步镜像寄存器值。

6.如权利要求1所述的方法，其特征在于：所述将所述端口作为一个总线监测，在执行软件时同步镜像寄存器是指，

系统处理器任务只能够观测处理器总线上的数据而不能写数据；

系统处理器任务将观测到的读写操作都记录下来并保存在队列中，然后更新镜像寄存器的值；

如果是由软件控制的镜像寄存器，只要读取镜像寄存器的值就能判断待测模块的状态；如果是由软硬件共同处理的镜像寄存器，当系统级验证发出写操作，系统处理器任务将会等待新进入队列的操作，并查找软件操作中是否有地址数据匹配的写操作，如果队列中未能查到匹配的写操作则一直等待，直到得到匹配操作后系统验证环境的写操作完成；

当系统级验证发出读操作，系统处理器任务等待新进入队列的读操作，并查找地址匹配的读操作，如果队列中未能查到匹配的读操作则一直等待，直到有匹配操作，并将该操作得到的数据返还给系统环境。