[发明专利]一种多核SoC中DMA模块的功能验证方法

权利要求书

1.一种多核SoC中DMA模块的功能验证方法，其特征在于，包括下述步骤：

步骤1)建立基于有向二分图的多核SoC中DMA模块抽象配置模型；

步骤2)采用等价类划分算法将原本扁平无序的配置空间转换成三层的配置空间树；

步骤3)对配所述置空间树进行深度优先遍历，得到包含高层次配置信息的叶子节点序列后，再通过内核DMACfg转换函数将每个叶子节点转换成DMA模块的配置信息。

2.根据权利要求1所述的多核SoC中DMA模块的功能验证方法，其特征在于：所述步骤1)的多核SoC中DMA模块抽象配置模型为有向二分图模型DBG＝<DV_h,DV_s,DE>，其中主点集DV_h中的点与配置启动DMA的内核一一对应；从点集DV_s中的点与DMA启动传输的数据通道一一对应；并且，设定满足DV_h中顶点vh_i到DV_s中顶点vs_i之间存在有向边e_ij＝<vh_i,vs_j>的充要条件是vh_i对应内核能够通过配置DMA启动对vs_i对应数据通道的数据传输，DE表示双像函数。

3.根据权利要求1所述的多核SoC中DMA模块的功能验证方法，其特征在于：

步骤2)中的配置空间划分采用层次化等价类划分算法，包括如下步骤：

步骤2-1)对整个配置空间进行划分得到一级子空间，每个一级子空间内的配置具有相同的活跃内核数；

步骤2-2)对一级子空间进一步划分得到二级子空间，每个二级子空间内的配置具有相同的发起DMA配置的CPU内核集合；

步骤2-3)对二级子空间进一步划分得到三级子空间，每个三级子空间内的配置包含内核分别与源数据通道、目的数据通道间唯一的对应关系。

4.根据权利要求1所述的多核SoC中DMA模块的功能验证方法，其特征在于：所述所述步骤3)中所述DMACfg转换函数首先对叶子节点中包含的主点集DV_h进行遍历以得到活跃CPU内核；再对于每一个活跃CPU内核vh_i，通过双像函数DE获得对应的两个从点像其中第一个像表示源数据通道，第二个像表示目的数据通道；接着随机设置包含有对应源数据通道内的起始地址SAddr、对应目的数据通道内的起始地址DAddr及搬运长度length的细节信息；最后通过CPU内核与DMA模块间配置总线的底层写驱动函数将上述配置信息写入DMA内部寄存器，完成DMA的配置启动。