[发明专利]一种激励空间无冗余均匀覆盖的多核互联总线验证方法

权利要求书

1.一种激励空间无冗余均匀覆盖的多核互联总线验证方法，步骤如下：

步骤一，建立基于有向二分图的多核互联总线抽象激励模型；

步骤二，将原本扁平无序的激励空间转换成3层的激励空间树；

步骤三，对激励空间树进行优化深度优先ODFT遍历，得到包含高层次激励信息的无冗余全覆盖叶子节点序列；

步骤四，通过总线协议相关的BusSti转换函数将每个叶子节点转换成实际总线互联的输入激励。

2.根据权利要求1所述的一种激励空间无冗余均匀覆盖的多核互联总线验证方法，其特征在于：步骤一中的多核互联总线抽象激励模型为有向二分图模型DBG＝<BV_h,BV_s,BE>，其中主点集BV_h中的点与集成在总线上主设备一一对应；从点集BV_s中的点与集成在总线上从设备一一对应；BE为有向边集。

3.根据权利要求2所述的一种激励空间无冗余均匀覆盖的多核互联总线验证方法，其特征在于：BE为有向边集的为，BV_h中顶点vh_i到BV_s中顶点vs_i之间存在有向边e_ij＝<vh_i,vs_j>的充要条件是vh_i对应主设备发起的激励可以访问vs_i对应的从设备。

4.根据权利要求1所述的一种激励空间无冗余均匀覆盖的多核互联总线验证方法，其特征在于：步骤二中的激励空间划分采用基于等价类划分的EP算法。

5.根据权利要求4所述的一种激励空间无冗余均匀覆盖的多核互联总线验证方法，其特征在于：基于等价类划分的EP算法分为3个子步骤；

A、为对整个激励空间进行划分，得到的每个一级子空间内的激励具有相同的活跃主设备数；

B、为对一级子空间进一步划分，得到的每个二级子空间内的激励具有相同的发起总线激励的主设备集合；

C、为对二级子空间进一步划分，得到的每个三级子空间内的激励具有相同的主从设备驱动对应关系。

6.根据权利要求1所述的一种激励空间无冗余均匀覆盖的多核互联总线验证方法，其特征在于：激励空间树遍历算法为优化深度优先ODFT算法，采用叶子节点S_i,j,k下标三元组<i,j,k>所代表的不定进制多位数递增实现：k先从1开始递增；当k递加到要大于BS_i,j的子节点数时，就使j递增，而k回到1；当j递加到要大于BS_i的子节点数时，就使i递增，而j回到1；当i递加到要大于根节点的子节点数时，整个遍历算法结束，i、j、k为自然数。

7.根据权利要求1所述的一种激励空间无冗余均匀覆盖的多核互联总线验证方法，其特征在于：

实际总线互联的输入激励为激励空间树的叶子节点通过总线协议相关的BusSti转换函数生成：该函数首先对叶子节点中包含的主点集BV_h进行遍历得到活跃主设备；然后对于每一个活跃主设备vh_i，通过有向边函数BE获得相对应的从设备BE(vh_i)；接着随机设置从设备BE(vh_i)内的偏移地址、数据流方向、字节使能及写数据的细节信息；最后根据所有激励信息调用最底层的总线驱动函数完成总线激励的发起。